projects
/
platform
/
upstream
/
libsolv.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
- move rest of rule functions from solver.c to rules.c
[platform/upstream/libsolv.git]
/
src
/
util.h
2009-05-12
Michael Schroeder
- add sat_sort() function
blob
|
commitdiff
2008-10-30
Michael Schroeder
- adapt to coding style
blob
|
commitdiff
|
diff to current
2008-08-22
Duncan Mac-Vicar P
- comment function
blob
|
commitdiff
|
diff to current
2008-03-20
Michael Schroeder
- clean up a bit
blob
|
commitdiff
|
diff to current
2008-03-19
Michael Schroeder
- shut up g++
blob
|
commitdiff
|
diff to current
2008-03-19
Michael Schroeder
- write info block containing addedprovides
blob
|
commitdiff
|
diff to current
2008-03-17
Michael Matz
Initialize all allocated array members for blocky array...
blob
|
commitdiff
|
diff to current
2008-03-05
Michael Schroeder
- add HEADEREND
blob
|
commitdiff
|
diff to current
2008-01-29
Duncan Mac-Vicar P
compile
blob
|
commitdiff
|
diff to current
2008-01-29
Michael Andres
remove superfluous Pool argument in policy_illegal_...
blob
|
commitdiff
|
diff to current
2008-01-29
Michael Schroeder
- add key filtering to repo_write
blob
|
commitdiff
|
diff to current
2008-01-09
Michael Schroeder
- rename xmalloc/... functions to sat_malloc, as we...
blob
|
commitdiff
|
diff to current
2007-11-21
Michael Andres
use SATSOLVER_ prefix in include guards
blob
|
commitdiff
|
diff to current
2007-11-08
Michael Schroeder
- add a license
blob
|
commitdiff
|
diff to current
2007-10-02
Klaus Kaempf
current state of 'sat-solver'
blob
|
commitdiff
|
diff to current