Commit Graph - nac3 - M-Labs Git

newell

nac3

forked from M-Labs/nac3

Fork 0

Commit Graph

Select branches

Hide Pull Requests

enhance/cargo-test-standalone-demos

enhance/global-var

escape-analysis

issue-136

issue-313

iterators

master

misc/impl-tracert

misc/mold

misc/update-pyo3

ndstrides

ndstrides-1-model

ndstrides-1-model-lifetime

ndstrides-10-ops

ndstrides-11-matmul

ndstrides-12-builtins

ndstrides-13-tests

ndstrides-14-end

ndstrides-2-basic

ndstrides-3-indexing

ndstrides-4-nparray

ndstrides-5-miscfuncs

ndstrides-6-reshape

ndstrides-7-broadcasting

ndstrides-8-transpose

ndstrides-9-subassign

ndstrides-enhance-irrt

ndstrides-intro

numpy-anyall

refactor-primstore

refactor_anto

refactor_composer

rpc-obj-as-param

f5ce1afe0b fix tests and switch to insta ychenfo 2021-10-03 16:39:12 +0800
915460ecb7 nac3artiq: fix typo Sebastien Bourdeauducq 2021-10-03 16:18:15 +0800
b2c7f51d57 nac3artiq: guarantee ordering of pinned now stores Sebastien Bourdeauducq 2021-10-03 10:00:12 +0800
248d8cbece nac3artiq: handle now-pinning depending on target Sebastien Bourdeauducq 2021-10-02 23:40:06 +0800
c429a86586 nac3artiq: refactor timeline functions Sebastien Bourdeauducq 2021-10-02 23:35:28 +0800
c5e731f16d nac3artiq: implement timeline functions Sebastien Bourdeauducq 2021-10-02 23:22:46 +0800
0cbe4778d2 nac3standalone: demonstrate scalar conversion functions in mandelbrot Sebastien Bourdeauducq 2021-10-02 19:21:59 +0800
c93305739d nac3artiq: fix misleading error message Sebastien Bourdeauducq 2021-10-02 19:17:33 +0800
ba93931758 implement timeline functions for RISC-V (WIP) Sebastien Bourdeauducq 2021-10-02 19:05:35 +0800
3dd916b6ac nac3artiq: update unsendable comment Sebastien Bourdeauducq 2021-10-02 18:28:44 +0800
8447aa3000 nac3artiq: allows kernel function pca006132 2021-10-01 00:02:15 +0800
1d2a32b140 nac3core/toplevel: impl scalar conversion pca006132 2021-09-30 23:39:29 +0800
07a9229d52 nac3artiq: implements #36 pca006132 2021-09-30 22:30:54 +0800
f0fdfe42cb nac3core: better impl of #24 pca006132 2021-09-30 17:07:48 +0800
928b5bafb5 nac3artiq: add missing symlink Sebastien Bourdeauducq 2021-09-29 15:36:30 +0800
dceaf42500 nac3artiq: support ISA selection Sebastien Bourdeauducq 2021-09-29 15:33:12 +0800
bfd041d361 nac3artiq: filter class definitions Sebastien Bourdeauducq 2021-09-27 22:25:19 +0800
6141f01180 nac3artiq: parse whole Python module, filter ast Sebastien Bourdeauducq 2021-09-27 22:12:25 +0800
8d839db553 typo Sebastien Bourdeauducq 2021-09-27 19:05:13 +0800
316db42940 nac3embedded -> nac3artiq, README cleanup Sebastien Bourdeauducq 2021-09-27 10:30:54 +0800
64404bba20 syscall -> extern (#21) Sebastien Bourdeauducq 2021-09-27 10:13:03 +0800
d4ed76d76e nac3core: implementing #24 pca006132 2021-09-26 22:17:09 +0800
3c121dfcda nac3core/toplevel/composer: fixes #29 pca006132 2021-09-25 22:02:19 +0800
693ac7d336 nac3core/toplevel: added personality symbol config pca006132 2021-09-25 21:44:00 +0800
dd998c8afc nac3embedded: RTIO LED blinking demo Sebastien Bourdeauducq 2021-09-25 14:17:11 +0800
7ab762a174 demo: add more syscalls and features Sebastien Bourdeauducq 2021-09-24 14:45:44 +0800
7ab2114882 nac3embedded: switch to Zynq (#24) Sebastien Bourdeauducq 2021-09-24 14:45:01 +0800
4535b60fc0 nac3embedded: add device_db for artiq_run of the compiler output Sebastien Bourdeauducq 2021-09-24 13:26:23 +0800
bf48151748 nac3embedded: do not use *.so for output to avoid confusing cpython Sebastien Bourdeauducq 2021-09-24 13:25:43 +0800
bed8ce1f26 nac3embedded: set ELF entry point symbol Sebastien Bourdeauducq 2021-09-24 13:25:18 +0800
c26689c7a7 shell.nix: fix syntax Sebastien Bourdeauducq 2021-09-24 12:53:48 +0800
ac17bf50f8 nac3embedded: RTIO syscalls Sebastien Bourdeauducq 2021-09-24 11:39:26 +0800
13bd18bfcb nac3embedded: produce final shared library Sebastien Bourdeauducq 2021-09-24 11:07:52 +0800
5c236271c3 nac3embedded: string interning Sebastien Bourdeauducq 2021-09-24 09:58:58 +0800
14662a66dc nac3embedded: run linker (WIP) Sebastien Bourdeauducq 2021-09-23 21:30:13 +0800
c4fbfeaca9 nac3standalone: added thread number arg pca006132 2021-09-23 20:02:56 +0800
20a752fd3a Merge pull request 'optimization (#13)' (#15) from optimization into master pca006132 2021-09-23 19:58:43 +0800
6a69211c55 Merge remote-tracking branch 'origin/master' into optimization pca006132 2021-09-23 19:58:24 +0800
59dac8bdf5 nac3embedded: compile for RISC-V ARTIQ coredevice Sebastien Bourdeauducq 2021-09-23 19:38:48 +0800
edd60e3f9a nac3embedded: compile again Sebastien Bourdeauducq 2021-09-23 19:30:03 +0800
799ed58d21 nac3core/type_inferencer: avoid type var for assign pca006132 2021-09-22 19:25:47 +0800
105d605e6d nac3core: fix clippy warnings pca006132 2021-09-22 17:56:48 +0800
97f5b7c324 fixed performance regression pca006132 2021-09-22 17:45:21 +0800
7d48883583 fixed tests pca006132 2021-09-22 17:26:19 +0800
084efe92af nac3core: use string interning pca006132 2021-09-22 17:19:27 +0800
891056631f nac3core: use Arc to reduce copy pca006132 2021-09-22 16:04:25 +0800
1b5ac3cd25 nac3core: do not alloc call if it is monomorphic pca006132 2021-09-22 15:56:53 +0800
5ed2b450d3 nac3core/typecheck: no type variable for monomorphic functions pca006132 2021-09-22 15:43:44 +0800
a508baae20 added syscall annotation pca006132 2021-09-22 15:28:17 +0800
013e7cfc2a codegen: support pass statement. Closes #10 Sebastien Bourdeauducq 2021-09-22 15:15:55 +0800
db14b4b635 demo: remove old obj files Sebastien Bourdeauducq 2021-09-22 15:01:14 +0800
8acb39f31f fix parallel compilation Sebastien Bourdeauducq 2021-09-22 15:00:32 +0800
d561450bf5 demo: fix classes example Sebastien Bourdeauducq 2021-09-22 14:33:47 +0800
956cca6ac8 cleanup demos Sebastien Bourdeauducq 2021-09-22 14:30:52 +0800
4a5f2d495e added time measurement to track performance pca006132 2021-09-22 14:45:56 +0800
4fe643f45b allows function ending with a number pca006132 2021-09-22 14:45:42 +0800
1c170f5c41 nac3core: type inferencer fix the pass statement ychenfo 2021-09-21 13:19:13 +0800
df6c9c8a35 fix #11 pca006132 2021-09-21 11:29:51 +0800
20905a9b67 nac3core: better field initialization check ychenfo 2021-09-21 02:48:42 +0800
e66693282c nac3core: change the place to unify constructor type for function body type check ychenfo 2021-09-20 23:26:04 +0800
dd1be541b8 nac3core: allow class to have no __init__, function/method name with module path added to ensure uniqueness ychenfo 2021-09-20 14:24:16 +0800
3c930ae9ab fixed #12 pca006132 2021-09-20 15:50:38 +0800
35a94a8fc0 nac3core: fix broken test ychenfo 2021-09-20 01:58:07 +0800
4939ff4dbd simple implementation of classes pca006132 2021-09-19 22:54:06 +0800
bf1769cef6 nac3standalone: more tests ychenfo 2021-09-19 17:50:01 +0800
2b74895b71 nac3standalone, nac3core: can use top level composer to compile and run mandelbrot ychenfo 2021-09-19 16:19:16 +0800
1b0f3d07cc nac3core: top level fix field of funinstance ychenfo 2021-09-17 22:32:13 +0800
ed5dfd4100 nac3core: top level inferencer call with type var more test ychenfo 2021-09-17 16:02:00 +0800
41e63f24d0 nac3core: top level add test utility to print stringfied type ychenfo 2021-09-17 01:47:54 +0800
d0df705c5a nac3core: toplevel type var test ychenfo 2021-09-17 00:35:58 +0800
a0662c58e6 nac3core: fix recursive top level function call ychenfo 2021-09-14 22:49:20 +0800
526c18bda0 nac3core: top level inferencer without type var should be ok ychenfo 2021-09-14 16:16:48 +0800
a10ab81ee7 toplevel composer: add ast to class methods, suppress warning ychenfo 2021-09-13 01:18:21 +0800
f5353419ac codegen: minimized lock holding time pca006132 2021-09-16 21:36:42 +0800
180392e2ab typecheck: fixed recursive substitution pca006132 2021-09-12 21:33:21 +0800
471547855e nac3core: toplevel change class method name handling, cleanup comments ychenfo 2021-09-12 13:14:46 +0800
2ac3f9a176 nac3core: separate top level compoer to a new file ychenfo 2021-09-12 05:10:10 +0800
cb310965b8 nac3core: toplevel register consider module path ychenfo 2021-09-12 05:00:26 +0800
118f19762a nac3core: toplevel format ychenfo 2021-09-12 04:40:40 +0800
b419634f8a nac3core: top level fields inheritance check, more tests ychenfo 2021-09-12 04:34:30 +0800
147298ff40 nac3core: top level fix class fields as nac3 spec ychenfo 2021-09-12 03:49:21 +0800
c7cb02b0f3 nac3core: toplevel fix parse type annotation dead lock ychenfo 2021-09-12 03:01:56 +0800
03b5e51822 nac3standalone: cleanup ychenfo 2021-09-10 21:27:08 +0800
4eacd1aa9e nac3core: top level err test ychenfo 2021-09-10 21:26:39 +0800
9eef51f29f nac3core: top level class method self parameter fixed ychenfo 2021-09-10 16:14:08 +0800
917d447605 nac3core: clean up, fix broken test ychenfo 2021-09-09 02:08:07 +0800
f1013d9a17 nac3core: top level fix type var within list tuple, test of type var application compatibility ychenfo 2021-09-09 02:03:44 +0800
2ce507964c nac3core: fix broken top level test due to hashmap order ychenfo 2021-09-09 00:44:56 +0800
5a1a8ecee3 nac3core: self is not not allowed to explicitly appear in method type annotations ychenfo 2021-09-08 21:53:54 +0800
1300b5ebdd nac3core: clean up and format ychenfo 2021-09-08 19:45:36 +0800
87f25e1c5d nac3core: remove mutex on dyn symbol resolve ychenfo 2021-09-08 19:27:32 +0800
55335fc05d nac3core: top level simple type var handled ychenfo 2021-09-08 02:27:12 +0800
247b364191 nac3core: top level fix cyclic ancestor analysis, add tests ychenfo 2021-09-07 17:30:15 +0800
bbcec6ae6f nac3core: toplevel fix bug in make self annotation and return type check ychenfo 2021-09-07 10:03:31 +0800
235b6e34d1 nac3core: top level derive fmt::Debug, fix dead lock ychenfo 2021-09-07 00:20:40 +0800
54b4572c5f nac3core: allow interior mutability to dyn symbolresolver, add add_id_def to symbolresolver trait, remove primitive from top level def list ychenfo 2021-09-06 19:23:04 +0800
dc7c014b10 nac3core: top level more test ychenfo 2021-08-31 17:40:38 +0800
1ae6acc061 nac3core: top level fix function/methods none return type ychenfo 2021-08-31 15:41:48 +0800
98d032b72a nac3core: top level fix duplicate def, start adding tests ychenfo 2021-08-31 15:22:45 +0800
7bbd608492 nac3core: top level cleanup, rewrite ancestors handling, __init__ occruence check ychenfo 2021-08-31 09:57:07 +0800