2008-01-09 |
Michael Schroeder | - beautify a bit |
commit | commitdiff | tree | snapshot |
2008-01-09 |
Klaus Kaempf | Problem.to_s and Decision.to_s |
commit | commitdiff | tree | snapshot |
2008-01-09 |
Michael Schroeder | - rename xmalloc/... functions to sat_malloc, as we... |
commit | commitdiff | tree | snapshot |
2008-01-08 |
Michael Schroeder | - assertify |
commit | commitdiff | tree | snapshot |
2008-01-08 |
Klaus Kaempf | fprintf line number immediately before calling abort() |
commit | commitdiff | tree | snapshot |
2008-01-08 |
Stephan Kulow | sync with autobuild |
commit | commitdiff | tree | snapshot |
2008-01-08 |
Stephan Kulow | prepare another autobuild round |
commit | commitdiff | tree | snapshot |
2008-01-07 |
Michael Schroeder | - also push level 1 rules on leanrt stack |
commit | commitdiff | tree | snapshot |
2008-01-07 |
Klaus Kaempf | update to current solver format (data taken from 10... |
commit | commitdiff | tree | snapshot |
2008-01-07 |
Klaus Kaempf | set pool architecture |
commit | commitdiff | tree | snapshot |
2008-01-04 |
Klaus Kaempf | adapt to swig bindings (incomplete, non-working) |
commit | commitdiff | tree | snapshot |
2008-01-04 |
Klaus Kaempf | further steps towards Perl bindings, still incomplete |
commit | commitdiff | tree | snapshot |
2008-01-03 |
Stefan Schubert | comment added |
commit | commitdiff | tree | snapshot |
2008-01-03 |
Stefan Schubert | comments added |
commit | commitdiff | tree | snapshot |
2008-01-03 |
Stefan Schubert | comments |
commit | commitdiff | tree | snapshot |
2007-12-30 |
Klaus Kaempf | negate p before use as offset |
commit | commitdiff | tree | snapshot |
2007-12-30 |
Klaus Kaempf | add Decision (solver result element) and testcase |
commit | commitdiff | tree | snapshot |
2007-12-28 |
Klaus Kaempf | fix examples/ruby/basic.rb |
commit | commitdiff | tree | snapshot |
2007-12-28 |
Michael Matz | Install content2solv. |
commit | commitdiff | tree | snapshot |
2007-12-28 |
Michael Matz | Memory efficient representation of the dirtree (importa... |
commit | commitdiff | tree | snapshot |
2007-12-27 |
Michael Matz | No idea why I had this as intlist. |
commit | commitdiff | tree | snapshot |
2007-12-27 |
Michael Matz | Parse also +Dir:, i.e. the packages.DU file. For now... |
commit | commitdiff | tree | snapshot |
2007-12-27 |
Michael Matz | Enable ATTR_INTLIST to contain zeros. Use the same... |
commit | commitdiff | tree | snapshot |
2007-12-27 |
Michael Matz | Some infrastructure for directory trees. |
commit | commitdiff | tree | snapshot |
2007-12-27 |
Michael Matz | I'll have a need for inserting substrings into a string... |
commit | commitdiff | tree | snapshot |
2007-12-22 |
Duncan Mac... | fix example broken by module renames |
commit | commitdiff | tree | snapshot |
2007-12-22 |
Klaus Kaempf | prepare to pass rootdir for reading rpmdb from other... |
commit | commitdiff | tree | snapshot |
2007-12-21 |
Michael Schroeder | - add evrmatch |
commit | commitdiff | tree | snapshot |
2007-12-21 |
Michael Schroeder | - fix bug in repo_addid_dep |
commit | commitdiff | tree | snapshot |
2007-12-21 |
Michael Matz | Improve the page eviction a bit. |
commit | commitdiff | tree | snapshot |
2007-12-21 |
Michael Matz | Let's not compare strings in an if-cascade or lookup... |
commit | commitdiff | tree | snapshot |
2007-12-20 |
Michael Schroeder | - some bug fixes + stop handling, nothing fancy |
commit | commitdiff | tree | snapshot |
2007-12-18 |
Michael Matz | One-valued types for media number. They can be encoded... |
commit | commitdiff | tree | snapshot |
2007-12-18 |
Michael Schroeder | - some more things to think about |
commit | commitdiff | tree | snapshot |
2007-12-18 |
Michael Schroeder | - do not exit on bad solv files |
commit | commitdiff | tree | snapshot |
2007-12-17 |
Michael Schroeder | - removed verticals for now to make work easier |
commit | commitdiff | tree | snapshot |
2007-12-14 |
Michael Schroeder | - forgot to store start and end of id block |
commit | commitdiff | tree | snapshot |
2007-12-14 |
Michael Schroeder | - some pieces of code for the unified lookup/search... |
commit | commitdiff | tree | snapshot |
2007-12-11 |
Michael Schroeder | - beautify |
commit | commitdiff | tree | snapshot |
2007-12-11 |
Michael Matz | Handle most of the susetags tags. Major exception... |
commit | commitdiff | tree | snapshot |
2007-12-10 |
Michael Schroeder | - use schema in repodata to make it extendible |
commit | commitdiff | tree | snapshot |
2007-12-10 |
Michael Andres | include stdio |
commit | commitdiff | tree | snapshot |
2007-12-10 |
Michael Schroeder | - add evrcmp mode parameter |
commit | commitdiff | tree | snapshot |
2007-12-08 |
Michael Matz | Pfeww. I'm tired, but now you can add refers from... |
commit | commitdiff | tree | snapshot |
2007-12-08 |
Michael Matz | I'm going to use the file info block real soon now... |
commit | commitdiff | tree | snapshot |
2007-12-08 |
Michael Matz | Also activate paging for embedded attr stores. |
commit | commitdiff | tree | snapshot |
2007-12-08 |
Michael Matz | Pull together attribute store and repo. dumpsolv actua... |
commit | commitdiff | tree | snapshot |
2007-12-08 |
Michael Matz | Let's make it compile, shall we? |
commit | commitdiff | tree | snapshot |
2007-12-08 |
Michael Matz | Start moving the attribute store into the library. |
commit | commitdiff | tree | snapshot |
2007-12-08 |
Michael Matz | A helper function for embedded attributes in SOLV files. |
commit | commitdiff | tree | snapshot |
2007-12-07 |
Michael Matz | Make the attrstore types available generally. |
commit | commitdiff | tree | snapshot |
2007-12-07 |
Michael Matz | Fiddling with writing without fiddling with reading... |
commit | commitdiff | tree | snapshot |
2007-12-07 |
Michael Matz | Work around the schema problem for now without changing... |
commit | commitdiff | tree | snapshot |
2007-12-07 |
Michael Matz | As I don't want to merge and map local strings, I need... |
commit | commitdiff | tree | snapshot |
2007-12-07 |
Michael Matz | Make the attribute names part of the string pool, so... |
commit | commitdiff | tree | snapshot |
2007-12-07 |
Stefan Schubert | reverted concerning noupdateprovide |
commit | commitdiff | tree | snapshot |
2007-12-07 |
Stefan Schubert | bugfix if whatprovides,... does not exist |
commit | commitdiff | tree | snapshot |
2007-12-07 |
Michael Matz | Nearly use the SOLV format for the attribute store... |
commit | commitdiff | tree | snapshot |
2007-12-06 |
Michael Schroeder | added some DEBIAN_SEMANTICS |
commit | commitdiff | tree | snapshot |
2007-12-06 |
Stefan Schubert | added logging, description |
commit | commitdiff | tree | snapshot |
2007-12-06 |
Michael Schroeder | - cleanup code a bit |
commit | commitdiff | tree | snapshot |
2007-12-06 |
Michael Matz | While trying to regenerate the testsuite I noticed... |
commit | commitdiff | tree | snapshot |
2007-12-06 |
Michael Matz | prefix-code the string store, difference-code the depen... |
commit | commitdiff | tree | snapshot |
2007-12-04 |
Michael Schroeder | - switch to new solv format using schemata |
commit | commitdiff | tree | snapshot |
2007-11-30 |
Stefan Schubert | update for libzypp integration |
commit | commitdiff | tree | snapshot |
2007-11-30 |
Stephan Kulow | I hope that's ok to get the bindings going |
commit | commitdiff | tree | snapshot |
2007-11-29 |
Stefan Schubert | do not regard recommends of installed items |
commit | commitdiff | tree | snapshot |
2007-11-29 |
Michael Schroeder | - prefer assertions to make coolo happy |
commit | commitdiff | tree | snapshot |
2007-11-29 |
Stefan Schubert | bugfix |
commit | commitdiff | tree | snapshot |
2007-11-29 |
Michael Schroeder | - rename findproblemrule to solver_findproblemrule |
commit | commitdiff | tree | snapshot |
2007-11-29 |
Michael Schroeder | - make schubi's job much easier by providing nice helpe... |
commit | commitdiff | tree | snapshot |
2007-11-28 |
Michael Schroeder | - changed debug mechanism a bit, it is now part of... |
commit | commitdiff | tree | snapshot |
2007-11-28 |
Michael Schroeder | - fix false friend |
commit | commitdiff | tree | snapshot |
2007-11-28 |
Klaus Kaempf | fix typo |
commit | commitdiff | tree | snapshot |
2007-11-27 |
Stefan Schubert | adding a callback definition for logging |
commit | commitdiff | tree | snapshot |
2007-11-26 |
Stefan Schubert | replaced printf by a locking function |
commit | commitdiff | tree | snapshot |
2007-11-25 |
Michael Matz | Advancing to the next solvable needs to happen a poster... |
commit | commitdiff | tree | snapshot |
2007-11-25 |
Michael Matz | Fix mergesolv for repos with holes. |
commit | commitdiff | tree | snapshot |
2007-11-25 |
Michael Matz | Fix rpmdb2solv, reused solvables must retain their... |
commit | commitdiff | tree | snapshot |
2007-11-22 |
Michael Schroeder | - add extra disableupdaterules call to fix core dump |
commit | commitdiff | tree | snapshot |
2007-11-21 |
Michael Andres | use SATSOLVER_ prefix in include guards |
commit | commitdiff | tree | snapshot |
2007-11-20 |
Michael Andres | added Makefile.cvs |
commit | commitdiff | tree | snapshot |
2007-11-19 |
Michael Schroeder | - add solvable2str function to make things easier and... |
commit | commitdiff | tree | snapshot |
2007-11-19 |
Michael Schroeder | - add FOR_REPO_SOLVABLES repo iterator macro |
commit | commitdiff | tree | snapshot |
2007-11-17 |
Michael Schroeder | - some more cleanup |
commit | commitdiff | tree | snapshot |
2007-11-17 |
Michael Schroeder | - add problem traversal abstraction functions for schubi |
commit | commitdiff | tree | snapshot |
2007-11-17 |
Michael Schroeder | - changed repo interface a bit, now alloc/free handle... |
commit | commitdiff | tree | snapshot |
2007-11-17 |
Michael Schroeder | - move (disabled) into printrule |
commit | commitdiff | tree | snapshot |
2007-11-16 |
Michael Schroeder | - log complete proof |
commit | commitdiff | tree | snapshot |
2007-11-16 |
Michael Schroeder | - add solvable allocation functions |
commit | commitdiff | tree | snapshot |
2007-11-16 |
Michael Schroeder | - fix memory consumption issue |
commit | commitdiff | tree | snapshot |
2007-11-16 |
Michael Schroeder | - begone rc_output. and there was much rejoicing. |
commit | commitdiff | tree | snapshot |
2007-11-16 |
Michael Schroeder | - as we now always keep the learnt rules we can clean... |
commit | commitdiff | tree | snapshot |
2007-11-16 |
Michael Matz | Reduce C&P code by factoring out the uniquifying string... |
commit | commitdiff | tree | snapshot |
2007-11-16 |
Stefan Schubert | comments added |
commit | commitdiff | tree | snapshot |
2007-11-16 |
Stefan Schubert | logging added; fixed output of printdecisions |
commit | commitdiff | tree | snapshot |
2007-11-16 |
Stephan Kulow | testing something |
commit | commitdiff | tree | snapshot |
2007-11-16 |
Stephan Kulow | adding ruby package |
commit | commitdiff | tree | snapshot |
2007-11-16 |
Stephan Kulow | update for releasing |
commit | commitdiff | tree | snapshot |
2007-11-16 |
Stefan Schubert | logging |
commit | commitdiff | tree | snapshot |
next |