?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
first · prev · next
add dependence analysis tests for iscc
2015-06-13 Sven Verdoolaegeadd dependence analysis tests for iscc
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-05-26 Sven Verdoolaegeiscc: add "lb" operation
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-05-26 Sven Verdoolaegeupdate isl for rename of isl_schedule_map_schedule_node
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-05-26 Sven Verdoolaegeupdate isl for introduction of isl_stat
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-05-13 Sven Verdoolaegeiscc.c: avoid use of isl_bool_* identifiers
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-05-13 Sven Verdoolaegetests/iscc/sum4: compare NaN against string
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-05-13 Sven Verdoolaegeiscc: add equality operation on strings
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-05-13 Sven Verdoolaegeupdate pet for direct header inclusions
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-05-13 Sven Verdoolaegeupdate isl for replacement of CLooG test cases with...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-05-02 Sven Verdoolaegetest_approx.c: use fabs on double instead of abs
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-05-02 Sven Verdoolaegehilbert.c: add missing include
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-05-02 Sven Verdoolaegesummate.c: directly include required headers
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-04-30 Sven Verdoolaegeisl_map_polylib.h: include correct header
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-03-17 Sven Verdoolaegeiscc.c: vertices: avoid uninitialized read on error...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-02-26 Sven Verdoolaegeiscc: avoid use of pet_scop_collect_schedule
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-02-26 Sven Verdoolaegeupdate pet for representing schedule as schedule tree
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-02-26 Sven Verdoolaegeupdate isl for sufficient schedule tree support for pet
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-02-24 Oleksandr Zinenkoconfigure.ac: allow builddir for NTL
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-02-24 Oleksandr Zinenkoconfigure.ac: allow builddir for GMP
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-02-05 Sven Verdoolaegeiscc.c: use isl_stream_get_ctx instead of reading ctx...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-02-05 Sven Verdoolaegeiscc.c: use isl_stream_is_empty instead of reading...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-02-05 Sven Verdoolaegeupdate isl for isl_stream_get_ctx
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-02-05 Sven Verdoolaegeupdate pet for support for recent clangs
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-02-05 Sven Verdoolaegeupdate isl for support for recent clangs
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-12-18 Sven Verdoolaegesummate.c: avoid use of isl_union_pw_qpolynomial_add_pw_qpol...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-12-18 Sven Verdoolaegebarvinok.cc: avoid use of isl_union_pw_qpolynomial_add_pw_qp...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-12-18 Sven Verdoolaegeisl_union_set_lattice_width: check whether input is...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-11-23 Sven Verdoolaegesummate.c: join_compatible: avoid use of undocumented...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-11-23 Sven Verdoolaegesummate.c: join_compatible: rename "dim" variables...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-10-26 Sven Verdoolaegeupdate pet to version 0.06
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-10-26 Sven Verdoolaegeupdate isl to version 0.14
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-10-14 Sven VerdoolaegeREADME: update contact information
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-10-09 Sven Verdoolaegeupdate isl for change in isl_map_subtract
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-09-11 Sven Verdoolaegeupdate pet for support for recent clangs
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-09-11 Sven Verdoolaegeupdate isl for support for recent clangs
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-09-11 Sven Verdoolaegelattice_width.c: avoid use of deprecated function
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-06-22 Sven Verdoolaegebarvinok_enumerate_with_options: handle context constraints...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-05-18 Sven Verdoolaegedoc: add another paper refering to the library
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-05-04 Sven Verdoolaegeisl_Polyhedron_Reduced_Basis: avoid double free of...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-05-03 Thomas KahleUpdate the glpk calls to the new glp_ API
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-04-22 Sven Verdoolaegeiscc: also disallow source operation when --no-io is...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-04-14 Sven Verdoolaegebarvinok 0.37
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-04-14 Sven Verdoolaegeupdate pet to version 0.05
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-04-14 Sven Verdoolaegeupdate isl to version 0.13
 commit | commitdiff | tree
