limbo/simulator/runner
2025-09-05 02:00:18 -03:00
..
memory simulator: Fix 64-bit offset build failures 2025-09-02 14:14:04 +03:00
bugbase.rs read Profile file from path or use predefined profiles 2025-08-30 11:31:52 -03:00
cli.rs Cli option to enable memory IO 2025-09-01 14:12:11 -03:00
clock.rs make simulator use sql_generation crate as dependency 2025-08-25 22:59:31 -03:00
differential.rs read Profile file from path or use predefined profiles 2025-08-30 11:31:52 -03:00
doublecheck.rs read Profile file from path or use predefined profiles 2025-08-30 11:31:52 -03:00
env.rs fix non determinism by using IndexSet for order preserving iteration 2025-09-05 02:00:18 -03:00
execution.rs impl SimIO for SimulatorIO 2025-09-01 11:11:03 -03:00
file.rs Merge 'Use u64 for file offsets in I/O and calculate such offsets in u64' from Preston Thorpe 2025-09-02 09:06:49 +03:00
io.rs do not fault on Fsync until we correctly define the expected behaviour in the simulator 2025-09-01 14:12:11 -03:00
mod.rs initial impl for MemorySim 2025-09-01 11:11:25 -03:00
watch.rs read Profile file from path or use predefined profiles 2025-08-30 11:31:52 -03:00