summaryrefslogtreecommitdiff
path: root/src/evr.c
AgeCommit message (Expand)AuthorFilesLines
2009-06-22evr doesn't change the Pool: more constnessKlaus Kämpf1-3/+3
2009-01-19- add inferior arch handlingMichael Schroeder1-1/+48
2008-01-14- add evrcmp_str for maMichael Schroeder1-10/+14
2007-12-21- add evrmatchMichael Schroeder1-0/+48
2007-12-14- some pieces of code for the unified lookup/search interfaceMichael Schroeder1-0/+10
2007-12-10- add evrcmp mode parameterMichael Schroeder1-9/+17
2007-12-06added some DEBIAN_SEMANTICSMichael Schroeder1-0/+6
2007-11-28- changed debug mechanism a bit, it is now part of the poolMichael Schroeder1-2/+1
2007-11-26replaced printf by a locking functionStefan Schubert1-1/+2
2007-11-08- add a licenseMichael Schroeder1-0/+7
2007-10-12fix typoMichael Schroeder1-3/+4
2007-10-12delete some spacesMichael Schroeder1-6/+6
2007-10-02current state of 'sat-solver'Klaus Kaempf1-0/+138