12 Commits

Author	SHA1	Message	Date
Sebastien Bourdeauducq	681d85d3be	remove debug print	2021-11-28 12:57:28 +08:00
pca006132	4b17511b4a	Merge branch 'master' into KernelInvariant	2021-11-27 21:29:27 +08:00
ychenfo	4587088835	Constant Default Parameter Support (#98) ... Add support for constant default parameter Reviewed-on: M-Labs/nac3#98 Co-authored-by: ychenfo <yc@m-labs.hk> Co-committed-by: ychenfo <yc@m-labs.hk>	2021-11-23 07:32:09 +08:00
pca006132	f5ec103c82	nac3artiq: kernel invariant support	2021-11-20 21:15:15 +08:00
pca006132	ba08deada6	nac3core: refactor codegen	2021-11-20 19:50:25 +08:00
pca006132	b1e83a1fd4	nac3core: type check invariants ... This rejects code that tries to assign to KernelInvariant fields and methods.	2021-11-06 22:48:08 +08:00
Sebastien Bourdeauducq	bf7e2c295a	integrate nac3parser	2021-11-03 17:11:00 +08:00
pca006132	a07674a042	nac3artiq: host object supports typevar	2021-10-08 22:45:08 +08:00
pca006132	08947d20c2	nac3artiq: implements #33	2021-10-07 15:57:45 +08:00
pca006132	11144301ca	nac3artiq: added simple host value support	2021-10-06 16:07:42 +08:00
pca006132	07a9229d52	nac3artiq: implements #36	2021-09-30 22:30:54 +08:00
Sebastien Bourdeauducq	316db42940	nac3embedded -> nac3artiq, README cleanup	2021-09-27 10:30:54 +08:00