258 Commits

Author	SHA1	Message	Date
Pranav Gaddamadugu	8f5d5badb7	Fix and regen test expectations	2022-08-09 19:53:17 -07:00
Pranav Gaddamadugu	2740099e77	Regenerate test expectations	2022-08-06 07:50:18 -07:00
Pranav Gaddamadugu	ba0d7b8d0d	Add test cases demonstrating failing typechecking	2022-08-06 07:49:36 -07:00
Pranav Gaddamadugu	1e4f2b1cca	Add compiler test for function calls; fix bugs; regen test expectations	2022-08-04 21:21:56 -07:00
Pranav Gaddamadugu	dfea5bbf15	Add @program modifier to tests; regen expectations	2022-08-04 20:00:40 -07:00
collin	13350da303	merge testnet3	2022-08-03 17:20:40 -07:00
Pranav Gaddamadugu	58fccb7bb5	Added compiler tests for rem and mod	2022-08-03 14:40:12 -07:00
collin	e5da76abaf	impl nonce	2022-08-03 13:35:58 -07:00
Pranav Gaddamadugu	6f3c635f75	Add test case for this bug	2022-08-02 23:57:28 -07:00
collin	5777c76d04	refactor more iteration tests	2022-08-01 17:01:58 -07:00
collin	1d734ffa3f	group tests passing	2022-08-01 15:33:26 -07:00
collin	dd8e1c1a4e	impl and, or, bitand, bitor, bitxor, shl, shr assign parsing	2022-07-29 12:47:23 -07:00
collin	c73671bb7b	impl sub, mul, div, pow assign parsing	2022-07-29 11:57:34 -07:00
collin	d71788e8a4	impl add assign operator	2022-07-28 18:00:46 -07:00
collin	a2862f8894	stabilize all tests working with snarkVM package build	2022-07-28 17:07:51 -07:00
collin	166c159867	stabilize tuple tests	2022-07-28 16:50:18 -07:00
collin	0a34115ef7	stabilize scalar tests	2022-07-28 16:46:30 -07:00
collin	86219c0044	stabilize record tests	2022-07-28 16:40:48 -07:00
collin	5a26eed8ca	integer min tests fixed	2022-07-28 16:23:16 -07:00
collin	eaa04a5f7e	core algorithm tests working	2022-07-28 15:27:43 -07:00
collin	66c5deb7e3	merge testnet3 do not regen tests	2022-07-28 14:23:47 -07:00
collin	8a0e9bc5cc	merge testnet3 regen tests	2022-07-28 14:19:57 -07:00
collin	fa0fd5b8c0	integer tests passing. strings wip	2022-07-28 13:34:44 -07:00
Pranav Gaddamadugu	d11ed35c77	Addressing feedback	2022-07-28 09:24:33 -07:00
collin	184af219ee	build and check aleo files during cargo test	2022-07-27 15:49:49 -07:00
collin	77a16585fe	remove unused tests	2022-07-25 18:48:16 -07:00
Pranav Gaddamadugu	9dd45c3620	Type checking errors on multiple returns	2022-07-24 21:32:36 -07:00
collin	66b0fcc885	merge testnet3 regen tests	2022-07-18 15:33:40 -07:00
collin	4dc0df0084	merge testnet3	2022-07-18 14:13:31 -07:00
collin	5316d900f4	merge testnet3, regen tests	2022-07-18 12:32:15 -07:00
Pranav Gaddamadugu	43a68fda86	Loop Unrolling skips instead of failing on non-const bounds	2022-07-14 17:07:37 -07:00
Mazdak Farrokhzad	dab6629ac0	1. move tuple logic to typeck, 2. disallow multi vars in var decls	2022-07-14 06:07:05 +02:00
Pranav Gaddamadugu	bceccea80b	Merge branch 'testnet3' into feat/loop-unrolling	2022-07-11 22:55:42 -07:00
Pranav Gaddamadugu	1ce796a586	Regenerate test expectations	2022-07-11 22:45:59 -07:00
Pranav Gaddamadugu	dbfd9a7451	Better error for address comparison; regen test expectations	2022-07-11 07:49:52 -07:00
collin	a15fce710c	merge testnet3	2022-07-09 16:51:20 -07:00
collin	270dffb140	regen tests	2022-07-09 16:23:54 -07:00
collin	aff2db67da	check that returned tuple types are valid	2022-07-09 15:13:42 -07:00
collin	2a61f26ccc	impl tuple tests	2022-07-09 15:02:45 -07:00
collin	642ad32e99	parse tuple access	2022-07-09 14:11:18 -07:00
collin	a7fc19a69f	impl tuple ast access	2022-07-09 13:22:10 -07:00
Pranav Gaddamadugu	8af0f6268f	Regenerate expectations	2022-07-08 13:43:28 -07:00
collin	b5a2790375	rename balance -> gates	2022-07-07 16:15:11 -07:00
Pranav Gaddamadugu	e4744f2978	Change duplicate_name_context from Pass to Fail	2022-07-06 16:08:29 -07:00
collin	c16a93ab44	removes <, <=, >, >= for address type	2022-07-02 18:15:18 -07:00
Mazdak Farrokhzad	952d7f4e36	records: base them atop circuits instead	2022-06-30 15:37:18 +02:00
collin	1cb4afe5f9	impl record type tests	2022-06-27 16:59:06 -10:00
collin	5ee2858b0a	add tests and remove dead code	2022-06-22 22:38:33 -10:00
collin	7417496eee	merge testnet3	2022-06-22 21:42:00 -10:00
collin	4a80445bd8	test hashing u128 with ped64 fails	2022-06-22 21:29:04 -10:00
collin	4400545543	add all core circuit tests	2022-06-22 21:19:26 -10:00
collin	df908345bc	add circuit variable access and type check	2022-06-22 15:49:50 -10:00
Mazdak Farrokhzad	ddbf2ae849	1. Speed up string literal lexing. ... 2. Move address check to parser. 3. Move assignment place WF check to type checker.	2022-06-21 17:07:44 +02:00
collin	bfd3a37a42	merge testnet3	2022-06-20 12:34:33 -07:00
0rphon	34a408ea41	sqrt tests	2022-06-16 16:56:00 -07:00
0rphon	b03c890dd2	syntactical operator tests	2022-06-16 16:45:37 -07:00
gluax	c9ab4bd3d7	add bitwise op parsing, fix tests	2022-06-16 15:40:48 -07:00
0rphon	94b506cf3f	fixed tests	2022-06-16 13:22:32 -07:00
0rphon	66286ca88e	more tests	2022-06-16 13:07:40 -07:00
0rphon	ed9ca4d6d8	added some tests	2022-06-16 12:06:46 -07:00
collin	b2890f393a	merge testnet3	2022-06-15 10:23:01 -07:00
collin	0e59e9bcf9	fix cmp type checking	2022-06-14 10:55:59 -07:00
collin	831e011f42	use more clear type checking methods	2022-06-13 14:53:01 -07:00
gluax	4607f2955a	add some more checks and namespaces for benchmarks, docs	2022-06-09 12:23:57 -07:00
0rphon	32d07583c5	integrated benches to test-framework	2022-06-08 15:33:12 -07:00
gluax	8ad69944c0	bug fixes	2022-06-02 09:39:49 -07:00
gluax	af0e0da6b7	add tests for known bugs	2022-06-02 09:37:55 -07:00
collin	27c858a0fc	merge testnet3	2022-06-02 11:33:11 -04:00
collin	85eb1adcce	rename corelib -> core, update readme	2022-06-02 11:22:08 -04:00
gluax	9638a695aa	fix more bugs, add type checking	2022-06-01 11:16:00 -07:00
gluax	220cb3e730	rename stdlib -> corelib	2022-06-01 09:09:38 -07:00
gluax	c10eb63575	add failing expectation for an invalid input type	2022-05-31 10:36:35 -07:00
gluax	0ce4639a1b	merge upstream, test builtin ident types	2022-05-31 10:34:57 -07:00
gluax	2117ee3ae8	resolve readme conflict	2022-05-25 11:55:23 -07:00
collin	8d79193474	merge testnet3	2022-05-25 14:02:10 -04:00
gluax	019598c84e	#1805 was fixed by a previous commit	2022-05-23 18:57:14 -07:00
gluax	1cd7aad6ad	fix #1819	2022-05-23 18:55:42 -07:00
gluax	ba4f1666d1	fix #1821	2022-05-23 18:00:33 -07:00
collin	b8780e888d	merge testnet3	2022-05-20 10:39:21 -04:00
Mazdak Farrokhzad	882f2e5454	remove char type + literals	2022-05-18 14:33:04 +02:00
Collin Chin	416d8d5ad9	fix nit	2022-05-17 11:36:04 -04:00
Alessandro Coglio	1761b80578	[parser] Fix to disallow including loop ending bound. ... This is not part of the current version of Leo (cf. ABNF grammar and Leo Reference). Adapt tests.	2022-05-16 21:24:42 -07:00
0rphon	38fa7a9608	added more tests/generated expectations for the ones that pass	2022-05-15 21:53:28 -07:00
0rphon	92cac97a84	added scalar tests	2022-05-14 20:27:08 -07:00
collin	f6aa7a578a	merge testnet3	2022-05-13 12:33:35 -07:00
Collin Chin	f4e241efad	Merge pull request #1815 from AleoHQ/int-pow-tests ... [tests] make integer pow tests consistent	2022-05-13 09:44:52 -07:00
Eric McCarthy	e3c3b6d79a	[tests] make integer pow tests consistent	2022-05-12 23:20:35 -07:00
Eric McCarthy	b08ab82cbc	[tests] fix (x,y)group test	2022-05-12 10:41:57 -07:00
Eric McCarthy	06cb450593	[tests] add block comment annotation to field/sub.leo and field/ternary.leo and add expectations files	2022-05-10 13:38:41 -07:00
gluax	b79b961610	make new tests	2022-05-05 15:44:33 -07:00
gluax	d33e69bac8	re-introduce some disabled tests, fix some	2022-05-05 15:38:55 -07:00
gluax	b97bf4c9bc	started going through deprecated tests, noticed parts of testframework were broken	2022-05-04 15:37:59 -07:00
gluax	2c252f7878	all current compiler tests pass, need to add more	2022-05-04 13:37:53 -07:00
gluax	18bd03318f	use input_file for each, as now inline input content is ignored	2022-05-02 20:34:37 -07:00
gluax	a7c3696e90	merge testnet3 into required types, also remove identifier type	2022-05-02 19:43:46 -07:00
gluax	5108cab460	most compiler tests passing	2022-04-27 12:04:45 -07:00
gluax	8c86407b91	cleaning up tests, fixed compiler bug, found input parse bug	2022-04-27 11:44:05 -07:00
collin	1f7b1b57cc	remove unsized array tests	2022-03-04 12:27:17 -08:00
collin	22b16a0bcb	regenerate all tests	2022-01-25 16:17:36 -08:00
collin	31f90a9032	deprecate blake2s	2022-01-25 13:31:02 -08:00