Commit Graph - nac3 - M-Labs Git

lyken

nac3

forked from M-Labs/nac3

Fork 0

Commit Graph

Select branches

Hide Pull Requests

enhance/cargo-test-standalone-demos

escape-analysis

issue-136

issue-313

iterators

master

misc/impl-tracert

misc/mold

misc/update-pyo3

ndarray-strides

ndarray-strides-5

ndarray-strides-6

ndarray-strides-wip

ndarray-strides-wip-2

nds3

ndstrides-wip

ndstrides-wip-9

ndstrides-wip-transpose

numpy-anyall

refactor-primstore

refactor_anto

rpc-obj-as-param

to-models-save

to-models-tmptmp

86ce513cb5 nac3standalone: fix broken test previously this test unexpectedly passed because it is a slice assignment to extend the list, which is valid in CPython and hence in interpret_demo, and which also happened to give the same output in nac3 by memmove the elements in the list of bool ychenfo 2022-04-05 15:55:43 +0800
c29cbf6ddd nac3core: add bound check for list slice ychenfo 2022-04-05 14:29:20 +0800
7443c5ea0f nac3core: add location information to codegen context ychenfo 2022-04-04 23:21:00 +0800
f55b077e60 README: update Windows instructions Sebastien Bourdeauducq 2022-04-05 18:07:38 +0800
e05b0bf5dc flake: update nixpkgs Sebastien Bourdeauducq 2022-04-05 10:10:08 +0800
8eda0affc9 windows: add wine-msys2-build Sebastien Bourdeauducq 2022-04-05 10:06:36 +0800
75c53b40a3 windows: update msys2 packages, add setuptools to environment Sebastien Bourdeauducq 2022-04-05 10:06:14 +0800
0d10044d66 Merge pull request 'Fix float**int with negative power' (#254) from neg_powi_fix into master pca006132 2022-04-04 22:43:20 +0800
10c4544553 nac3core/typecheck: start implementing escape analysis pca006132 2022-04-04 22:42:22 +0800
23b7f4ef18 nac3standalone: add tests for power ychenfo 2022-04-02 03:29:25 +0800
710904f975 nac3core: fix powi with negative integer power ychenfo 2022-04-02 03:26:15 +0800
4bf452ec5a windows: do not check dependencies when making package Sebastien Bourdeauducq 2022-04-04 16:03:59 +0800
9fdce11efe windows: depend on python Sebastien Bourdeauducq 2022-04-04 15:21:34 +0800
f24ef85aed hydra: use msys2 type Sebastien Bourdeauducq 2022-04-04 15:03:53 +0800
4a19787f10 README: update Sebastien Bourdeauducq 2022-04-04 15:03:44 +0800
8209c0a475 windows: create MSYS2 package Sebastien Bourdeauducq 2022-04-04 14:24:47 +0800
4f66bdeda9 Merge pull request 'nac3core: do not get llvm value too eagerly for kernel invariant' (#253) from kernel_invariant_fix into master pca006132 2022-03-31 12:48:49 +0800
57369896d7 update dependencies Sebastien Bourdeauducq 2022-03-31 10:40:18 +0800
2edeb31d21 nac3core: do not get llvm value too eagerly for kernel invariant ychenfo 2022-03-31 01:06:11 +0800
b8ef44d64e nac3standalone: add test for default param ychenfo 2022-03-30 04:04:27 +0800
c3156afebd nac3core: fix broken tests ychenfo 2022-03-30 03:52:49 +0800
388c9b7241 nac3core: better check and err msg for default param ychenfo 2022-03-30 03:50:34 +0800
e52d7fc97a nac3artiq: resolve unsigned int host variable as defautl param ychenfo 2022-03-30 03:17:06 +0800
6ab73a223c nac3core/artiq: support default param of option type ychenfo 2022-03-30 03:14:21 +0800
a38cc04444 nac3core: assert statement ychenfo 2022-03-29 00:13:47 +0800
1f5826d352 fix ternary if (#250) ychenfo 2022-03-29 06:54:00 +0800
94eebde4ea README: add note about MSVC Python Sebastien Bourdeauducq 2022-03-28 10:45:01 +0800
63ec382673 README: update Windows instructions Sebastien Bourdeauducq 2022-03-27 19:36:02 +0800
0ca1a7bedb windows: work around broken LLD install script Sebastien Bourdeauducq 2022-03-27 19:14:02 +0800
201ca3f63d Revert "nac3artiq: use lld.exe on Windows" Sebastien Bourdeauducq 2022-03-27 19:09:11 +0800
19182759cd nac3artiq: use lld.exe on Windows Sebastien Bourdeauducq 2022-03-27 18:41:38 +0800
edd039abdc windows: build LLD Sebastien Bourdeauducq 2022-03-27 18:41:23 +0800
3852cc1058 windows: don't fixup LLVM Sebastien Bourdeauducq 2022-03-27 18:38:23 +0800
0600ee8efa nac3artiq: use correct lld invokation on Windows Sebastien Bourdeauducq 2022-03-27 18:25:14 +0800
bed33a7421 nac3standalone: add tests for tuple ychenfo 2022-03-27 10:14:22 +0800
0d2b844a2e nac3artiq: avoid getting tuple as pointer value ychenfo 2022-03-27 10:29:08 +0800
8d7e300a4a nac3core: do not use const struct for tuple ychenfo 2022-03-27 10:13:17 +0800
10d623e36f nac3core/artiq: fix tuple representation ychenfo 2022-03-27 02:23:22 +0800
000b128551 nac3artiq: cast none to correct ptr type (#241) ychenfo 2022-03-26 23:32:50 +0800
e4581a6d9b nac3standalone/demo: fix return type in loop.py Sebastien Bourdeauducq 2022-03-26 21:10:05 +0800
1a82d296e7 nac3core/codegen: prevent users from modifying loop counter pca006132 2022-03-26 20:58:37 +0800
bf067e2481 nac3artiq: implement attribute writeback pca006132 2022-03-25 22:42:01 +0800
ba8ed6c663 nac3artiq: handle recursive types properly ychenfo 2022-03-23 03:38:48 +0800
26a4834254 fix warnings ychenfo 2022-03-26 18:52:08 +0800
1ad4b0227c windows: fix src location Sebastien Bourdeauducq 2022-03-26 15:46:21 +0800
6288a66dc5 windows: fix cargo lockfile location Sebastien Bourdeauducq 2022-03-26 15:23:31 +0800
de4320eefb improve package names Sebastien Bourdeauducq 2022-03-26 15:15:39 +0800
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