|
|
67a54b4ebc
|
[thin_check (rust)] add --auto-repair switch
|
2020-08-18 11:47:42 +01:00 |
|
|
|
239ae6b6ec
|
[thin_check (rust)] factor out spawn_progress_thread
|
2020-08-18 09:48:51 +01:00 |
|
|
|
e8d7e5cf1e
|
[thin_check (rust)] move report creation to top level
|
2020-08-17 16:05:06 +01:00 |
|
|
|
4e4b7ca2b1
|
[thin_check (rust)] add --sync-io flag
Makes it easier to switch between engines
|
2020-08-10 11:24:50 +01:00 |
|
|
|
1398cf31d1
|
[thin_check (Rust)] work in progress
|
2020-07-27 15:53:42 +01:00 |
|
|
|
3cf6307762
|
Merge branch 'master' into 2020-06-13-thin-check-rewrite
|
2020-07-27 15:53:26 +01:00 |
|
