pedrocarlo 72baf48863 add random generation in simulator IO

2025-10-21 14:10:38 -03:00

..

memory

add random generation in simulator IO

2025-10-21 14:10:38 -03:00

bugbase.rs

Fix git directory resolution in simulator to support worktrees

2025-10-21 14:34:27 +03:00

cli.rs

Make Miri easier to run

2025-10-20 23:48:19 -05:00

clock.rs

make simulator use sql_generation crate as dependency

2025-08-25 22:59:31 -03:00

differential.rs

modify code to use runtime generation

2025-09-23 21:57:06 -03:00

doublecheck.rs

modify code to use runtime generation

2025-09-23 21:57:06 -03:00

env.rs

Merge 'Run simulator under Miri' from Bob Peterson

2025-10-14 09:26:55 +03:00

execution.rs

workaround in sqlite for schema changes become visible to other connections

2025-10-13 02:34:43 -03:00

file.rs

Replaced manual validation in SimulatorCLI::validate with Clap features:

2025-10-02 19:18:38 +05:30

io.rs

add random generation in simulator IO

2025-10-21 14:10:38 -03:00

mod.rs

persist files in sim memory io for integrity check

2025-10-11 15:03:22 -03:00