?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
first · prev · next
verif_ehrhart.c: add missing include
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
2010-03-27 Sven Verdoolaegebernstein/configure.in: use absolute srcdir of PolyLib...
commit | commitdiff | tree
2010-03-27 Sven Verdoolaegeonly distribute bundled submodules
 commit | commitdiff | tree
2010-03-25 Sven Verdoolaegeupdate omega for configuration issue
 commit | commitdiff | tree
2010-03-25 Sven Verdoolaegeconfigure.in: allow "build" PolyLib
 commit | commitdiff | tree
2010-03-25 Sven Verdoolaegeisl_qpolynomial_fold_from_ginac: handle fail nodes
 commit | commitdiff | tree
2010-03-25 Sven Verdoolaegeisl_qpolynomial_from_ginac: expand ex before inspection
 commit | commitdiff | tree
2010-03-25 Sven Verdoolaegeisl_obj_list.c: update to use of isl_printer
 commit | commitdiff | tree
2010-03-18 Sven Verdoolaegeiscc: add gist operations
 commit | commitdiff | tree
2010-03-18 Sven Verdoolaegeupdate isl for introduction of isl_printer
 commit | commitdiff | tree
2010-03-18 Sven Verdoolaegeisl_pw_qpolynomial_upper_bound: set up variable vector...
commit | commitdiff | tree
2010-03-15 Sven Verdoolaegeiscc: add some comparison operations
 commit | commitdiff | tree
2010-03-15 Sven Verdoolaegeiscc: add inverse operation
 commit | commitdiff | tree
2010-03-15 Sven Verdoolaegeiscc: fix up type of find_matching_bin_op
 commit | commitdiff | tree
2010-03-14 Sven Verdoolaegeiscc: add affine hull operation
 commit | commitdiff | tree
2010-03-14 Sven Verdoolaegeiscc: add operation to construct universal map from...
commit | commitdiff | tree
2010-03-14 Sven Verdoolaegeiscc: add "join" operation
 commit | commitdiff | tree
2010-03-14 Sven Verdoolaegeiscc: add intersect_domain operations
 commit | commitdiff | tree
2010-03-14 Sven Verdoolaegeiscc: allow overloading binary ops
 commit | commitdiff | tree
2010-03-14 Sven Verdoolaegeiscc: add more dom operations
 commit | commitdiff | tree
2010-03-14 Sven Verdoolaegedoc: reorganize table of iscc operations
 commit | commitdiff | tree
2010-03-14 Sven Verdoolaegeupdate isl
 commit | commitdiff | tree
2010-03-10 Sven Verdoolaegebarvinok 0.30
 commit | commitdiff | tree
2010-03-10 Sven VerdoolaegeAUTHORS: update support information
 commit | commitdiff | tree
2010-03-10 Sven Verdoolaegerandomvector: double size of coefficients on each attempt
 commit | commitdiff | tree
2010-03-10 Sven Verdoolaegeiscc: support transitive closure
 commit | commitdiff | tree
2010-03-10 Sven Verdoolaegeupdate isl to version 0.02
 commit | commitdiff | tree
2010-03-09 Sven Verdoolaegebarvinok_e.cc: enumerate_vd: remove unused variables
 commit | commitdiff | tree
2010-03-09 Sven Verdoolaegeevalue.c: Polyhedron_Insert: add missing return type
 commit | commitdiff | tree
2010-03-09 Sven Verdoolaegeevalue.c: reduce_evalue: remove unused variable
 commit | commitdiff | tree
2010-03-09 Sven Verdoolaegeiscc: add @ operator
 commit | commitdiff | tree
2010-03-09 Sven Verdoolaegeiscc: add "ub"
 commit | commitdiff | tree
2010-03-09 Sven Verdoolaegeadd isl_pw_qpolynomial_upper_bound
 commit | commitdiff | tree
2010-03-09 Sven Verdoolaegeiscc: add sum
 commit | commitdiff | tree
2010-03-09 Sven Verdoolaegeadd isl_pw_qpolynomial_sum
 commit | commitdiff | tree
2010-03-09 Sven Verdoolaegeadd isl_pw_qpolynomial_to_evalue
 commit | commitdiff | tree
2010-03-09 Sven Verdoolaegeupdate isl for isl_pw_qpolynomial_foreach_piece
 commit | commitdiff | tree
2010-03-09 Sven Verdoolaegerename evalue2isl to isl_pw_qpolynomial_from_evalue
 commit | commitdiff | tree
2010-03-06 Sven Verdoolaegeiscc: detect more kinds of errors
 commit | commitdiff | tree
2010-03-05 Sven Verdoolaegebarvinok_enumerate: use isl during the verification...
commit | commitdiff | tree
2010-03-05 Sven Verdoolaegeadd iscc
 commit | commitdiff | tree
2010-03-05 Sven Verdoolaegeadd isl_set_card and isl_map_card
 commit | commitdiff | tree
2010-03-05 Sven Verdoolaegeadd evalue2isl
 commit | commitdiff | tree
2010-03-05 Sven Verdoolaegeevalue_convert: export as application
 commit | commitdiff | tree
2010-03-05 Sven Verdoolaegebarvinok_enumerate_e: optionally use isl to project...
commit | commitdiff | tree
2010-03-05 Sven Verdoolaegeadd isl submodule
 commit | commitdiff | tree
2010-03-04 Sven VerdoolaegeAX_SUBMODULE: accept "-" in modulename
 commit | commitdiff | tree
2010-03-04 Sven Verdoolaegebarvinok_enumerate: return NaN for infinite problems
 commit | commitdiff | tree
2010-01-28 Sven Verdoolaegeremove_all_equalities: handle integrally, but not rationally...
commit | commitdiff | tree
2010-01-02 Sven Verdoolaegebarvinok_enumerate_e: always return a partition for...
commit | commitdiff | tree
2010-01-02 Sven Verdoolaegebarvinok_enumerate: check that dimension of input includes...
commit | commitdiff | tree
2010-01-02 Sven Verdoolaegepartition2enumeration: check that input is really a...
commit | commitdiff | tree
2010-01-01 Sven Verdoolaegeupdate piplib for change in configure options
 commit | commitdiff | tree
2009-11-30 Sven Verdoolaegeupdate omega for configuration/compilation issues
 commit | commitdiff | tree
2009-11-30 Sven Verdoolaegebarvinok_count_with_options: check return value of...
commit | commitdiff | tree
2009-11-30 Sven VerdoolaegePolyhedron_Sample: plug memory leak
 commit | commitdiff | tree
2009-11-12 Sven Verdoolaegesummate.c: add missing include
 commit | commitdiff | tree
2009-11-12 Sven Verdoolaegetopcom.c: support newer versions of TOPCOM
 commit | commitdiff | tree
2009-11-12 Sven Verdoolaegetopcom.c: compute_domain: skip vertices without domain
 commit | commitdiff | tree
2009-11-12 Sven Verdoolaegepolytope_minimize: take constant term to be zero when...
commit | commitdiff | tree
2009-11-12 Sven Verdoolaegedoc: reflect that --enable-fractional is now the default
 commit | commitdiff | tree
2009-11-12 Sven Verdoolaegeglpk_polyhedron_affine_sign: special case 0D polyhedra
 commit | commitdiff | tree
next
lattice point enumeration library