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

..

antithesis.yml

github: Make Antithesis email a secret

2025-07-10 13:42:26 +03:00

build-sim.yml

Add simulator-docker-runner for running limbo-sim in a loop on AWS

2025-06-02 15:51:29 +03:00

go.yml

Migrate workflows to Blacksmith

2025-05-26 16:28:46 +00:00

java.yml

Migrate workflows to Blacksmith

2025-05-26 16:28:46 +00:00

labeler.yml

Migrate workflows to Blacksmith

2025-05-26 16:28:46 +00:00

long_fuzz_tests_btree.yml

revert running with release so that debug assertions will trigger in fuzz runs

2025-07-08 15:04:17 +03:00

napi.yml

github: Publish JavaScript packages only on tag

2025-06-30 22:19:16 +03:00

python.yml

use uv run instead of uvx

2025-06-24 15:36:29 -03:00

release.yml

build: Update cargo-dist to 0.28.6

2025-07-14 12:50:19 +03:00

rust_perf.yml

Workflows: Update to newest Nyrkiö Github Action

2025-07-10 17:40:34 +03:00

rust.yml

Merge 'Updates to the simulator' from Alperen Keleş

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

stale.yml

Migrate workflows to Blacksmith

2025-05-26 16:28:46 +00:00