?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
first · prev · next
drop collect_nonsimple.c
2022-08-21 Sven Verdoolaegedrop collect_nonsimple.c
 commit | commitdiff | tree
2022-08-21 Sven Verdoolaegedrop collect_polytopes2.c
 commit | commitdiff | tree
2022-08-21 Sven Verdoolaegedrop collect_polytopes.c
 commit | commitdiff | tree
2022-08-21 Sven Verdoolaegedrop verify_lexsmaller test application
 commit | commitdiff | tree
2022-08-21 Sven Verdoolaegedrop polytope_lattice_width application
 commit | commitdiff | tree
2022-08-21 Sven Verdoolaegedrop polyhedron_sample application
 commit | commitdiff | tree
2022-08-21 Sven Verdoolaegedrop polytope_scan application
 commit | commitdiff | tree
2022-08-07 Sven Verdoolaegeadd tests/ehrhart_union.README explaining origin of...
commit | commitdiff | tree
2022-08-07 Sven Verdoolaegeadd tests/ehrhart.README explaining origin of some...
commit | commitdiff | tree
2022-08-07 Sven Verdoolaegeadd tests/lexmin.README explaining origin of some of...
commit | commitdiff | tree
2022-08-07 Sven Verdoolaegetests/pwqp/hong*.pwqp: mention contributor
 commit | commitdiff | tree
2022-08-07 Sven Verdoolaegetests/iscc/lattice_width-jon_*: mention contributor
 commit | commitdiff | tree
2022-08-07 Sven Verdoolaegetests/iscc/count/garbervetsky: mention contributor
 commit | commitdiff | tree
2022-08-07 Sven Verdoolaegetests/iscc/count/empty7: mention contributor
 commit | commitdiff | tree
2022-08-07 Sven Verdoolaegetests/iscc/count/andreas: mention contributor
 commit | commitdiff | tree
2022-08-07 Sven Verdoolaegetests/ehrhart_e/**/seghir-*: mention contributor
 commit | commitdiff | tree
2022-08-07 Sven Verdoolaegetests/ehrhart/classen*: mention contributor
 commit | commitdiff | tree
2022-08-07 Sven Verdoolaegeconvert sample test to iscc test
 commit | commitdiff | tree
2022-08-07 Sven Verdoolaegeconvert counting tests to iscc tests
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2022-07-31 Sven Verdoolaegemake isl_basic_set_lattice_width static
 commit | commitdiff | tree
2022-07-24 Sven Verdoolaegesummate.c: add missing include
 commit | commitdiff | tree
2018-09-19 Sven Verdoolaegedrop EXTRA_{test,barvinok}_{summate,bound}_SOURCES
 commit | commitdiff | tree
