Commit Graph

1534 Commits

Author SHA1 Message Date
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
collin
0702e1f92f update type assertions for new types 2020-10-14 17:10:51 -07:00
collin
a9b16cfaa8 update symbol table tests 2020-10-14 16:37:19 -07:00
collin
3221615f51 fix stack check error naming 2020-10-14 16:27:55 -07:00
collin
de6f6ae7ae add variable table to function body 2020-10-14 15:12:55 -07:00