ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-12-26 03:33:44 +03:00
Code Issues Packages Projects Releases Wiki Activity
5,708 Commits 54 Branches 46 Tags 340 MiB
ebe7f7ab00
Commit Graph

14 Commits

Author SHA1 Message Date
d0cd
0522c2a08f
Removes unused or deprecated keywords from the grammar. (#2273) 
* Remove unused/deprecated symbols

* Remove tokens

* Update parser

* Update tests

* Regen expectations
 2023-02-17 19:25:11 -08:00
d0cd
6a3039277e Regen exepectations 2023-02-08 16:41:32 -08:00
d0cd
b17702e019 Fix graph init; regen expectations 2023-02-05 12:46:20 -08:00
d0cd
ae329c521b Deprecate (async) finalize statements 2022-11-15 13:18:39 -08:00
d0cd
f60dcca1a3 Regen expectations 2022-11-12 16:35:54 -08:00
d0cd
8a3ffbc141 Fix tests; regen expectations 2022-11-08 15:49:47 -08:00
Pranav Gaddamadugu
e1a148a93e Regen expectations 2022-10-05 23:52:37 -07:00
Pranav Gaddamadugu
ce3fd38cd4 Regen expectations 2022-10-03 14:57:14 -07:00
Pranav Gaddamadugu
898d831249 Regen expectations 2022-09-30 12:58:39 -07:00
Pranav Gaddamadugu
8d12cd6651 Rename tests 2022-09-30 10:48:47 -07:00
Pranav Gaddamadugu
7a859e7b63 Regen test expectations 2022-09-21 13:18:50 -07:00
collin
bdaf486604 fix bug and regen tests 2022-09-20 22:05:49 -07:00
Pranav Gaddamadugu
c2bed2bb54 Add name to finalize block 2022-09-13 11:06:24 +02:00
Pranav Gaddamadugu
48ce885860 Add more tyc checks 2022-09-07 10:39:00 -07:00