?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
first · prev · next
update pet for support for recent clangs
2012-11-24 Sven Verdoolaegeupdate pet for support for recent clangs
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-11-24 Sven Verdoolaegeupdate isl for support for recent clangs
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-22 Sven Verdoolaegedrop cloog submodule
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-22 Sven Verdoolaegeuse isl for code generation
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-22 Sven Verdoolaegeupdate isl for code generation
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-21 Sven Verdoolaegeiscc.c: add missing includes
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-03 Sven Verdoolaegeupdate isl for rename of !isl_set_dim_has_{lower,upper...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-08-05 Sven Verdoolaegedoc: add another paper refering to the library
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-08-05 Sven VerdoolaegeREADME: clarify that /opt is the example installation...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-08-05 Sven Verdoolaegeexport isl_*_pw_qpolynomial_sum
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-08-05 Sven Verdoolaegeupdate pet for adding missing include
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-06-08 Sven Verdoolaegeconfigure.ac: check for NTL/ZZ.h header before checking...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-06-04 Sven Verdoolaegeupdate pet to version 0.02
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-06-03 Sven Verdoolaegeupdate isl to version 0.10
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-06-03 Sven Verdoolaegeoptions.c: avoid calling isl_alloc_type without valid...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-06-03 Sven Verdoolaegeevalue_isl.c: div2evalue: explicitly check for and...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-04-17 Sven Verdoolaegeupdate isl for normalization of isl_term_get_div result
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-03-30 Sven Verdoolaegeevalue_isl.c: add_term: improve error handling
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-03-27 Sven Verdoolaegeupdate pet for support for recent clangs
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-03-27 Sven Verdoolaegeupdate isl for support for recent clangs
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-03-07 Sven Verdoolaegeiscc: support computation of arbitrary (non-zero) powers...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-03-07 Sven Verdoolaegeupdate isl for isl_union_map_fixed_power
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-03-06 Sven Verdoolaegeupdate isl for change in isl_pw_aff_cond
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-02-12 Sven Verdoolaegeevalue.c: avoid warning on use of && inside ||
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-02-11 Sven Verdoolaegebarvinok_e.cc: enumerate_line: fix typo
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-02-11 Sven Verdoolaegesummate.c: add_unbounded_guarded_qp: update to change...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-02-11 Sven Verdoolaegeupdate pet for support for recent clangs
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-02-02 Sven Verdoolaegesummate.c: sum_base: check for and remove equalities
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-01-30 Sven Verdoolaegeupdate pet for support for recent clangs
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-01-30 Sven Verdoolaegeupdate isl for support for recent clangs
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-12-18 Sven Verdoolaegebarvinok 0.35
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-12-18 Sven Verdoolaegeupdate pet to version 0.01
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-12-18 Sven Verdoolaegeupdate isl to version 0.09
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-12-18 Sven Verdoolaegeadd isl.py to distribution
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-12-18 Sven Verdoolaegeadd interface/all.h and interface/isl.py.top to distribution
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-12-12 Sven Verdoolaegeupdate cloog to version 0.17.0
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-12-10 Sven Verdoolaegeisl_pw_qpolynomial_from_evalue: construct zero result...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-11-17 Sven VerdoolaegeParamLine_Length_mod: properly handle empty input
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-11-17 Sven Verdoolaegepartition2enumeration: fix memory leak when input is...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-11-14 Sven Verdoolaegeupdate pet for introduction of pet_options
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-11-14 Sven Verdoolaegeiscc: use isl_ctx_parse_options
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-11-14 Sven Verdoolaegeupdate isl for hiding of isl_options
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-11-14 Sven Verdoolaegeupdate isl for introduction of isl_args
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-11-14 Sven Verdoolaegeupdate pet for support for recent clangs
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-11-13 Sven Verdoolaegeupdate isl for support for recent clangs
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-11-07 Sven VerdoolaegeREADME: drop reference to piplib
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-11-07 Sven Verdoolaegeiscc: add "params" operation
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-11-07 Sven Verdoolaegedoc: explain syntax for parameter domains
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-11-07 Sven Verdoolaegeupdate isl for special casing of gist with parameter...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
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
next
lattice point enumeration library