Commit Graph

562 Commits

Author SHA1 Message Date
fb92b6d364 nac3core: supports range iterator 2021-10-23 23:53:36 +08:00
2f6ba69770 nac3core/typecheck: check if value is none 2021-10-23 21:31:14 +08:00
cc83bbc63a nac3core/codegen: fix broken test 2021-10-17 13:07:45 +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
9850cbe313 nac3core/codegen: optimize for every function
This speeds up compilation and reduces memory usage.
2021-10-17 12:56:11 +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
26076c37ba nac3core/typecheck: supports recursive type inference 2021-10-16 15:56:49 +08:00
fd0b11087e nac3core: use round instead of rint. Closes #61 2021-10-11 08:18:52 +08:00
3a1dd893a1 nac3artiq/demo: get closer to regular ARTIQ 2021-10-10 17:45:38 +08:00
a4ccac2329 nac3artiq: implements #55, #56 2021-10-10 16:26:01 +08:00
77542170fd nac3core: fixes #60 2021-10-10 15:01:06 +08:00
a3ce5be10b nac3core: fixes #32 and #57 2021-10-09 16:20:49 +08:00
a22552a012 nac3artiq: work around #56 2021-10-09 15:52:45 +08:00
6ba74ed9f6 nac3artiq: allow creating drivers on device 2021-10-09 15:51:47 +08:00
8b32c8270d nac3artiq: explain delayed registration 2021-10-09 15:21:41 +08:00
5749141efb nac3artiq: add simple KernelInvariant CPython wrapper 2021-10-08 23:46:46 +08:00
3b10172810 nac3artiq: get closer to original ARTIQ semantics in demo
Currently crashes the compiler with:
thread '<unnamed>' panicked at 'called `Option::unwrap()` on a `None` value', nac3core/src/codegen/expr.rs:395:58
2021-10-08 23:41:41 +08:00
82efb0e720 missing file from previous commit 2021-10-08 23:21:36 +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
a07674a042 nac3artiq: host object supports typevar 2021-10-08 22:45:08 +08:00
c5bcd352a5 flake: add hydraJobs 2021-10-08 08:18:42 +08:00
79d3c5caae switch to Nix flakes 2021-10-08 00:04:22 +08:00
c697e522d3 nac3artiq: #33 demo
The python API is changed a bit to allow running constructor with
@kernel annotation.
2021-10-07 15:58:19 +08:00
08947d20c2 nac3artiq: implements #33 2021-10-07 15:57:45 +08:00
62673cf608 nac3artiq: add back builtins (fix #53) 2021-10-06 16:46:41 +08:00
11144301ca nac3artiq: added simple host value support 2021-10-06 16:07:42 +08:00
4fcb54e463 nac3core: fix #46, better toplevel return type error msg 2021-10-03 18:07:45 +08:00
24b2111c64 nac3core: fix #45 toplevel better error msg for methods/functions 2021-10-03 17:25:28 +08:00
f5ce1afe0b fix tests and switch to insta
Use a library called 'insta' to better organize those longer correct test outputs in toplevel tests. 'insta' creates `.snap` files as snapshots of the test output, and will automatically do the diff if the output is different. This makes maintaining test cases with larger outputs a lot easier.

Reviewed-on: M-Labs/nac3#42
Co-authored-by: ychenfo <yc@m-labs.hk>
Co-committed-by: ychenfo <yc@m-labs.hk>
2021-10-03 16:39:12 +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
248d8cbece nac3artiq: handle now-pinning depending on target 2021-10-02 23:40:06 +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
0cbe4778d2 nac3standalone: demonstrate scalar conversion functions in mandelbrot 2021-10-02 19:21:59 +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
1d2a32b140 nac3core/toplevel: impl scalar conversion
Implemented scalar conversion functions as builtin functions.
`round` for int64 is now implemented as `round64`.
2021-09-30 23:39:29 +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
928b5bafb5 nac3artiq: add missing symlink 2021-09-29 15:36:30 +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
8d839db553 typo 2021-09-27 19:12:18 +08:00
316db42940 nac3embedded -> nac3artiq, README cleanup 2021-09-27 10:30:54 +08:00
64404bba20 syscall -> extern (#21) 2021-09-27 10:13:03 +08:00