Commit Graph - nac3 - M-Labs Git

abdul124

nac3

forked from M-Labs/nac3

Fork 0

Commit Graph

Select branches

Hide Pull Requests

enhance/cargo-test-standalone-demos

escape-analysis

feature/vararg-param

issue-133

issue-133-temp

issue-136

issue-313

iterators

master

misc/impl-tracert

misc/mold

misc/update-pyo3

ndstrides

ndstrides-old-wip

ndstrides-wip

ndstrides-wip-irrt-error-mechanism

ndstrides-wip-refactor-nac3core-exn

numpy-anyall

refactor-composer

refactor-primstore

refactor_anto

refactor_composer

refactor_composer_temp

remove_redundant_unsafe

rpc-obj-as-param

support_nalgebra

temp/buildtime-disable-escape-analysis

d92ce201d3 runkernel: fix windows build Sebastien Bourdeauducq 2022-03-23 09:32:58 +0800
8b485f552b windows: set PYO3_CONFIG_FILE, use exec in wine-msys2 Sebastien Bourdeauducq 2022-03-23 09:22:33 +0800
d9be8d3978 nac3core/typecheck/unification_table: fixed snapshot restore bug pca006132 2022-03-23 00:23:26 +0800
41d62f7325 nac3core/toplevel: fixed typevar substitution bug pca006132 2022-03-23 00:22:28 +0800
4400d9b57d windows: attempt to disable libffi further Sebastien Bourdeauducq 2022-03-22 22:52:53 +0800
8ee5db7462 Revert "windows: numpy is not necessary for build" Sebastien Bourdeauducq 2022-03-22 22:15:12 +0800
6d9b3abcd7 nicer MSYS2 development shell Sebastien Bourdeauducq 2022-03-22 22:14:46 +0800
f11a0776e7 README: fix build name Sebastien Bourdeauducq 2022-03-22 22:12:23 +0800
f2dc03dfa1 windows: finalize nac3artiq packaging Sebastien Bourdeauducq 2022-03-22 19:58:31 +0800
1c807ebe08 windows: use Z: consistently for Nix store paths Sebastien Bourdeauducq 2022-03-22 19:43:31 +0800
9e0b5187dd windows: make LLVM accessible to nac3artiq Sebastien Bourdeauducq 2022-03-22 19:40:40 +0800
1887a337ff windows: attempt to fix 'encodings' python errors Sebastien Bourdeauducq 2022-03-22 19:38:32 +0800
03f5b80153 windows: add nac3artiq derivation (WIP) Sebastien Bourdeauducq 2022-03-22 19:19:06 +0800
1114d11b34 windows: numpy is not necessary for build Sebastien Bourdeauducq 2022-03-22 19:05:58 +0800
a7a188da76 windows: work around -DLLVM_BUILD_TOOLS=OFF not disabling llvm-lto Sebastien Bourdeauducq 2022-03-22 18:35:06 +0800
eb6ceefdcd build LLVM with Wine + MSYS2 Sebastien Bourdeauducq 2022-03-22 18:03:25 +0800
9332d1643c irrt: normalize end-of-line characters. Closes #231 Sebastien Bourdeauducq 2022-03-22 16:04:48 +0800
718b076e50 irrt: use __builtin_alloca Sebastien Bourdeauducq 2022-03-22 15:41:25 +0800
9d86b46e86 nac3core: add DEBUG_DUMP_IRRT Sebastien Bourdeauducq 2022-03-22 15:39:15 +0800
263bc82434 nac3artiq: remove debug print ychenfo 2022-03-21 04:23:40 +0800
dc54d5f9b6 update artiq/vivado Sebastien Bourdeauducq 2022-03-20 16:15:47 +0800
161044e78f drop support for big-endian moninj Sebastien Bourdeauducq 2022-03-19 23:01:36 +0800
3f890f183c nac3standalone/demo: handle imports consistently Sebastien Bourdeauducq 2022-03-19 09:14:27 +0800
234823c51a nac3standalone: added typevar test pca006132 2022-03-18 16:52:52 +0800
b97c016629 nac3core: fixed test breakage pca006132 2022-03-18 16:52:28 +0800
14a5c7981e Revert "Revert "update dependencies"" Sebastien Bourdeauducq 2022-03-18 08:06:13 +0800
35ac5cb6f6 nac3core: fixed typevar bug pca006132 2022-03-18 01:07:44 +0800
93af337ed3 Revert "update dependencies" pca006132 2022-03-17 21:53:58 +0800
0ca2797428 fix compilation warning Sebastien Bourdeauducq 2022-03-17 21:23:38 +0800
9ccdc0180d update dependencies Sebastien Bourdeauducq 2022-03-17 21:18:07 +0800
32f3c636c5 update artiq, work around annoying nix2.5 bug Sebastien Bourdeauducq 2022-03-17 21:11:31 +0800
c5993c2a58 composer: improve class field typevar error message Sebastien Bourdeauducq 2022-03-17 21:04:42 +0800
50cafad18b update artiq Sebastien Bourdeauducq 2022-03-17 20:28:12 +0800
426500d2f9 firmware: support 64-bit moninj probes Sebastien Bourdeauducq 2022-03-17 20:26:44 +0800
fb8553311c nac3artiq: remove accidentally added print pca006132 2022-03-17 15:13:00 +0800
04e7a7eb4b nac3artiq: support more exceptions pca006132 2022-03-17 15:03:22 +0800
642e3b2bad nac3core: moved all builtin errors to nac3artiq code pca006132 2022-03-17 00:04:49 +0800
e126fef012 nac3artiq: support more builtin errors pca006132 2022-03-16 23:42:08 +0800
ebdb08180d drtio: demote default routing table message to info Sebastien Bourdeauducq 2022-03-16 21:04:12 +0800
0530e596ba mgmt: remove spurious config write warning Sebastien Bourdeauducq 2022-03-16 08:24:52 +0800
8fd868a673 update dependencies Sebastien Bourdeauducq 2022-03-10 17:28:56 +0800
7502f3a765 update dependencies Sebastien Bourdeauducq 2022-03-10 17:25:40 +0800
fa237088a0 hydra/nixUnstable flake.lock annoyance (2) Sebastien Bourdeauducq 2022-03-10 16:51:40 +0800
ad557edd58 hydra/nixUnstable flakes.lock annoyance Sebastien Bourdeauducq 2022-03-10 16:48:58 +0800
94aac16cc5 nac3artiq: fixed RPC codegen for lists pca006132 2022-03-10 16:48:28 +0800
f5fa5532b6 flake: update artiq Sebastien Bourdeauducq 2022-03-10 16:31:23 +0800
ae0d724bf8 runtime: use &CSlice for lists pca006132 2022-03-10 16:09:19 +0800
2f85bb3837 nac3core: impl call attributes pca006132 2022-03-09 22:09:36 +0800
6c834899e9 si5324: fix clock source occheung 2022-03-09 12:45:21 +0800
a22b13cc46 kasli_soc: forward SMA clkin occheung 2022-03-09 12:43:47 +0800
e266d3c2b0 nac3parser: modify to handle UAdd in front of int constant ychenfo 2022-03-08 03:02:40 +0800
60b3807ab3 nac3standalone: add test for abs function ychenfo 2022-03-08 23:21:58 +0800
5006028e2d nac3core: abs builtin function ychenfo 2022-03-08 23:02:25 +0800
1cc276cb43 nac3standalone: add test for max function ychenfo 2022-03-08 22:23:13 +0800
8241a29908 nac3core: max builtin function ychenfo 2022-03-08 22:22:00 +0800
e9a17cf8f8 nac3standalone: add test for min function ychenfo 2022-03-08 21:54:27 +0800
adb5c69e67 nac3core: min builtin function ychenfo 2022-03-08 21:50:28 +0800
d848c2284e nac3parser: fix broken tests ychenfo 2022-03-08 02:36:40 +0800
f7e62ab5b7 nac3ast/parser/core: use i128 for u64 constants ychenfo 2022-03-08 02:30:04 +0800
9f6c7b3359 nac3core: type conversion to/from uint ychenfo 2022-03-05 23:23:32 +0800
142e99a0f1 nac3core: fix broken tests ychenfo 2022-03-05 03:46:45 +0800
79c469301a basic unsigned integer support ychenfo 2022-03-05 03:45:09 +0800
8602852241 nac3core: use signed extension to convert i32 to i64 ychenfo 2022-03-06 04:49:02 +0800
42fbe8e383 nac3core: fix err msg of too many args ychenfo 2022-03-05 03:59:45 +0800
63b0f29728 Fix broken tests pca006132 2022-03-05 00:27:51 +0800
a5e1da0b92 nac3artiq/demo/embedding_map: avoid key 0 pca006132 2022-03-05 00:27:23 +0800
294943e303 nac3core: get exception ID from symbol resolver pca006132 2022-03-05 00:26:35 +0800
84b4bd920b nac3artiq: remove cached pyid_to_type if error ychenfo 2022-03-02 21:39:45 +0800
85e5c08d7f kasli_soc: use si5324 in master spaqin 2022-03-04 13:17:53 +0800
3c17362fad satman: fix i2cswitch spaqin 2022-03-03 17:18:22 +0800
317eb80005 update dependencies Sebastien Bourdeauducq 2022-03-03 17:10:22 +0800
4f2a0986da rtio_clocking: fix wrong descriptions spaqin 2022-03-03 10:24:13 +0800
4a2218641f fix BorrowMutError in moninj spaqin 2022-03-02 15:45:17 +0800
9a06cd9d27 expose pca954x_select api (#167) mwojcik 2022-03-02 10:52:27 +0800
59ac5aae8a fix error message string (2) Sebastien Bourdeauducq 2022-03-02 08:33:10 +0800
da039e3acf fix error message string Sebastien Bourdeauducq 2022-03-02 08:04:15 +0800
b56b50b147 add comment about EXCEPTION_ID_LOOKUP sync Sebastien Bourdeauducq 2022-03-01 09:50:28 +0800
d1e172501d nac3artiq: remove debug messages pca006132 2022-02-28 23:10:05 +0800
323d77a455 nac3artiq: improve error message for out of range error pca006132 2022-02-28 23:09:14 +0800
d41c923cfd nac3artiq: handle recursive types properly pca006132 2022-02-28 23:08:42 +0800
f38117774f runtime/eh_artiq: updated exception IDs pca006132 2022-02-28 21:15:07 +0800
5d8e87d923 more readable type annotation error string Sebastien Bourdeauducq 2022-02-28 16:24:03 +0800
a9c73a4915 fix some error strings Sebastien Bourdeauducq 2022-02-28 11:10:33 +0800
804d5db27e nac3artiq: make CompileError importable from Python Sebastien Bourdeauducq 2022-02-26 17:29:13 +0800
cbc77dddb0 nac3artiq: raise specific exception on error Sebastien Bourdeauducq 2022-02-26 17:17:06 +0800
846d1726ef nac3core: fixed keyword arguments handling pca006132 2022-02-26 16:34:01 +0800
0686e83f4c nac3core/typecheck: fixed incorrect rollback pca006132 2022-02-25 20:01:11 +0800
e710b6c320 nac3core: fix exception final branch handling pca006132 2022-02-25 13:59:53 +0800
cc769a7006 nac3core: reset unification table state before printing errors pca006132 2022-02-25 14:47:19 +0800
5cd4fe6507 update tests Sebastien Bourdeauducq 2022-02-23 11:50:03 +0800
aa79c8d8b7 rename exception symbols in host code Sebastien Bourdeauducq 2022-02-23 11:43:41 +0800
75fde1bbf7 update tests Sebastien Bourdeauducq 2022-02-23 11:39:47 +0800
880ba6b206 runtime: add nac3 exception symbols Sebastien Bourdeauducq 2022-02-23 11:05:08 +0800
17792b76b7 rename exception symbols Sebastien Bourdeauducq 2022-02-23 11:04:35 +0800
6ae770d5eb update dependencies Sebastien Bourdeauducq 2022-02-23 10:59:13 +0800
d3cb5d6e52 Fixed type error messages pca006132 2022-02-22 17:20:11 +0800
bb7c0a2d79 nac3artiq: remove errors from demo Sebastien Bourdeauducq 2022-02-22 16:00:37 +0800
3ad25c8f07 nac3core: sort error messages for determinism pca006132 2022-02-22 14:33:43 +0800
ede3706ca8 type_inferencer: special case tuple index error message pca006132 2022-02-21 18:41:42 +0800
f97f93d92c applied rustfmt and clippy auto fix pca006132 2022-02-21 18:27:46 +0800