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
25fc9db66d
cargo: specify inkwell LLVM target explicitly
...
Windows LLVM linking otherwise breaks on the non-existing targets.
2021-12-02 22:24:33 +08:00
Sebastien Bourdeauducq
6315027a8b
flake: use *.pyd for Windows Python module
2021-12-02 22:24:23 +08:00
Sebastien Bourdeauducq
c0f8d5c602
flake: Windows libs working
2021-12-02 22:01:19 +08:00
Sebastien Bourdeauducq
998f49261d
flake: fix Windows libs further
2021-12-02 21:02:48 +08:00
Sebastien Bourdeauducq
aab43b1c07
flake: unbreak Windows library link (WIP)
2021-12-02 20:00:50 +08:00
Sebastien Bourdeauducq
a6275fbb57
flake: add libffi on Windows
2021-12-02 19:08:20 +08:00
Sebastien Bourdeauducq
8a46032f4c
flake: unbreak llvm-config for cross-compilation of static libs
2021-12-02 18:46:04 +08:00
Sebastien Bourdeauducq
1c31aa6e8e
consistent naming
2021-12-02 10:45:46 +08:00
sb10q
b030aec191
Merge pull request 'Add floor and ceil, move built-in functions to a separate file' ( #120 ) from built_in_floor_ceil into master
...
Reviewed-on: #120
2021-12-02 10:40:50 +08:00
ychenfo
aa2d79fea6
Merge branch 'master' into built_in_floor_ceil
2021-12-02 01:08:55 +08:00
ychenfo
1e6848ab92
nac3core: distinguish i64 and i32 in bool conversion
2021-12-02 01:02:42 +08:00
Sebastien Bourdeauducq
a91b2d602c
flake: switch to nixos- branch
2021-12-01 22:49:43 +08:00
Sebastien Bourdeauducq
c683958e4a
nac3artiq: clarify comment about virtual class
2021-12-01 22:49:20 +08:00
Sebastien Bourdeauducq
142f82f987
remove debug prints
2021-12-01 22:48:06 +08:00
ychenfo
dfd3548ed2
TypeVar and virtual support in Symbol Resolver ( #99 )
...
Add `TypeVar` and `virtual` support for Symbol Resolver in nac3artiq and nac3standalone
Reviewed-on: #99
Co-authored-by: ychenfo <yc@m-labs.hk>
Co-committed-by: ychenfo <yc@m-labs.hk>
2021-12-01 22:44:53 +08:00
Sebastien Bourdeauducq
31fba04cee
flake: fix Windows build, now finding LLVM and Python
2021-12-01 18:30:26 +08:00
ychenfo
fa2fe8ed5d
nac3core: add ceil and floor
2021-12-01 03:23:58 +08:00
ychenfo
7ede4f15b6
nac3core: move builtin definitions to another file
2021-12-01 02:52:00 +08:00
ychenfo
0fe346106d
nac3core: fix converting int to bool ( #119 )
2021-11-30 03:02:26 +08:00
Sebastien Bourdeauducq
681d85d3be
remove debug print
2021-11-28 12:57:28 +08:00
sb10q
14119a2c80
Merge pull request 'KernelInvariant' ( #114 ) from KernelInvariant into master
...
Reviewed-on: #114
2021-11-28 12:49:31 +08:00
pca006132
b35075245b
nac3artiq: remove debug print
2021-11-27 21:29:57 +08:00
pca006132
4b17511b4a
Merge branch 'master' into KernelInvariant
2021-11-27 21:29:27 +08:00
pca006132
7ee82de312
nac3core: fixed weird type inference error
2021-11-27 20:27:46 +08:00
Sebastien Bourdeauducq
701ca36e99
flake: windows build WIP
2021-11-26 17:26:18 +08:00
Sebastien Bourdeauducq
5e1b0a10a0
flake: patch nixpkgs to fix mingw llvm_12 build
2021-11-26 17:01:44 +08:00
Sebastien Bourdeauducq
9f316a3294
flake: revert nixpkgs to unbreak rust cross-compilation
2021-11-26 17:00:20 +08:00
Sebastien Bourdeauducq
0ae1fe82b4
remove unnecessary cargo config
...
extra-link-arg has been stabilized
2021-11-23 15:35:33 +08:00
Sebastien Bourdeauducq
de8fc264d7
fix unsupported default parameter error message
2021-11-23 15:34:44 +08:00
Sebastien Bourdeauducq
970f075490
flake: switch to nixpkgs 21.11 release
2021-11-23 11:22:08 +08:00
ychenfo
4587088835
Constant Default Parameter Support ( #98 )
...
Add support for constant default parameter
Reviewed-on: #98
Co-authored-by: ychenfo <yc@m-labs.hk>
Co-committed-by: ychenfo <yc@m-labs.hk>
2021-11-23 07:32:09 +08:00
ychenfo
49476d06e1
nac3core: clearer comments
2021-11-22 15:06:16 +08:00
Sebastien Bourdeauducq
pca006132
ychenfo