11 Commits

Author SHA1 Message Date
wborgeaud
44b9237c08 Rename 2022-05-06 17:35:25 +02:00
wborgeaud
3005f7bf7b Cleaning 2022-05-06 17:22:30 +02:00
wborgeaud
99b6ac4ff2 Minor 2022-05-06 16:59:25 +02:00
wborgeaud
e744c640e0 Add eval for cross table lookups 2022-05-06 14:55:54 +02:00
wborgeaud
d4a6b35436 More cleaning 2022-05-05 22:21:09 +02:00
wborgeaud
d659e759e9 Clean lookup stuff 2022-05-05 19:12:58 +02:00
wborgeaud
e40276ef19 Compiles somehow 2022-05-05 17:14:21 +02:00
wborgeaud
4e18cad0f1 Lookup argument 2022-05-05 16:30:21 +02:00
wborgeaud
d56e3745dd Progress 2022-05-04 22:04:11 +02:00
wborgeaud
9f27849ff1 Compiles 2022-05-04 21:29:29 +02:00
wborgeaud
9096b758f4 Start of multi-table STARKs 2022-05-04 20:57:07 +02:00