 Sebastien Bourdeauducq
|
b638d1b4b0
|
nac3standalone: set up LLVM inliner like in nac3artiq
|
2022-01-08 21:03:58 +08:00 |
|
Sebastien Bourdeauducq
|
52ccf31bb1
|
update dependencies
|
2022-01-04 22:00:29 +08:00 |
|
Sebastien Bourdeauducq
|
4904610dc6
|
flake: provide mimalloc-enabled Python
The Linux linker and the libc are garbage, so there isn't much of an alternative to using the Nix wrapper and LD_PRELOAD.
|
2022-01-04 21:54:55 +08:00 |
 ychenfo
|
7193e3f328
|
nac3core: codegen fix empty list llvm type
|
2021-12-30 05:09:21 +08:00 |
|
Sebastien Bourdeauducq
|
2822c613ef
|
llvm: fix TLI-musl.patch
|
2021-12-29 20:52:59 +08:00 |
|
Sebastien Bourdeauducq
|
a0bf6da6c2
|
update dependencies
|
2021-12-28 12:08:55 +08:00 |
|
Sebastien Bourdeauducq
|
9cc9a0284a
|
nac3standalone: style
|
2021-12-28 10:59:17 +08:00 |
|
ychenfo
|
85e06d431a
|
nac3core: improve some type annotation error messages (#87)
|
2021-12-28 10:49:14 +08:00 |
|
ychenfo
|
9b3b47ce50
|
fix broken tests
|
2021-12-28 01:38:16 +08:00 |
|
ychenfo
|
88f0da7bdd
|
add file name to AST node location
|
2021-12-28 01:28:55 +08:00 |
 pca006132
|
1bd966965e
|
fixed #146
|
2021-12-27 22:56:50 +08:00 |
|
pca006132
|
521f136f2e
|
redo "nac3artiq: fixed compilation error"
This reverts commit 3b5328d3cd.
|
2021-12-27 22:56:30 +08:00 |
|
pca006132
|
fa04768a77
|
redo "nac3core: fix #84"
This reverts commit 86005da8e1.
|
2021-12-27 22:56:26 +08:00 |
|
Sebastien Bourdeauducq
|
6162d21a5b
|
LLVM PGO support
|
2021-12-26 21:11:14 +08:00 |
|
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 |