2008-02-06 |
Michael Matz | Make repo_lookup_num work. |
tree | commitdiff |
2008-02-06 |
Stefan Schubert | Prefer installed solvables first if there are two avail... |
tree | commitdiff |
2008-02-06 |
Duncan Mac-Vicar P | expose repo_lookup_str and add lookup_num (nonworking) |
tree | commitdiff |
2008-02-06 |
Michael Matz | I understand the solver a bit now , enough to hack... |
tree | commitdiff |
2008-02-05 |
Michael Andres | fix segv when str2id(pool,NULL) |
tree | commitdiff |
2008-02-05 |
Michael Matz | Iterating over the literals of a rule requires setting... |
tree | commitdiff |
2008-02-04 |
Stefan Schubert | added pool to arguments |
tree | commitdiff |
2008-01-30 |
Michael Schroeder | - use namespace instead of solvable for languages |
tree | commitdiff |
2008-01-30 |
Michael Schroeder | allow empty strings |
tree | commitdiff |
2008-01-30 |
Michael Matz | Split repodata_insert_keyid from repodata_set to create |
tree | commitdiff |
2008-01-30 |
Michael Matz | A subtle but fatal off-by-one. |
tree | commitdiff |
2008-01-30 |
Michael Matz | Storing the schema in front of the incore data releaves... |
tree | commitdiff |
2008-01-30 |
Michael Matz | Document repodata_internalize a bit, after understandin... |
tree | commitdiff |
2008-01-29 |
Michael Matz | I'm fairly sure this is right. Probably untested code... |
tree | commitdiff |
2008-01-29 |
Duncan Mac-Vicar P | compile |
tree | commitdiff |
2008-01-29 |
Michael Andres | remove superfluous Pool argument in policy_illegal_... |
tree | commitdiff |
2008-01-29 |
Michael Matz | Small nit. |
tree | commitdiff |
2008-01-29 |
Michael Schroeder | - split assignment to shut up stupid g++ compiler |
tree | commitdiff |
2008-01-29 |
Michael Schroeder | - add key filtering to repo_write |
tree | commitdiff |
2008-01-28 |
Stefan Schubert | Added callbacks for policy handling. |
tree | commitdiff |
2008-01-25 |
Michael Schroeder | - add dirpool support |
tree | commitdiff |
2008-01-18 |
Klaus Kaempf | introduce 'Covenants' as a generic representation of... |
tree | commitdiff |
2008-01-17 |
Michael Matz | Very subtle sign/zero-extension bug occuring on 64bit. |
tree | commitdiff |
2008-01-15 |
Michael Schroeder | - add dir reading code to solv reader |
tree | commitdiff |
2008-01-14 |
Michael Matz | Let's give fastlz a license, shall we? |
tree | commitdiff |
2008-01-14 |
Michael Matz | It's nicer to represent the special numbers as TYPE_VOI... |
tree | commitdiff |
2008-01-14 |
Stefan Schubert | reduced looging |
tree | commitdiff |
2008-01-14 |
Michael Schroeder | - add evrcmp_str for ma |
tree | commitdiff |
2008-01-11 |
Michael Schroeder | - fix support for splitprovides |
tree | commitdiff |
2008-01-09 |
Michael Schroeder | - clarify |
tree | commitdiff |
2008-01-09 |
Stefan Schubert | docu added |
tree | commitdiff |
2008-01-09 |
Michael Schroeder | - beautify a bit |
tree | commitdiff |
2008-01-09 |
Michael Schroeder | - rename xmalloc/... functions to sat_malloc, as we... |
tree | commitdiff |
2008-01-08 |
Michael Schroeder | - assertify |
tree | commitdiff |
2008-01-08 |
Klaus Kaempf | fprintf line number immediately before calling abort() |
tree | commitdiff |
2008-01-07 |
Michael Schroeder | - also push level 1 rules on leanrt stack |
tree | commitdiff |
2008-01-03 |
Stefan Schubert | comment added |
tree | commitdiff |
2008-01-03 |
Stefan Schubert | comments added |
tree | commitdiff |
2008-01-03 |
Stefan Schubert | comments |
tree | commitdiff |
2007-12-30 |
Klaus Kaempf | negate p before use as offset |
tree | commitdiff |
2007-12-30 |
Klaus Kaempf | add Decision (solver result element) and testcase |
tree | commitdiff |
2007-12-28 |
Michael Matz | Memory efficient representation of the dirtree (importa... |
tree | commitdiff |
2007-12-27 |
Michael Matz | Enable ATTR_INTLIST to contain zeros. Use the same... |
tree | commitdiff |
2007-12-27 |
Michael Matz | Some infrastructure for directory trees. |
tree | commitdiff |
2007-12-27 |
Michael Matz | I'll have a need for inserting substrings into a string... |
tree | commitdiff |
2007-12-21 |
Michael Schroeder | - add evrmatch |
tree | commitdiff |
2007-12-21 |
Michael Schroeder | - fix bug in repo_addid_dep |
tree | commitdiff |
2007-12-21 |
Michael Matz | Improve the page eviction a bit. |
tree | commitdiff |
2007-12-20 |
Michael Schroeder | - some bug fixes + stop handling, nothing fancy |
tree | commitdiff |
2007-12-18 |
Michael Matz | One-valued types for media number. They can be encoded... |
tree | commitdiff |
2007-12-18 |
Michael Schroeder | - some more things to think about |
tree | commitdiff |
2007-12-18 |
Michael Schroeder | - do not exit on bad solv files |
tree | commitdiff |
2007-12-17 |
Michael Schroeder | - removed verticals for now to make work easier |
tree | commitdiff |
2007-12-14 |
Michael Schroeder | - forgot to store start and end of id block |
tree | commitdiff |
2007-12-14 |
Michael Schroeder | - some pieces of code for the unified lookup/search... |
tree | commitdiff |
2007-12-11 |
Michael Matz | Handle most of the susetags tags. Major exception... |
tree | commitdiff |
2007-12-10 |
Michael Schroeder | - use schema in repodata to make it extendible |
tree | commitdiff |
2007-12-10 |
Michael Andres | include stdio |
tree | commitdiff |
2007-12-10 |
Michael Schroeder | - add evrcmp mode parameter |
tree | commitdiff |
2007-12-08 |
Michael Matz | Pfeww. I'm tired, but now you can add refers from... |
tree | commitdiff |
2007-12-08 |
Michael Matz | I'm going to use the file info block real soon now... |
tree | commitdiff |
2007-12-08 |
Michael Matz | Also activate paging for embedded attr stores. |
tree | commitdiff |
2007-12-08 |
Michael Matz | Pull together attribute store and repo. dumpsolv actua... |
tree | commitdiff |
2007-12-08 |
Michael Matz | Let's make it compile, shall we? |
tree | commitdiff |
2007-12-08 |
Michael Matz | Start moving the attribute store into the library. |
tree | commitdiff |
2007-12-07 |
Michael Matz | Make the attrstore types available generally. |
tree | commitdiff |
2007-12-07 |
Stefan Schubert | reverted concerning noupdateprovide |
tree | commitdiff |
2007-12-07 |
Stefan Schubert | bugfix if whatprovides,... does not exist |
tree | commitdiff |
2007-12-06 |
Michael Schroeder | added some DEBIAN_SEMANTICS |
tree | commitdiff |
2007-12-06 |
Stefan Schubert | added logging, description |
tree | commitdiff |
2007-12-06 |
Michael Schroeder | - cleanup code a bit |
tree | commitdiff |
2007-12-06 |
Michael Matz | While trying to regenerate the testsuite I noticed... |
tree | commitdiff |
2007-12-06 |
Michael Matz | prefix-code the string store, difference-code the depen... |
tree | commitdiff |
2007-12-04 |
Michael Schroeder | - switch to new solv format using schemata |
tree | commitdiff |
2007-11-30 |
Stephan Kulow | I hope that's ok to get the bindings going |
tree | commitdiff |
2007-11-29 |
Stefan Schubert | do not regard recommends of installed items |
tree | commitdiff |
2007-11-29 |
Michael Schroeder | - prefer assertions to make coolo happy |
tree | commitdiff |
2007-11-29 |
Stefan Schubert | bugfix |
tree | commitdiff |
2007-11-29 |
Michael Schroeder | - rename findproblemrule to solver_findproblemrule |
tree | commitdiff |
2007-11-29 |
Michael Schroeder | - make schubi's job much easier by providing nice helpe... |
tree | commitdiff |
2007-11-28 |
Michael Schroeder | - changed debug mechanism a bit, it is now part of... |
tree | commitdiff |
2007-11-28 |
Michael Schroeder | - fix false friend |
tree | commitdiff |
2007-11-27 |
Stefan Schubert | adding a callback definition for logging |
tree | commitdiff |
2007-11-26 |
Stefan Schubert | replaced printf by a locking function |
tree | commitdiff |
2007-11-22 |
Michael Schroeder | - add extra disableupdaterules call to fix core dump |
tree | commitdiff |
2007-11-21 |
Michael Andres | use SATSOLVER_ prefix in include guards |
tree | commitdiff |
2007-11-19 |
Michael Schroeder | - add solvable2str function to make things easier and... |
tree | commitdiff |
2007-11-19 |
Michael Schroeder | - add FOR_REPO_SOLVABLES repo iterator macro |
tree | commitdiff |
2007-11-17 |
Michael Schroeder | - some more cleanup |
tree | commitdiff |
2007-11-17 |
Michael Schroeder | - add problem traversal abstraction functions for schubi |
tree | commitdiff |
2007-11-17 |
Michael Schroeder | - changed repo interface a bit, now alloc/free handle... |
tree | commitdiff |
2007-11-17 |
Michael Schroeder | - move (disabled) into printrule |
tree | commitdiff |
2007-11-16 |
Michael Schroeder | - log complete proof |
tree | commitdiff |
2007-11-16 |
Michael Schroeder | - add solvable allocation functions |
tree | commitdiff |
2007-11-16 |
Michael Schroeder | - fix memory consumption issue |
tree | commitdiff |
2007-11-16 |
Michael Schroeder | - begone rc_output. and there was much rejoicing. |
tree | commitdiff |
2007-11-16 |
Michael Schroeder | - as we now always keep the learnt rules we can clean... |
tree | commitdiff |
2007-11-16 |
Michael Matz | Reduce C&P code by factoring out the uniquifying string... |
tree | commitdiff |
2007-11-16 |
Stefan Schubert | comments added |
tree | commitdiff |
2007-11-16 |
Stefan Schubert | logging added; fixed output of printdecisions |
tree | commitdiff |
next |