?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
first · prev · next
isl_obj_str_print: properly pass along isl_printer
2011-11-02 Sven Verdoolaegeisl_obj_str_print: properly pass along isl_printer
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-10-23 Sven Verdoolaegeexplicitly link in all required libraries
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-10-23 Sven Verdoolaegeconfigure.ac: quote AC_LANG_PROGRAM call to avoid warning
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-10-23 Sven Verdoolaegeupdate pet for explicitly linking in gmp
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-10-23 Sven Verdoolaegeupdate isl to version 0.08
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-10-23 Sven Verdoolaegeupdate polylib to version 5.22.5 + configure fix
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-10-19 Sven Verdoolaegeupdate cloog for rename of LANGUAGE_C to CLOOG_LANGUAGE_C
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-10-16 Sven Verdoolaegeiscc: add "map % domain" operation
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-10-16 Sven Verdoolaegeupdate isl for isl_union_map_gist_domain
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-10-15 Sven Verdoolaegepolysign.h: add missing declaration of glpk_polyhedron_affin...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-10-14 Sven Verdoolaegeupdate pet for support for recent clangs
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-10-13 Sven Verdoolaegeupdate isl for support for recent clangs
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-10-12 Sven Verdoolaegehull.c: add missing include
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-10-12 Sven Verdoolaegereduce_domain.c: include barvinok/barvinok.h for barvinok_co...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-10-12 Sven Verdoolaegeevalue_isl.c: relation2pwqp: properly handle parameter...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-10-12 Sven Verdoolaegebarvinok_enumerate.cc: verify_isl: properly handle...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-10-06 Sven Verdoolaegeadd isl.py target
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-10-06 Sven Verdoolaegeexport some functions
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-10-06 Sven Verdoolaegeconfigure.ac: set ISL_BUILDDIR also in case of bundled isl
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-10-06 Sven Verdoolaegeupdate isl for extract_interface
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-26 Sven Verdoolaegeupdate isl for change in isl_pw_aff_set_tuple_id prototype
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-26 Sven Verdoolaegeinclude pet in distribution
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-26 Sven Verdoolaegeupdate pet for fix in distribution
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-26 Sven Verdoolaegeupdate isl for isl_set_from_params
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-26 Sven Verdoolaegedrop omega submodule
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-26 Sven Verdoolaegeconfigure.ac: take into account prefix of system omega
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-22 Sven Verdoolaegeupdate isl for fix in factorization
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-19 Sven Verdoolaegeadd some iscc tests
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-19 Sven Verdoolaegeiscc: only print new line if something was printed
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-19 Sven Verdoolaegeiscc: add "assert" operation
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-19 Sven Verdoolaegeiscc: add == operations
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-19 Sven Verdoolaegeiscc: call_bin_op: handle binary test operations
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-18 Sven Verdoolaegeiscc: extract out call_bin_op
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-18 Sven Verdoolaegeupdate isl for "==" tokens
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-16 Sven Verdoolaegeupdate isl for change in isl_basic_set_read_from_file
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-16 Sven Verdoolaegeupdate cloog for include fix
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-13 Sven Verdoolaegeupdate isl for removal of isl_div
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-13 Sven Verdoolaegeupdate isl for change in isl_{in,}equality_alloc
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-13 Sven Verdoolaegeupdate pet for compatibility with recent clangs
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-07 Sven Verdoolaegeupdate isl-polylib for include path ordering issue
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-05 Sven Verdoolaegeupdate isl for change in space of isl_pw_* objects
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-05 Sven Verdoolaegeupdate isl for explicit parameter spaces
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-05 Sven Verdoolaegeiscc: properly handle applications of functions on...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-05 Sven Verdoolaegeisl_union_set_apply_union_pw_qpolynomial: explicitly...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-04 Sven Verdoolaegeisl_pw_qpolynomial_sum: simplify construction of target...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-04 Sven Verdoolaegeisl_set_card: explicitly project result onto parameter...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-04 Sven Verdoolaegebarvinok_summate.c: verify_point: explicitly project...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-04 Sven Verdoolaegetest_bound.c: avoid use of undocumented isl_set_remove_dims
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-04 Sven Verdoolaegeisl_basic_set_lattice_width: compute correct space...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-04 Sven Verdoolaegeupdate isl for isl_pw_qpolynomial_project_domain_on_params
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-04 Sven Verdoolaegeupdate cloog for not using undocumented isl_set_extend
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-04 Sven Verdoolaegeupdate isl-polylib for rename of isl_dim to isl_space
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-04 Sven Verdoolaegeupdate isl for rename of isl_dim to isl_space
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-04 Sven Verdoolaegeupdate isl-polylib for some fixes
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-04 Sven Verdoolaegeupdate pet for use of isl_map_has_tuple_id
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-04 Sven Verdoolaegeupdate isl for isl_map_has_tuple_id
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-04 Sven Verdoolaegeupdate isl for rename of isl_map_insert
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-04 Sven Verdoolaegeupdate isl for change in isl_aff_floor
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-04 Sven Verdoolaegeupdate pet for compatibility with latest clang
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-04 Sven Verdoolaegeupdate isl for fix in isl_map_intersect_params
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-07-22 Sven Verdoolaegeiscc: add parse_file operation
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-07-22 Sven Verdoolaegeadd pet submodule
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-07-22 Sven Verdoolaegeupdate isl for pet
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-07-22 Sven Verdoolaegeprivately export isl_str_free
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-07-22 Sven Verdoolaegeiscc: only print valid results
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-07-14 Sven Verdoolaegebarvinok 0.34
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-07-14 Sven Verdoolaegeupdate cloog to version 0.16.3
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-07-13 Sven Verdoolaegeupdate isl to version 0.07
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-07-10 Sven Verdoolaegeautogen.sh: replace superproject part by call to autoreconf
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-07-10 Sven Verdoolaegeconfigure.ac: use non-deprecated form of AM_INIT_AUTOMAKE
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-07-10 Sven Verdoolaegerename configure.in to configure.ac
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-07-10 Sven Verdoolaegeupdate cloog for not depending on internal represenation...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-07-05 Sven Verdoolaegetest: use isl interface for testing lattice widths
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-07-05 Sven Verdoolaegeiscc: add lattice_width operation
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-07-05 Sven Verdoolaegeiscc: replace schedule_bands by schedule_forest
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-07-05 Sven Verdoolaegeupdate isl for fix in isl_schedule interface
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-07-05 Sven Verdoolaegeupdate cloog for addition of missing include
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-07-05 Sven Verdoolaegeiscc: accept empty lists
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-07-05 Sven Verdoolaegeremove evalue_split_periods
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-07-05 Sven Verdoolaegedrop evalue_convert application
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-07-05 Sven Verdoolaegelexmin.cc: add missing return
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-07-05 Sven Verdoolaegeverify.c: add missing returns
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-07-05 Sven Verdoolaegeevalue_read.c: stream_push_token: fix return type
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-07-05 Sven Verdoolaegeevalue_read.c: add missing include
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-07-05 Sven Verdoolaegeevalue_read.c: fix typo
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-07-05 Sven Verdoolaegeisl_obj_list_print: properly return isl_printer
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-07-05 Sven Verdoolaegeisl_obj_list.h: use flex array member to avoid array...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-07-05 Sven Verdoolaegeupdate isl for renaming of isl_qpolynomial_is_equal
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-07-05 Sven Verdoolaegebarvinok_summate: be more careful about spaces in which...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-07-05 Sven Verdoolaegesummate.c: add missing include
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-07-05 Sven Verdoolaegebarvinok.cc: add missing include
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-07-05 Sven VerdoolaegeChange license from GPL 2.0 to GPL 2.0+
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-06-10 Sven Verdoolaegeevalue_isl.c: add missing include
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-06-10 Sven Verdoolaegeadd cloog submodule
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-06-10 Sven Verdoolaegeupdate isl for cloog
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-06-10 Sven Verdoolaegeisl_obj_list.c: fix typo
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-06-01 Sven Verdoolaegeiscc: turn on sh option when calling CLooG
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-05-16 Sven Verdoolaegeevalue_isl.c: avoid use of isl_div internals
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-05-16 Sven Verdoolaegeupdate isl for isl_div_get_ctx
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-05-16 Sven Verdoolaegeconfigure.ac: don't depend on automake 1.11
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
next
lattice point enumeration library