ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-11-28 09:02:58 +03:00
Code Issues Packages Projects Releases Wiki Activity
1,589 Commits 53 Branches 44 Tags 331 MiB
2d2fc72ff9
Commit Graph

1589 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Collin Chin
d2dcf65b68
Merge branch 'master' into type_tweaks 2020-10-20 22:29:23 -07:00
collin
846277e0fb Merge commit '7cdc54518aec105b6e60281ce2159bda895a76e5' into type_tweaks 2020-10-20 22:12:31 -07:00
howardwu
d6b266f8bf Remove need for ssh key in CI 2020-10-20 22:08:21 -07:00
Collin Chin
317aa4e19a
Merge pull request #385 from ljedrz/clippy_compliance2 
Clippy compliance, part 2/2
 2020-10-20 22:03:55 -07:00
collin
0aab3f2412 Merge branch 'master' of https://github.com/AleoHQ/leo into clippy_compliance2 2020-10-20 21:24:16 -07:00
Collin Chin
6ede1f72eb
Merge pull request #384 from ljedrz/clippy_compliance 
Clippy compliance, part 1/2
 2020-10-20 21:23:06 -07:00
collin
686457fd34 Merge branch 'master' of https://github.com/AleoHQ/leo into clippy_compliance 2020-10-20 20:45:04 -07:00
collin
07a17e2846 impl dynamic checker assign statement wip 2020-10-20 20:36:15 -07:00
Collin Chin
7cdc54518a
Merge pull request #400 from AleoHQ/fix/ci 
Updates CI to remove need for SSH keys as secrets
 2020-10-20 19:39:50 -07:00
howardwu
10d79fd708 Remove need for ssh key in CI 2020-10-20 18:19:12 -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
collin
d8fd17fb41 impl dynamic checker set membership type assertions 2020-10-19 17:18:31 -07:00
collin
65437d3c05 dynamic check parse circuit and circuit access expressions 2020-10-19 16:03:45 -07:00
collin
22bc891172 dynamic check parse array access expressions 2020-10-19 14:11:39 -07:00
collin
0c6a72c35f dynamic check parse tuple expressions 2020-10-19 12:38:14 -07:00
collin
a8967298ea dynamic check parse array expressions 2020-10-19 10:46:10 -07: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
dependabot-preview[bot]
2afa4d5188
Bump env_logger from 0.7.1 to 0.8.1 
Bumps [env_logger](https://github.com/env-logger-rs/env_logger) from 0.7.1 to 0.8.1.
- [Release notes](https://github.com/env-logger-rs/env_logger/releases)
- [Changelog](https://github.com/env-logger-rs/env_logger/blob/master/CHANGELOG.md)
- [Commits](https://github.com/env-logger-rs/env_logger/compare/v0.7.1...v0.8.1)

Signed-off-by: dependabot-preview[bot] <support@dependabot.com>
 2020-10-19 10:27:48 +00:00
dependabot-preview[bot]
56f6edd2c2
Bump console from 0.12.0 to 0.13.0 
Bumps [console](https://github.com/mitsuhiko/console) from 0.12.0 to 0.13.0.
- [Release notes](https://github.com/mitsuhiko/console/releases)
- [Changelog](https://github.com/mitsuhiko/console/blob/master/CHANGELOG.md)
- [Commits](https://github.com/mitsuhiko/console/compare/v0.12.0...v0.13.0)

Signed-off-by: dependabot-preview[bot] <support@dependabot.com>
 2020-10-19 10:27:23 +00: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
d8075c14e2 add scope for loop and non-loop variables 2020-10-19 01:40:36 -07:00
collin
e50029c466 fix errors, focus on dynamic checks 2020-10-18 23:53:37 -07:00
collin
8de889ada5 impl expression operations logical and relational 2020-10-17 18:48:20 -07:00
collin
154fa45b4d impl expression operations 2020-10-17 16:47:33 -07:00
collin
42a892480a impl definition statements 2 2020-10-16 14:39:39 -07:00
collin
1849a5ddcc impl definition statements 1 2020-10-16 14:15:53 -07:00
collin
43bcc2b210 pass type to expressions 2020-10-16 12:33:46 -07:00
collin
3acb8b9f65 pass function body to statements 2020-10-16 10:52:55 -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
d662b9a236 perf: use Cow to avoid some PathBuf allocations 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-16 16:51:58 +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
790f1c472a perf: don't allocate PathBufs for the purposes of PathBuf::push 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-16 15:52:45 +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
ljedrz
529d87bc88 perf: remove some generic unnecessary allocations 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-16 15:52:45 +02:00
collin
13d3a78659 use variable table in expressions 1 2020-10-15 22:30:05 -07: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
323992696c use typed assignee access 2020-10-15 18:11:39 -07:00
collin
3bd6d2e6b6 use simpler assignee access in leo typed 2020-10-15 18:04:58 -07:00
collin
a4dab9594d fix resolver errors wip 2020-10-15 17:58:56 -07:00
collin
5edbcf0e05 add work from resolver branch 2020-10-15 17:06:34 -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
5188d3b6b4 parse conditional expression types 2020-10-14 18:34:43 -07:00
collin
6e8170a58f parse expression types for operations 2020-10-14 18:11:35 -07:00