?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
first · prev · next
iscc: properly handle applications of functions on sets
2011-09-05 Sven Verdoolaegeiscc: properly handle applications of functions on...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-05 Sven Verdoolaegeisl_union_set_apply_union_pw_qpolynomial: explicitly...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-04 Sven Verdoolaegeisl_pw_qpolynomial_sum: simplify construction of target...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-04 Sven Verdoolaegeisl_set_card: explicitly project result onto parameter...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-04 Sven Verdoolaegebarvinok_summate.c: verify_point: explicitly project...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-04 Sven Verdoolaegetest_bound.c: avoid use of undocumented isl_set_remove_dims
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-04 Sven Verdoolaegeisl_basic_set_lattice_width: compute correct space...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-04 Sven Verdoolaegeupdate isl for isl_pw_qpolynomial_project_domain_on_params
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-04 Sven Verdoolaegeupdate cloog for not using undocumented isl_set_extend
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-04 Sven Verdoolaegeupdate isl-polylib for rename of isl_dim to isl_space
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-04 Sven Verdoolaegeupdate isl for rename of isl_dim to isl_space
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-04 Sven Verdoolaegeupdate isl-polylib for some fixes
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-04 Sven Verdoolaegeupdate pet for use of isl_map_has_tuple_id
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-04 Sven Verdoolaegeupdate isl for isl_map_has_tuple_id
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-04 Sven Verdoolaegeupdate isl for rename of isl_map_insert
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-04 Sven Verdoolaegeupdate isl for change in isl_aff_floor
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-04 Sven Verdoolaegeupdate pet for compatibility with latest clang
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-04 Sven Verdoolaegeupdate isl for fix in isl_map_intersect_params
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-07-22 Sven Verdoolaegeiscc: add parse_file operation
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-07-22 Sven Verdoolaegeadd pet submodule
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-07-22 Sven Verdoolaegeupdate isl for pet
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-07-22 Sven Verdoolaegeprivately export isl_str_free
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-07-22 Sven Verdoolaegeiscc: only print valid results
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-07-14 Sven Verdoolaegebarvinok 0.34
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-07-14 Sven Verdoolaegeupdate cloog to version 0.16.3
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-07-13 Sven Verdoolaegeupdate isl to version 0.07
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-07-10 Sven Verdoolaegeautogen.sh: replace superproject part by call to autoreconf
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-07-10 Sven Verdoolaegeconfigure.ac: use non-deprecated form of AM_INIT_AUTOMAKE
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-07-10 Sven Verdoolaegerename configure.in to configure.ac
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-07-10 Sven Verdoolaegeupdate cloog for not depending on internal represenation...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-07-05 Sven Verdoolaegetest: use isl interface for testing lattice widths
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-07-05 Sven Verdoolaegeiscc: add lattice_width operation
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-07-05 Sven Verdoolaegeiscc: replace schedule_bands by schedule_forest
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-07-05 Sven Verdoolaegeupdate isl for fix in isl_schedule interface
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-07-05 Sven Verdoolaegeupdate cloog for addition of missing include
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-07-05 Sven Verdoolaegeiscc: accept empty lists
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-07-05 Sven Verdoolaegeremove evalue_split_periods
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-07-05 Sven Verdoolaegedrop evalue_convert application
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-07-05 Sven Verdoolaegelexmin.cc: add missing return
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-07-05 Sven Verdoolaegeverify.c: add missing returns
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-07-05 Sven Verdoolaegeevalue_read.c: stream_push_token: fix return type
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-07-05 Sven Verdoolaegeevalue_read.c: add missing include
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-07-05 Sven Verdoolaegeevalue_read.c: fix typo
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-07-05 Sven Verdoolaegeisl_obj_list_print: properly return isl_printer
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-07-05 Sven Verdoolaegeisl_obj_list.h: use flex array member to avoid array...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-07-05 Sven Verdoolaegeupdate isl for renaming of isl_qpolynomial_is_equal
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-07-05 Sven Verdoolaegebarvinok_summate: be more careful about spaces in which...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-07-05 Sven Verdoolaegesummate.c: add missing include
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-07-05 Sven Verdoolaegebarvinok.cc: add missing include
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-07-05 Sven VerdoolaegeChange license from GPL 2.0 to GPL 2.0+
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-06-10 Sven Verdoolaegeevalue_isl.c: add missing include
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-06-10 Sven Verdoolaegeadd cloog submodule
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-06-10 Sven Verdoolaegeupdate isl for cloog
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-06-10 Sven Verdoolaegeisl_obj_list.c: fix typo
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-06-01 Sven Verdoolaegeiscc: turn on sh option when calling CLooG
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-05-16 Sven Verdoolaegeevalue_isl.c: avoid use of isl_div internals
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-05-16 Sven Verdoolaegeupdate isl for isl_div_get_ctx
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-05-16 Sven Verdoolaegeconfigure.ac: don't depend on automake 1.11
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-04-21 Sven Verdoolaegeiscc: add schedule and schedule_bands operations
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-04-21 Sven Verdoolaegeiscc: add solutions operation
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-04-21 Sven Verdoolaegeiscc: add coefficients operation
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-04-21 Sven Verdoolaegeiscc: add lift operation
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-04-21 Sven Verdoolaegeiscc: perform assignments even on error
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-04-21 Sven Verdoolaegeiscc: plug memory leak on error path
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-03-19 Sven Verdoolaegeuse silent make rules
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-03-18 Sven Verdoolaegebarvinok 0.33
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-03-18 Sven Verdoolaegeiscc.c: fix typo which would prevent compilation in...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-03-18 Sven Verdoolaegeupdate isl to version 0.06
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-03-18 Sven Verdoolaegeisl_pw_qpolynomial_sum: handle existentials in non...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-03-18 Sven Verdoolaegedrop piplib submodule
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-03-18 Sven Verdoolaegestop using pip as LP solver
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-03-18 Sven Verdoolaegedoc: constraints no longer need to be specified in DNF
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-03-18 Sven Verdoolaegeiscc: parse lists
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-03-18 Sven Verdoolaegeadd isl_list_add_obj
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-03-18 Sven Verdoolaegeiscc: parse booleans
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-03-18 Sven Verdoolaegeiscc: allow interruption of computation from the keyboard
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-03-17 Sven Verdoolaegeavoid use of isl_ctx internals
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-03-15 Sven Verdoolaegeisl_obj_str: print quotes around string
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-03-12 Sven Verdoolaegeiscc: keep track of intermediate results in interactive...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-03-12 Sven Verdoolaegeiscc: add pow
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-03-12 Sven Verdoolaegeiscc: add zip
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-03-11 Sven Verdoolaegeiscc: add deltas_map
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-02-05 Sven Verdoolaegelexmin: assume unknowns and parameters are non-negative...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-02-05 Sven Verdoolaegelexmin: use isl to read input
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-02-05 Sven Verdoolaegealso perform lexmin check in absence of GLPK
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-02-05 Sven Verdoolaegepolysign: add isl-backed version and use it by default
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-02-05 Sven Verdoolaegeupdate isl-polylib for fix in header file
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-02-05 Sven Verdoolaegeupdate isl for change in isl_flow_get_no_source
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-01-24 Sven Verdoolaegedoc: document isl modulo notation
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-01-23 Sven VerdoolaegeMakefile.am: put NTL CFLAGS after isl CFLAGS
Signed-off-by: Sven Verdoolaege <verdoolaege@gamma.math.uni-magdeburg.de>
 commit | commitdiff | tree
2011-01-23 Sven Verdoolaegeiscc: read_line: fix return
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-01-23 Sven Verdoolaegeevalue_isl.c: fix typo
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-01-23 Sven Verdoolaegeiscc: add operations on int objects
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-01-23 Sven Verdoolaegeupdate isl for introduction of int objects
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-01-22 Sven Verdoolaegeadd isl_basic_set_card and isl_basic_map_card
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-01-16 Sven Verdoolaegedocument isl_union_set_apply_union_pw_qpolynomial
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-01-16 Sven Verdoolaegeremove polyhedron_range
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-01-16 Sven Verdoolaegeremove polytope_minimize application
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-01-16 Sven VerdoolaegePolyhedron_Sample: use isl unconditionally
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-01-16 Sven Verdoolaegeremove combine.c
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
next
lattice point enumeration library