ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-12-01 08:19:32 +03:00
Code Issues Packages Projects Releases Wiki Activity
1,360 Commits 53 Branches 44 Tags 331 MiB
d00eff2d86
Commit Graph

1360 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
collin
d00eff2d86 removes confusing examples 2020-10-21 11:35:00 -07:00
Collin Chin
61556cca29
Merge pull request #399 from ljedrz/boxing_improvements 
Boxing improvements
 2020-10-21 02:10:18 -07:00
Collin Chin
0850da64b5
Merge pull request #396 from ljedrz/alloc_hunting 
Further memory-handling improvements
 2020-10-21 01:54:34 -07:00
collin
3870cf785d fix box accesses 2020-10-21 01:32:09 -07:00
collin
8ea2735caa fix string references 2020-10-21 01:15:12 -07:00
collin
c9e044d3c3 cargo fmt 2020-10-21 01:05:56 -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
096cc28d75 Merge commit '317aa4e19a1f4bccadf7751efd69a4cb058f20ca' into boxing_improvements 2020-10-21 00:50:47 -07:00
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 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
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
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
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
ljedrz
845671547f perf: don't clone the whole iterator while parsing expressions 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-14 14:26:11 +02:00
ljedrz
07743b2d75 bench: change the AST bench to a much more complex one 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-14 13:44:59 +02:00
ljedrz
88bd491684 test: add extra AST pest tests 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-14 12:35:04 +02:00