?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
first · prev · next
iscc: support transitive closure
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: fix typo
 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-13 Sven VerdoolaegeNTL_QQ.cc: add stdio include for EOF hidden in NTL_io_vector...
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-28 Sven Verdoolaege.gitignore: ignore object files
 commit | commitdiff | tree
2009-04-28 Sven Verdoolaegegenfunc.cc: parallel_polytopes: detect 0D polytopes...
commit | commitdiff | tree
2009-04-27 Sven Verdoolaegeconfigure.in: set AC_CONFIG_MACRO_DIR
 commit | commitdiff | tree
2009-04-27 Sven Verdoolaegeadd pkg.m4
 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
2009-02-09 Sven Verdoolaegebernstein/configure.in: add missing AC_PROG_CXX
 commit | commitdiff | tree
2009-02-04 Sven Verdoolaegegenfun.cc: add braces round extern "C" typedef
 commit | commitdiff | tree
2008-12-30 Sven Verdoolaegevector_partition_chambers: computes chambers of vector...
commit | commitdiff | tree
2008-12-27 Sven Verdoolaegebarvinok.cc: remove unused nonorthog
 commit | commitdiff | tree
2008-12-26 Sven Verdoolaegeupdate piplib for MinGW compatibility
 commit | commitdiff | tree
2008-12-26 Sven Verdoolaegeupdate polylib for MinGW compatibility
 commit | commitdiff | tree
2008-12-26 Sven Verdoolaegefdstream.cc: don't (re)declare fileno if it's a macro
 commit | commitdiff | tree
2008-12-26 Sven Verdoolaegeevalue.c: in_domain: special-case 0D domains
 commit | commitdiff | tree
2008-12-25 Sven VerdoolaegeAvoid use of sys/times.h header when not available
 commit | commitdiff | tree
2008-12-25 Sven Verdoolaegeadd gnulib getsubopt module for MinGW
 commit | commitdiff | tree
2008-12-01 Sven VerdoolaegeREADME: mention that GiNaC is also needed for the Omega...
commit | commitdiff | tree
2008-12-01 Sven VerdoolaegeAllow build of occ when using bundled omega
 commit | commitdiff | tree
2008-10-28 Sven Verdoolaegedoc: add a reference to a master thesis actually using...
commit | commitdiff | tree
2008-10-16 Sven Verdoolaegebarvinok 0.28
 commit | commitdiff | tree
2008-10-16 Sven VerdoolaegeREADME: fix up installation instructions
 commit | commitdiff | tree
2008-10-16 Sven VerdoolaegeAdd files generated by bison and flex to the distribution
 commit | commitdiff | tree
2008-10-16 Sven Verdoolaegeupdate polylib
 commit | commitdiff | tree
2008-10-16 Sven Verdoolaegeupdate piplib
 commit | commitdiff | tree
2008-10-10 Sven Verdoolaegeevalue.c: affine2evalue: reduce coefficients
 commit | commitdiff | tree
2008-10-10 Sven Verdoolaegeevalue.c: evalue_level_cmp: produce more consistent...
commit | commitdiff | tree
2008-10-07 Sven Verdoolaegedoc: add another paper referring to the library
 commit | commitdiff | tree
2008-09-16 Sven Verdoolaegepiecewise_lst.h: avoid duplicate parameter name
 commit | commitdiff | tree
next
patches by uuh to consider upstream