Commit Graph

Select branches

Hide Pull Requests

debug_info

escape-analysis

host_int_bound

iterators

master

ndarray

no_init

refactor_anto

Mono Color

• a380cd5010 move all Nix files to one folder Sebastien Bourdeauducq 2022-03-26 15:13:43 +0800
• 80631fc92b Option type support (#224) Co-authored-by: ychenfo <yc@m-labs.hk> Co-committed-by: ychenfo <yc@m-labs.hk> ychenfo 2022-03-26 15:09:15 +0800
• 55db05fdbb update dependencies Sebastien Bourdeauducq 2022-03-24 22:30:15 +0800
• 24a26b53ae nac3core/toplevel: fixed broken tests pca006132 2022-03-24 21:33:09 +0800
• 1084ba2158 nac3core: fixed typevar with finite range pca006132 2022-03-24 21:29:46 +0800
• be75fa7368 nac3core: fix assign to constant ychenfo 2022-03-24 07:13:13 +0800
• ec52128a4a indentation Sebastien Bourdeauducq 2022-03-23 10:45:28 +0800
• b10b49e39a windows: run cargo tests Sebastien Bourdeauducq 2022-03-23 09:53:45 +0800
• 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
• 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
• c5993c2a58 composer: improve class field typevar error message Sebastien Bourdeauducq 2022-03-17 21:04:42 +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
• 8fd868a673 update dependencies Sebastien Bourdeauducq 2022-03-10 17:28:56 +0800
• 94aac16cc5 nac3artiq: fixed RPC codegen for lists pca006132 2022-03-10 16:48:28 +0800
• 2f85bb3837 nac3core: impl call attributes pca006132 2022-03-09 22:09:36 +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
• 317eb80005 update dependencies Sebastien Bourdeauducq 2022-03-03 17:10:22 +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
• 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
• 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
• 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
• d9cb506f6a nac3core: refactored for better error messages pca006132 2022-02-21 17:52:34 +0800
• 352831b2ca nac3core: removed legacy location definition pca006132 2022-02-13 22:39:24 +0800
• 21d9182ba2 nac3core: disallow methods/fields in Exception subclass pca006132 2022-02-13 21:43:45 +0800
• 91f41052fe test: remove outdated comment Sebastien Bourdeauducq 2022-02-13 17:24:47 +0800
• 14d25b3b9d Fixed broken tests pca006132 2022-02-13 17:21:42 +0800
• 265d234266 update LLVM Sebastien Bourdeauducq 2022-02-13 13:20:08 +0800
• 2e44745933 runkernel: add dummy artiq_personality function Sebastien Bourdeauducq 2022-02-13 13:03:38 +0800
• 4b8e70f746 nac3standalone: disable broken tests (#188) Sebastien Bourdeauducq 2022-02-13 11:41:42 +0800
• 31e76ca3b6 nac3standalone: add dummy support for artiq_personality Sebastien Bourdeauducq 2022-02-13 11:35:00 +0800
• 343f6fd067 update dependencies Sebastien Bourdeauducq 2022-02-13 10:51:03 +0800
• f1ebf8f96e flake: update nixpkgs Sebastien Bourdeauducq 2022-02-13 10:47:22 +0800
• b18626b149 Fix compilation and test failures pca006132 2022-02-12 21:21:56 +0800
• 750d912eb4 nac3core: do list bound check and negative index handling pca006132 2022-02-12 21:19:11 +0800
• bf52e294ee nac3artiq: RPC support pca006132 2022-02-12 21:17:37 +0800