20 Commits

Author	SHA1	Message	Date
collin	cc8337853c	rename struct alias Ast -> Grammar in ast module 2	2020-11-10 13:32:25 -08:00
collin	a8c5885836	rename core-ast -> ast	2020-10-30 17:31:09 -07:00
collin	ffcd93f781	rename ast -> grammar 1	2020-10-30 17:17:17 -07:00
ljedrz	4f46dd2982	clippy: allow module_inception ... Signed-off-by: ljedrz <ljedrz@gmail.com>	2020-10-05 17:18:25 +02:00
collin	59570002f2	mutable self wip	2020-09-05 22:03:02 -07:00
collin	9a6cfbdd7a	impl Self keyword protected name	2020-09-02 20:48:20 -07:00
raychu86	ae10a78eb5	Add license header	2020-08-18 03:50:26 -07:00
collin	08978cc9e7	refactor return values to tuple types	2020-08-11 01:08:02 -07:00
collin	3d1edefedb	add definition parsing to typed. add tests	2020-08-05 22:45:52 -07:00
collin	4550573213	add definition rule to pest	2020-08-05 20:56:49 -07:00
collin	fb45ac7498	rename inputs -> input	2020-07-31 19:39:30 -07:00
collin	ce2a92b9bf	add function input keyword. support access to registers, record, state, state_leaf	2020-07-31 18:30:08 -07:00
collin	a858b37fe0	merge master fix conflicts	2020-07-30 18:30:56 -07:00
howardwu	47bfd2e096	Adds serialization of Leo AST for unit testing and rformal verification	2020-07-28 21:18:43 -07:00
collin	9fc9e16367	parse main, record, registers, state, state_leaf types to compiler input	2020-07-28 16:57:03 -07:00
collin	c77e6a51b3	remove visibility syntax and functionality	2020-06-15 13:38:07 -07:00
howardwu	837d107a54	cargo fmt	2020-06-07 23:30:39 -07:00
howardwu	54b531c27f	Rename function components	2020-06-07 17:28:10 -07:00
howardwu	a380d83c75	Migrate functions	2020-06-07 17:22:22 -07:00
howardwu	e08ec6f9e9	Migrate assignee	2020-06-07 17:12:16 -07:00