818 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
dmitry	78b00d0800	Tests for names extraction	2021-02-26 18:12:38 +03:00
dmitry	2306fefd11	Track names definitions, whereas possible	2021-02-26 17:51:09 +03:00
dmitry	9cf2db90d8	Basic Names impl	2021-02-26 17:14:14 +03:00
dmitry	d2676c8b14	Reformat	2021-02-26 13:57:36 +03:00
dmitry	9f80069615	Type aliases	2021-02-25 17:58:50 +03:00
dmitry	694b3a040e	Span is a comonad	2021-02-25 17:37:25 +03:00
dmitry	37f99eb15e	Added type argument to parsers	2021-02-25 16:57:27 +03:00
dmitry	bde8017d31	Allow comments before blocks	2021-02-25 16:02:08 +03:00
dmitry	05004ed6f6	Basic FuncSpec	2021-02-25 15:50:42 +03:00
dmitry	215866baf0	Literals parsing	2021-02-25 14:26:32 +03:00
dmitry	103203bab0	Multiline comments, AbilityResolve	2021-02-25 13:55:12 +03:00
dmitry	5fb96efbaf	FuncOp progress	2021-02-24 18:57:41 +03:00
dmitry	ea17b56a05	progress	2021-02-18 16:49:39 +03:00
dmitry	f6ca9f85ff	kad pseudocode	2021-02-17 16:30:45 +03:00
dmitry	834b5499f9	Air representation improvements	2021-02-10 17:10:03 +03:00
dmitry	4f90c22dd2	example.aqua	2021-02-02 16:56:47 +03:00
dmitry	a21d761a27	aqua.parse package	2021-02-01 17:45:46 +03:00
dmitry	8c3b6d291a	First experiments with Aqua HLL	2021-02-01 16:17:46 +03:00