25 Commits

Author	SHA1	Message	Date
collin	ddfe8fa08a	merge master	2020-08-17 01:12:16 -07:00
collin	5efa131c65	impl test context with test inputs	2020-08-15 22:09:22 -07:00
collin	779d926e69	impl annotations typed	2020-08-15 19:20:41 -07:00
collin	172431c222	impl new group notation for inputs ast + typed	2020-08-15 16:45:43 -07:00
collin	3fe25da23f	impl new group notation compiler	2020-08-15 16:20:43 -07:00
collin	60bf079e33	impl new group notation typed	2020-08-15 15:30:19 -07:00
collin	79b13138ff	add restriction	2020-08-15 01:58:33 -07:00
Howard Wu	7ba71bbfc1	Merge pull request #229 from AleoHQ/fix/not-equals-stack-overflow ... fixes stack overflow error	2020-08-14 21:02:11 -07:00
collin	c06432137d	remove unnecessary clone	2020-08-13 23:50:12 -07:00
collin	17540a6bd6	fix stack overflow error	2020-08-13 23:46:14 -07:00
collin	0b9bc8001d	fix tuple edge cases	2020-08-11 11:17:39 -07:00
collin	08978cc9e7	refactor return values to tuple types	2020-08-11 01:08:02 -07:00
collin	74248f936b	impl tuples for inputs	2020-08-10 22:02:03 -07:00
collin	e85d6499d0	support tuple parsing and assignment	2020-08-10 18:21:23 -07:00
collin	a84875ea68	add tuple to typed	2020-08-10 16:36:16 -07:00
collin	13ca17634d	allow import definition at any point in a leo file	2020-08-07 16:35:55 -07:00
collin	424287eb7b	Merge branch 'master' of github.com:AleoHQ/leo into feature/unordered-definitions	2020-08-07 16:18:50 -07:00
collin	52addca70e	Merge branch 'feature/unary-minus' of github.com:AleoHQ/leo into refactor/value-number	2020-08-07 15:17:06 -07:00
collin	f32ea5b744	rename minus -> negate	2020-08-07 15:14:02 -07:00
collin	3d1edefedb	add definition parsing to typed. add tests	2020-08-05 22:45:52 -07:00
collin	8ad4724b01	merge unary pr	2020-08-05 20:06:33 -07:00
collin	06a25a2d67	add updated values to typed	2020-08-05 16:26:25 -07:00
collin	6cff63d752	add unary expression, unary operator, minus, and not to pest and types	2020-08-04 20:09:48 -07:00
collin	febdf51ca5	use positive_integer rule for array type and array initializer size	2020-08-03 14:50:18 -07:00
howardwu	f4f9b30dd2	Rename directory types -> typed	2020-08-02 21:02:25 -07:00