ychenfo
0d2b844a2e
nac3artiq: avoid getting tuple as pointer value
2022-03-27 10:31:20 +08:00
ychenfo
8d7e300a4a
nac3core: do not use const struct for tuple
2022-03-27 10:13:17 +08:00
ychenfo
10d623e36f
nac3core/artiq: fix tuple representation
2022-03-27 07:47:14 +08:00
ychenfo
000b128551
nac3artiq: cast none to correct ptr type ( #241 )
2022-03-26 23:32:50 +08:00
Sebastien Bourdeauducq
e4581a6d9b
nac3standalone/demo: fix return type in loop.py
2022-03-26 21:10:12 +08:00
pca006132
1a82d296e7
nac3core/codegen: prevent users from modifying loop counter
...
Fixes #211
2022-03-26 20:58:37 +08:00
pca006132
bf067e2481
nac3artiq: implement attribute writeback
...
We will only writeback attributes that are supported by the current RPC
implementation: primitives, tuple and lists of lists... of primitives.
2022-03-26 20:13:58 +08:00
ychenfo
ba8ed6c663
nac3artiq: handle recursive types properly
2022-03-26 18:54:21 +08:00
ychenfo
26a4834254
fix warnings
2022-03-26 18:52:08 +08:00
Sebastien Bourdeauducq
1ad4b0227c
windows: fix src location
2022-03-26 15:46:21 +08:00
Sebastien Bourdeauducq
6288a66dc5
windows: fix cargo lockfile location
2022-03-26 15:23:31 +08:00
Sebastien Bourdeauducq
de4320eefb
improve package names
2022-03-26 15:15:59 +08:00
Sebastien Bourdeauducq
a380cd5010
move all Nix files to one folder
2022-03-26 15:13:43 +08:00
ychenfo
80631fc92b
Option type support ( #224 )
...
Co-authored-by: ychenfo <yc@m-labs.hk>
Co-committed-by: ychenfo <yc@m-labs.hk>
2022-03-26 15:09:15 +08:00
Sebastien Bourdeauducq
55db05fdbb
update dependencies
2022-03-24 22:30:15 +08:00
pca006132
24a26b53ae
nac3core/toplevel: fixed broken tests
...
We should not include class type variables in functions type variables.
2022-03-24 21:33:09 +08:00
pca006132
1084ba2158
nac3core: fixed typevar with finite range
...
1. Function type variables should not include class type variables,
because they are not bound to the function.
2. Defer type variable constraint evaluation until we get all fields
definition.
2022-03-24 21:31:51 +08:00
ychenfo
be75fa7368
nac3core: fix assign to constant
2022-03-24 07:13:13 +08:00
Sebastien Bourdeauducq
ec52128a4a
indentation
2022-03-23 10:45:28 +08:00
Sebastien Bourdeauducq
b10b49e39a
windows: run cargo tests
2022-03-23 09:53:45 +08:00
Sebastien Bourdeauducq
d92ce201d3
runkernel: fix windows build
2022-03-23 09:32:58 +08:00
Sebastien Bourdeauducq
8b485f552b
windows: set PYO3_CONFIG_FILE, use exec in wine-msys2
2022-03-23 09:22:33 +08:00
pca006132
d9be8d3978
nac3core/typecheck/unification_table: fixed snapshot restore bug
...
Closes 229
2022-03-23 00:25:10 +08:00
pca006132
41d62f7325
nac3core/toplevel: fixed typevar substitution bug
2022-03-23 00:25:10 +08:00
Sebastien Bourdeauducq
4400d9b57d
windows: attempt to disable libffi further
2022-03-22 22:52:53 +08:00
Sebastien Bourdeauducq
8ee5db7462
Revert "windows: numpy is not necessary for build"
...
...but it is nice to have in the development shell.
This reverts commit 1114d11b34
2022-03-22 22:15:18 +08:00
Sebastien Bourdeauducq
6d9b3abcd7
nicer MSYS2 development shell
2022-03-22 22:14:46 +08:00
Sebastien Bourdeauducq
f11a0776e7
README: fix build name
2022-03-22 22:12:23 +08:00
Sebastien Bourdeauducq
f2dc03dfa1
windows: finalize nac3artiq packaging
2022-03-22 19:58:31 +08:00
Sebastien Bourdeauducq
1c807ebe08
windows: use Z: consistently for Nix store paths
2022-03-22 19:43:31 +08:00
Sebastien Bourdeauducq
9e0b5187dd
windows: make LLVM accessible to nac3artiq
2022-03-22 19:40:40 +08:00
Sebastien Bourdeauducq
1887a337ff
windows: attempt to fix 'encodings' python errors
2022-03-22 19:38:32 +08:00
Sebastien Bourdeauducq
03f5b80153
windows: add nac3artiq derivation (WIP)
2022-03-22 19:19:06 +08:00
Sebastien Bourdeauducq
1114d11b34
windows: numpy is not necessary for build
2022-03-22 19:05:58 +08:00
Sebastien Bourdeauducq
a7a188da76
windows: work around -DLLVM_BUILD_TOOLS=OFF not disabling llvm-lto
2022-03-22 18:35:06 +08:00
Sebastien Bourdeauducq
eb6ceefdcd
build LLVM with Wine + MSYS2
2022-03-22 18:03:25 +08:00
Sebastien Bourdeauducq
9332d1643c
irrt: normalize end-of-line characters. Closes #231
2022-03-22 16:04:48 +08:00
Sebastien Bourdeauducq
718b076e50
irrt: use __builtin_alloca
2022-03-22 15:41:25 +08:00
Sebastien Bourdeauducq
9d86b46e86
nac3core: add DEBUG_DUMP_IRRT
2022-03-22 15:39:15 +08:00
ychenfo
263bc82434
nac3artiq: remove debug print
2022-03-21 04:23:40 +08:00
Sebastien Bourdeauducq
3f890f183c
nac3standalone/demo: handle imports consistently
2022-03-19 09:14:27 +08:00
pca006132
234823c51a
nac3standalone: added typevar test
2022-03-18 16:52:52 +08:00
pca006132
b97c016629
nac3core: fixed test breakage
2022-03-18 16:52:28 +08:00
Sebastien Bourdeauducq
14a5c7981e
Revert "Revert "update dependencies""
...
This reverts commit 93af337ed3
2022-03-18 08:06:13 +08:00
pca006132
35ac5cb6f6
nac3core: fixed typevar bug
2022-03-18 01:07:44 +08:00
pca006132
93af337ed3
Revert "update dependencies"
...
This reverts commit 9ccdc0180d
2022-03-17 21:53:58 +08:00
Sebastien Bourdeauducq
0ca2797428
fix compilation warning
2022-03-17 21:31:45 +08:00
Sebastien Bourdeauducq
9ccdc0180d
update dependencies
2022-03-17 21:18:07 +08:00
Sebastien Bourdeauducq
c5993c2a58
composer: improve class field typevar error message
2022-03-17 21:04:42 +08:00
pca006132
fb8553311c
nac3artiq: remove accidentally added print
2022-03-17 15:13:00 +08:00
ychenfo
Sebastien Bourdeauducq
pca006132