ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2025-01-07 03:00:50 +03:00
Code Issues Packages Projects Releases Wiki Activity
5,582 Commits 55 Branches 46 Tags 340 MiB
0522c2a08f
Commit Graph

8 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
4b28d81882 Regen other expectations 2023-02-10 21:51:54 -08:00
Pranav Gaddamadugu
2a34d31d33 Regen test expectations 2022-08-09 19:53:17 -07:00
Pranav Gaddamadugu
8f5d5badb7 Fix and regen test expectations 2022-08-09 19:53:17 -07:00
Pranav Gaddamadugu
dfea5bbf15 Add @program modifier to tests; regen expectations 2022-08-04 20:00:40 -07:00
collin
0138b270a8 regen tests 2022-08-03 16:26:16 -07:00
collin
2331debcf5 update test infra 2022-08-03 16:17:40 -07:00
collin
10c9bb1c28 fix directory bug for test expectations 2022-07-28 14:14:25 -07:00