ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-11-30 13:42:24 +03:00
Code Issues Packages Projects Releases Wiki Activity
5,665 Commits 53 Branches 44 Tags 331 MiB
6f57c6e2ce
Commit Graph

67 Commits

Author SHA1 Message Date
Pranav Gaddamadugu
484eea5bd2 Regen expectations 2023-03-31 09:58:25 -07:00
d0cd
2b5c24ada6 Regen expectations 2023-02-22 08:25:51 -08:00
d0cd
6c61296f78 Add targeted DCE test; cleanup 2023-02-21 17:13:54 -08:00
d0cd
ce4d016742 Regen expectations 2023-02-21 17:13:53 -08:00
d0cd
c8f6089be3
[Fix] Excludes inline functions from produced bytecode. (#2277) 
* Remove codegen for inline functions

* Regen expectations
 2023-02-21 14:17:11 -08:00
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
d0cd
bf49a0cc48 Generate expectations 2023-02-10 16:26:25 -08:00
d0cd
98c7825833 Regen expectations 2023-02-10 09:48:54 -08:00
d0cd
6a3039277e Regen exepectations 2023-02-08 16:41:32 -08:00
d0cd
f0c7314e17 Regen expectations 2023-02-08 11:32:53 -08:00
d0cd
789c2e6443 Remove input files from compiler tests 2023-02-08 11:18:40 -08:00
d0cd
5565150f30 Regen expectations 2023-02-05 12:46:21 -08:00
d0cd
498d4b698d Add tests for recursion 2023-02-05 12:46:21 -08:00
d0cd
b17702e019 Fix graph init; regen expectations 2023-02-05 12:46:20 -08:00
d0cd
9975a2c200 Regen expectations 2023-01-18 12:49:19 -08:00
d0cd
48a1f0590b
Rename console.assert* to assert*. (#2205) 
* Add assert statements to AST

* Add support in passes

* Add parser support

* Add tyc support

* Add support for assert statements in the remaining passes

* Fix examples, tests, and regen expectations

* Fmt

* Regen expectations
 2022-12-06 21:56:48 -08:00
collin
f6f286ac8a pull testnet3, regen tests 2022-11-23 02:37:57 -05:00
collin
9e28591589 pull testnet3, regen tests 2022-11-23 01:56:37 -05:00
collin
801df56f9c pull testnet3, regen tests 2022-11-22 20:55:12 -05:00
d0cd
1ae833ba7c Regen expectations 2022-11-16 10:24:29 -08:00
d0cd
f60dcca1a3 Regen expectations 2022-11-12 16:35:54 -08:00
d0cd
a69c1b4dae Regen expectations 2022-11-12 09:53:29 -08:00
d0cd
2f9bfd7ab9 Cleanup debug prints; fix bug, the flatten test builds 2022-11-08 17:10:39 -08:00
d0cd
62644d8851 Regen expectations 2022-11-08 16:02:16 -08:00
d0cd
91db5c3b8a Regen expectations 2022-11-08 15:49:47 -08:00
d0cd
8a3ffbc141 Fix tests; regen expectations 2022-11-08 15:49:47 -08:00
d0cd
367dc8b536 Regen expectations 2022-11-08 15:49:47 -08:00
d0cd
691ceae4a1 Regen expectations 2022-10-31 13:53:56 -07:00
Pranav Gaddamadugu
e1a148a93e Regen expectations 2022-10-05 23:52:37 -07:00
Pranav Gaddamadugu
6ce64f8a78 Add tests checking for invalid function calls 2022-10-03 16:33:15 -07:00
Pranav Gaddamadugu
dbb72ddbf8 Add tests showing program annotation fails 2022-10-03 15:02:28 -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
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
cb319b1678 Add test 2022-09-17 20:45:33 +02:00
Pranav Gaddamadugu
c2bed2bb54 Add name to finalize block 2022-09-13 11:06:24 +02:00
Pranav Gaddamadugu
6d35560528 More tests 2022-09-07 23:09:11 -07:00
Pranav Gaddamadugu
267fc99978 Add new tests; regen expectations 2022-09-06 12:14:37 -07:00
Pranav Gaddamadugu
524066c91d Regen expectations 2022-09-06 12:14:37 -07:00
Pranav Gaddamadugu
0e1768ac59 Hook flattening pass into compiler; regen expectations 2022-09-06 12:13:32 -07:00
Pranav Gaddamadugu
18274bf4f9 More tyc 2022-09-06 12:13:32 -07:00
Pranav Gaddamadugu
5d6c402c04 Fix buggy case 2022-09-06 12:13:32 -07:00
Pranav Gaddamadugu
4266ba28c1 more wip 2022-09-06 12:13:32 -07:00
Pranav Gaddamadugu
1b6dea395f Add parser tests; regen expectations 2022-09-06 12:13:32 -07:00
Pranav Gaddamadugu
b43d8b318f Add and regen tests 2022-08-18 11:16:03 -07:00
Pranav Gaddamadugu
5b732a33be Regen tests 2022-08-17 17:03:30 -07:00
Pranav Gaddamadugu
7278a5bf39 Regen expectations 2022-08-17 16:03:57 -07:00
Pranav Gaddamadugu
4c658f7b01 Regen test expectations 2022-08-17 15:27:33 -07:00