471 Commits

Author	SHA1	Message	Date
gluaxspeed	650a729763	Add theorem generations to tests	2021-07-12 11:45:51 -07:00
Alessandro Coglio	9202e7acc7	Merge pull request #1122 from detailyang/hotfix/ast-display ... hotfix:ast:conditional statement display method	2021-07-09 15:22:24 -07:00
detailyang	56aac82801	hotfix:fix formatstring display trait	2021-07-09 11:42:59 +08:00
detailyang	85b47651a5	hotfix:ast:conditional statement display method	2021-07-08 16:15:46 +08:00
Alessandro Coglio	6d56aa9c81	Merge pull request #1090 from AleoHQ/feature/cli-generates-proofs ... Ast Proof Generation In CLI	2021-07-03 14:40:07 -07:00
Alessandro Coglio	81d0a4c4e3	Merge pull request #1093 from AleoHQ/bugs/array-indexing ... Array Indexing Fixes	2021-07-02 17:03:58 -07:00
gluax	026708d64d	ast generation now in the compiler and has options	2021-06-30 23:47:20 -07:00
dependabot[bot]	4fd6cf5a14	Bump indexmap from 1.6.2 to 1.7.0 ... Bumps [indexmap](https://github.com/bluss/indexmap) from 1.6.2 to 1.7.0. - [Release notes](https://github.com/bluss/indexmap/releases) - [Commits](https://github.com/bluss/indexmap/compare/1.6.2...1.7.0) --- updated-dependencies: - dependency-name: indexmap dependency-type: direct:production update-type: version-update:semver-minor ... Signed-off-by: dependabot[bot] <support@github.com>	2021-06-30 10:21:58 +00:00
gluax	bb63e13edf	fix all the bugs for the new array indexes	2021-06-29 20:55:48 -07:00
gluax	5ebea328fb	const_value for array_init, and canonicalization fixes	2021-06-26 00:00:09 -07:00
Alessandro Coglio	214c5b21c9	Merge pull request #1054 from AleoHQ/bugs/1040-1041-input-bugs ... input bugs fixes	2021-06-22 15:07:28 -07:00
gluax	b969774b85	check input integer types at all stages	2021-06-21 19:53:01 -07:00
howardwu	750c48ed3b	chore(leo): bump version for new release	2021-06-21 14:28:28 -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	5cf5437281	char spans from string, proper col_start and stop	2021-06-16 13:35:40 -07:00
gluax	1f35308f47	depend on improved tests branch	2021-06-15 11:44:20 -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	2be23c4946	fmt fix	2021-06-10 11:25:15 -07:00
howardwu	6f5c02ae6d	chore(leo): bump version for new release	2021-06-08 22:51:25 -07:00
Collin Chin	8a38ffed31	Update ast/src/reducer/canonicalization.rs	2021-06-08 16:46:09 -07:00
gluax	c9b565cbfb	fix slice assignment for strings	2021-06-08 12:29:49 -07:00
Protryon	dc91b07e5c	clippy	2021-06-04 06:14:09 -07:00
Protryon	a0acc915e9	dynamic array index assignment	2021-06-04 06:14:09 -07:00
howardwu	eaadb29448	chore(leo): bump version for new release	2021-05-31 19:53:31 -07:00
gluax	e53c35f3f2	made suggested changes	2021-05-25 16:36:59 -04:00
gluax	7145a751d9	console.log refactor, concat test... has asg or TIPhase reducer bug	2021-05-22 21:15:07 -04:00
gluax	1c57eb4196	input string syntax	2021-05-22 17:57:05 -04:00
gluax	4fe91f0f39	string canonicalization to char array	2021-05-20 12:39:36 -04:00
damirka	f404c426ed	fix comments	2021-05-20 00:33:39 +03: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	6e71c8ab4f	addex hex, octal, and direct unicode	2021-05-13 14:33:01 -04:00
gluax	29cd920075	input, output and compiler tests	2021-05-13 07:16:59 -04:00
gluax	0ef7ca3d8e	just need to fix input file parsing for chars to work	2021-05-12 18:56:27 -04:00
gluax	819fc9087f	char type added to ast and asg	2021-05-12 08:39:55 -04:00
Alessandro Coglio	7a6384e118	Fix typo in error message.	2021-05-07 17:29:33 -07:00
gluax	29ca0d9a12	no empty import lists, star is a span, grammar fix	2021-05-05 16:10:51 -04:00
gluax	438c20c14d	merge master, resolve conflicts, login test is failing	2021-04-26 14:43:21 -04:00
gluax	8c497f0b7a	more test coverage	2021-04-19 13:53:49 -04:00
gluax	0016a1beaa	update to lastest master, with FormatString rename	2021-04-15 16:55:48 -04:00
howardwu	4eac040178	chore(leo): bump version for new release	2021-04-15 13:49:42 -07:00
collin	c728fb4b19	fix error spacing	2021-04-15 12:37:22 -07:00
gluax	11c78da916	formatted string -> renamed format string	2021-04-14 16:15:27 -04:00
gluax	91634d6479	implicit input, removed from function input	2021-04-14 16:00:19 -04:00
damirka	717fa49dbf	removes whitespace in error message	2021-04-14 20:53:43 +03:00
gluax	eaa07934ed	resolve merge conflicts	2021-04-14 12:51:20 -04:00
Collin Chin	817b7e0157	Merge pull request #853 from AleoHQ/bug/nested-access-fix ... Reversed-Accesses	2021-04-13 17:30:38 -07:00
gluax	61e791c671	type inference tests	2021-04-13 11:52:01 -04:00
Protryon	8c8089e870	fix test	2021-04-12 15:39:57 -07:00
gluax	f612ed441a	type inference, and canonicalization bug fixes	2021-04-12 16:21:44 -04:00
Protryon	7e3fb20eb1	fix ast test	2021-04-12 13:15:40 -07:00
Protryon	899b8b3efd	tests	2021-04-12 13:15:39 -07:00
gluax	214d9e0f8c	More generic errors for reducing	2021-04-12 12:33:06 -04:00
gluax	2bb85f52c1	quick fix, it's in order in this location not reversed, add tests	2021-04-09 22:52:14 -04:00
howardwu	62ee4c3b8b	chore(leo): bump version for new release	2021-04-09 14:08:52 -07:00
howardwu	bec813b014	chore(leo): bump version for new release	2021-04-09 13:45:30 -07:00
gluax	bddcef732f	merge master, clean up reducer and directors	2021-04-09 12:48:59 -04:00
damirka	03b2af4aaa	Merge branch 'master' into unused-code-bye-bye	2021-04-05 16:40:30 +03:00
gluax	24e5d5365b	resolve all the merge conflicts	2021-03-31 14:08:38 -04:00
damirka	ed8ff4468c	ast and imports a bit	2021-03-31 18:58:29 +03:00
gluax	34f0f1519a	merge latest abnf branch	2021-03-30 19:38:37 -04:00
collin	9be13dfd51	update comments	2021-03-29 12:12:38 -07:00
gluax	56c6cfb6eb	reducers in	2021-03-29 14:33:34 -04:00
gluax	dadb518598	forgot to update test json	2021-03-26 17:14:37 -04:00
gluax	3e912ef165	access member fix	2021-03-26 17:02:59 -04:00
gluax	871e52006b	quick bug fix	2021-03-26 16:51:03 -04:00
gluax	dd06df4b1d	it almost fully works, need to fix arrays, circuits and function calls	2021-03-26 15:47:11 -04:00
gluax	5287b238cf	new parser parse global consts	2021-03-26 14:01:10 -04:00
gluax	406692c2aa	merge master, next is parser	2021-03-26 12:07:48 -04:00
Protryon	63d1b1005f	format	2021-03-26 05:19:42 -07:00
Protryon	daba572d94	clippy	2021-03-26 05:19:23 -07:00
Protryon	5985d8da41	tendrilize spans	2021-03-26 05:18:55 -07:00
collin	6a1afdabb7	Merge branch 'master' of https://github.com/AleoHQ/leo into feature/constant-mutable-declarations	2021-03-25 22:46:11 -07:00
collin	8bc2140b1e	cargo clippy --examples --all	2021-03-25 14:48:48 -07:00
gluax	696825eb6a	asked for refactors started, this will fail tests	2021-03-25 13:48:47 -04:00
gluax	3efc705a8c	fix tests merged from master	2021-03-25 11:19:42 -04:00
gluax	ab32aeb342	merge master	2021-03-24 15:13:53 -04:00
Collin Chin	46220aa889	Merge pull request #761 from AleoHQ/feature/const-inputs ... [Feature, Compiler] Adds constant inputs	2021-03-23 15:19:44 -07:00
collin	ee30ad97cc	modify macro names	2021-03-23 14:28:22 -07:00
gluax	0ea4f1e0e3	const_ self as function input properly	2021-03-23 11:49:27 -04:00
damirka	2b6f39fd14	added macro for const and main inputs sections	2021-03-18 11:57:25 +03:00
gluax	dceb8a9744	fix Self inside of circuit giving an error, tests	2021-03-17 14:33:04 -04:00
gluax	e9bc1159ff	merge master and fix last bug	2021-03-16 17:28:59 -04:00
gluax	6ffcb48822	asg now handles Circuit name in Circuit name, some bug fixes	2021-03-16 16:49:18 -04:00
gluax	b83d6e9b05	error fixes, Self replacements extended	2021-03-16 13:15:10 -04:00
damirka	40f4b1cb65	covered type mismatch in constant inputs	2021-03-16 16:32:55 +03:00
gluax	7d2a71c668	Merge master	2021-03-15 13:52:51 -04:00
gluax	ac13542638	Proper Errors	2021-03-15 13:37:23 -04:00
damirka	234eabd81c	fixes comments	2021-03-15 16:32:43 +03:00
damirka	b58db80005	updates after @collinc97 comments	2021-03-15 16:29:45 +03:00
gluax	3a1c29e3b2	ready to return real errors, fixed Self outside circuit bugs	2021-03-12 20:41:49 -05:00
gluax	88166a64f9	error on Self outside of cicuits	2021-03-12 18:29:53 -05:00
gluax	04f62cdd8c	missing function output types	2021-03-12 16:59:08 -05:00
gluax	02e5f57eed	compound assignments	2021-03-12 16:47:57 -05:00
gluax	4185f6f6d2	array types and expressions expanded	2021-03-12 16:19:07 -05:00
gluax	e302f839ed	fix spelling	2021-03-12 14:34:20 -05:00
gluax	250c8ce5ec	reducer clean up	2021-03-12 14:32:20 -05:00