ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-12-28 20:54:16 +03:00
Code Issues Packages Projects Releases Wiki Activity
1,480 Commits 54 Branches 46 Tags 340 MiB
6931cadd71
Commit Graph

140 Commits

Author SHA1 Message Date
collin
fe79cfcf71 merge master 2020-10-26 22:05:03 -07:00
collin
c87ee5e632 fix serialization test 2020-10-26 17:46:42 -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
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
973e2a6afc add dynamic check errors for circuits 1 2020-10-24 02:53:09 -07:00
ljedrz
153202752f refactor: use matches! in Type methods 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-22 09:36:08 +02:00
ljedrz
d98ae0a105 refactor: pass Span by value in set_span methods 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-22 09:36:08 +02:00
ljedrz
115b7f2266 test: fix a few CI warnings 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-21 17:26:51 +02:00
ljedrz
4f298510f9 clippy: remove an unused import 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-21 11:13:03 +02:00
Collin Chin
61556cca29
Merge pull request #399 from ljedrz/boxing_improvements 
Boxing improvements
 2020-10-21 02:10:18 -07:00
Collin Chin
33d4da7ad5
Merge branch 'master' into alloc_hunting 2020-10-21 01:05:24 -07:00
Collin Chin
bf77207918
Merge branch 'master' into boxing_improvements 2020-10-21 01:03:38 -07:00
Collin Chin
ae5f2f7b54
Merge pull request #394 from ljedrz/pass_by_reference_compiler_overhaul 
Pass by reference compiler overhaul
 2020-10-21 00:56:23 -07:00
Collin Chin
3c0409da16
Merge branch 'master' into boxing_improvements 2020-10-21 00:51:49 -07:00
Collin Chin
e06e9b9ce6
Merge branch 'master' into alloc_hunting 2020-10-21 00:51:22 -07:00
Collin Chin
6d00e9e0d3
Merge branch 'master' into pass_by_reference_compiler_overhaul 2020-10-20 23:56:38 -07:00
Collin Chin
93f0f8a17b
Merge branch 'master' into pest_test 2020-10-20 23:40:45 -07:00
collin
d680aa6cfc fix map formatting error 2020-10-20 23:35:31 -07:00
Collin Chin
d2dcf65b68
Merge branch 'master' into type_tweaks 2020-10-20 22:29:23 -07:00
collin
f30f615655 impl dynamic checker definition statements 2020-10-20 13:14:16 -07:00
ljedrz
648e27b126 test: make the typed serialization test whitespace-agnostic 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-20 12:36:22 +02:00
ljedrz
49e9a48d90 perf: reduce boxing in typed objects 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-20 11:49:28 +02:00
ljedrz
0d01520ea5 perf: hand-written PartialEq implementation for Function 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-19 16:23:36 +02:00
ljedrz
a3fc39db92 perf: hand-written Hash and PartialEq implementations for Span 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-19 16:23:36 +02:00
ljedrz
c8299743b8 perf: reduce Expression size from 244B to 152B 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-19 16:23:36 +02:00
ljedrz
39cd98d2c0 bench: extend the LeoTypedAst benchmarks 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-19 16:23:36 +02:00
ljedrz
a65ff7d820 perf: reduce boxing when parsing the AST 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-19 12:26:45 +02:00
collin
1849a5ddcc impl definition statements 1 2020-10-16 14:15:53 -07:00
ljedrz
4591a0eb04 refactor: use &Path instead of (&)PathBuf in tests 2020-10-16 17:23:22 +02:00
ljedrz
64774cdab6 refactor: accept &Path instead of PathBuf where sufficient 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-16 17:09:44 +02:00
ljedrz
f59416be1b refactor: pass &Path instead of &PathBuf as arguments 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-16 16:18:46 +02:00
ljedrz
69d35063f2 perf: use .to_string() instead of single-param format! 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-16 15:52:45 +02:00
collin
f1a692e8d5 fix resolver errors 3 final 2020-10-15 20:20:02 -07:00
collin
8f34904fdc fix resolver errors wip 2 2020-10-15 19:57:26 -07:00
collin
3bd6d2e6b6 use simpler assignee access in leo typed 2020-10-15 18:04:58 -07:00
ljedrz
970f808290 perf: refactor a lot of the compiler so that Spans and Strings are rarely cloned 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-15 18:19:34 +02:00
collin
6e8170a58f parse expression types for operations 2020-10-14 18:11:35 -07:00
ljedrz
88cdbd4fe6 refactor(ast): remove the expression_tuple indirection from access_call 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-14 10:50:26 +02:00
ljedrz
e1e22a2310 perf: vector pre-allocation and associated tweaks 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-08 11:47:03 +02:00
collin
effdfc7628 add leo dynamic check module 2020-10-06 17:20:51 -07:00
ljedrz
98baae93c1 clippy: assorted fixes to tests and benches 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-06 15:09:03 +02:00
ljedrz
300666827e fmt: run cargo +nightly fmt on the changes 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-06 13:07:30 +02:00
ljedrz
c4aa913c68 clippy: fix map_clone 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-06 12:50:43 +02:00
ljedrz
e6e6e9c234 clippy: allow some instances of ptr_arg 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-06 12:50:43 +02:00
ljedrz
ea3542b30e clippy: allow len_without_is_empty 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-06 12:50:43 +02:00
ljedrz
bdfb6f5fb5 clippy: fix redundant_closure 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-06 12:50:43 +02:00
ljedrz
f016b972fb clippy: fix vec_box 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-06 12:50:43 +02:00
ljedrz
ba9fc92229 clippy: fix large_enum_variant 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-06 12:50:43 +02:00