sat-britney.git
2011-07-24 Joachim BreitnerControl parser test binary
2011-07-24 Joachim BreitnerList wanted/unwanted packages
2011-07-24 Joachim BreitnerFirst shot at runPicosatPMAX
2011-07-24 Joachim Breitner--migrate flag
2011-07-24 Joachim BreitnerImprove release-sync-properties: Do not migrate obsolet...
2011-07-24 Joachim BreitnerFix Clause pretty printing
2011-07-24 Joachim BreitnerDo not accept missing Dates file
2011-07-24 Joachim BreitnerFile name typo :-(
2011-07-24 Joachim BreitnerUse more overloaded strings
2011-07-24 Joachim BreitnerrunPicosat is now in Picosat
2011-07-24 Joachim BreitnerUse better maxVer code
2011-07-24 Joachim BreitnerImplement hand-made Dependency parser (25% speed improv...
2011-07-24 Joachim BreitnerSources, not Souce
2011-07-24 Joachim BreitnerMake use of Atoms as Ints in allAtoms
2011-07-24 Joachim BreitnerMaintain an explicit atom numbering
2011-07-24 Joachim BreitnerReap picoSat processes
2011-07-24 Joachim BreitnerFactor out GeneralInfo from SuiteInfo
2011-07-24 Joachim BreitnerDeepSeqify, hoping to make profiling easier
2011-07-23 Joachim BreitnerSlightly optimize allAtoms
2011-07-23 Joachim BreitnerUse HashMap
2011-07-23 Joachim BreitnerUse own Control parser
2011-07-23 Joachim BreitnerFast Control file parser
2011-07-23 Joachim BreitnerBenchmark for the version parser
2011-07-23 Joachim BreitnerUse libdpkg for version comparisons
2011-07-23 Joachim BreitnerUse ByteStrings for DebianVersion (much faster)
2011-07-23 Joachim BreitnerAdd lots of SCCs
2011-07-23 Joachim BreitnerMake outputs configurable
2011-07-23 Joachim BreitnerMore options
2011-07-23 Joachim BreitnerOption parsing infrastructure
2011-07-23 Joachim Breitnerstatic binary creation
2011-07-23 Joachim BreitnerSeperate ClauseSat and Picosat modules
2011-07-23 Joachim BreitnerEnforce urgencies
2011-07-23 Joachim BreitnerRead Urgency and Dates
2011-07-23 Joachim BreitnerCheck bugs
2011-07-23 Joachim BreitnerParse bugs
2011-07-23 Joachim BreitnerCustom ArchitectureReq
2011-07-23 Joachim BreitnerMore type safety
2011-07-22 Joachim BreitnerTesting relaxation
2011-07-22 Joachim BreitnerSeparate runPicosatCNF
2011-07-22 Joachim BreitnerRemember the string of the dependency
2011-07-22 Joachim Breitnerpicosat works, no need for picomus
2011-07-22 Joachim BreitnerPrint suite changes / minimal core
2011-07-22 Joachim BreitnerPicosat runner
2011-07-22 Joachim BreitnerInitial check-in