summaryrefslogtreecommitdiff
path: root/src/queue.c
AgeCommit message (Expand)AuthorFilesLines
2018-12-04Imported Upstream version 0.6.35upstream/0.6.35DongHun Kwak1-11/+11
2018-11-30Imported Upstream version 0.6.27upstream/0.6.27DongHun Kwak1-31/+39
2013-04-05make queue_insertn more flexibleMichael Schroeder1-2/+5
2012-04-16- add map_or and queue_preallocMichael Schroeder1-0/+16
2011-07-12- rename all sat_ to solv_Michael Schroeder1-5/+5
2011-04-18- remove stray semicolon. duhMichael Schroeder1-1/+1
2009-06-17- beautifyMichael Schroeder1-10/+18
2009-06-16- add queue_insertn, queue_deleten, queue_truncateMichael Schroeder1-0/+37
2009-06-15- code cleanupMichael Schroeder1-19/+36
2009-06-08- update transaction ordering codeMichael Schroeder1-0/+51
2009-05-26- split problem handling from solver.cMichael Schroeder1-1/+1
2008-01-09- rename xmalloc/... functions to sat_malloc, as we're aMichael Schroeder1-4/+4
2007-11-08- add a licenseMichael Schroeder1-0/+7
2007-10-29- rename queue* to queue_*, inline a bit moreMichael Schroeder1-48/+24
2007-10-02current state of 'sat-solver'Klaus Kaempf1-0/+94