?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
first · prev · next
evalue_read.c: add missing include
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
2011-01-16 Sven Verdoolaegebuild libisl and libpolylibgmp before libisl-polylib
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-01-16 Sven Verdoolaegeiscc: support application of piecewise quasipolynomial...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-01-16 Sven Verdoolaegedoc: fix documentation of join of maps and folds
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-01-16 Sven Verdoolaegeadd isl_union_set_apply_union_pw_qpolynomial
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-01-16 Sven Verdoolaegeupdate isl for export of isl_union_map_from_range
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-01-16 Sven Verdoolaegeiscc: add write operation
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-01-16 Sven Verdoolaegeiscc: optionally disable read operation
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-01-15 Sven Verdoolaegedoc: explain comma operator in a set description
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-01-12 Sven Verdoolaegeiscc: add typeof operator
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-01-12 Sven Verdoolaegeadd isl_str_from_string
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-01-12 Sven Verdoolaegeiscc.c: use C99 designated initializers
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-01-12 Sven Verdoolaegeiscc: minor improvement in error message
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-01-08 Sven Verdoolaegeiscc: add domain_map and range_map operations
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-01-08 Sven Verdoolaegeiscc: add "domain" and "range" synonyms for "dom" and...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-01-05 Sven Verdoolaegeupdate isl to version 0.05.1
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-12-30 Sven Verdoolaegeiscc: don't allow code generation on union sets of...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-12-23 Sven Verdoolaegeupdate isl to version 0.05
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-12-01 Sven Verdoolaegeavoid use of isl_set and isl_map internals
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-11-28 Sven Verdoolaegeseparate out isl interface
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-11-28 Sven Verdoolaegeconfigure.in: propagate absolute isl builddir to submodule...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-11-20 Sven Verdoolaegeupdate isl for rename of header files
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-11-12 Sven Verdoolaegeevalue_floor2frac: don't assume coefficients of floors...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-11-12 Sven Verdoolaegetest_bound: stop testing after predetermined number...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-11-12 Sven Verdoolaegebarvinok_bound: rewrite in C
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-11-12 Sven Verdoolaegebarvinok_{summate,bound}: take isl input
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-11-12 Sven Verdoolaegetest_bound: switch to isl representation even earlier
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-11-12 Sven Verdoolaegetest_bound: switch to isl representation earlier
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-11-12 Sven Verdoolaegeiscc: add polynomial approximations
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-11-11 Sven Verdoolaegebarvinok_summate: rewrite in C
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-11-11 Sven Verdoolaegebarvinok_summate: use isl interface
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-11-10 Sven Verdoolaegebound.cc: drop dead code
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-11-07 Sven Verdoolaegedoc: more information about using sets and maps in...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-11-06 Sven Verdoolaegedoc: update some references
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-11-06 Sven Verdoolaegeiscc: add poly operation
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-11-03 Sven Verdoolaegeiscc: add scan operation
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-11-01 Sven Verdoolaegeisl_pw_qpolynomial_sum: handle existentials in wrapped...
commit | commitdiff | tree
2010-10-27 Sven Verdoolaegeupdate isl for renaming of isl_map_remove
 commit | commitdiff | tree
2010-10-20 Sven Verdoolaegeversion.c: show use of CLooG
 commit | commitdiff | tree
2010-10-18 Sven Verdoolaegedoc: a bit more info on iscc
 commit | commitdiff | tree
2010-10-18 Sven Verdoolaegeiscc: add before and after operations
 commit | commitdiff | tree
2010-10-18 Sven Verdoolaegeiscc: add identity operation
 commit | commitdiff | tree
next
lattice point enumeration library