?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
first · prev · next
iscc: add "join" operation on folds
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
2010-06-12 Sven Verdoolaegeremove bernstein
 commit | commitdiff | tree
2010-06-12 Sven Verdoolaegeupdate isl for generic isl_pw_qpolynomial_bound
 commit | commitdiff | tree
2010-06-12 Sven Verdoolaegeconfigure.in: drop bv_omega_programs
 commit | commitdiff | tree
2010-06-12 Sven Verdoolaegeadd isl_ctx_peek_barvinok_options
 commit | commitdiff | tree
2010-06-07 Sven Verdoolaegeiscc: parse barvinok options
 commit | commitdiff | tree
2010-06-01 Sven Verdoolaegeexport isl_qpolynomial_from_evalue
 commit | commitdiff | tree
2010-06-01 Sven VerdoolaegeMakefile.am: drop dependence on doc/omega.tex
 commit | commitdiff | tree
2010-06-01 Sven Verdoolaegeupdate isl for rename of isl_pw_qpolynomial_move
 commit | commitdiff | tree
2010-06-01 Sven Verdoolaegeverif_ehrhart.c: add missing include
 commit | commitdiff | tree
2010-06-01 Sven Verdoolaegeconfigure.in: fix typo
 commit | commitdiff | tree
2010-06-01 Sven Verdoolaegeuse isl for argument parsing
 commit | commitdiff | tree
2010-06-01 Sven Verdoolaegeupdate isl for keeping track of user options
 commit | commitdiff | tree
2010-05-19 Sven Verdoolaegetest_bound: rewrite in C
 commit | commitdiff | tree
2010-05-19 Sven Verdoolaegeupdate isl for help message printing
 commit | commitdiff | tree
2010-05-15 Sven Verdoolaegeremove evalue_optimum
 commit | commitdiff | tree
2010-05-15 Sven Verdoolaegeremove evalue_range_propagation
 commit | commitdiff | tree
2010-05-15 Sven Verdoolaegetest_bound: use isl interface for computing bounds
 commit | commitdiff | tree
2010-05-15 Sven Verdoolaegebarvinok_bound: use isl interface for computing bounds
 commit | commitdiff | tree
2010-05-14 Sven Verdoolaegeiscc: support ub even if GiNaC support was not compiled in
 commit | commitdiff | tree
2010-05-14 Sven Verdoolaegeadd generic isl_pw_qpolynomial_bound
 commit | commitdiff | tree
2010-05-14 Sven Verdoolaegeupdate isl for isl_pw_qpolynomial_bound_range
 commit | commitdiff | tree
2010-05-14 Sven Verdoolaegetest_bound: use isl during verification
 commit | commitdiff | tree
2010-05-14 Sven Verdoolaegebarvinok_bound: use isl during verification
 commit | commitdiff | tree
2010-05-14 Sven Verdoolaegeverify.c: extract some helper functions for isl based...
commit | commitdiff | tree
2010-05-14 Sven Verdoolaegeintroduce "bound" option
 commit | commitdiff | tree
2010-05-14 Sven Verdoolaegeoptions.c: fix printf format
 commit | commitdiff | tree
2010-05-10 Sven Verdoolaegeiscc: add application operations
 commit | commitdiff | tree
2010-04-24 Sven Verdoolaegeiscc: add read operation
 commit | commitdiff | tree
2010-04-24 Sven Verdoolaegeiscc: free options
 commit | commitdiff | tree
2010-04-24 Sven Verdoolaegeupdate isl for reading of strings
 commit | commitdiff | tree
2010-04-21 Sven Verdoolaegeupdate isl for fix in isl_printer_print_pw_qpolynomial...
commit | commitdiff | tree
2010-04-21 Sven Verdoolaegeupdate isl-polylib for change in pkg-config file
 commit | commitdiff | tree
2010-04-21 Sven Verdoolaegeiscc: allow specification of output format
 commit | commitdiff | tree
2010-04-13 Sven Verdoolaegeupdate isl for change in isl_set_gist argument
 commit | commitdiff | tree
2010-04-11 Sven Verdoolaegeupdate isl for rename of isl_map_move
 commit | commitdiff | tree
2010-04-10 Sven Verdoolaegeconfigure.in: add isl flags and libs to pkg-config...
commit | commitdiff | tree
2010-04-07 Sven Verdoolaegeiscc: test isl_stream for eof rather than the underlying...
commit | commitdiff | tree
2010-04-07 Sven Verdoolaegeiscc: add deltas operation
 commit | commitdiff | tree
2010-04-07 Sven Verdoolaegeupdate isl for fix in isl_map_deltas
 commit | commitdiff | tree
2010-04-04 Sven Verdoolaegedrop barvinok_enumerate_pip_with_options
 commit | commitdiff | tree
2010-04-01 Sven Verdoolaegeiscc: add cross product operations
 commit | commitdiff | tree
2010-03-31 Sven Verdoolaegeiscc: add coalesce operations
 commit | commitdiff | tree
2010-03-30 Sven Verdoolaegeupdate isl for isl_pw_qpolynomial_coalesce
 commit | commitdiff | tree
2010-03-27 Sven Verdoolaegedrop "Omega counting calculator"
 commit | commitdiff | tree
2010-03-27 Sven Verdoolaegetest_bound.cc: fix printf format
 commit | commitdiff | tree
2010-03-27 Sven Verdoolaegebernstein.cc: fix printf format
 commit | commitdiff | tree
2010-03-27 Sven Verdoolaegeevalue_range_propagation: fix substitution for negative...
commit | commitdiff | tree
next
lattice point enumeration library