1486 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Collin Chin	2288510fec	Prefer str over String in get_circuit ... Co-authored-by: ljedrz <ljedrz@users.noreply.github.com>	2020-10-27 11:12:23 -07:00
Collin Chin	c05fe32d77	Prefer str over String get_function ... Co-authored-by: ljedrz <ljedrz@users.noreply.github.com>	2020-10-27 11:11:28 -07:00
Collin Chin	3c30ca342b	Prefer string slice over string reference get_variable ... Co-authored-by: ljedrz <ljedrz@users.noreply.github.com>	2020-10-27 11:09:12 -07:00
Collin Chin	c4f5d61a17	Prefer slice over vector reference in undefined_variable_name ... Co-authored-by: ljedrz <ljedrz@users.noreply.github.com>	2020-10-27 11:08:17 -07:00
Collin Chin	2133756d50	Prefer slice over vector reference in membership_failed ... Co-authored-by: ljedrz <ljedrz@users.noreply.github.com>	2020-10-27 11:07:35 -07:00
Collin Chin	21c569d950	Prefer iterator over vector in parse_functions ... Co-authored-by: ljedrz <ljedrz@users.noreply.github.com>	2020-10-27 11:05:42 -07:00
Collin Chin	6931cadd71	Prefer iterator over vector in parse_circuits ... Co-authored-by: ljedrz <ljedrz@users.noreply.github.com>	2020-10-27 11:04:48 -07:00
Collin Chin	ff03e64314	Prefer to_vec over to_owned	2020-10-27 10:58:09 -07:00
collin	861e092485	push arguments by value	2020-10-27 10:39:45 -07:00
Collin Chin	e68c7ad563	Update dynamic-check/src/assertions/type_variable_pair.rs ... Co-authored-by: ljedrz <ljedrz@users.noreply.github.com>	2020-10-27 10:09:55 -07:00
Collin Chin	1a39ae93ca	Use matches macro	2020-10-27 10:06:50 -07:00
collin	46f585e2ff	refactor compiler methods	2020-10-27 00:31:36 -07:00
collin	52810588ff	refactor modules and make function names more clear	2020-10-26 23:42:01 -07:00
collin	fe79cfcf71	merge master	2020-10-26 22:05:03 -07:00
collin	b28cbc7680	remove unused errors, add tests for new errors	2020-10-26 20:02:44 -07:00
collin	c4a7e36623	add new dynamic check errors and tests for tuples and arrays	2020-10-26 19:13:37 -07:00
collin	d3125a0f9f	add new dynamic check errors and tests for variables	2020-10-26 18:41:51 -07:00
collin	84861dde32	remove more unused code	2020-10-26 17:57:37 -07:00
collin	9024fb0968	remove unused code	2020-10-26 17:52:32 -07:00
collin	c87ee5e632	fix serialization test	2020-10-26 17:46:42 -07:00
collin	b6d0f9daca	fix static and dynamic check test runners	2020-10-26 16:46:11 -07:00
Collin Chin	6ed436c3cf	Merge pull request #403 from ljedrz/arithmetic_benches ... Arithmetic benchmarks and perf improvements	2020-10-26 16:31:52 -07:00
collin	020773fb2a	impl dynamic checks for imports. all tests pass	2020-10-26 16:05:02 -07:00
collin	09d86576ea	add import parsing to first pass of static check	2020-10-26 15:51:46 -07:00
collin	d5bc0d2b7f	make type variables more unique	2020-10-26 13:31:34 -07:00
collin	b3c140d5bb	fix array function input bug	2020-10-26 13:14:36 -07:00
collin	9bae1037f7	fix core package tests	2020-10-26 12:55:00 -07:00
collin	9933b8e336	impl dynamic checks for core packages	2020-10-26 12:24:24 -07:00
collin	54bf6ca42d	load program input type into symbol table	2020-10-24 23:57:38 -07:00
collin	17a65fe54a	add dynamic check errors for circuits 3	2020-10-24 19:27:30 -07:00
collin	6e124e52ff	add dynamic check errors for statements	2020-10-24 17:01:40 -07:00
collin	22d6c98c77	add dynamic check errors for functions	2020-10-24 16:50:07 -07:00
collin	e19616b4e5	add dynamic check errors for circuits 2	2020-10-24 13:07:27 -07:00
collin	973e2a6afc	add dynamic check errors for circuits 1	2020-10-24 02:53:09 -07:00
collin	40d26dce7f	refactor type assertion solving	2020-10-24 00:51:04 -07:00
collin	8e75e36532	manually impl PartialEq for array types	2020-10-23 21:54:19 -07:00
collin	d55bd0d2af	enforce order on solving type assertions	2020-10-23 17:59:34 -07:00
collin	f2a808cbe7	impl membership type assertion error handling	2020-10-23 17:31:41 -07:00
collin	dbade1f4fe	fix mismatched types test	2020-10-23 17:00:11 -07:00
collin	4aab804148	add type variable for implicit addresses	2020-10-23 15:52:43 -07:00
collin	f1490a994b	impl dynamic check errors	2020-10-23 15:23:48 -07:00
collin	3331ee77c4	impl dynamic check circuits	2020-10-22 22:31:07 -07:00
collin	d41e6779c7	impl dynamic check function and circuit lookups	2020-10-22 15:36:35 -07:00
collin	ff62d9db7e	impl dynamic check solving for equality checks	2020-10-22 12:40:35 -07:00
ljedrz	710bbc6730	perf: reduce allocations in Boolean's SignExtend impl ... Signed-off-by: ljedrz <ljedrz@gmail.com>	2020-10-22 17:36:26 +02:00
ljedrz	78f98f1f26	perf: reduce allocations in signed_integer's CondSelectGadget impl ... Signed-off-by: ljedrz <ljedrz@gmail.com>	2020-10-22 17:36:26 +02:00
ljedrz	f9e6b3caa8	perf: a small optimization to signed_integer equality checks ... Signed-off-by: ljedrz <ljedrz@gmail.com>	2020-10-22 17:36:26 +02:00
ljedrz	4ccc9c31db	perf: reduce format!-related allocations and move them to closures where possible ... Signed-off-by: ljedrz <ljedrz@gmail.com>	2020-10-22 17:36:26 +02:00
ljedrz	63f80c0472	perf: reduce allocations in AllocGadget::{alloc, alloc_input} ... Signed-off-by: ljedrz <ljedrz@gmail.com>	2020-10-22 17:36:26 +02:00
ljedrz	55d0f2e340	perf: reduce allocations in the Neg impl for Vec<Boolean> ... Signed-off-by: ljedrz <ljedrz@gmail.com>	2020-10-22 17:36:26 +02:00