Sebastien Bourdeauducq
f8f0312028
flake: style
2021-12-27 16:37:05 +08:00
Sebastien Bourdeauducq
037ef110f9
flake: use LLVM 13 throughout
2021-12-27 16:37:05 +08:00
Sebastien Bourdeauducq
cb57d14767
Revert "nac3core: fix #84 "
...
This reverts commit 0902d8adf4
2021-12-27 16:37:05 +08:00
Sebastien Bourdeauducq
f06e06e1f6
Revert "nac3artiq: fixed compilation error"
...
This reverts commit 34cabe0e55
2021-12-27 16:37:05 +08:00
Sebastien Bourdeauducq
0f90a4a4d5
remove num-traits
2021-12-27 16:37:05 +08:00
Sebastien Bourdeauducq
8b79a6e1c2
remove bigints
2021-12-27 16:37:05 +08:00
Sebastien Bourdeauducq
38705847fc
update dependencies
2021-12-27 16:37:05 +08:00
Sebastien Bourdeauducq
06ad9d0b9d
update to LLVM 13
2021-12-27 16:37:05 +08:00
Sebastien Bourdeauducq
2b2b732b9f
update inkwell. Closes #67
2021-12-27 16:37:05 +08:00
Sebastien Bourdeauducq
2939748f81
flake: update nixpkgs
2021-12-27 16:37:05 +08:00
pca006132
84a7e588ca
nac3artiq: fixed compilation error
2021-12-27 16:37:05 +08:00
pca006132
662d61a881
nac3core: fix #84
2021-12-27 16:37:05 +08:00
ychenfo
ecbd4481a8
improve error messages
...
#112 , #110 , #108 , #87
Reviewed-on: #145
Co-authored-by: ychenfo <yc@m-labs.hk>
Co-committed-by: ychenfo <yc@m-labs.hk>
2021-12-27 16:37:05 +08:00
ychenfo
b8e6c18065
nac3artiq: beautify python file path
2021-12-27 03:21:32 +08:00
ychenfo
e32837191a
nac3ast: add file path to ast location
2021-12-27 02:44:31 +08:00
Sebastien Bourdeauducq
0ff995722c
Revert "nac3core: add missing expr concrete type check"
...
This reverts commit cb450372d6
2021-12-20 18:13:45 +08:00
Sebastien Bourdeauducq
e2b44a066b
return int32 in len(). Closes #141
2021-12-20 17:44:42 +08:00
Sebastien Bourdeauducq
2008db8097
nac3standalone: remove unused import
2021-12-20 17:39:16 +08:00
ychenfo
cb450372d6
nac3core: add missing expr concrete type check
2021-12-19 18:01:49 +08:00
ychenfo
ff27a1697e
nac3core: fix for loop type inference
2021-12-19 18:01:49 +08:00
ychenfo
91625dd327
update kernel-only attribute annotation
...
Reviewed-on: #127
Co-authored-by: ychenfo <yc@m-labs.hk>
Co-committed-by: ychenfo <yc@m-labs.hk>
2021-12-19 11:04:53 +08:00
Sebastien Bourdeauducq
7420ce185b
README: update
2021-12-13 19:02:46 +08:00
Sebastien Bourdeauducq
69b9ac5152
nac3standalone: consistent naming
2021-12-13 11:19:11 +08:00
ychenfo
ccfcba4066
nac3standalone: add output_long
2021-12-13 10:44:33 +08:00
ychenfo
b5637a04e9
nac3core: use official implementation for len
2021-12-13 10:44:33 +08:00
ychenfo
2c6601d97c
nac3core: fix len on range with step of different sign
2021-12-13 10:44:33 +08:00
ychenfo
82359b81a2
nac3core: fix bool to int conversion
2021-12-13 04:13:43 +08:00
ychenfo
4d2fd9582a
nac3core: fix broken tests
2021-12-09 01:37:05 +08:00
ychenfo
b7892ce952
nac3core: add len support for list and range
2021-12-09 01:37:00 +08:00
ychenfo
01d3249646
nac3core: add missing llvm range type
2021-12-09 01:16:05 +08:00
Sebastien Bourdeauducq
d2ffdeeb47
flake: update nixpkgs and work around openssh cross compilation breakage. Closes #123
2021-12-08 21:21:37 +08:00
Sebastien Bourdeauducq
ae902aac2f
remove devshell inputs from hydraJobs
...
We are not recompiling packages that depend on LLVM anymore, llvm-nac3 is only used for static linking within NAC3.
2021-12-08 17:43:05 +08:00
Sebastien Bourdeauducq
3f73896477
remove a small amount of LLVM bloat
...
Also avoids libffi.dll dependency on Windows.
2021-12-08 17:41:34 +08:00
Sebastien Bourdeauducq
ddb4c548ae
add and use local copy of LLVM Nix files
...
Modifications accumulate and many are not suitable for nixpkgs upstream.
Based on nixpkgs 3f629e3dd5293bd3c211c4950c418f7cfb4501af
2021-12-08 16:55:25 +08:00
pca006132
6d00d4dabb
nac3artiq: cache python data if possible
2021-12-05 20:30:03 +08:00
Sebastien Bourdeauducq
baa713a3ca
flake: don't attempt to fixup Windows build
2021-12-05 14:40:10 +08:00
Sebastien Bourdeauducq
d2919b9620
Revert "flake: better shells"
...
llvm-config/llvm-sys hates pkgs.buildEnv.
This reverts commit e4f35372d3
2021-12-05 14:35:58 +08:00
Sebastien Bourdeauducq
9ee2168932
Revert "flake: fix hydraJobs"
...
This reverts commit e8e1499478
2021-12-05 14:35:58 +08:00
pca006132
65bc1e5fa4
nac3artiq: handle name_to_pyid in compilation
...
python variables can change between kernel invocations
2021-12-05 13:10:54 +08:00
pca006132
2938eacd16
nac3artiq: supports running multiple kernels
2021-12-05 13:10:54 +08:00
Sebastien Bourdeauducq
e8e1499478
flake: fix hydraJobs
2021-12-05 13:03:44 +08:00
Sebastien Bourdeauducq
e4f35372d3
flake: better shells
2021-12-05 12:56:47 +08:00
Sebastien Bourdeauducq
41f88095a5
min_artiq: add round64, floor64, ceil64
2021-12-04 20:35:52 +08:00
pca006132
c98f367f90
nac3artiq: enables inlining
2021-12-04 17:52:03 +08:00
ychenfo
1f3aa48361
nac3parser: modify parser to handle negative integer edge cases
2021-12-03 16:35:58 +08:00
Sebastien Bourdeauducq
8c05d8431d
flake: use upstream nixpkgs patch
...
https://github.com/NixOS/nixpkgs/pull/148367
2021-12-03 11:57:01 +08:00
Sebastien Bourdeauducq
0ae2aae645
flake: publish zipfile with Windows Python module on Hydra
2021-12-02 22:47:35 +08:00
Sebastien Bourdeauducq
b0eb7815da
flake: consistent naming
2021-12-02 22:37:41 +08:00
Sebastien Bourdeauducq
26e60fca6e
flake: cleanup tarball unpacking
2021-12-02 22:37:32 +08:00
Sebastien Bourdeauducq
22a509e7ce
flake: add Hydra job for Windows build
...
This is a proof-of-concept; it works but requires manual fiddling with DLLs
(e.g. copy them from the Nix store into the Windows environment), and LLD
is not available on Windows.
2021-12-02 22:29:44 +08:00
Sebastien Bourdeauducq
pca006132
ychenfo