git.pld-linux.org Git - packages/isl.git/shortlog

]> git.pld-linux.org Git - packages/isl.git/shortlog

2014-04-03	Elan Ruusamäe	noarch apidocs auto/th/isl-0.12.2-2	commit \| commitdiff \| tree \| snapshot
2014-02-16	Jakub Bogusz	- new Source0 URL, updated to 0.12.2 auto/th/isl-0.12.2-1	commit \| commitdiff \| tree \| snapshot
2013-08-21	Jakub Bogusz	- updated to 0.12.1 auto/th/isl-0.12.1-1	commit \| commitdiff \| tree \| snapshot
2013-07-09	Jakub Bogusz	- updated to 0.12 auto/th/isl-0.12-1	commit \| commitdiff \| tree \| snapshot
2013-04-13	Jakub Bogusz	- updated to 0.11.2 auto/th/isl-0.11.2-1	commit \| commitdiff \| tree \| snapshot
2012-12-13	Jakub Bogusz	- updated to 0.11.1 auto/th/isl-0.11.1-1 auto/ti/isl-0.11.1-1	commit \| commitdiff \| tree \| snapshot
2012-12-09	Jakub Bogusz	- updated to 0.11; relicensed to MIT	commit \| commitdiff \| tree \| snapshot
2012-06-24	Jakub Bogusz	- updated to 0.10 (note: new soname) auto/th/isl-0_10-1	commit \| commitdiff \| tree \| snapshot
2012-06-24	Jakub Bogusz	- move gdb pretty printer to gdb auto-load dir, so...	commit \| commitdiff \| tree \| snapshot
2012-06-24	Jakub Bogusz	- package gdb pretty printers	commit \| commitdiff \| tree \| snapshot
2012-06-24	Jakub Bogusz	- use piplib solver instead of stubs	commit \| commitdiff \| tree \| snapshot
2012-06-24	Jakub Bogusz	- added todo	commit \| commitdiff \| tree \| snapshot
2012-06-24	Jakub Bogusz	- new	commit \| commitdiff \| tree \| snapshot

Library for manipulating sets and relations of integer points bounded by linear constraints

This page took 0.084316 seconds and 4 git commands to generate.