Commit Graph

450 Commits

Author SHA1 Message Date
a6275fbb57 flake: add libffi on Windows 2021-12-02 19:08:20 +08:00
8a46032f4c flake: unbreak llvm-config for cross-compilation of static libs 2021-12-02 18:46:04 +08:00
31fba04cee flake: fix Windows build, now finding LLVM and Python 2021-12-01 18:30:26 +08:00
701ca36e99 flake: windows build WIP 2021-11-26 17:26:18 +08:00
5e1b0a10a0 flake: patch nixpkgs to fix mingw llvm_12 build 2021-11-26 17:01:44 +08:00
9f316a3294 flake: revert nixpkgs to unbreak rust cross-compilation 2021-11-26 17:00:20 +08:00
0ae1fe82b4 remove unnecessary cargo config
extra-link-arg has been stabilized
2021-11-23 15:35:33 +08:00
de8fc264d7 fix unsupported default parameter error message 2021-11-23 15:34:44 +08:00
970f075490 flake: switch to nixpkgs 21.11 release 2021-11-23 11:22:08 +08:00
4587088835 Constant Default Parameter Support (#98)
Add support for constant default parameter

Reviewed-on: M-Labs/nac3#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
49476d06e1 nac3core: clearer comments 2021-11-22 15:06:16 +08:00
664e02cec4 nac3core: fix clippy warning 2021-11-22 14:55:39 +08:00
c6f75c8bde nac3standalone: fix error message when no entry point is found 2021-11-22 14:52:52 +08:00
01b51b62ee nac3core: composer better error msg in for uninit field 2021-11-21 06:11:55 +08:00
aae9925014 nac3standalone: report when entry point run function cannot be found 2021-11-21 06:11:55 +08:00
d336200bf4 nac3core: fix broken tests due to the fix of rigid typevar handling 2021-11-21 06:11:55 +08:00
a50df6560e nac3core: fix handling on rigid typevar 2021-11-21 06:11:55 +08:00
a9635f0979 nac3core: top level use codegen official get_subst_key 2021-11-21 06:11:55 +08:00
c2706fa720 nac3core: fix polymorphic class method partial instantiation 2021-11-21 06:11:55 +08:00
439cef636f runkernel: improve print_int debug functions 2021-11-19 12:39:57 +08:00
1e47b364c5 nac3artiq: support now-pinning on RISC-V with wide data bus (#97) 2021-11-16 17:37:40 +08:00
8ab3ee9cce nac3core: AugAssign support (#82) 2021-11-13 12:24:22 +08:00
9ae08d6e3d nac3artiq: add stubs for now-pinning on rv32g (#97) 2021-11-13 12:10:55 +08:00
d6b92adf70 nac3artiq: add stack guard 2021-11-12 20:03:52 +08:00
aa84fefa56 fix previous commit (again) 2021-11-12 15:47:21 +08:00
5ad7aa5a93 flake: fix previous commit 2021-11-12 15:37:39 +08:00
b64d2399f2 flake: build devShell dependencies on Hydra 2021-11-12 15:08:24 +08:00
ebca596be6 flake: update nixpkgs 2021-11-12 15:04:21 +08:00
4aeea87702 flake: export nixpkgs-patched 2021-11-12 14:57:46 +08:00
e25a9bbcda typo 2021-11-11 23:44:14 +08:00
978eaf16a4 nac3artiq: support RISC-V with and without FPU. Closes #83 2021-11-11 23:43:50 +08:00
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
96607432c1 nac3core: use Python 3.9 list/tuple annotations in test
Closes #85
2021-11-11 20:05:08 +08:00
dba1a8b3d4 nac3standalone: link libm in demo runner 2021-11-11 19:44:18 +08:00
612b6768c0 nac3artiq: bail early on non-NAC3 classes 2021-11-11 16:35:40 +08:00
c004da85f7 nac3artiq: drop host-only base classes. Closes #80 2021-11-11 16:08:29 +08:00
7fc04936cb runkernel: add print_int debug function 2021-11-10 17:34:13 +08:00
b57b869c49 min_artiq: remove unused imports 2021-11-10 14:01:39 +08:00
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
ffa89e9308 fix clippy warnings 2021-11-06 23:00:18 +08:00
34cf303e6c nac3artiq: modified demo to use KernelInvariants 2021-11-06 22:50:28 +08:00
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
7385b91113 nac3artiq: support kernel entry short form from original ARTIQ 2021-11-06 18:41:59 +08:00
016cbf2b90 nac3artiq: return bytes in compile_method_to_mem 2021-11-06 14:29:23 +08:00
37eae090e5 nac3artiq: fix linker inputs 2021-11-06 14:23:54 +08:00
204baabfd2 nac3artiq: add compile_method_to_mem 2021-11-06 14:14:53 +08:00
597857ccd0 typo 2021-11-06 14:14:40 +08:00
efc9edbc14 nac3parser: fix decorator and above comments 2021-11-06 14:13:17 +08:00
7d66195eae nac3artiq: embed linker script, put intermediate objects in temp dir 2021-11-06 13:04:00 +08:00
1fea51d9b3 Merge pull request 'nac3parser: add comment support' (#68) from with_nac3comment into master
Reviewed-on: M-Labs/nac3#68
2021-11-05 20:46:42 +08:00