?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
first · prev · next
barvinok_summate: use isl interface
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
2010-10-18 Sven Verdoolaegeiscc: break out off main loop when printer no longer...
commit | commitdiff | tree
2010-10-18 Sven Verdoolaegeiscc: support extended PolyLib output format
 commit | commitdiff | tree
2010-10-18 Sven Verdoolaegeconfigure.in: perform check for GMP support in NTL...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-10-11 Sven Verdoolaegeiscc: add composition operation on piecewise quasipolynomial...
commit | commitdiff | tree
2010-10-11 Sven Verdoolaegeiscc: add dependence analysis operations
 commit | commitdiff | tree
2010-10-11 Sven Verdoolaegeiscc: register extra keywords in generic way
 commit | commitdiff | tree
2010-10-11 Sven Verdoolaegeuse isl to perform "manual_count"
 commit | commitdiff | tree
2010-10-11 Sven Verdoolaegeallow building without piplib
 commit | commitdiff | tree
2010-10-11 Sven VerdoolaegePolyhedron_Reduced_Basis: optionally use isl
 commit | commitdiff | tree
2010-10-11 Sven Verdoolaegefix dependence on build isl
 commit | commitdiff | tree
2010-10-11 Sven Verdoolaegeisl_map_card: use isl for factorization
 commit | commitdiff | tree
2010-09-14 Sven Verdoolaegeisl_map_card: split dimension fiddling from conversion...
commit | commitdiff | tree
2010-09-13 Sven Verdoolaegeisl_map_card: use isl_pw_qpolynomial_sum if requested...
commit | commitdiff | tree
2010-09-13 Sven Verdoolaegebarvinok 0.32.1
 commit | commitdiff | tree
2010-09-13 Sven Verdoolaegeupdate isl for fix in parameter alignment
 commit | commitdiff | tree
2010-09-10 Sven Verdoolaegebarvinok 0.32
 commit | commitdiff | tree
2010-09-10 Sven Verdoolaegeiscc: add lexicographic operators
 commit | commitdiff | tree
2010-09-10 Sven Verdoolaegeupdate isl to version 0.04
 commit | commitdiff | tree
2010-09-07 Sven Verdoolaegeiscc: add "source" operation
 commit | commitdiff | tree
2010-09-06 Sven Verdoolaegeiscc: add support for strings
 commit | commitdiff | tree
2010-09-06 Sven Verdoolaegeiscc: print error message on use of unknown identifier
 commit | commitdiff | tree
2010-09-06 Sven Verdoolaegeiscc: support union sets in vertices operation
 commit | commitdiff | tree
2010-09-06 Sven Verdoolaegeadd isl_list_concat
 commit | commitdiff | tree
2010-09-05 Sven Verdoolaegebarvinok_bound: use isl to split periods
 commit | commitdiff | tree
2010-09-05 Sven Verdoolaegeupdate isl for isl_pw_qpolynomial_split_periods
 commit | commitdiff | tree
2010-08-31 Sven Verdoolaegedoc: mark PolyLib interface obsolescent
 commit | commitdiff | tree
2010-08-31 Sven VerdoolaegeMakefile.am: drop references to obsolete @bv_barvinok_bound@
 commit | commitdiff | tree
2010-08-31 Sven Verdoolaegeevalue_convert.cc: evalue_print_isl: print end-of-line
 commit | commitdiff | tree
2010-08-30 Sven Verdoolaegeiscc: allow coercion of binary list into first element
 commit | commitdiff | tree
2010-08-28 Sven Verdoolaegebarvinok_bound: convert to isl_pw_qpolynomial once
 commit | commitdiff | tree
2010-08-28 Sven Verdoolaegebarvinok_bound: use isl to split on domain size
 commit | commitdiff | tree
2010-08-26 Sven Verdoolaegeset sensible defaults with --polynomial-approximation...
commit | commitdiff | tree
2010-08-26 Sven Verdoolaegeisl_pw_qpolynomial_sum: reuse barvinok_options if available...
commit | commitdiff | tree
2010-08-26 Sven Verdoolaegeisl_map_card: reuse barvinok_options if available in...
commit | commitdiff | tree
2010-08-26 Sven Verdoolaegeupdate isl for aligning parameters of union arguments...
commit | commitdiff | tree
2010-08-18 Sven Verdoolaegeiscc: add "join" operation on folds
 commit | commitdiff | tree
2010-08-18 Sven Verdoolaegeiscc: add "join" operation on maps and folds
 commit | commitdiff | tree
2010-08-18 Sven Verdoolaegeiscc: support addition on a pair of a fold and a quasipolyno...
commit | commitdiff | tree
2010-08-18 Sven Verdoolaegeupdate isl for adding types to isl_{union_,}pw_qpolynomial_folds
 commit | commitdiff | tree
2010-08-18 Sven Verdoolaegeallow codegen on sets
 commit | commitdiff | tree
2010-08-18 Sven Verdoolaegeiscc: codegen: detect strides
 commit | commitdiff | tree
2010-08-18 Sven Verdoolaegeiscc: use simplified CLooG interface
 commit | commitdiff | tree
2010-08-18 Sven Verdoolaegeupdate isl for rename of isl_pw_qpolynomial_fold_add
 commit | commitdiff | tree