2014-04-13 Tobias GrosserAdd missing include of isl/aff.h
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-04-04 Sven Verdoolaegeupdate pet for sorting of arrays
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-04-02 Sven Verdoolaegeisl_param_util.c: drop expr2vertex
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-04-02 Sven Verdoolaegeupdate isl for change in isl_vertex inspectors
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-04-02 Sven Verdoolaegeadd isl_multi_aff_to_polylib
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-03-30 Sven Verdoolaegeiscc: add minimal support for isl_obj_pw_multi_aff...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-03-30 Sven Verdoolaegeupdate isl for isl_obj_pw_multi_aff
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-03-10 Sven Verdoolaegegen_fun::add_union: context of result should be the...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-03-10 Sven Verdoolaegereduce_evalue: reduce polynomial expressions in denominator...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-02-09 Sven Verdoolaegeupdate pet for support for recent clangs
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-02-09 Sven Verdoolaegeupdate isl for support for recent clangs
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-01-05 Sven Verdoolaegeupdate pet for change in pet_scop_collect_{reads,writes}
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-01-05 Sven Verdoolaegeupdate isl for isl_id_to_pw_aff
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-01-05 Sven Verdoolaegeconfigure.ac: use AX_DETECT_GIT_HEAD instead of inlined...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2013-12-16 Sven Verdoolaegedoc: fix typo
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2013-12-05 Sven VerdoolaegeAX_SUBMODULE: allow .git file in submodule
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2013-08-12 Sven Verdoolaegeupdate pet for support for recent clangs
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2013-08-12 Sven Verdoolaegeupdate isl for support for recent clangs
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2013-07-06 Sven Verdoolaegeverify_point_data_init: use isl_set_card to count elements...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2013-07-06 Sven Verdoolaegetest_approx: return EXIT_FAILURE on error
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2013-07-06 Sven Verdoolaegetest_approx: use isl interface
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2013-07-06 Sven Verdoolaegeclean up tests/ehrhart/* inputs
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2013-06-26 Sven Verdoolaegeevalue_isl.c: relation2pwqp: handle non-parametric...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2013-06-26 Sven Verdoolaegeupdate isl for isl_*_eval returning an isl_val instead...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2013-06-26 Sven Verdoolaegeupdate isl for isl_stream_read_obj returning isl_obj_val...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2013-06-26 Sven Verdoolaegeupdate pet to version 0.04
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2013-06-25 Sven Verdoolaegeconfigure.ac: replace --with-libgmp option by --with...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2013-06-23 Sven Verdoolaegeupdate isl to version 0.12
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2013-05-31 Sven Verdoolaegeiscc.c: avoid use of isl_token internals
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2013-05-31 Sven Verdoolaegeevalue_isl.c: div2evalue: use isl_val
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2013-05-31 Sven Verdoolaegeevalue_isl.c: isl_pw_qpolynomial_from_eval: use isl_val
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2013-05-31 Sven Verdoolaegeevalue_isl.c: isl_qpolynomial_from_evalue: use isl_val
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2013-05-31 Sven Verdoolaegeevalue_isl.c: extract_base: use isl_val
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2013-05-31 Sven Verdoolaegeverify.c: verify_point_data_init: use isl_val
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2013-05-31 Sven Verdoolaegeverify.c: verify_context_set_bounds: use isl_val
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2013-05-31 Sven Verdoolaegeutil.c: manual_count: use isl_val
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2013-05-31 Sven Verdoolaegetest_bound.c: result_data: use isl_val
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2013-05-31 Sven Verdoolaegetest_bound.c: verify_point: use isl_val
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2013-05-31 Sven Verdoolaegesample.c: Polyhedron_Sample: use isl_val
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2013-05-31 Sven Verdoolaegepolysign_isl.c: isl_constraints_opt: use isl_val
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2013-05-31 Sven Verdoolaegepolysign_isl.c: isl_polyhedron_affine_sign: use isl_val
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2013-05-31 Sven Verdoolaegepolysign_isl.c: extract_inequalities: use isl_val
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2013-05-31 Sven Verdoolaegepolysign_isl.c: extract_equalities: use isl_val
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2013-05-31 Sven Verdoolaegeiscc.c: read_ident: use isl_val
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2013-05-31 Sven Verdoolaegeiscc.c: obj_at_index: use isl_val
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2013-05-31 Sven Verdoolaegeiscc.c: power: use isl_val
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2013-05-31 Sven Verdoolaegeiscc.c: next_is_neg_int: use isl_val
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2013-05-31 Sven Verdoolaegeevalue_isl.c: add_term: use isl_val
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2013-05-31 Sven Verdoolaegeevalue_isl.c: relation2pwqp: use isl_val
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2013-05-31 Sven Verdoolaegebound.c: split_on_size: use isl_val
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2013-05-31 Sven Verdoolaegebound.c: verify_point: use isl_val
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2013-05-31 Sven Verdoolaegebasis_reduction.c: isl_Polyhedron_Reduced_Basis: use...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2013-05-31 Sven Verdoolaegebarvinok_summate.c: verify_point: use isl_val
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2013-05-31 Sven Verdoolaegebarvinok_enumerate.cc: verify_point: use isl_val
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2013-05-31 Sven Verdoolaegebarvinok.cc: card_as_sum: use isl_val
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2013-05-31 Sven Verdoolaegeisl_map_polylib.c: use isl_val
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
next
lattice point enumeration library