1e6848ab92
nac3core: distinguish i64 and i32 in bool conversion
2021-12-02 01:02:42 +08:00
a91b2d602c
flake: switch to nixos- branch
2021-12-01 22:49:43 +08:00
c683958e4a
nac3artiq: clarify comment about virtual class
2021-12-01 22:49:20 +08:00
142f82f987
remove debug prints
2021-12-01 22:48:06 +08:00
dfd3548ed2
TypeVar and virtual support in Symbol Resolver ( #99 )
...
Add `TypeVar` and `virtual` support for Symbol Resolver in nac3artiq and nac3standalone
Reviewed-on: M-Labs/nac3#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
0fe346106d
nac3core: fix converting int to bool ( #119 )
2021-11-30 03:02:26 +08:00
681d85d3be
remove debug print
2021-11-28 12:57:28 +08:00
14119a2c80
Merge pull request 'KernelInvariant' ( #114 ) from KernelInvariant into master
...
Reviewed-on: M-Labs/nac3#114
2021-11-28 12:49:31 +08:00
b35075245b
nac3artiq: remove debug print
2021-11-27 21:29:57 +08:00
4b17511b4a
Merge branch 'master' into KernelInvariant
2021-11-27 21:29:27 +08:00
7ee82de312
nac3core: fixed weird type inference error
2021-11-27 20:27:46 +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
f5ec103c82
nac3artiq: kernel invariant support
2021-11-20 21:15:15 +08:00
ba08deada6
nac3core: refactor codegen
2021-11-20 19:50:25 +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