2017-03-13 Sven Verdoolaegesummate.c: join_compatible: use isl_space_has_equal_params
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-03-13 Sven Verdoolaegeupdate isl for isl_space_has_equal_params
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-03-13 Sven Verdoolaegeverify.c: verify_point_data_init: explicitly convert...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-03-13 Sven Verdoolaegebarvinok.cc: basic_map_card: explicitly reintroduce...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-03-13 Sven Verdoolaegeupdate isl for isl_pw_qpolynomial_from_range
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-03-02 Sven Verdoolaegerandomtest.c: add missing include
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-02-23 Sven Verdoolaegeupdate pet for support for recent clangs
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-02-23 Sven Verdoolaegeupdate isl for support for recent clangs
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-02-23 Sven Verdoolaegebarvinok 0.40
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-02-23 Sven Verdoolaegeupdate AUTHORS
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-02-23 Sven Verdoolaegeonly use C++ 11 compiler if std::unordered_map is available
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-02-23 Sven Verdoolaegemove test for C++ 11 compiler into AX_UNORDERED_MAP
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-02-08 Sven Verdoolaegedoc: add a reference to the tutorial
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-02-08 Sven Verdoolaegedoc: update barvinok URL
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-02-07 Sven Verdoolaegedoc: fix typo
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-02-07 Sven Verdoolaegeverify.c: fix typos in comments
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-02-07 Sven Verdoolaegeiscc: add "cross_range" operation
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-02-07 Sven Verdoolaegesummate.c: barvinok_summate_data: rename "dim" field...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-02-07 Sven Verdoolaegesummate.c: add_unbounded_guarded_qp: rename "dim" variable...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-02-07 Sven Verdoolaegesummate.c: add_basic_guarded_qp: use proper parameter...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-02-07 Sven Verdoolaegesummate.c: add_basic_guarded_qp: rename "dim" variable...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-02-07 Sven Verdoolaegebarvinok.cc: basic_set_card: rename "dim" variable...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-02-07 Sven Verdoolaegeisl_set_to_polylib: add memory management annotation
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-02-07 Sven Verdoolaegeisl_basic_set_to_polylib: add memory management annotation
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-02-07 Sven Verdoolaegeisl_basic_map_to_polylib: use isl_basic_map_{in,}equalities_...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-02-07 Sven Verdoolaegeisl_basic_map_to_polylib: add memory management annotation
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-02-07 Sven Verdoolaegeisl_basic_map_new_from_polylib: use isl_basic_map_from_const...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-02-07 Sven Verdoolaegeisl_basic_map_new_from_polylib: rename "dim" argument...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-02-07 Sven Verdoolaegeisl_basic_map_new_from_polylib: add memory management...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-02-07 Sven Verdoolaegeskewed_genfun.h: include more specific headers
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-02-07 Sven Verdoolaegelattice_point.cc: include more specific headers
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-02-07 Sven Verdoolaegedpoly.h: include more specific header
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-02-07 Sven Verdoolaegeutil.c: drop redundant include
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-02-05 Sven Verdoolaegeutil.c: drop redundant include
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-02-05 Sven Verdoolaegetest_approx.c: drop redundant include
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-02-05 Sven Verdoolaegeoptions.c: drop redundant include
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-02-02 Sven Verdoolaegelexmin.cc: drop redundant include
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-02-02 Sven Verdoolaegelexmin.cc: drop redundant include
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-02-02 Sven Verdoolaegelattice_point.h: drop redundant include
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-02-02 Sven Verdoolaegegenfun_constructor.h: drop redundant include
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-02-02 Sven Verdoolaegeevalue_util.h: drop redundant include
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-02-02 Sven Verdoolaegeedomain.h: drop redundant include
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-02-02 Sven Verdoolaegedecomposer.h: drop redundant include
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-02-02 Sven Verdoolaegedecomposer.cc: drop redundant include
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-02-02 Sven Verdoolaegeconversion.h: drop redundant include
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-02-02 Sven Verdoolaegebound.c: drop redundant include
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-02-02 Sven Verdoolaegebarvinok/genfun.h: drop redundant include
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-02-02 Sven Verdoolaegebarvinok_summate.c: drop redundant include
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-02-02 Sven Verdoolaegebarvinok.cc: drop redundant include
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-02-02 Sven Verdoolaegevolume.c: directly include required header
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-02-02 Sven Verdoolaegevertex_cone.cc: directly include required headers
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-02-02 Sven Verdoolaegeverify.c: directly include required headers
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-02-02 Sven Verdoolaegeutil.c: directly include required headers
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-02-02 Sven Verdoolaegetest_bound.c: directly include required headers
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-02-02 Sven Verdoolaegetest_approx.c: directly include required headers
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-02-02 Sven Verdoolaegetestlib.cc: directly include required headers
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-02-02 Sven Verdoolaegesummate.c: directly include required headers
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-02-02 Sven Verdoolaegeseries.cc: directly include required headers
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-02-02 Sven Verdoolaegesample.c: directly include required headers
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-02-02 Sven Verdoolaegereducer.cc: directly include required headers
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-02-02 Sven Verdoolaegereducer.h: directly include required headers
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-02-02 Sven Verdoolaegepolysign_isl.c: directly include required headers
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-02-02 Sven Verdoolaegeoptions.c: directly include required header
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-02-02 Sven Verdoolaegelexmin.cc: directly include required headers
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-02-02 Sven Verdoolaegeiscc.c: directly include required headers
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-02-02 Sven Verdoolaegeisl_map_polylib.c: directly include required headers
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-02-02 Sven Verdoolaegeisl_aff_polylib.c: directly include required headers
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-02-02 Sven Verdoolaegegenfun_constructor.h: directly include required headers
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-02-02 Sven Verdoolaegegenfun_constructor.cc: directly include required headers
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-02-02 Sven Verdoolaegegenfun.cc: directly include required headers
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-02-02 Sven Verdoolaegeevalue_isl.c: directly include required headers
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-02-02 Sven Verdoolaegedpoly.cc: directly include required headers
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-02-02 Sven Verdoolaegedecomposer.cc: directly include required headers
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-02-02 Sven Verdoolaegecounter.h: directly include required headers
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-02-02 Sven Verdoolaegecounter.cc: directly include required headers
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-02-02 Sven Verdoolaegeconversion.h: directly include required headers
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-02-02 Sven Verdoolaegeconversion.cc: directly include required headers
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-02-02 Sven Verdoolaegebound.c: directly include required headers
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
next
lattice point enumeration library