summaryrefslogtreecommitdiff
path: root/src/util.h
AgeCommit message (Expand)AuthorFilesLines
2008-08-22- comment functionDuncan Mac-Vicar P1-0/+12
2008-03-20- clean up a bitMichael Schroeder1-0/+1
2008-03-19- shut up g++Michael Schroeder1-1/+1
2008-03-19- write info block containing addedprovidesMichael Schroeder1-0/+7
2008-03-17Initialize all allocated array members for blocky arrays (when itMichael Matz1-0/+10
2008-03-05- add HEADERENDMichael Schroeder1-7/+0
2008-01-29compileDuncan Mac-Vicar P1-1/+1
2008-01-29remove superfluous Pool argument in policy_illegal_ functionsMichael Andres1-1/+3
2008-01-29- add key filtering to repo_writeMichael Schroeder1-0/+29
2008-01-09- rename xmalloc/... functions to sat_malloc, as we're aMichael Schroeder1-6/+6
2007-11-21use SATSOLVER_ prefix in include guardsMichael Andres1-3/+3
2007-11-08- add a licenseMichael Schroeder1-0/+7
2007-10-02current state of 'sat-solver'Klaus Kaempf1-0/+16