platform/upstream/libsolv - Domain: System / Base;

Age	Commit message (Collapse)	Author	Files	Lines
2018-12-04	Imported Upstream version 0.6.35upstream/0.6.35	DongHun Kwak	1	-11/+11
	Change-Id: Ib7359aa10c08c1469105fbd6a82ea922f46f8b51 Signed-off-by: DongHun Kwak <dh0128.kwak@samsung.com>
2018-11-30	Imported Upstream version 0.6.27upstream/0.6.27	DongHun Kwak	1	-31/+39
	Change-Id: I4feccd10bd9fe0514ff13520136e962b6c093175 Signed-off-by: DongHun Kwak <dh0128.kwak@samsung.com>
2013-04-05	make queue_insertn more flexible	Michael Schroeder	1	-2/+5
	Yes, it's an API change, but I'm pretty sure that nobody other than the solver itself uses queue_insertn.
2012-04-16	- add map_or and queue_prealloc	Michael Schroeder	1	-0/+16

2011-07-12	- rename all sat_ to solv_	Michael Schroeder	1	-5/+5

2011-04-18	- remove stray semicolon. duh	Michael Schroeder	1	-1/+1

2009-06-17	- beautify	Michael Schroeder	1	-10/+18

2009-06-16	- add queue_insertn, queue_deleten, queue_truncate	Michael Schroeder	1	-0/+37

2009-06-15	- code cleanup	Michael Schroeder	1	-19/+36

2009-06-08	- update transaction ordering code	Michael Schroeder	1	-0/+51
	- add queue insert/delete functions
2009-05-26	- split problem handling from solver.c	Michael Schroeder	1	-1/+1

2008-01-09	- rename xmalloc/... functions to sat_malloc, as we're a	Michael Schroeder	1	-4/+4
	library and mustn't conflict with other libraries
2007-11-08	- add a license	Michael Schroeder	1	-0/+7
	- don't branch for supplemented packages - fix off by one in minimize queue revert code
2007-10-29	- rename queue* to queue_*, inline a bit more	Michael Schroeder	1	-48/+24
	- rename map* to map_*
2007-10-02	current state of 'sat-solver'	Klaus Kaempf	1	-0/+94