?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
first · prev · next
drop "Omega counting calculator"
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
2009-11-12 Sven VerdoolaegePolyhedron_Insert_Columns: fix typo
 commit | commitdiff | tree
2009-11-11 Sven VerdoolaegePolyhedron_Factor: fix updating of groups
 commit | commitdiff | tree
2009-10-06 Sven Verdoolaegeconfigure.in: use AX_SUBMODULE instead of BV_SUBMODULE
 commit | commitdiff | tree
2009-08-21 Sven Verdoolaegeremove_equalities: use Polyhedron_Preimage instead...
commit | commitdiff | tree
2009-07-22 Sven Verdoolaegebarvinok 0.29
 commit | commitdiff | tree
2009-07-22 Sven Verdoolaegedoc: add experimental comparison between old and new...
commit | commitdiff | tree
2009-07-22 Sven Verdoolaegelexmin.cc: remove "anachronism"
 commit | commitdiff | tree
2009-07-22 Sven Verdoolaegedoc: add some less common .sty files
 commit | commitdiff | tree
2009-07-21 Sven Verdoolaegeadd "clever" Laurent expansion based summation
 commit | commitdiff | tree
2009-07-20 Sven Verdoolaegemove Last_Non_Zero to util.c
 commit | commitdiff | tree
2009-07-20 Sven Verdoolaegeextract out param_polynomial from laurent.cc
 commit | commitdiff | tree
2009-07-20 Sven Verdoolaegeextract vertex_cone from laurent.cc
 commit | commitdiff | tree
2009-07-11 Sven Verdoolaegeupdate polylib for speed improvement in in_domain
 commit | commitdiff | tree
2009-06-12 Sven Verdoolaegeupdate piplib for distribution issue
 commit | commitdiff | tree
2009-05-26 Sven VerdoolaegePolyhedron_Factor: fix merging of groups of columns
 commit | commitdiff | tree
2009-05-07 Sven Verdoolaegebarvinok_enumerate_series: don't check for revlex positive...
commit | commitdiff | tree
2009-05-07 Sven Verdoolaege(t)counter: move counter::reset() up to counter_base...
commit | commitdiff | tree
2009-05-07 Sven VerdoolaegeMakefile.am: keep better track of failed tests
 commit | commitdiff | tree
2009-05-07 Sven Verdoolaegeadd semigroup_holes application
 commit | commitdiff | tree
2009-05-07 Sven VerdoolaegeLine_Length: handle 0D polytope in 1D space
 commit | commitdiff | tree
2009-05-07 Sven Verdoolaegegen_fun: add is_zero method
 commit | commitdiff | tree
2009-05-07 Sven Verdoolaegebarvinok_enumerate_e_series: remove equalities in each...
commit | commitdiff | tree
2009-05-07 Sven Verdoolaegedoc: fix typo
 commit | commitdiff | tree
2009-05-07 Sven Verdoolaegebarvinok_enumerate_e_series: handle all existentials...
commit | commitdiff | tree
2009-05-07 Sven Verdoolaegeseries.cc: make project static
 commit | commitdiff | tree
2009-05-07 Sven Verdoolaegebarvinok_enumerate_e_series: handle all equalities...
commit | commitdiff | tree
2009-05-07 Sven Verdoolaegeadd test set from the other itsl2008 paper
 commit | commitdiff | tree
2009-04-02 Sven VerdoolaegePolyhedron_Factor: handle polyhedra with a non-trivial...
commit | commitdiff | tree
2009-04-02 Sven Verdoolaegeupdate piplib for change in configure arguments
 commit | commitdiff | tree
2009-02-09 Sven Verdoolaegetest_approx.c: add dummy field in dummy tms structure...
commit | commitdiff | tree
2009-02-09 Sven Verdoolaegeconfigure.in: avoid introducing empty elements in PKG_CONFIG...
commit | commitdiff | tree
2009-02-09 Sven Verdoolaegeocc: define OMIT_GETRUSAGE if sys/resource.h cannot...
commit | commitdiff | tree
2009-02-09 Sven Verdoolaegeomega_interface/Makefile.am: put depending libraries...
commit | commitdiff | tree
2009-02-09 Sven Verdoolaegeconfigure.in: add $(EXEEXT) to optional occ for cygwin
 commit | commitdiff | tree
2009-02-09 Sven Verdoolaegeupdate omega for MinGW compatibility
 commit | commitdiff | tree
next
lattice point enumeration library