Sebastien Bourdeauducq
8101483ebd
flake: style
2021-12-26 18:57:02 +08:00
Sebastien Bourdeauducq
dc5e42c5eb
flake: use LLVM 13 throughout
2021-12-26 18:56:23 +08:00
Sebastien Bourdeauducq
86005da8e1
Revert "nac3core: fix #84 "
...
This reverts commit 0902d8adf4
2021-12-26 08:35:27 +08:00
Sebastien Bourdeauducq
3b5328d3cd
Revert "nac3artiq: fixed compilation error"
...
This reverts commit 34cabe0e55
2021-12-26 08:31:37 +08:00
Sebastien Bourdeauducq
5aa6749241
remove num-traits
2021-12-26 00:32:08 +08:00
Sebastien Bourdeauducq
80d3ab1b0f
remove bigints
2021-12-26 00:23:54 +08:00
Sebastien Bourdeauducq
ec986dfdf3
update dependencies
2021-12-25 23:03:53 +08:00
Sebastien Bourdeauducq
d2a5cd6d57
update to LLVM 13
2021-12-25 22:49:47 +08:00
Sebastien Bourdeauducq
9e3f75255e
update inkwell. Closes #67
2021-12-25 22:17:06 +08:00
Sebastien Bourdeauducq
53f13b44cf
flake: update nixpkgs
2021-12-25 21:10:19 +08:00
pca006132
34cabe0e55
nac3artiq: fixed compilation error
2021-12-23 15:47:54 +08:00
pca006132
6e85f549f6
Merge pull request 'nac3core: fix #84 ' ( #146 ) from fix_84 into master
...
Reviewed-on: #146
2021-12-23 15:28:29 +08:00
pca006132
0902d8adf4
nac3core: fix #84
2021-12-23 15:26:48 +08:00
ychenfo
66320679be
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-22 08:52:19 +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
4526c28edb
Merge branch 'windows'
2021-12-02 22:26:55 +08:00
Sebastien Bourdeauducq
pca006132
ychenfo