Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2023-08-28 | csim: Allow redirecting trace output to a file using command line flag | Alex Richardson | 1 | -4/+5 |
2023-06-15 | Add a clang-format configuration and reformat C code (#261) | Alexander Richardson | 1 | -4/+8 |
2019-06-26 | Add command line option in c_emulator for disabling tracing. Add builtins for... | Robert Norton | 1 | -0/+20 |
2019-01-16 | Make it clearer that the outer c,ocaml sub-dirs contain supporting files for ... | Prashanth Mundkur | 1 | -0/+32 |