0
I Use This!
Moderate Activity

Commits : Listings

Analyzed about 8 hours ago. based on code collected 1 day ago.
May 18, 2023 — May 18, 2024
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
- fix memory consumption issue - re-indent some schubi code More... over 16 years ago
- begone rc_output. and there was much rejoicing. More... over 16 years ago
- as we now always keep the learnt rules we can clean up the code a bit. this changes the layout of the problem queue again, sorry schubi - put unsolvable proof on learnt_pool queue More... over 16 years ago
Reduce C&P code by factoring out the uniquifying string pool. More... over 16 years ago
comments added More... over 16 years ago
logging added; fixed output of printdecisions More... over 16 years ago
testing something More... over 16 years ago
adding ruby package More... over 16 years ago
update for releasing More... over 16 years ago
logging More... over 16 years ago
- speed solving up a bit by not removing learnt rules if rules get disabled More... over 16 years ago
added more comments More... over 16 years ago
merge autobuild sources with SVN More... over 16 years ago
- some small beautifications More... over 16 years ago
- allow repositories that don't consist of a single block of solvables More... over 16 years ago
cmake added More... over 16 years ago
further development More... over 16 years ago
back to -r7755 More... over 16 years ago
added more logging More... over 16 years ago
added more logging More... over 16 years ago
- delete superfluous debug statements More... over 16 years ago
- fix schubi's indenting - print more info about encountered problems (experimental) - changes problem format again, sorry schubi More... over 16 years ago
and the winner is ... More... over 16 years ago
printf fixed More... over 16 years ago
fix to compile More... over 16 years ago
integer expected More... over 16 years ago
added more logging More... over 16 years ago
- cleanup repo handlin API More... over 16 years ago
added more logging More... over 16 years ago
Duncan forgot the docu More... over 16 years ago