projects
/
platform
/
upstream
/
isl.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
add isl_qpolynomial_fold_substitute
[platform/upstream/isl.git]
/
Makefile.am
2010-07-31
Sven Verdoolaege
add support for union sets and relations
blob
|
commitdiff
2010-06-29
Sven Verdoolaege
Makefile.am: really include include/isl_vertices.h
blob
|
commitdiff
|
diff to current
2010-06-19
Sven Verdoolaege
add isl_version
blob
|
commitdiff
|
diff to current
2010-06-12
Sven Verdoolaege
optionally (and by default) use bernstein expansion...
blob
|
commitdiff
|
diff to current
2010-06-12
Sven Verdoolaege
add parametric vertex enumeration
blob
|
commitdiff
|
diff to current
2010-06-12
Sven Verdoolaege
extract out generic part of isl_pw_qpolynomial_bound_range
blob
|
commitdiff
|
diff to current
2010-06-12
Sven Verdoolaege
add isl_basic_set_factorizer
blob
|
commitdiff
|
diff to current
2010-06-12
Sven Verdoolaege
add bound_test.sh to distribution
blob
|
commitdiff
|
diff to current
2010-05-14
Sven Verdoolaege
add isl_bound test application
blob
|
commitdiff
|
diff to current
2010-05-14
Sven Verdoolaege
add isl_pw_qpolynomial_bound_range
blob
|
commitdiff
|
diff to current
2010-05-13
Sven Verdoolaege
add rudimentary isl_morph
blob
|
commitdiff
|
diff to current
2010-05-13
Sven Verdoolaege
add isl_dim_offset
blob
|
commitdiff
|
diff to current
2010-03-23
Sven Verdoolaege
export isl_dim_move
blob
|
commitdiff
|
diff to current
2010-03-23
Sven Verdoolaege
isl_polynomial.c: separate out fold functionality to...
blob
|
commitdiff
|
diff to current
2010-03-18
Sven Verdoolaege
add isl_printer
blob
|
commitdiff
|
diff to current
2010-03-14
Sven Verdoolaege
document transitive closure implementation
blob
|
commitdiff
|
diff to current
2010-03-10
Sven Verdoolaege
add some pip tests from the piplib distribution
blob
|
commitdiff
|
diff to current
2010-03-09
Sven Verdoolaege
add isl_pw_qpolynomial_fold
blob
|
commitdiff
|
diff to current
2010-03-05
Sven Verdoolaege
add generic isl_obj
blob
|
commitdiff
|
diff to current
2010-03-05
Sven Verdoolaege
add support for (piecewise) quasipolynomials
blob
|
commitdiff
|
diff to current
2010-03-04
Sven Verdoolaege
add isl_map_move
blob
|
commitdiff
|
diff to current
2010-03-04
Sven Verdoolaege
export isl_stream.h
blob
|
commitdiff
|
diff to current
2010-03-04
Sven Verdoolaege
add isl_point
blob
|
commitdiff
|
diff to current
2010-02-15
Sven Verdoolaege
add isl_closure test application
blob
|
commitdiff
|
diff to current
2010-02-03
Sven Verdoolaege
add isl_map_power and isl_map_transitive_closure
blob
|
commitdiff
|
diff to current
2010-01-31
Sven Verdoolaege
add dependence analysis
blob
|
commitdiff
|
diff to current
2010-01-25
Sven Verdoolaege
add isl_cat test application
blob
|
commitdiff
|
diff to current
2010-01-25
Sven Verdoolaege
isl_input.c: merge functions for reading PolyLib and...
blob
|
commitdiff
|
diff to current
2010-01-13
Sven Verdoolaege
properly remove piplib submodule
blob
|
commitdiff
|
diff to current
2009-12-16
Sven Verdoolaege
remove functions for converting between isl and PolyLib
blob
|
commitdiff
|
diff to current
2009-12-07
Sven Verdoolaege
isl_map_subtract.c: extract from isl_map.c
blob
|
commitdiff
|
diff to current
2009-10-21
Sven Verdoolaege
put options in a separate isl_options structure
blob
|
commitdiff
|
diff to current
2009-10-21
Sven Verdoolaege
add rudimentary argument parsing facility
blob
|
commitdiff
|
diff to current
2009-10-21
Sven Verdoolaege
extract isl_basic_set_scan from polytope_scan.c
blob
|
commitdiff
|
diff to current
2009-10-12
Sven Verdoolaege
mark some functions as requiring use of return value
blob
|
commitdiff
|
diff to current
2009-10-08
Sven Verdoolaege
add isl_polyhedron_detect_equalities test application
blob
|
commitdiff
|
diff to current
2009-10-02
Sven Verdoolaege
export isl_mat header
blob
|
commitdiff
|
diff to current
2009-09-20
Sven Verdoolaege
create pkg-config file
blob
|
commitdiff
|
diff to current
2009-09-06
Sven Verdoolaege
isl 0.01
isl-0.01
blob
|
commitdiff
|
diff to current
2009-09-06
Sven Verdoolaege
add a rudimentary manual
blob
|
commitdiff
|
diff to current
2009-09-06
Sven Verdoolaege
separate out config header from isl_ctx.h
blob
|
commitdiff
|
diff to current
2009-08-28
Sven Verdoolaege
add isl_polytope_scan application
blob
|
commitdiff
|
diff to current
2009-08-28
Sven Verdoolaege
add isl_polyhedron_minimize application
blob
|
commitdiff
|
diff to current
2009-08-28
Sven Verdoolaege
add generalized basis reduction based ILP solver
blob
|
commitdiff
|
diff to current
2009-08-28
Sven Verdoolaege
export isl_vec header
blob
|
commitdiff
|
diff to current
2009-08-07
Sven Verdoolaege
add an internal parametric integer linear program solver
blob
|
commitdiff
|
diff to current
2009-08-07
Sven Verdoolaege
make piplib headers private
blob
|
commitdiff
|
diff to current
2009-07-15
Sven Verdoolaege
add isl_polyhedron_sample application
blob
|
commitdiff
|
diff to current
2009-07-15
Sven Verdoolaege
introduce generalized basis reduction based sampling
blob
|
commitdiff
|
diff to current
2009-03-20
Sven Verdoolaege
add isl_set_coalesce
blob
|
commitdiff
|
diff to current
2009-03-20
Sven Verdoolaege
add internal representation of LP tableaus
blob
|
commitdiff
|
diff to current
2009-01-06
Sven Verdoolaege
isl_map_simplify.c: extract out simplify and related...
blob
|
commitdiff
|
diff to current
2008-12-25
Sven Verdoolaege
isl_stream.c: extracted from isl_input_omega.c
blob
|
commitdiff
|
diff to current
2008-12-23
Sven Verdoolaege
add isl_div abstraction, similar to isl_constraint
blob
|
commitdiff
|
diff to current
2008-12-14
Sven Verdoolaege
allow parameters and dimensions to be named
blob
|
commitdiff
|
diff to current
2008-12-14
Sven Verdoolaege
introduce isl_hash_table and move hashing declarations...
blob
|
commitdiff
|
diff to current
2008-12-14
Sven Verdoolaege
introduce isl_dim structure for representing shared...
blob
|
commitdiff
|
diff to current
2008-12-02
Sven Verdoolaege
Add backup mp_get_memory_functions implementation for...
blob
|
commitdiff
|
diff to current
2008-10-14
Sven Verdoolaege
use GMP flags when compiling isl_test
blob
|
commitdiff
|
diff to current
2008-10-14
Sven Verdoolaege
use uint_32_t from stdint.h instead of u_int_32_t
blob
|
commitdiff
|
diff to current
2008-10-14
Sven Verdoolaege
add some functions for manipulating constraints
blob
|
commitdiff
|
diff to current
2008-10-14
Sven Verdoolaege
add isl_basic_set_interval and isl_basic_set_product
blob
|
commitdiff
|
diff to current
2008-10-13
Sven Verdoolaege
add isl_basic_set_print and isl_set_print for printing...
blob
|
commitdiff
|
diff to current
2008-09-04
Sven Verdoolaege
isl_basic_set_read_from_file: partial support for Omega...
blob
|
commitdiff
|
diff to current
2008-09-03
Sven Verdoolaege
add test_inputs to the distribution
blob
|
commitdiff
|
diff to current
2008-09-03
Sven Verdoolaege
add isl_sample_piplib.h to the distribution
blob
|
commitdiff
|
diff to current
2008-09-03
Sven Verdoolaege
Makefile.am: only include piplib in distribution if...
blob
|
commitdiff
|
diff to current
2008-09-03
Sven Verdoolaege
Makefile.am: remove reference to (re)moved header files
blob
|
commitdiff
|
diff to current
2008-08-25
Sven Verdoolaege
add convex hull computation
blob
|
commitdiff
|
diff to current
2008-08-25
Sven Verdoolaege
rename isl_map_affine_hull.c to isl_affine_hull.c
blob
|
commitdiff
|
diff to current
2008-08-25
Sven Verdoolaege
add isl_basic_set_read_from_file
blob
|
commitdiff
|
diff to current
2008-08-25
Sven Verdoolaege
isl_basic_set_sample: remove equalities first
blob
|
commitdiff
|
diff to current
2008-08-25
Sven Verdoolaege
reimplement isl_basic_map_is_empty in terms of isl_basi...
blob
|
commitdiff
|
diff to current
2008-08-25
Sven Verdoolaege
avoid preprocessor conditionals
blob
|
commitdiff
|
diff to current
2008-08-07
Sven Verdoolaege
Initial version of the integer set library
blob
|
commitdiff
|
diff to current