Open Hub
Open Hub

 Settings |  Report Duplicate

3
I Use This!
Activity Not Available

Commits : Listings

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