2010-08-18 Sven Verdoolaegeiscc.c: union_pw_qpolynomial_upper_bound: fix memory...
commit | commitdiff | tree
2010-08-18 Sven Verdoolaegesummate.c: fix typo in comment
 commit | commitdiff | tree
2010-08-17 Sven Verdoolaegeisl_map_apply_pw_qpolynomial: fix typo
 commit | commitdiff | tree
2010-08-10 Sven Verdoolaegeupdate isl from isl_union_map fixes
 commit | commitdiff | tree
2010-08-10 Sven Verdoolaegeiscc: allow inverse on non-union maps again
 commit | commitdiff | tree
2010-08-05 Sven Verdoolaegeiscc: add wrap and unwrap operations
 commit | commitdiff | tree
2010-08-05 Sven Verdoolaegeadd isl_union_map_apply_union_pw_qpolynomial
 commit | commitdiff | tree
2010-08-05 Sven Verdoolaegeisl_pw_qpolynomial_sum: handle isl_pw_qpolynomials...
commit | commitdiff | tree
2010-08-05 Sven Verdoolaegeupdate isl for nested dimension specifications
 commit | commitdiff | tree
2010-08-05 Sven Verdoolaegeisl_map_card: postpone shuffling around of dimensions...
commit | commitdiff | tree
2010-08-05 Sven Verdoolaegeupdate isl for isl_basic_map_move_dims
 commit | commitdiff | tree
2010-08-04 Sven Verdoolaegeisl_pw_qpolynomial_sum: push conversion to PolyLib...
commit | commitdiff | tree
2010-08-04 Sven Verdoolaegeisl_pw_qpolynomial_sum: check for unbounded domains
 commit | commitdiff | tree
2010-08-02 Sven Verdoolaegeavoid use of isl_dim internals
 commit | commitdiff | tree
2010-07-31 Sven Verdoolaegeiscc: support codegen operation if CLooG is available
 commit | commitdiff | tree
2010-07-31 Sven Verdoolaegeiscc: switch to using unions
 commit | commitdiff | tree
2010-07-31 Sven Verdoolaegeadd isl_union_pw_qpolynomial_sum
 commit | commitdiff | tree
2010-07-31 Sven Verdoolaegeadd isl_union_map_card
 commit | commitdiff | tree
2010-07-31 Sven Verdoolaegeisl_pw_qpolynomial_sum: take tuple names into account
 commit | commitdiff | tree
2010-07-31 Sven Verdoolaegeisl_map_card: preserve full domain dimension information
 commit | commitdiff | tree
2010-07-31 Sven Verdoolaegeupdate isl for change in isl_hash_table_foreach
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-07-31 Sven Verdoolaegebarvinok_enumerate.cc: fix printf format
 commit | commitdiff | tree
2010-07-03 Sven Verdoolaegedoc: add some more papers refering to the library
 commit | commitdiff | tree
2010-06-29 Sven Verdoolaegebarvinok 0.31
 commit | commitdiff | tree
2010-06-29 Sven Verdoolaegeupdate isl to version 0.03
 commit | commitdiff | tree
2010-06-29 Sven Verdoolaegeconfigure.in: properly add isl flags and libs to pkg...
commit | commitdiff | tree
2010-06-29 Sven Verdoolaegeconfigure.in: drop call to gl_EARLY
 commit | commitdiff | tree
2010-06-29 Sven Verdoolaegegenfun.cc: fix printf format
 commit | commitdiff | tree
2010-06-29 Sven Verdoolaegetest_approx.c: fix printf format
 commit | commitdiff | tree
2010-06-29 Sven Verdoolaegetest_bound.c: fix printf format
 commit | commitdiff | tree
2010-06-29 Sven Verdoolaegeconfigure.in: stop compiling Omega by default
 commit | commitdiff | tree
2010-06-28 Sven Verdoolaegeverify_lexsmaller.c: fix typo
 commit | commitdiff | tree
2010-06-27 Sven Verdoolaegeevalue.c: avoid use of alloca
 commit | commitdiff | tree
2010-06-26 Sven Verdoolaegeevalue_isl.c: fix typo
 commit | commitdiff | tree
2010-06-20 Sven Verdoolaegeiscc: recover from errors
 commit | commitdiff | tree
2010-06-20 Sven Verdoolaegeupdate isl for improved error handling
 commit | commitdiff | tree
2010-06-19 Sven Verdoolaegeiscc.c: fix typo
 commit | commitdiff | tree
2010-06-13 Sven Verdoolaegedoc: iscc: update documentation of "ub" operator
 commit | commitdiff | tree
2010-06-12 Sven Verdoolaegetest_approx: include ctype.h for isspace
 commit | commitdiff | tree
2010-06-12 Sven Verdoolaegetest_approx: include config.h for HAVE_SYS_TIMES_H
 commit | commitdiff | tree
2010-06-12 Sven Verdoolaegetest_bound: include config.h for HAVE_SYS_TIMES_H
 commit | commitdiff | tree
2010-06-12 Sven Verdoolaegeiscc: add vertices operations
 commit | commitdiff | tree
2010-06-12 Sven Verdoolaegeoptionally use isl to perform parametric vertex enumeration
 commit | commitdiff | tree
2010-06-12 Sven Verdoolaegeupdate isl-polylib for handling of rational sets
 commit | commitdiff | tree
2010-06-12 Sven Verdoolaegedrop distinction between barvinok-core and barvinok
 commit | commitdiff | tree
next
lattice point enumeration library