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

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

2013-07-09	Jakub Bogusz	- updated to 0.12 auto/th/isl-0.12-1	blob \| commitdiff \| raw
2013-04-13	Jakub Bogusz	- updated to 0.11.2 auto/th/isl-0.11.2-1	blob \| commitdiff \| raw \| diff to current
2012-12-13	Jakub Bogusz	- updated to 0.11.1 auto/th/isl-0.11.1-1 auto/ti/isl-0.11.1-1	blob \| commitdiff \| raw \| diff to current
2012-12-09	Jakub Bogusz	- updated to 0.11; relicensed to MIT	blob \| commitdiff \| raw \| diff to current
2012-06-24	Jakub Bogusz	- updated to 0.10 (note: new soname) auto/th/isl-0_10-1	blob \| commitdiff \| raw \| diff to current
2012-06-24	Jakub Bogusz	- move gdb pretty printer to gdb auto-load dir, so...	blob \| commitdiff \| raw \| diff to current
2012-06-24	Jakub Bogusz	- package gdb pretty printers	blob \| commitdiff \| raw \| diff to current
2012-06-24	Jakub Bogusz	- use piplib solver instead of stubs	blob \| commitdiff \| raw \| diff to current
2012-06-24	Jakub Bogusz	- added todo	blob \| commitdiff \| raw \| diff to current
2012-06-24	Jakub Bogusz	- new	blob \| commitdiff \| raw \| diff to current

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

This page took 0.175163 seconds and 17 git commands to generate.