?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
first · prev · next
doc: update barvinok URL
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
2017-02-02 Sven Verdoolaegebfcounter.h: directly include required headers
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-02-02 Sven Verdoolaegebfcounter.cc: directly include required headers
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-02-02 Sven Verdoolaegebasis_reduction.c: directly include required headers
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-02-02 Sven Verdoolaegebarvinok/genfun.h: directly include required headers
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-02-02 Sven Verdoolaegebarvinok_union.cc: directly include required headers
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-02-02 Sven Verdoolaegebarvinok_summate.c: directly include required headers
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-02-02 Sven Verdoolaegebarvinok_enumerate_e.cc: directly include required...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-02-02 Sven Verdoolaegebarvinok_enumerate.cc: directly include required headers
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-02-02 Sven Verdoolaegebarvinok_ehrhart.cc: directly include required header
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-02-02 Sven Verdoolaegebarvinok.cc: directly include required headers
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-02-02 Sven Verdoolaegeuse barvinok/polylib.h instead of near duplicate isl_polylib.h
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-02-02 Sven Verdoolaegecounter.cc: drop unneeded using-declarations
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-02-02 Sven Verdoolaegemark debugging functions as unused
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-02-02 Sven Verdoolaegeuse std::unordered_map when available
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-02-02 Sven Verdoolaegelaurent_old.cc: laurent_summator_old: member initializer...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-02-02 Sven Verdoolaegelaurent.cc: laurent_summator: member initializer list...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-02-02 Sven Verdoolaegeeuler.cc: summator_2d: reorder member initializer list...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-02-02 Sven Verdoolaegereducer.cc: dpoly_r_scanner: reorder member initializer...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-02-02 Sven Verdoolaegelexmin.cc: indicator: reorder member initializer list...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-02-02 Sven Verdoolaegebarvinok.cc: bfe_cum: reorder member initializer list...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-02-02 Sven Verdoolaegelexmin.cc: indicator_constructor::indicator_constructor...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-02-02 Sven Verdoolaegebarvinok.cc: ienumerator::ienumerator: drop redundant...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-02-02 Sven Verdoolaegebarvinok.cc: bfenumerator::bfenumerator: drop redundant...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-01-23 Sven Verdoolaegebound.c: verify_point: drop unused error label
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-01-23 Sven Verdoolaegebarvinok_enumerate.cc: verify_point: drop unused error...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-01-23 Sven Verdoolaegevolume.c: Param_Polyhedron_Volume: drop unused variable
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-01-23 Sven Verdoolaegeverify_series.cc; cp_gf: drop unused variable
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-01-23 Sven Verdoolaegeverify.c: check_EP_on_poly: drop unused variable
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-01-23 Sven Verdoolaegeverify.c: check_EP: drop unused variable
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-01-23 Sven Verdoolaegeutil.c: remove_equalities: drop unused variable
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-01-23 Sven Verdoolaegeutil.c: for_each_lower_upper_bound: drop unused variable
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-01-23 Sven Verdoolaegeutil.c: bv_ceil3: drop unused variable
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-01-23 Sven Verdoolaegetest_approx.c: result_data_clear: drop unused variable
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-01-23 Sven Verdoolaegetest.c: main: drop unused variables
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-01-23 Sven Verdoolaegesummate.c: sum_factors: drop unused variable
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
next
lattice point enumeration library