194 Commits

Author	SHA1	Message	Date
gluaxspeed	011d405e00	fix output file types from CRLF to LF	2021-07-27 09:48:00 -07:00
gluaxspeed	42f58ff33e	added more tests	2021-07-27 09:31:23 -07:00
gluaxspeed	3f890c9f30	fix reverse loop have to add range, which is always 1 for now	2021-07-26 17:22:05 -07:00
gluaxspeed	20d64970ab	merge master, color only at cli as it breaks tests, remove debug	2021-07-26 16:49:33 -07:00
Alessandro Coglio	49a51d6026	Merge pull request #1185 from AleoHQ/bug/ternary-different-types ... [Bugfix] Ternary Type Check	2021-07-24 13:21:59 -07:00
gluaxspeed	1c3362d191	ternary different types errors out	2021-07-23 17:12:30 -07:00
gluaxspeed	1d72107119	inclusive range	2021-07-23 15:14:37 -07:00
gluaxspeed	b69dd4e277	remove debug, realized it was crlf vs lf whoops	2021-07-23 00:34:52 -07:00
gluaxspeed	61253031b4	countdown loops	2021-07-22 22:17:33 -07:00
gluaxspeed	83e6edd12a	write test for import strings being canonicalized	2021-07-22 12:53:42 -07:00
gluaxspeed	2544a680f1	forgot to regen tests after merging	2021-07-21 14:57:40 -07:00
gluaxspeed	8028766cb4	Merge branch 'master' of github.com:AleoHQ/leo into bug/abnf-format-strings	2021-07-21 14:43:37 -07:00
Alessandro Coglio	e0b586a9a1	Merge pull request #1164 from AleoHQ/feature/theorem-tests ... [Feature-Impl] Ast generation tests	2021-07-21 11:04:19 -07:00
gluaxspeed	c1879e6e1c	Merge branch 'master' of github.com:AleoHQ/leo into bug/abnf-format-strings	2021-07-21 02:51:35 -07:00
gluaxspeed	a9593971b9	format string and grammar changes	2021-07-20 14:52:35 -07:00
gluaxspeed	a2577231fd	add test	2021-07-19 11:33:18 -07:00
gluaxspeed	98d47ab32a	Merge branch 'master' of github.com:AleoHQ/leo into feature/theorem-tests	2021-07-18 20:00:48 -07:00
weikeng	fef7fe6c90	update the test as well as ci	2021-07-17 01:55:11 -07:00
gluaxspeed	b456488758	merge master	2021-07-16 03:39:32 -07:00
gluaxspeed	8b44cfa9c7	Merge branch 'master' of github.com:AleoHQ/leo into feature/theorem-tests	2021-07-16 03:28:37 -07:00
gluaxspeed	470a4075f8	refactor theorem to ast for out file hashes, migrate old tests	2021-07-16 03:20:36 -07:00
gluaxspeed	8695b11ce0	Forgot to refactor in compiler tests	2021-07-14 05:04:09 -07:00
gluaxspeed	baca9ca4a5	Hash the ast in the .out file	2021-07-14 02:58:10 -07:00
gluaxspeed	af147449be	"fix type, more test coverage"	2021-07-14 00:39:09 -07:00
gluaxspeed	c5c5bce2f0	Merge branch 'master' of github.com:AleoHQ/leo into bug/misc-bugs	2021-07-13 22:27:24 -07:00
gluaxspeed	650a729763	Add theorem generations to tests	2021-07-12 11:45:51 -07:00
gluaxspeed	c0628a04c7	Merge branch 'master' of github.com:AleoHQ/leo into bug/misc-bugs	2021-07-11 22:55:29 -07:00
gluaxspeed	39e21e5d93	add more tests	2021-07-09 12:15:29 -07:00
gluaxspeed	d4d122e59e	Merge branch 'master' of github.com:AleoHQ/leo into bug/abnf-parser-bugs	2021-07-09 11:55:10 -07:00
gluaxspeed	01717ee86f	Merge branch 'master' of github.com:AleoHQ/leo into bug/abnf-parser-bugs	2021-07-08 04:07:00 -07:00
gluaxspeed	0bd580e3d1	fmt fixes, realized they have to be in that format for outputs	2021-07-08 04:05:00 -07:00
gluax	a496841563	the identifiers differ, change it to name	2021-07-02 18:29:48 -07:00
gluax	9ace3243d2	forgot to regenerate tests	2021-07-02 15:29:50 -07:00
gluax	376d713fb3	add test for missed case from fixed bugs	2021-07-02 15:13:38 -07:00
gluax	bcb50ae27f	change equality_expressions	2021-07-01 13:40:29 -07:00
gluax	eee9cfc1be	fix parser to match abnf conditional	2021-06-30 22:20:06 -07:00
gluax	f35b120588	test cases for lest test	2021-06-29 21:12:24 -07:00
gluax	bb63e13edf	fix all the bugs for the new array indexes	2021-06-29 20:55:48 -07:00
gluax	5c3b48a25b	slight rework to access to clean it up and fix other missed cases, added tests	2021-06-28 14:10:26 -07:00
gluax	5ebea328fb	const_value for array_init, and canonicalization fixes	2021-06-26 00:00:09 -07:00
Alessandro Coglio	b6065c34d4	Merge pull request #1060 from AleoHQ/bugs/array-type-inference-issues ... array type inference bugs	2021-06-25 11:12:21 -07:00
gluax	068958a2f4	array type inference bugs	2021-06-23 07:08:32 -07:00
damirka	77301e98bd	add tests	2021-06-23 14:16:44 +03:00
gluax	957d73f33f	more tests	2021-06-22 14:31:45 -07:00
gluax	af1aca3d9f	parse returns leo error not rust error	2021-06-21 23:10:55 -07:00
gluax	b969774b85	check input integer types at all stages	2021-06-21 19:53:01 -07:00
Alessandro Coglio	b414cde00d	Merge pull request #1043 from AleoHQ/bug/canonicalization-fixes ... canonicalization fixes	2021-06-18 09:01:39 -07:00
gluax	a2850bbd02	Self bug fix, and string canonicalization fix	2021-06-17 12:47:19 -07:00
gluax	1f35308f47	depend on improved tests branch	2021-06-15 11:44:20 -07:00
gluax	076aafa097	resolve merge conflicts	2021-06-15 11:32:46 -07:00
gluax	a6f4052dde	type inference char reducer fixed, outputs fixed	2021-06-15 11:23:08 -07:00
gluax	7d29ef0d5e	custom serializer/deserializer	2021-06-14 15:56:39 -07:00
gluax	d1ca1108fb	scalar chars refactor, some stuff got fixed, some stuff broke	2021-06-11 16:16:21 -07:00
Alessandro Coglio	04c809c0dc	Merge pull request #1027 from AleoHQ/bug/1025-assigning-slice-to-string ... fix slice assignment for strings	2021-06-11 11:36:08 -07:00
gluax	debaf9cd61	more byte failing tests	2021-06-11 10:05:08 -07:00
gluax	5b4cc494c1	fix parser bug allowing illegal unicode escape	2021-06-10 10:59:35 -07:00
gluax	d6266102c3	more tests, hex fix	2021-06-09 15:54:05 -07:00
gluax	9eedd61ccd	rebase master, redo tests	2021-06-08 14:59:38 -07:00
p	e816ae4ac3	fix array dyn mut	2021-06-08 14:52:12 -07:00
gluax	0a71466c41	pull snarkvm deps, for test fix	2021-06-08 14:01:10 -07:00
gluax	d4cdd93d15	Merge branch 'feat/update-snarkvm-0.5.4' of github.com:AleoHQ/leo into bug/1025-assigning-slice-to-string	2021-06-08 13:44:22 -07:00
collin	1b5f2728e5	deprecate abnf, regenerate tests	2021-06-08 13:15:26 -07:00
gluax	c9b565cbfb	fix slice assignment for strings	2021-06-08 12:29:49 -07:00
Protryon	a0acc915e9	dynamic array index assignment	2021-06-04 06:14:09 -07:00
damirka	3bcb0ef942	fix test expectations	2021-06-03 19:34:10 +03:00
damirka	1478e1be22	fix expectations for parser test	2021-06-02 15:48:11 +03:00
damirka	ecff3d6f2b	fixes #995	2021-06-02 14:53:32 +03:00
gluax	bdcd945716	Merge branch 'feature/char-type' of github.com:AleoHQ/leo into feature/char-type	2021-05-25 16:37:55 -04:00
gluax	e53c35f3f2	made suggested changes	2021-05-25 16:36:59 -04:00
damirka	d578a1084e	fix field tests for inputs, improves string and char inputs	2021-05-25 21:06:45 +03:00
damirka	760a0d545f	Merge branch 'feature/char-type' of github.com:AleoHQ/leo into feature/char-type	2021-05-25 20:59:36 +03:00
damirka	8959d3e44b	adds char and string tests for inputs and const inputs	2021-05-25 20:59:24 +03:00
gluax	bdcf7ce944	resolve direct unicode in a string	2021-05-25 13:49:26 -04:00
gluax	53a668ae14	resolve multiple chars in a char, tests for it	2021-05-25 12:18:01 -04:00
damirka	a3416c1e3e	added max value for \x7F escape	2021-05-24 15:13:33 +03:00
damirka	497b039d60	added few more test cases for strings	2021-05-24 13:10:28 +03:00
gluax	91f27bc046	explicit type resolves issue, will make bug for implict	2021-05-22 22:26:24 -04:00
gluax	7145a751d9	console.log refactor, concat test... has asg or TIPhase reducer bug	2021-05-22 21:15:07 -04:00
gluax	bce10cc885	quick test fix	2021-05-22 18:21:11 -04:00
gluax	1c57eb4196	input string syntax	2021-05-22 17:57:05 -04:00
gluax	329b330c15	merge remote	2021-05-22 10:47:08 -04:00
gluax	ddbdd485d2	Revert "change pest according to suggestion fixes it" ... This reverts commit c8e63a21d6.	2021-05-22 10:41:54 -04:00
gluax	cd95f48f77	forgot to remove debug stmt, and regen tests	2021-05-21 15:11:48 -04:00
gluax	3971a6100d	revert parsing char change, clean up lexing	2021-05-21 14:43:05 -04:00
gluax	cce0f597de	Revert "refactor for better errors, code shouldn't have been in the lexer" ... This reverts commit 1e1486f4ef.	2021-05-21 12:33:39 -04:00
gluax	c8e63a21d6	change pest according to suggestion fixes it	2021-05-20 20:10:00 -04:00
gluax	ca59ff3177	tests for now should be changed to use input strings when they are in	2021-05-20 14:30:12 -04:00
damirka	a5f994ad88	Merge remote-tracking branch 'origin/feature/char-type' into feature/string-parsing	2021-05-20 19:27:51 +03:00
gluax	1e1486f4ef	refactor for better errors, code shouldn't have been in the lexer	2021-05-19 18:14:56 -04:00
damirka	f96c4ad37e	Merge branch 'feature/char-type' into feature/string-parsing	2021-05-20 00:24:22 +03:00
damirka	ed03a385b5	fix unicode chars	2021-05-19 23:59:54 +03:00
gluax	b6479b754f	tests are passing interestingly but idk if they should be, == doesn't work for input on fields	2021-05-19 16:48:34 -04:00
damirka	737985034b	fix tests	2021-05-19 23:46:47 +03:00
damirka	c4616254d4	follow up, fixed wrong test	2021-05-19 20:53:41 +03:00
damirka	ca6b8695b5	disabled blake2s for now	2021-05-19 20:50:43 +03:00
gluax	08022bb383	char eq operators in, they just call the field ones for now, so when those are in they will work	2021-05-18 12:04:58 -04:00
damirka	32bd282030	1st draft for string parsing and ast type ... - currently uses back quotes "`" for strings, change later - ast -> asg unimplemented, strings need to be processed on canonicalization stage	2021-05-18 18:56:55 +03:00
gluax	1377fc5d75	output file now does 'a', swapped to compiler tests, we fail char tests for now since no constraints	2021-05-14 15:34:39 -04:00
gluax	0435b7ce83	remove octal, fix ascii hex	2021-05-14 13:07:54 -04:00
gluax	733bc90bbe	chars done, should merge in compiler tests	2021-05-13 17:25:33 -04:00