?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
first · prev · next
drop unused isl_map_new_from_polylib
2017-01-23 Sven Verdoolaegedrop unused isl_map_new_from_polylib
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-01-23 Sven Verdoolaegescarf.cc: drop unused InsertColumn
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-01-23 Sven Verdoolaegelexmin.cc: drop unused indicator_constructor::normalize
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-01-23 Sven Verdoolaegelexmin.cc: drop unused compress_parameters
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-01-20 Sven Verdoolaegelaurent_old.cc: drop unused first_non_zero(const vec_ZZ &)
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-01-20 Sven Verdoolaegeparam_util.c: drop unused Param_Vertex_Domain
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-01-20 Sven Verdoolaegebarvinok_e.cc: drop unused double_bound
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-01-20 Sven Verdoolaegebarvinok.cc: drop unused uni_polynom
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-01-20 Sven Verdoolaegebarvinok.cc: drop unused edegree
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-01-20 Sven Verdoolaegebarvinok.cc: drop unused add_rays
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-01-20 Sven Verdoolaege4coins.cc: drop unused scan
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-01-20 Sven Verdoolaegereducer.h: reducer: drop commented out field
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-01-20 Sven Verdoolaegebarvinok.cc: ienumerator: drop commented out field
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-01-18 Sven Verdoolaegereducer.h: reducer: drop unused field
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-01-18 Sven Verdoolaegereducer.h: np_base: drop unused field
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-01-18 Sven Verdoolaegebfcounter.h: bf_base: drop unused field
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-01-18 Sven Verdoolaegedoc: drop description of BV_GBR_NONE
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-01-13 Sven Verdoolaegedrop USE_MODULO macro
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-01-13 Sven Verdoolaegedrop references to piplib submodule
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-01-13 Sven Verdoolaegepolysign.h: remove pip_constraints_opt declaration
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-01-13 Sven Verdoolaegelexmin.cc: drop indicator_constructor::substitute declaration
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-01-13 Sven Verdoolaegedecomposer.cc: drop spurious semicolon
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-01-13 Sven Verdoolaegetests/ehrhart_e/scarf/woods_2.1.7: clean up
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-01-13 Sven Verdoolaegetests/*: fix whitespace
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-01-13 Sven Verdoolaegelattice_width.c: fix typo in comment
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-01-13 Sven Verdoolaegelattice_point.cc: fix typos in comments
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-01-13 Sven Verdoolaegeconversion.cc: fix typo in comment
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-01-13 Sven Verdoolaegebernoulli.c: fix typos in comments
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-01-13 Sven Verdoolaegebarvinok_enumerate_e.cc: drop spurious comment
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-01-05 Sven Verdoolaegebarvinok_summate_data: drop spurious memory management...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-01-05 Sven Verdoolaegeseries.cc: enumerate_union_series: drop skew_into_positive_o...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-01-05 Sven Verdoolaegelexmin.cc: order_cache: use clear instead of resize...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-01-05 Sven Verdoolaegebarvinok_enumerate_e: only honor --scarf option if...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-01-05 Sven Verdoolaegeadd barvinok_union tests
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-01-05 Sven Verdoolaegebarvinok_union: optionally check output is equal to...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-01-05 Sven Verdoolaegeadd extra barvinok_summate test case involving quasi...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-01-05 Sven Verdoolaegetestlib.cc: extract out barvinok_series_with_options...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-01-05 Sven Verdoolaegetest box and bernoulli summation algorithms
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-01-05 Sven Verdoolaegetest stopped decomposition during parametric enumeration
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-01-05 Sven Verdoolaegetestlib: return success when tests run successfully
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-01-05 Sven Verdoolaegetest_approx: check that result was computed successfully
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-01-05 Sven Verdoolaegebound.c: verify_point: handle errors in verification
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-01-05 Sven Verdoolaegelexmin.cc: to_parameter_domain: explicitly convert...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-01-05 Sven Verdoolaegeisl_param_util.c: ISL_P2PP: properly call isl_basic_set_inte...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-01-05 Sven Verdoolaegeisl_param_util.c: ISL_P2PP: rename "dim" variable to...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-01-05 Sven Verdoolaegebarvinok_enumerate_e_options.h: fix name of isl_args...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-01-05 Sven Verdoolaegebarvinok_ehrhart_options.h: fix name of isl_args structure...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-01-05 Sven Verdoolaegelexmin.cc: indicator_term::indicator_term: use consistent...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-01-05 Sven VerdoolaegePolyhedron_Polarize: make sure constraints and rays...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-12-29 Sven Verdoolaegeeuler.cc: summator_2d::integrate: add missing variable...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-12-29 Sven Verdoolaegegen_fun::summate: properly keep track of number of...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-12-29 Sven Verdoolaegeiscc.c: write_to_file: avoid uninitialized read on...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-12-29 Sven VerdoolaegeParam_Polyhedron_Enumerate: plug memory leak in case...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-12-23 Sven Verdoolaegeadd more lattice_width test cases
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-12-23 Sven VerdoolaegePolyhedron_Lattice_Width_Directions: do not skip duplicate...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-12-23 Sven Verdoolaegeconvert lattice width tests to iscc tests
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-12-23 Sven Verdoolaegetests/lattice_width/*: fix whitespace
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-12-18 Sven Verdoolaegeupdate pet to version 0.10
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-12-18 Sven Verdoolaegeupdate isl to version 0.18
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-11-22 Sven Verdoolaegeupdate pet for support for recent clangs
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-11-22 Sven Verdoolaegeupdate isl for support for recent clangs
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-07-10 Sven Verdoolaegeiscc: recover from errors during AST generation again
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-06-06 Sven Verdoolaegeiscc: allow interruption of computation from the keyboard...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-06-03 Sven VerdoolaegeREADME: explain how to use a pre-installed version...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-06-03 Sven VerdoolaegeREADME: update note on shared libraries and NTL
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-05-15 Sven VerdoolaegeREADME: urge bug reporters to always mention the barvinok...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-05-06 Sven Verdoolaegeupdate pet to version 0.09
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-05-06 Sven Verdoolaegeupdate isl to version 0.17.1
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-04-29 Sven VerdoolaegePolyhedron_Factor: make sure group information gets...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-02-24 Sven Verdoolaegeadd get_submodules.sh
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-02-06 Sven Verdoolaegeupdate polylib for .gitignore
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-01-15 Sven Verdoolaegebarvinok 0.39
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-01-15 Sven Verdoolaegeupdate pet to version 0.08
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-01-15 Sven Verdoolaegeupdate isl to version 0.16.1
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-01-12 Sven Verdoolaegeupdate AUTHORS
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-01-05 Sven Verdoolaegeupdate pet for python interface
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-01-05 Sven Verdoolaegeintroduce special version of isl.py.top for use with pet
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-01-05 Sven Verdoolaegeupdate pet for isl_ctx_alloc_with_pet_options
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-01-05 Sven Verdoolaegeisl.py: always extend version from core isl
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-01-05 Sven Verdoolaegerename interface/all.h to interface/all_barvinok.h
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-01-05 Sven Verdoolaegeupdate isl for changes in how sets and relations are...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-12-22 Sven Verdoolaegeiscc.c: use pet_scop_get_schedule
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-12-22 Sven Verdoolaegeupdate pet for pet_scop_get_schedule
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-12-22 Sven Verdoolaegeupdate pet for rename of pet_scop_collect_* to pet_scop_get_*
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-12-16 Sven Verdoolaegeupdate isl for isl_schedule_gist_domain_params
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-12-16 Sven Verdoolaege.gitignore: add more libtool temporary files
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-12-16 Sven Verdoolaegespecify subdir-objects option for forward compatibility...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-12-16 Sven Verdoolaegeconfigure.ac: fix typo
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-12-08 Sven Verdoolaegeiscc: parse_file: remove instances from kill statements
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-12-08 Sven Verdoolaegeiscc: turn on --pet-encapsulate-dynamic-control by...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-12-08 Sven Verdoolaegeiscc: add operations on booleans
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-08-07 Sven Verdoolaegeiscc: add "->-" operation
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-08-07 Sven Verdoolaegeiscc: add "-" operation on map and set
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-08-07 Sven Verdoolaegeiscc: add "->*" operation
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-08-05 Sven Verdoolaegedoc: update documentation of "last" operation
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-07-31 Sven Verdoolaegeupdate isl for change in isl_map_gist
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-07-24 Sven Verdoolaegeupdate pet for support for recent clangs
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-07-24 Sven Verdoolaegeupdate isl for support for recent clangs
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-07-18 Sven Verdoolaegehandle change in internal representation of NTL
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-07-18 Sven Verdoolaegeassume NTL has been compiled in ISO mode
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
next
lattice point enumeration library