David Mak
3a64b0cf07
core/toplevel/type_annotation: Add handling for mismatching class def
...
Primitive types only contain fields in its Type and not its TopLevelDef.
This causes primitive object types to lack some fields.
2024-07-19 13:41:42 +08:00
abdul124
b0b804051a
nac3artiq: allow class attribute access without init function
2024-06-25 16:06:33 +08:00
abdul124
ce3e9bf4fe
nac3artiq: add support string attributes in classes
2024-06-17 16:53:51 +08:00
David Mak
beee3e1f7e
artiq: Pass artiq builtins to NAC3 constructor
2023-12-12 11:28:03 +08:00
David Mak
983f080ea7
artiq: Implement handling for const generic variables
2023-12-08 18:02:14 +08:00
David Mak
352f70b885
artiq: Update host exception list to match possibly thrown types
2023-11-01 13:28:48 +08:00
Sebastien Bourdeauducq
6972689469
nac3artiq: cleanup demo
2022-04-12 10:34:14 +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
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
pca006132
a5e1da0b92
nac3artiq/demo/embedding_map: avoid key 0
...
Object key 0 is reserved for builtin exceptions.
2022-03-05 00:27:23 +08:00
Sebastien Bourdeauducq
bb7c0a2d79
nac3artiq: remove errors from demo
2022-02-22 16:00:37 +08:00
pca006132
d9cb506f6a
nac3core: refactored for better error messages
2022-02-21 18:24:19 +08:00
pca006132
bf52e294ee
nac3artiq: RPC support
2022-02-12 22:50:32 +08:00
ychenfo
91625dd327
update kernel-only attribute annotation
...
Reviewed-on: M-Labs/nac3#127
Co-authored-by: ychenfo <yc@m-labs.hk>
Co-committed-by: ychenfo <yc@m-labs.hk>
2021-12-19 11:04:53 +08:00
Sebastien Bourdeauducq
41f88095a5
min_artiq: add round64, floor64, ceil64
2021-12-04 20:35:52 +08:00
Sebastien Bourdeauducq
c683958e4a
nac3artiq: clarify comment about virtual class
2021-12-01 22:49:20 +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: 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
Sebastien Bourdeauducq
439cef636f
runkernel: improve print_int debug functions
2021-11-19 12:39:57 +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
c004da85f7
nac3artiq: drop host-only base classes. Closes #80
2021-11-11 16:08:29 +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
34cf303e6c
nac3artiq: modified demo to use KernelInvariants
2021-11-06 22:50:28 +08:00
Sebastien Bourdeauducq
7385b91113
nac3artiq: support kernel entry short form from original ARTIQ
2021-11-06 18:41:59 +08:00
Sebastien Bourdeauducq
204baabfd2
nac3artiq: add compile_method_to_mem
2021-11-06 14:14:53 +08:00
Sebastien Bourdeauducq
7d66195eae
nac3artiq: embed linker script, put intermediate objects in temp dir
2021-11-06 13:04:00 +08:00
Sebastien Bourdeauducq
afb94dd299
nac3artiq: move demo to dedicated folder
2021-11-05 18:28:31 +08:00