Commit Graph - nac3 - M-Labs Git

abdul124

nac3

forked from M-Labs/nac3

Fork 0

Commit Graph

Select branches

Hide Pull Requests

enhance/cargo-test-standalone-demos

escape-analysis

feature/vararg-param

issue-133

issue-133-temp

issue-136

issue-313

iterators

master

misc/impl-tracert

misc/mold

misc/update-pyo3

ndstrides

ndstrides-old-wip

ndstrides-wip

ndstrides-wip-irrt-error-mechanism

ndstrides-wip-refactor-nac3core-exn

numpy-anyall

refactor-composer

refactor-primstore

refactor_anto

refactor_composer

refactor_composer_temp

remove_redundant_unsafe

rpc-obj-as-param

support_nalgebra

temp/buildtime-disable-escape-analysis

a308d24caa nac3standalone: cleanup Sebastien Bourdeauducq 2022-04-18 16:02:48 +0800
1eac111d4c cleanup Sebastien Bourdeauducq 2022-04-18 15:55:37 +0800
44199781dc nac3standalone: add tests for operators ychenfo 2022-04-18 04:51:15 +0800
711c3d3303 nac3core: support custom operators ychenfo 2022-04-13 12:25:52 +0800
0975264482 README: center icon sb10q 2022-04-18 15:11:32 +0800
087aded3a3 add icon Sebastien Bourdeauducq 2022-04-18 15:07:53 +0800
f14b32be67 nac3artiq: type check host int bound instead of panic when codegen ychenfo 2022-04-12 22:05:59 +0800
879c66cccf flake.nix: Fix outdated nixConfig keys David Nadlinger 2022-04-13 21:21:18 +0100
1d731a3589 zc706 master: route sma clock to si5324 mwojcik 2022-04-13 16:33:22 +0800
35b6459c58 nac3core: replace paramter with parameter wylited 2022-04-13 15:42:26 +0800
e94b25f544 spelling (#264) Co-authored-by: wylited <ds@m-labs.hk> Co-committed-by: wylited <ds@m-labs.hk> wylited 2022-04-13 11:32:31 +0800
3cf86a6335 satellites: add rtio_crg cfg mwojcik 2022-04-12 13:44:53 +0800
78bc162749 rtio_clocking: remove loop mwojcik 2022-04-12 13:33:52 +0800
6972689469 nac3artiq: cleanup demo Sebastien Bourdeauducq 2022-04-12 10:34:14 +0800
3fb22c9182 nac3artiq: treat host numpy.float64 as float. Closes #90 Sebastien Bourdeauducq 2022-04-12 10:33:28 +0800
1e7abf0268 fix tests Sebastien Bourdeauducq 2022-04-12 10:06:41 +0800
f5a6d29106 update insta snapshots Sebastien Bourdeauducq 2022-04-12 09:56:49 +0800
ca07cb66cd format typevars consistently Sebastien Bourdeauducq 2022-04-12 09:28:17 +0800
93e9a6a38a update dependencies Sebastien Bourdeauducq 2022-04-12 09:13:04 +0800
722e3df086 nac3core, artiq: optimize kernel invariant for tuple index ychenfo 2022-04-10 16:25:15 +0800
ad9ad22cb8 nac3core: optimize unwrap KernelInvariant ychenfo 2022-04-10 03:31:04 +0800
a5efba75ba nac3core: toplevel | add enumerate as a keyword for functions iterators wylited 2022-04-11 14:41:26 +0800
eeeccfd656 add extra builtin types for tuples and lists wylited 2022-04-10 11:44:29 +0800
f66f66b3a4 nac3core, artiq: remove unnecessary ptr casts ychenfo 2022-04-09 04:18:27 +0800
6c485bc9dc nac3artiq: skip attribute writeback for option option types do not have any fields to be written back to the host so it is ok to skip. If we do not skip, there will be error when getting the value of it since it can be `none`, whose type is not concrete ychenfo 2022-04-09 03:50:39 +0800
089bba96a3 nac3artiq: get_obj_value take an additional argument for expected type ychenfo 2022-04-10 01:02:52 +0800
0e0871bc38 nac3core, artiq: to_basic_value_enum takes an argument indicating the expected type ychenfo 2022-04-08 03:26:42 +0800
b974d7ddee flake: update dependencies Sebastien Bourdeauducq 2022-04-09 17:26:22 +0800
26187bff0b nac3core: add missing bound check and negative index handling for list subscription assignment ychenfo 2022-04-09 04:56:31 +0800
830fc0f453 escape analysis: make list elements imprecise escape-analysis pca006132 2022-04-08 23:46:22 +0800
ea5a8c95dc escape analysis: fixed some bugs regarding imprecise local pca006132 2022-04-08 20:16:48 +0800
2c5de32a4c flake: update libasync sha256 mwojcik 2022-04-08 15:50:24 +0800
5a7dbb3f29 flake: update sypico dependency (fix duplicate) mwojcik 2022-04-08 15:50:11 +0800
d27d06f960 flake: update dependencies Sebastien Bourdeauducq 2022-04-08 10:48:24 +0800
14f7778732 update libconfig features mwojcik 2022-04-07 16:03:12 +0800
fb79b47b38 escape analysis: fixed infinite loop detection pca006132 2022-04-08 09:18:34 +0800
1257a80ed1 escape analysis implementation pca006132 2022-04-07 23:02:07 +0800
c93f79f94a basic escape analysis for assignment statements pca006132 2022-04-05 22:19:23 +0800
86ce513cb5 nac3standalone: fix broken test previously this test unexpectedly passed because it is a slice assignment to extend the list, which is valid in CPython and hence in interpret_demo, and which also happened to give the same output in nac3 by memmove the elements in the list of bool ychenfo 2022-04-05 15:55:43 +0800
c29cbf6ddd nac3core: add bound check for list slice ychenfo 2022-04-05 14:29:20 +0800
7443c5ea0f nac3core: add location information to codegen context ychenfo 2022-04-04 23:21:00 +0800
f55b077e60 README: update Windows instructions Sebastien Bourdeauducq 2022-04-05 18:07:38 +0800
e05b0bf5dc flake: update nixpkgs Sebastien Bourdeauducq 2022-04-05 10:10:08 +0800
8eda0affc9 windows: add wine-msys2-build Sebastien Bourdeauducq 2022-04-05 10:06:36 +0800
75c53b40a3 windows: update msys2 packages, add setuptools to environment Sebastien Bourdeauducq 2022-04-05 10:06:14 +0800
0d10044d66 Merge pull request 'Fix float**int with negative power' (#254) from neg_powi_fix into master pca006132 2022-04-04 22:43:20 +0800
10c4544553 nac3core/typecheck: start implementing escape analysis pca006132 2022-04-04 22:42:22 +0800
23b7f4ef18 nac3standalone: add tests for power ychenfo 2022-04-02 03:29:25 +0800
710904f975 nac3core: fix powi with negative integer power ychenfo 2022-04-02 03:26:15 +0800
4bf452ec5a windows: do not check dependencies when making package Sebastien Bourdeauducq 2022-04-04 16:03:59 +0800
9fdce11efe windows: depend on python Sebastien Bourdeauducq 2022-04-04 15:21:34 +0800
f24ef85aed hydra: use msys2 type Sebastien Bourdeauducq 2022-04-04 15:03:53 +0800
4a19787f10 README: update Sebastien Bourdeauducq 2022-04-04 15:03:44 +0800
8209c0a475 windows: create MSYS2 package Sebastien Bourdeauducq 2022-04-04 14:24:47 +0800
dcfb28ce61 fix drtioaux packet corruption Co-authored-by: mwojcik <mw@m-labs.hk> Co-committed-by: mwojcik <mw@m-labs.hk> mwojcik 2022-04-01 14:15:14 +0800
4f66bdeda9 Merge pull request 'nac3core: do not get llvm value too eagerly for kernel invariant' (#253) from kernel_invariant_fix into master pca006132 2022-03-31 12:48:49 +0800
57369896d7 update dependencies Sebastien Bourdeauducq 2022-03-31 10:40:18 +0800
2edeb31d21 nac3core: do not get llvm value too eagerly for kernel invariant ychenfo 2022-03-31 01:06:11 +0800
b8ef44d64e nac3standalone: add test for default param ychenfo 2022-03-30 04:04:27 +0800
c3156afebd nac3core: fix broken tests ychenfo 2022-03-30 03:52:49 +0800
388c9b7241 nac3core: better check and err msg for default param ychenfo 2022-03-30 03:50:34 +0800
e52d7fc97a nac3artiq: resolve unsigned int host variable as defautl param ychenfo 2022-03-30 03:17:06 +0800
6ab73a223c nac3core/artiq: support default param of option type ychenfo 2022-03-30 03:14:21 +0800
433a9cdaf1 runtime: fix warnings on nondrtio systems mwojcik 2022-03-29 10:04:39 +0800
a38cc04444 nac3core: assert statement ychenfo 2022-03-29 00:13:47 +0800
1f5826d352 fix ternary if (#250) ychenfo 2022-03-29 06:54:00 +0800
a79bef2243 runtime: provide/fix more libc mem functions Sebastien Bourdeauducq 2022-03-28 13:24:01 +0800
7b21889055 README: fix gateware build command Sebastien Bourdeauducq 2022-03-28 13:19:59 +0800
94eebde4ea README: add note about MSVC Python Sebastien Bourdeauducq 2022-03-28 10:45:01 +0800
63ec382673 README: update Windows instructions Sebastien Bourdeauducq 2022-03-27 19:36:02 +0800
0ca1a7bedb windows: work around broken LLD install script Sebastien Bourdeauducq 2022-03-27 19:14:02 +0800
201ca3f63d Revert "nac3artiq: use lld.exe on Windows" Sebastien Bourdeauducq 2022-03-27 19:09:11 +0800
19182759cd nac3artiq: use lld.exe on Windows Sebastien Bourdeauducq 2022-03-27 18:41:38 +0800
edd039abdc windows: build LLD Sebastien Bourdeauducq 2022-03-27 18:41:23 +0800
3852cc1058 windows: don't fixup LLVM Sebastien Bourdeauducq 2022-03-27 18:38:23 +0800
0600ee8efa nac3artiq: use correct lld invokation on Windows Sebastien Bourdeauducq 2022-03-27 18:25:14 +0800
bed33a7421 nac3standalone: add tests for tuple ychenfo 2022-03-27 10:14:22 +0800
0d2b844a2e nac3artiq: avoid getting tuple as pointer value ychenfo 2022-03-27 10:29:08 +0800
8d7e300a4a nac3core: do not use const struct for tuple ychenfo 2022-03-27 10:13:17 +0800
10d623e36f nac3core/artiq: fix tuple representation ychenfo 2022-03-27 02:23:22 +0800
000b128551 nac3artiq: cast none to correct ptr type (#241) ychenfo 2022-03-26 23:32:50 +0800
e4581a6d9b nac3standalone/demo: fix return type in loop.py Sebastien Bourdeauducq 2022-03-26 21:10:05 +0800
1a82d296e7 nac3core/codegen: prevent users from modifying loop counter pca006132 2022-03-26 20:58:37 +0800
bf067e2481 nac3artiq: implement attribute writeback pca006132 2022-03-25 22:42:01 +0800
c6ef9b117c fix previous commit Sebastien Bourdeauducq 2022-03-26 20:08:11 +0800
ba8ed6c663 nac3artiq: handle recursive types properly ychenfo 2022-03-23 03:38:48 +0800
26a4834254 fix warnings ychenfo 2022-03-26 18:52:08 +0800
1ad4b0227c windows: fix src location Sebastien Bourdeauducq 2022-03-26 15:46:21 +0800
dcfaf587ec firmware: add UnwrapNoneError exception Sebastien Bourdeauducq 2022-03-26 15:29:40 +0800
6288a66dc5 windows: fix cargo lockfile location Sebastien Bourdeauducq 2022-03-26 15:23:31 +0800
de4320eefb improve package names Sebastien Bourdeauducq 2022-03-26 15:15:39 +0800
a380cd5010 move all Nix files to one folder Sebastien Bourdeauducq 2022-03-26 15:13:43 +0800
80631fc92b Option type support (#224) Co-authored-by: ychenfo <yc@m-labs.hk> Co-committed-by: ychenfo <yc@m-labs.hk> ychenfo 2022-03-26 15:09:15 +0800
a92561b9d3 implement rtio_get_destination_status (#177) Co-authored-by: mwojcik <mw@m-labs.hk> Co-committed-by: mwojcik <mw@m-labs.hk> mwojcik 2022-03-25 18:20:05 +0800
55db05fdbb update dependencies Sebastien Bourdeauducq 2022-03-24 22:30:15 +0800
24a26b53ae nac3core/toplevel: fixed broken tests pca006132 2022-03-24 21:33:09 +0800
1084ba2158 nac3core: fixed typevar with finite range pca006132 2022-03-24 21:29:46 +0800
be75fa7368 nac3core: fix assign to constant ychenfo 2022-03-24 07:13:13 +0800
ec52128a4a indentation Sebastien Bourdeauducq 2022-03-23 10:45:28 +0800
b10b49e39a windows: run cargo tests Sebastien Bourdeauducq 2022-03-23 09:53:45 +0800