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,553 Commits 54 Branches 46 Tags 340 MiB
331d754acf
Commit Graph

24 Commits

Author SHA1 Message Date
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
collin
d5a9cefe7c impl symbol table for pass 1 + pass 2 type resolution 2020-10-01 20:17:47 -07:00