test: Fix paths and line numbers in sim tests. |
|
More...
|
about 2 years ago
|
gib: Add a -c switch to set the initial value of the 'config' variable. |
|
More...
|
about 2 years ago
|
build: Compile and link divcc and dioscc. |
|
More...
|
about 2 years ago
|
test: Make test jobs depend on the lib/check script that runs them. |
|
More...
|
about 2 years ago
|
test: Fix lib/check in cases with no prep script. |
|
More...
|
about 2 years ago
|
test: Rename lib/divexp to lib/check. |
|
More...
|
about 2 years ago
|
test: Remove a bunch of obsolete helper scripts. |
|
More...
|
about 2 years ago
|
test: Fix matching of empty trailing V (variant) columns in lib/expand. |
|
More...
|
about 2 years ago
|
test: Clean up demo/constants.chk.c, add a 'sim' invocation to the script. |
|
More...
|
about 2 years ago
|
tools: Modernize parts of divcheck code. |
|
More...
|
about 2 years ago
|
tools: Reindent divcheck.hpp. |
|
More...
|
about 2 years ago
|
sim: Make the 'output fd' optional (it's only used for terminal width check). |
|
More...
|
about 2 years ago
|
MC: Work around a mysterious g++ compile error in exec.cpp. |
|
More...
|
about 2 years ago
|
VM: Do not crash on zero-size lifetime intrinsics. |
|
More...
|
about 2 years ago
|
VM: Add a missing 'override' specifier. |
|
More...
|
about 2 years ago
|
mem: Fix an erroneous left shift reported by g++. |
|
More...
|
about 2 years ago
|
dbg: Add code to get the current (active) source line from a frame. |
|
More...
|
about 2 years ago
|
bricks: Fix g++ complaints about brick-hashset. |
|
More...
|
about 2 years ago
|
bricks: Work around a g++ misparse in brick-smt. |
|
More...
|
about 2 years ago
|
bricks: Disambiguate a couple template method calls in brick-llvm. |
|
More...
|
about 2 years ago
|
test: Add a missing #include to weakmem/x86-tso/iriw.chk.c. |
|
More...
|
about 2 years ago
|
test: Symbolic clocks (still) don't work; add a todo tag. |
|
More...
|
about 2 years ago
|
test: Remove obsolete '--dios-config defaultlamp' from nondet tests. |
|
More...
|
about 2 years ago
|
test: Add a todo tag to refine/pointers/realloc-a. |
|
More...
|
about 2 years ago
|
test: Add missing 'refine' calls to refine/pointers/*. |
|
More...
|
about 2 years ago
|
test: Add a script to expand and run new-style test cases. |
|
More...
|
about 2 years ago
|
test: Update posix filesystem tests that use verify --capture. |
|
More...
|
about 2 years ago
|
dios: Implement creat() in terms of openat, not mknod. |
|
More...
|
about 2 years ago
|
build: Remove (now empty) gib.rules. |
|
More...
|
about 2 years ago
|
build: Move sys.openbsd from gib.rules to gib/. |
|
More...
|
about 2 years ago
|