Open Hub
Black Duck Open Hub

 Settings |  Report Duplicate

0
I Use This!
Moderate Activity

Commits : Listings

Analyzed about 12 hours ago. based on code collected about 15 hours ago.
Mar 25, 2024 — Apr 24, 2024
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
make testcases debian proof
Michael Schroeder
More... 14 days ago
Add testcases for proof generation
Michael Schroeder
More... 14 days ago
testsolv: Add missing entries to resultflags2str
Michael Schroeder
More... 14 days ago
Revert accidental change when sorting the decicions
Michael Schroeder
More... 14 days ago
Unbreak code to not end a proof with SOLVER_RULE_RPM_SAME_NAME
Michael Schroeder
More... 14 days ago
getdecisionlist: keep track of all literals from a unit rule
Michael Schroeder
More... 15 days ago
luasolv: delete debug line
Michael Schroeder
More... 28 days ago
bindings: implement returnself for lua
Michael Schroeder
More... 28 days ago
Some lua typemap cleanups
Michael Schroeder
More... 28 days ago
Add datamatch.dep attribute support to the bindings
Michael Schroeder
More... 28 days ago
Merge pull request #557 from dcantrell/uninitialized-structs
Michael Schroeder
More... 28 days ago
Fix a couple small static analysis findings for uninitialized structs
David Cantrell
More... 29 days ago
Globally rename __str__ to str for perl and tcl
Michael Schroeder
More... 29 days ago
Globally rename __str__ to to_s for ruby
Michael Schroeder
More... 29 days ago
Add stringification for the solutionelement class
Michael Schroeder
More... 29 days ago
Delete duplicated lines
Michael Schroeder
More... about 1 month ago
Add lua to bindings documentation
Michael Schroeder
More... about 1 month ago
Add lua bindings
Michael Schroeder
More... about 1 month ago
Do __eq__ and __ne__ renaming as global rename for tcl
Michael Schroeder
More... about 1 month ago
Call appdata_get_helper with a pointer to the appdata
Michael Schroeder
More... about 1 month ago