Pekka Enberg 1a8bade9d5 Merge 'Updates to the simulator' from Alperen Keleş ...

- Add generation for UNION/JOIN
- Rearchitect the oracle calling conventions to simplify the code paths
- Add brute force shrinking option by @echoumcp1

Closes #2049

2025-07-16 11:03:41 +03:00

..

data

Add a sample cargo outputfile to use for faster testing

2025-02-18 02:21:41 +02:00

shared/install_sqlite

overwrite sqlite3 in install_sqlite

2025-06-17 19:26:44 +02:00

workflows

Merge 'Updates to the simulator' from Alperen Keleş

2025-07-16 11:03:41 +03:00

labeler.yml

github: Make labels lower case consistently

2025-06-27 10:44:23 +03:00