ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-12-26 19:51:52 +03:00
Code Issues Packages Projects Releases Wiki Activity
1,550 Commits 54 Branches 46 Tags 340 MiB
1a45110e8e
Commit Graph

1550 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
collin
8e3c7e17ca Merge commit '317aa4e19a1f4bccadf7751efd69a4cb058f20ca' into alloc_hunting 2020-10-21 00:48:35 -07:00
Collin Chin
c871de27c0
Merge pull request #393 from ljedrz/ast_perf 
Change the AST benchmark to a more stable one, remove an unnecessary clone
 2020-10-21 00:39:31 -07:00
Collin Chin
5f13eccd0b
Merge pull request #391 from ljedrz/pest_test 
Introduce some pest-specific AST tests, disallow single-member tuples, handle the empty tuple type
 2020-10-21 00:20:18 -07:00
collin
7c9a5ad8aa fix reference error 2020-10-21 00:19:30 -07:00
Collin Chin
6d00e9e0d3
Merge branch 'master' into pass_by_reference_compiler_overhaul 2020-10-20 23:56:38 -07:00
collin
feeb34badc Merge commit '317aa4e19a1f4bccadf7751efd69a4cb058f20ca' into pass_by_reference_compiler_overhaul 2020-10-20 23:55:06 -07:00
collin
5f73bde712 Merge commit '7cdc54518aec105b6e60281ce2159bda895a76e5' into ast_perf 2020-10-20 23:50:35 -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
ea201454e4 Merge commit '7cdc54518aec105b6e60281ce2159bda895a76e5' into pest_test 2020-10-20 23:03:33 -07:00
Collin Chin
55da1f1b2f
Merge pull request #388 from ljedrz/type_tweaks 
A few tweaks to types, new benchmarks
 2020-10-20 23:01:11 -07:00
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