|
|
e4ebfcbdb1
|
Added vreplay with stdout
|
2022-03-11 19:11:09 -05:00 |
|
|
|
cfd299006f
|
Replay logging almost done. Only thing missing is stdout.
|
2022-03-11 19:01:02 -05:00 |
|
|
|
377f913aa7
|
Code for logging and replay (doesn't work because of nondet in lua)
|
2022-03-11 18:35:51 -05:00 |
|
|
|
ff932dba10
|
More work on moving engine into dlmalloc heap
|
2022-02-25 19:57:23 -05:00 |
|
|
|
08f6aa2092
|
Get rid of wrap-string-view
|
2022-02-24 13:50:43 -05:00 |
|
|
|
f467944095
|
Migrated engine to using dlmalloc through eng::
|
2022-02-24 02:17:41 -05:00 |
|
|
|
acc00289fb
|
Wrap all STL includes to support drv:: and eng::
|
2022-02-23 23:08:28 -05:00 |
|
|
|
6a9bf4ca42
|
More work on removing old determinism-in-driver code
|
2022-02-21 20:23:01 -05:00 |
|
|
|
ba1e923b5a
|
lots of work on determinism in the linux driver.
|
2022-02-18 03:59:21 -05:00 |
|
|
|
467f25b927
|
Lots of work on removing malloc from driver
|
2022-02-17 20:02:08 -05:00 |
|
