8b73a123cc
nac3artiq: support compiling for the host
2021-10-31 23:02:21 +08:00
279f47f633
nac3core/codegen: avoid sending unifiers
...
Previously, we have to copy types from one unification table to another,
and make the table sendable. This requires cloning (processing) the
whole table 3 times per function call which is not efficient and uses
more memory than required when the unification table is large.
We now use a concrete type table to only copy the type we need. This
reduces the overhead as we only need to process the unification table
for once (when we do the function codegen), and reduces memory usage by
a bit (but not noticeable when the unification table is small, i.e. the
types are simple).
2021-10-17 13:02:18 +08:00
1f5bea2448
nac3core/codegen: refactor according to #23
2021-10-16 22:17:36 +08:00
c4259d14d1
fixed some clippy warnings
2021-10-16 18:08:13 +08:00
a4ccac2329
nac3artiq: implements #55 , #56
2021-10-10 16:26:01 +08:00
8b32c8270d
nac3artiq: explain delayed registration
2021-10-09 15:21:41 +08:00
d3a21d75fa
handle time cursor functions on the Rust side entirely
...
This is preparation for with sequential/with parallel support.
2021-10-08 23:14:22 +08:00
11144301ca
nac3artiq: added simple host value support
2021-10-06 16:07:42 +08:00
915460ecb7
nac3artiq: fix typo
2021-10-03 16:18:15 +08:00
b2c7f51d57
nac3artiq: guarantee ordering of pinned now stores
2021-10-03 10:00:42 +08:00
c429a86586
nac3artiq: refactor timeline functions
2021-10-02 23:35:28 +08:00
c5e731f16d
nac3artiq: implement timeline functions
2021-10-02 23:22:46 +08:00
c93305739d
nac3artiq: fix misleading error message
2021-10-02 19:17:33 +08:00
ba93931758
implement timeline functions for RISC-V (WIP)
2021-10-02 19:05:35 +08:00
3dd916b6ac
nac3artiq: update unsendable comment
2021-10-02 18:28:44 +08:00
8447aa3000
nac3artiq: allows kernel function
2021-10-01 00:02:15 +08:00
07a9229d52
nac3artiq: implements #36
2021-09-30 22:30:54 +08:00
f0fdfe42cb
nac3core: better impl of #24
2021-09-30 17:07:48 +08:00
dceaf42500
nac3artiq: support ISA selection
2021-09-29 15:33:12 +08:00
bfd041d361
nac3artiq: filter class definitions
2021-09-27 22:25:19 +08:00
6141f01180
nac3artiq: parse whole Python module, filter ast
2021-09-27 22:12:25 +08:00
316db42940
nac3embedded -> nac3artiq, README cleanup
2021-09-27 10:30:54 +08:00
