289 Commits

Author	SHA1	Message	Date
collin	ccfbf8b27d	Update revs	2022-10-07 15:45:41 -07:00
Collin Chin	8b9ad3811d	Merge pull request #2114 from AleoHQ/update/aleo-snarkvm ... Update revs.	2022-10-06 14:21:02 -07:00
Collin Chin	4256167bfe	Merge pull request #2112 from AleoHQ/feat/program-scope ... Introduces `program` scope.	2022-10-06 14:19:35 -07:00
Pranav Gaddamadugu	97b299ac8a	Update revs	2022-10-06 11:31:58 -07:00
Pranav Gaddamadugu	d7813923d2	More examples	2022-10-06 00:17:51 -07:00
Pranav Gaddamadugu	028a01efde	More fixes	2022-10-05 23:51:56 -07:00
Pranav Gaddamadugu	e15e8f05d6	Additional validation for program scope and imported files	2022-10-05 14:59:06 -07:00
Pranav Gaddamadugu	8f2a6fdb27	Support AST changes in compile passes	2022-10-05 10:38:35 -07:00
Pranav Gaddamadugu	9da6d7735f	Enable parser support for program scope	2022-10-05 09:57:16 -07:00
Pranav Gaddamadugu	80d8880292	Parser support for transition keyword	2022-10-03 08:53:44 -07:00
Pranav Gaddamadugu	62b16cfa51	Tokenize transition keyword	2022-10-03 08:16:55 -07:00
dependabot[bot]	28ed3dc320	Bump smallvec from 1.9.0 to 1.10.0 ... Bumps [smallvec](https://github.com/servo/rust-smallvec) from 1.9.0 to 1.10.0. - [Release notes](https://github.com/servo/rust-smallvec/releases) - [Commits](https://github.com/servo/rust-smallvec/compare/v1.9.0...v1.10.0) --- updated-dependencies: - dependency-name: smallvec dependency-type: direct:production update-type: version-update:semver-minor ... Signed-off-by: dependabot[bot] <support@github.com>	2022-10-03 10:15:01 +00:00
Pranav Gaddamadugu	eb8366badc	Some cleanup	2022-09-30 12:19:40 -07:00
Pranav Gaddamadugu	c551179b42	Fmt	2022-09-30 11:55:42 -07:00
Pranav Gaddamadugu	f51a36aeaf	Rename in compiler	2022-09-30 11:52:06 -07:00
Pranav Gaddamadugu	0a481e543e	Parse async, require it to precede finalize	2022-09-21 13:18:36 -07:00
Pranav Gaddamadugu	0782c03bf9	Lex async token	2022-09-21 12:20:05 -07:00
Pranav Gaddamadugu	2abfe06c9d	Add async token	2022-09-21 12:19:44 -07:00
collin	2cd1ec82ba	remove unused code	2022-09-20 21:59:53 -07:00
Pranav Gaddamadugu	f7b5e213e6	Battleship example compiles	2022-09-20 21:45:16 -07:00
Pranav Gaddamadugu	8f5e779a6a	Compiler builds	2022-09-20 20:29:59 -07:00
collin	48530523d9	wip need to finish external inputs	2022-09-20 18:26:22 -07:00
collin	368d4c530c	push code to parse returning external records + battleship example	2022-09-20 17:17:43 -07:00
collin	0a86a05d20	push code to parse external calls	2022-09-20 13:58:52 -07:00
collin	4e05840bf5	bump ci rust version to 1.63	2022-09-16 18:19:20 +02:00
collin	834ea300aa	bump ci rust version to 1.65	2022-09-16 18:17:10 +02:00
collin	6c18565700	too new of rust version for actions	2022-09-16 17:51:15 +02:00
collin	62659507c5	clippy	2022-09-16 17:48:26 +02:00
collin	2e24f82f21	Update rust versions	2022-09-16 17:32:20 +02:00
Pranav Gaddamadugu	c2bed2bb54	Add name to finalize block	2022-09-13 11:06:24 +02:00
Pranav Gaddamadugu	267fc99978	Add new tests; regen expectations	2022-09-06 12:14:37 -07:00
Pranav Gaddamadugu	0fa8082656	Update token example	2022-09-06 12:14:36 -07:00
Pranav Gaddamadugu	18274bf4f9	More tyc	2022-09-06 12:13:32 -07:00
Pranav Gaddamadugu	f4f77cdf55	Enable modes for return types in parser and AST	2022-09-06 12:13:32 -07:00
Pranav Gaddamadugu	77effd4613	Implement parsing for finalize, increment, and decrement	2022-09-06 12:13:32 -07:00
Pranav Gaddamadugu	044e41d80e	Add new statements to passes	2022-09-06 12:13:32 -07:00
Pranav Gaddamadugu	5521e7f30b	Add finalize block to AST	2022-09-06 12:13:32 -07:00
Pranav Gaddamadugu	1b6dea395f	Add parser tests; regen expectations	2022-09-06 12:13:32 -07:00
Pranav Gaddamadugu	09e9aeb537	Add support for mappings in the parsers	2022-09-06 12:13:32 -07:00
Pranav Gaddamadugu	eb4ee1428c	Cleanup out dated docs	2022-08-18 15:45:30 -07:00
Pranav Gaddamadugu	1d2cddbc7c	Fmt	2022-08-17 16:22:13 -07:00
Pranav Gaddamadugu	4095173e7c	Cleanup	2022-08-17 15:48:54 -07:00
Pranav Gaddamadugu	615cc61e9e	Add console.assert	2022-08-17 15:27:11 -07:00
Pranav Gaddamadugu	1d55322276	Update parser and typechecker	2022-08-17 14:42:42 -07:00
Pranav Gaddamadugu	dcbdb1bd85	Reintroduce IntegerType	2022-08-09 19:53:17 -07:00
Pranav Gaddamadugu	7ff7170c45	Fix unary negation parser; add test	2022-08-09 19:53:17 -07:00
Pranav Gaddamadugu	a1d79da501	Parser produces negative integer literals	2022-08-09 19:53:17 -07:00
Pranav Gaddamadugu	6897628800	Cleanup	2022-08-06 07:50:18 -07:00
Pranav Gaddamadugu	965102152a	Parser produces simplified assignment statements directly	2022-08-06 07:49:36 -07:00
collin	d397c750d2	merge testnet3	2022-08-05 13:59:08 -07:00