?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
first · prev · next
do not remove polymake/autogen.sh from distribution
2018-03-03 Sven Verdoolaegedo not remove polymake/autogen.sh from distribution
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2018-03-03 Sven Verdoolaegeadd doc/glosstex.ist to distribution
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2018-03-03 Sven VerdoolaegeAX_SUBMODULE: fix typo in test invocation
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2018-03-03 Sven Verdoolaegeinterface: make language bindings depend on all relevant...
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2017-06-16 Sven Verdoolaegeupdate pet for support for recent clangs
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2017-06-16 Sven Verdoolaegeupdate isl for support for recent clangs
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2017-06-13 Sven Verdoolaegeiscc: drop support for applying "codegen" to a set
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2017-06-02 Sven Verdoolaegedistribute both versions of interface/isl.py.top
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2017-06-02 Sven VerdoolaegeAX_SUBMODULE: only check submodule status in git repository
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2017-05-04 Sven Verdoolaegeinterface/isl.py.top.*: explicitly cast self.ptr of...
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2017-05-04 Sven Verdoolaegeupdate pet for fixes in python bindings
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2017-05-04 Sven Verdoolaegeupdate isl for fixes in python bindings
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2017-05-04 Sven Verdoolaegeupdate isl for change in interface/extract_interface...
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 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
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
next
lattice point enumeration library