793 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
dmitry	8b1eae4c9c	TypeSpec	2021-03-05 14:11:46 +03:00
dmitry	bf5e841227	ScalarType	2021-03-05 12:32:46 +03:00
alari	07fe9ef872	TypeMatcher WIP	2021-03-04 21:32:32 +03:00
dmitry	d0ef5ee942	Typechecker WIP	2021-03-04 18:51:37 +03:00
dmitry	393cff7579	Typecheck WIP	2021-03-03 17:57:36 +03:00
dmitry	8f3d5915fc	ExpectAndDefine type simplification	2021-03-03 17:34:14 +03:00
dmitry	09863f84bf	Arrows spec	2021-03-03 16:41:59 +03:00
dmitry	05970c248c	Arrows WIP	2021-03-03 15:46:31 +03:00
dmitry	07155ecdbf	AbilitiesResolve	2021-03-03 15:19:11 +03:00
dmitry	bc47134cc8	Abilities resolve WIP	2021-03-03 14:45:07 +03:00
dmitry	97b806722f	Abilities def walker	2021-03-03 13:47:51 +03:00
dmitry	3abe87f6d8	Types walker	2021-03-03 13:29:46 +03:00
dmitry	d996d2beae	Args and vars validation	2021-03-03 12:43:50 +03:00
dmitry	c3fe3e906c	Many renames, parser fixes	2021-03-03 11:37:54 +03:00
alari	bdb9f86d7c	Failing DataAccSpec	2021-03-03 00:36:28 +03:00
alari	a8d61e43c0	Failing DataAccSpec	2021-03-03 00:30:54 +03:00
alari	30914ce619	Tests compile	2021-03-03 00:13:15 +03:00
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