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,802 Commits 53 Branches 44 Tags 331 MiB
b092abec2a
Commit Graph

51 Commits

Author SHA1 Message Date
howardwu
1a36a262b8 chore(leo): bump version for new release 2021-01-12 17:03:16 -04:00
collin
601ab09226 add additional tests for import type checking 2021-01-07 18:31:07 -05:00
collin
b4bcfe549a fix import type checking 2021-01-07 18:12:46 -05:00
Collin Chin
a1d9d1a0f3
Merge pull request #500 from AleoHQ/fix/typo 
Fix typo in Cargo.toml category
 2020-12-15 14:56:17 -05:00
dependabot-preview[bot]
8894f10de7
Bump indexmap from 1.6.0 to 1.6.1 
Bumps [indexmap](https://github.com/bluss/indexmap) from 1.6.0 to 1.6.1.
- [Release notes](https://github.com/bluss/indexmap/releases)
- [Commits](https://github.com/bluss/indexmap/compare/1.6.0...1.6.1)

Signed-off-by: dependabot-preview[bot] <support@dependabot.com>
 2020-12-15 10:44:12 +00:00
howardwu
15592e8b1d Fix typo in Cargo.toml category 2020-12-14 22:50:10 -04:00
howardwu
9038c5a17a chore(leo): bump version for new release 2020-12-14 13:57:01 -04:00
collin
00dac3709a Merge branch 'master' of github.com:AleoHQ/leo into fix/prefer-index-map 2020-12-08 16:07:49 -05:00
Collin Chin
ac68e8e6a4
Merge branch 'master' into fix/prefer-include-str 2020-12-08 11:37:30 -05:00
collin
c351c300a2 merge master 2020-12-07 20:05:15 -05:00
collin
64f2a6586e use filter_self_inputs in num_inputs method 2020-12-07 15:49:06 -05:00
collin
1dbdf23d5a use index map in compiler module 2020-12-07 12:18:20 -05:00
collin
6797a1e046 use index map in symbol-table module 2020-12-07 12:15:32 -05:00
collin
ed4e094377 symbol table optimizations 2020-12-07 11:33:45 -05:00
collin
f1bd5399a1 cargo clippy 2020-12-04 16:47:03 -05:00
collin
0698f5df59 Merge branch 'master' of github.com:AleoHQ/leo into feature/circuit-self-input 2020-12-04 16:41:31 -05:00
collin
3a66d98919 use include_str in symbol-table and type-inference modules 2020-12-04 16:40:17 -05:00
howardwu
dbae691e49 chore(leo): bump version for new release 2020-12-03 16:16:42 -04:00
howardwu
74f7f24b19 chore(leo): bump version for new release 2020-12-01 22:57:11 -04:00
collin
d8c08fedd7 fix tests 2020-12-01 15:37:44 -05:00
collin
8457b05354 remove mut circuit variable definition 2020-12-01 11:54:51 -05:00
collin
7977b20ad2 remove mut variable keyword 2020-12-01 10:19:02 -05:00
collin
04081beb4b move function input length check to type checking phase 2020-11-30 13:34:21 -05:00
collin
58cb5101eb update self mut self keywords in symbol table module 2020-11-24 21:42:59 -05:00
collin
db056b9383 Merge branch 'master' of github.com:AleoHQ/leo into feature/type-inference 2020-11-16 18:08:14 -08:00
collin
b59ac9c055 add check and error handling for duplicate function inputs 2020-11-16 16:27:37 -08:00
collin
1fe4fd03a4 fix renamed struct in test 2020-11-13 12:38:06 -08:00
Collin Chin
331d754acf
Update symbol-table/tests/mod.rs 
Add period.

Co-authored-by: Howard Wu <9260812+howardwu@users.noreply.github.com>
 2020-11-12 15:50:07 -08:00
Collin Chin
ec3e698b0c
Update symbol-table/tests/mod.rs 
Co-authored-by: Howard Wu <9260812+howardwu@users.noreply.github.com>
 2020-11-12 15:49:40 -08:00
collin
12fdb826e9 remove unused method 2020-11-12 13:35:58 -08:00
collin
667392237f add symbol-table module 2020-11-11 14:57:39 -08:00
collin
d4b6a6d1f8 separate symbol-table module 2020-11-11 14:42:57 -08:00
collin
74b346f3e6 remove deprecated names from comments and variables 2020-11-11 12:47:54 -08:00
collin
05a83950e5 bump versions fix conflicts 2020-11-11 12:04:48 -08:00
collin
33fae17b35 clippy lints 1 2020-11-10 16:23:55 -08:00
collin
1daf6c9831 do not compare array dimensions in type inference 2020-11-06 13:26:47 -08:00
collin
6f3a235c76 Refactor symbol table array type comparison 2020-11-02 13:28:56 -08:00
collin
2fdcb043fc Improve doc comments for compiler phases 2020-11-02 09:19:11 -08:00
collin
4da923eec4 rename core-packages -> core 2020-10-30 17:36:48 -07:00
collin
a8c5885836 rename core-ast -> ast 2020-10-30 17:31:09 -07:00
collin
ffcd93f781 rename ast -> grammar 1 2020-10-30 17:17:17 -07:00
collin
61f4189483 Add documentation for renamed modules 2020-10-30 16:23:18 -07:00
collin
5a46cb5bb0 rename leo-core -> leo-core-packages 2020-10-30 13:02:44 -07:00
collin
7e7d1e58a0 rename typed -> core-ast 2 2020-10-30 11:48:40 -07:00
collin
be2a805d49 rename typed -> core-ast 1 2020-10-30 11:30:52 -07:00
collin
4e8bc7f1a8 fix license header 2020-10-30 11:15:06 -07:00
collin
87d440dfa1 fix symbol table test 2020-10-30 11:10:29 -07:00
collin
7cf41558bc rename static-check -> symbol-table 3 2020-10-30 10:51:45 -07:00
collin
d29d01f4ff move types into new static-check module 2020-10-12 12:32:29 -07:00
collin
effdfc7628 add leo dynamic check module 2020-10-06 17:20:51 -07:00