526 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
dmitry	3bb9a4db7e	WIP: passers	2021-03-02 19:46:27 +03:00
dmitry	13331f4183	Typecheck wip	2021-03-02 09:32:08 +03:00
dmitry	ba833a3b4b	Show all errors	2021-03-01 16:25:57 +03:00
dmitry	ae7ece2cb2	Names -> InOutAcc refactoring	2021-03-01 15:50:15 +03:00
alari	4fa3d99123	progress	2021-02-27 00:22:28 +03:00
alari	6fea32dc14	Check that all types are defined	2021-02-26 23:22:11 +03:00
dmitry	5380a2bbf3	Validate names, show error	2021-02-26 19:43:47 +03:00
dmitry	5e17246717	Free names of functions are exported correctly	2021-02-26 18:44:33 +03:00
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