2015-01-18 10:20:21 by Makoto Fujiwara | Files touched by this commit (2) |
Log message: Update 0.13 to 0.14 version: 0.14 date: Sat Oct 25 16:08:47 CEST 2014 changes: - support IMath as an optional replacement for GMP - minor AST generator improvements |
2014-04-25 11:11:49 by Thomas Klausner | Files touched by this commit (3) |
Log message: Update to 0.13: version: 0.13 date: Mon Apr 14 11:08:45 CEST 2014 changes: - deprecate isl_int - improved support for multi piecewise quasi-affine expressions - allow the user to impose a bound on the number of low-level operations - add isl_id_to_ast_expr and isl_id_to_pw_aff - add isl_schedule_constraints - hide internal structure of isl_vec - remove support for piplib |
2014-02-25 10:18:25 by Adam Ciarcinski | Files touched by this commit (4) |
Log message: Changes 0.12.2: - MinGW-w64 build fix - fix simplification bug |
2013-04-16 08:47:15 by Adam Ciarcinski | Files touched by this commit (4) |
Log message: Changes 0.11.2: * make code generation output the same on Solaris * fix some hard to trigger bugs |
2013-02-19 20:45:44 by Thomas Klausner | Files touched by this commit (1) |
Log message: Add TEST_TARGET. |
2013-02-17 23:10:47 by Thomas Klausner | Files touched by this commit (5) |
Log message: Import isl-0.11.1 as math/isl, packaged for wip by Kai-Uwe Eckhardt. isl is a library for manipulating sets and relations of integer points bounded by linear constraints. Supported operations on sets include intersection, union, set difference, emptiness check, convex hull, (integer) affine hull, integer projection, and computing the lexicographic minimum using parametric integer programming. It also includes an ILP solver based on generalized basis reduction. |