|
|
d867230c21
|
nac3core: better error message for unknown type annotation (#87)
|
2021-12-27 16:37:05 +08:00 |
|
|
|
7a060c2d29
|
fix broken tests
|
2021-12-27 16:37:05 +08:00 |
|
|
|
a32a2b6e6c
|
LLVM PGO support
|
2021-12-27 16:37:05 +08:00 |
|
|
|
f8f0312028
|
flake: style
|
2021-12-27 16:37:05 +08:00 |
|
|
|
037ef110f9
|
flake: use LLVM 13 throughout
|
2021-12-27 16:37:05 +08:00 |
|
|
|
cb57d14767
|
Revert "nac3core: fix #84"
This reverts commit 0902d8adf4.
|
2021-12-27 16:37:05 +08:00 |
|
|
|
f06e06e1f6
|
Revert "nac3artiq: fixed compilation error"
This reverts commit 34cabe0e55.
|
2021-12-27 16:37:05 +08:00 |
|
|
|
0f90a4a4d5
|
remove num-traits
|
2021-12-27 16:37:05 +08:00 |
|
|
|
8b79a6e1c2
|
remove bigints
|
2021-12-27 16:37:05 +08:00 |
|
|
|
38705847fc
|
update dependencies
|
2021-12-27 16:37:05 +08:00 |
|
|
|
06ad9d0b9d
|
update to LLVM 13
|
2021-12-27 16:37:05 +08:00 |
|
|
|
2b2b732b9f
|
update inkwell. Closes #67
|
2021-12-27 16:37:05 +08:00 |
|
|
|
2939748f81
|
flake: update nixpkgs
|
2021-12-27 16:37:05 +08:00 |
|
|
|
84a7e588ca
|
nac3artiq: fixed compilation error
|
2021-12-27 16:37:05 +08:00 |
|
|
|
662d61a881
|
nac3core: fix #84
|
2021-12-27 16:37:05 +08:00 |
|
|
|
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 |
|
|
|
b8e6c18065
|
nac3artiq: beautify python file path
|
2021-12-27 03:21:32 +08:00 |
|
|
|
e32837191a
|
nac3ast: add file path to ast location
|
2021-12-27 02:44:31 +08:00 |
|
|
|
0ff995722c
|
Revert "nac3core: add missing expr concrete type check"
This reverts commit cb450372d6.
|
2021-12-20 18:13:45 +08:00 |
|
|
|
e2b44a066b
|
return int32 in len(). Closes #141
|
2021-12-20 17:44:42 +08:00 |
|
|
|
2008db8097
|
nac3standalone: remove unused import
|
2021-12-20 17:39:16 +08:00 |
|
|
|
cb450372d6
|
nac3core: add missing expr concrete type check
|
2021-12-19 18:01:49 +08:00 |
|
|
|
ff27a1697e
|
nac3core: fix for loop type inference
|
2021-12-19 18:01:49 +08:00 |
|
|
|
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 |
|
|
|
7420ce185b
|
README: update
|
2021-12-13 19:02:46 +08:00 |
|
|
|
69b9ac5152
|
nac3standalone: consistent naming
|
2021-12-13 11:19:11 +08:00 |
|
|
|
ccfcba4066
|
nac3standalone: add output_long
|
2021-12-13 10:44:33 +08:00 |
|
|
|
b5637a04e9
|
nac3core: use official implementation for len
|
2021-12-13 10:44:33 +08:00 |
|
|
|
2c6601d97c
|
nac3core: fix len on range with step of different sign
|
2021-12-13 10:44:33 +08:00 |
|
|
|
82359b81a2
|
nac3core: fix bool to int conversion
|
2021-12-13 04:13:43 +08:00 |
|
|
|
4d2fd9582a
|
nac3core: fix broken tests
|
2021-12-09 01:37:05 +08:00 |
|
|
|
b7892ce952
|
nac3core: add len support for list and range
|
2021-12-09 01:37:00 +08:00 |
|
|
|
01d3249646
|
nac3core: add missing llvm range type
|
2021-12-09 01:16:05 +08:00 |
|
|
|
d2ffdeeb47
|
flake: update nixpkgs and work around openssh cross compilation breakage. Closes #123
|
2021-12-08 21:21:37 +08:00 |
|
|
|
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 |
|
|
|
3f73896477
|
remove a small amount of LLVM bloat
Also avoids libffi.dll dependency on Windows.
|
2021-12-08 17:41:34 +08:00 |
|
|
|
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 |
|
|
|
6d00d4dabb
|
nac3artiq: cache python data if possible
|
2021-12-05 20:30:03 +08:00 |
|
|
|
baa713a3ca
|
flake: don't attempt to fixup Windows build
|
2021-12-05 14:40:10 +08:00 |
|
|
|
d2919b9620
|
Revert "flake: better shells"
llvm-config/llvm-sys hates pkgs.buildEnv.
This reverts commit e4f35372d3.
|
2021-12-05 14:35:58 +08:00 |
|
|
|
9ee2168932
|
Revert "flake: fix hydraJobs"
This reverts commit e8e1499478.
|
2021-12-05 14:35:58 +08:00 |
|
|
|
65bc1e5fa4
|
nac3artiq: handle name_to_pyid in compilation
python variables can change between kernel invocations
|
2021-12-05 13:10:54 +08:00 |
|
|
|
2938eacd16
|
nac3artiq: supports running multiple kernels
|
2021-12-05 13:10:54 +08:00 |
|
|
|
e8e1499478
|
flake: fix hydraJobs
|
2021-12-05 13:03:44 +08:00 |
|
|
|
e4f35372d3
|
flake: better shells
|
2021-12-05 12:56:47 +08:00 |
|
|
|
41f88095a5
|
min_artiq: add round64, floor64, ceil64
|
2021-12-04 20:35:52 +08:00 |
|
|
|
c98f367f90
|
nac3artiq: enables inlining
|
2021-12-04 17:52:03 +08:00 |
|
|
|
1f3aa48361
|
nac3parser: modify parser to handle negative integer edge cases
|
2021-12-03 16:35:58 +08:00 |
|
|
|
8c05d8431d
|
flake: use upstream nixpkgs patch
https://github.com/NixOS/nixpkgs/pull/148367
|
2021-12-03 11:57:01 +08:00 |
|
|
|
0ae2aae645
|
flake: publish zipfile with Windows Python module on Hydra
|
2021-12-02 22:47:35 +08:00 |
|
