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 |
ychenfo
|
664e02cec4
|
nac3core: fix clippy warning
|
2021-11-22 14:55:39 +08:00 |
ychenfo
|
c6f75c8bde
|
nac3standalone: fix error message when no entry point is found
|
2021-11-22 14:52:52 +08:00 |
ychenfo
|
01b51b62ee
|
nac3core: composer better error msg in for uninit field
|
2021-11-21 06:11:55 +08:00 |
ychenfo
|
aae9925014
|
nac3standalone: report when entry point run function cannot be found
|
2021-11-21 06:11:55 +08:00 |
ychenfo
|
d336200bf4
|
nac3core: fix broken tests due to the fix of rigid typevar handling
|
2021-11-21 06:11:55 +08:00 |
ychenfo
|
a50df6560e
|
nac3core: fix handling on rigid typevar
|
2021-11-21 06:11:55 +08:00 |
ychenfo
|
a9635f0979
|
nac3core: top level use codegen official get_subst_key
|
2021-11-21 06:11:55 +08:00 |
ychenfo
|
c2706fa720
|
nac3core: fix polymorphic class method partial instantiation
|
2021-11-21 06:11:55 +08:00 |
pca006132
|
f5ec103c82
|
nac3artiq: kernel invariant support
|
2021-11-20 21:15:15 +08:00 |
pca006132
|
ba08deada6
|
nac3core: refactor codegen
|
2021-11-20 19:50:25 +08:00 |
Sebastien Bourdeauducq
|
439cef636f
|
runkernel: improve print_int debug functions
|
2021-11-19 12:39:57 +08:00 |
ychenfo
|
1e47b364c5
|
nac3artiq: support now-pinning on RISC-V with wide data bus (#97)
|
2021-11-16 17:37:40 +08:00 |
ychenfo
|
8ab3ee9cce
|
nac3core: AugAssign support (#82)
|
2021-11-13 12:24:22 +08:00 |
Sebastien Bourdeauducq
|
9ae08d6e3d
|
nac3artiq: add stubs for now-pinning on rv32g (#97)
|
2021-11-13 12:10:55 +08:00 |
Sebastien Bourdeauducq
|
d6b92adf70
|
nac3artiq: add stack guard
|
2021-11-12 20:03:52 +08:00 |
Sebastien Bourdeauducq
|
aa84fefa56
|
fix previous commit (again)
|
2021-11-12 15:47:21 +08:00 |
Sebastien Bourdeauducq
|
5ad7aa5a93
|
flake: fix previous commit
|
2021-11-12 15:37:39 +08:00 |
Sebastien Bourdeauducq
|
b64d2399f2
|
flake: build devShell dependencies on Hydra
|
2021-11-12 15:08:24 +08:00 |
Sebastien Bourdeauducq
|
ebca596be6
|
flake: update nixpkgs
|
2021-11-12 15:04:21 +08:00 |
Sebastien Bourdeauducq
|
4aeea87702
|
flake: export nixpkgs-patched
|
2021-11-12 14:57:46 +08:00 |
Sebastien Bourdeauducq
|
e25a9bbcda
|
typo
|
2021-11-11 23:44:14 +08:00 |
Sebastien Bourdeauducq
|
978eaf16a4
|
nac3artiq: support RISC-V with and without FPU. Closes #83
|
2021-11-11 23:43:50 +08:00 |
Sebastien Bourdeauducq
|
4547eee82a
|
llvm: switch RISC-V ABI when FPU is present
Patch is a bit of a hack and ignores 64-bit CPUs.
Also only build the LLVM targets we need.
|
2021-11-11 23:42:32 +08:00 |
Sebastien Bourdeauducq
|
96607432c1
|
nac3core: use Python 3.9 list/tuple annotations in test
Closes #85
|
2021-11-11 20:05:08 +08:00 |
Sebastien Bourdeauducq
|
dba1a8b3d4
|
nac3standalone: link libm in demo runner
|
2021-11-11 19:44:18 +08:00 |
Sebastien Bourdeauducq
|
612b6768c0
|
nac3artiq: bail early on non-NAC3 classes
|
2021-11-11 16:35:40 +08:00 |
Sebastien Bourdeauducq
|
c004da85f7
|
nac3artiq: drop host-only base classes. Closes #80
|
2021-11-11 16:08:29 +08:00 |
Sebastien Bourdeauducq
|
7fc04936cb
|
runkernel: add print_int debug function
|
2021-11-10 17:34:13 +08:00 |
Sebastien Bourdeauducq
|
b57b869c49
|
min_artiq: remove unused imports
|
2021-11-10 14:01:39 +08:00 |
Sebastien Bourdeauducq
|
50f1aca1aa
|
nac3artiq: move module registration list to CPython side
In ARTIQ, we cannot create a global NAC3 object because we do not
know the ISA in advance.
|
2021-11-07 10:29:14 +08:00 |
pca006132
|
ffa89e9308
|
fix clippy warnings
|
2021-11-06 23:00:18 +08:00 |
pca006132
|
34cf303e6c
|
nac3artiq: modified demo to use KernelInvariants
|
2021-11-06 22:50:28 +08:00 |
pca006132
|
b1e83a1fd4
|
nac3core: type check invariants
This rejects code that tries to assign to KernelInvariant fields and
methods.
|
2021-11-06 22:48:08 +08:00 |
Sebastien Bourdeauducq
|
7385b91113
|
nac3artiq: support kernel entry short form from original ARTIQ
|
2021-11-06 18:41:59 +08:00 |
Sebastien Bourdeauducq
|
016cbf2b90
|
nac3artiq: return bytes in compile_method_to_mem
|
2021-11-06 14:29:23 +08:00 |
Sebastien Bourdeauducq
|
37eae090e5
|
nac3artiq: fix linker inputs
|
2021-11-06 14:23:54 +08:00 |
Sebastien Bourdeauducq
|
204baabfd2
|
nac3artiq: add compile_method_to_mem
|
2021-11-06 14:14:53 +08:00 |
Sebastien Bourdeauducq
|
597857ccd0
|
typo
|
2021-11-06 14:14:40 +08:00 |