-
f5ce1afe0b
fix tests and switch to insta
ychenfo
2021-10-03 16:39:12 +0800
-
0de4fe534d
Merge branch 'master' into snapshot-test-insta
ychenfo
2021-10-03 16:28:02 +0800
-
-
-
-
915460ecb7
nac3artiq: fix typo
Sebastien Bourdeauducq
2021-10-03 16:18:15 +0800
-
5cbdb4005c
nac3core: top level test cleanup
ychenfo
2021-10-03 14:52:49 +0800
-
b62f5b9376
nac3core: toplevel fix broken tests, use snapshot tests
ychenfo
2021-10-03 14:03:29 +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