Open Hub
Open Hub

 Settings |  Report Duplicate

0
I Use This!
High Activity

Commits : Listings

Analyzed about 12 hours ago. based on code collected about 18 hours ago.
Oct 24, 2025 — Oct 24, 2026
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
Extend workaround for bitvector sorts
Matthias Heizmann
More... 1 day ago
Use string length instead of magic number
Frank Schüssele
More... 3 days ago
Avoid unnecessary variable
Frank Schüssele
More... 3 days ago
YAML witness: Always output constraint for function_return
Frank Schüssele
More... 3 days ago
Require another feature only in MemoryHandler
Frank Schüssele
More... 4 days ago
Minor: Use constants in DeclarationInformation where applicable
Frank Schüssele
More... 4 days ago
Minor: require mutexes consistently in MemoryHandler
Frank Schüssele
More... 4 days ago
Minor: Remove unnecessary null initialization
Frank Schüssele
More... 9 days ago
Remove unused parameter
Frank Schüssele
More... 9 days ago
Remove now unused member
Frank Schüssele
More... 9 days ago
Remove unnecessary cast to subclass
Frank Schüssele
More... 9 days ago
Move toString into implementations
Frank Schüssele
More... 9 days ago
Make LRValue sealed and use exhaustive pattern matching
Frank Schüssele
More... 9 days ago
Use StructHandler also in ACSLHandler
Frank Schüssele
More... 9 days ago
ArrayHandler: Pass the correct location
Frank Schüssele
More... 10 days ago
Add code style for clang-format to format C sources
Manuel Bentele
More... 10 days ago
Bugfix: Use correct comparison for const array-threshold
Frank Schüssele
More... 12 days ago
Add missing Eclipse UI theme plug-in and disable custom theme (to use native OS theme)
Manuel Bentele
More... 12 days ago
Move trailing comments in bitvector code above the line
David Enoghama
More... 13 days ago
Bugfix: Handle duplicate relations in interval domain
Frank Schüssele
More... 13 days ago
Minor code restructuring, add documentation
Matthias Heizmann
More... 14 days ago
Extract method, add documentation
Matthias Heizmann
More... 14 days ago
Use correct sonar property
Frank Schüssele
More... 15 days ago
warn if svcomp year is missing from fm-tools
danieldietsch
More... 15 days ago
Bugfix: Preserve location of loop after a label
Frank Schüssele
More... 15 days ago
also observe timeouts during publish, more error handling, additional initial check if local data and zenodo state are out of sync
danieldietsch
More... 16 days ago
Ensure that no loop invariants are produced for unsupported features
Frank Schüssele
More... 16 days ago
add progress bars, resume drafts, make things more robust
danieldietsch
More... 16 days ago
add hardcoded timeout to match new zenodo API, add try/finally to avoid forgetting to rename
danieldietsch
More... 16 days ago
make it importable
danieldietsch
More... 16 days ago