?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
first · prev · next
iscc: detect more kinds of errors
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 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 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 VerdoolaegeLine_Length: handle 0D polytope in 1D space
 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
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 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
2008-09-02 Sven Verdoolaegeevalue_read.c: fix minor bugs in tokenizer
 commit | commitdiff | tree
2008-09-02 Sven Verdoolaegeupdate omega for missing files in distribution
 commit | commitdiff | tree
2008-08-28 Sven Verdoolaegebarvinok_enumerate_e: avoid infinite loop when presented...
commit | commitdiff | tree
2008-08-28 Sven Verdoolaegemove omega subdir to omega_interface
 commit | commitdiff | tree
2008-08-28 Sven VerdoolaegeNTL_QQ.cc: add stdlib include for abort hidden in NTL_vector...
commit | commitdiff | tree
2008-08-28 Sven Verdoolaegeremove gnulib link-warning module completely
 commit | commitdiff | tree
2008-08-24 Sven Verdoolaegeupdate polylib with extra field in Param_Polyhedron
 commit | commitdiff | tree
2008-07-30 Sven Verdoolaegedoc: fix typos
 commit | commitdiff | tree
2008-07-20 Sven Verdoolaegeupdate gnulib function to last pre-GPLv3 version
 commit | commitdiff | tree
2008-07-02 Sven Verdoolaegeenumerator::handle: replace incorrect delete by free
 commit | commitdiff | tree
2008-06-17 Sven Verdoolaegeupdate piplib for corrected Urs_parms handling
 commit | commitdiff | tree
2008-06-12 Sven Verdoolaegeconfigure: use correct header files in case of bundled...
commit | commitdiff | tree
2008-05-08 Sven Verdoolaegeomega/occ: only open debug output file if there is...
commit | commitdiff | tree
2008-05-08 Sven Verdoolaegedoc: fix typo
 commit | commitdiff | tree
2008-05-08 Sven Verdoolaegeadd editors to ITSL papers
 commit | commitdiff | tree
2008-05-04 Sven Verdoolaegebarvinok 0.27
 commit | commitdiff | tree
2008-05-04 Sven Verdoolaegeadd some test sets from itsl2008 paper
 commit | commitdiff | tree
2008-05-04 Sven Verdoolaegedoc: add latest (accepted) publications
 commit | commitdiff | tree
2008-05-04 Sven VerdoolaegeMakefile.am: add section_array.h to distribution
 commit | commitdiff | tree
2008-05-04 Sven Verdoolaegenormalization.c: compute_shifts: remove redundant return
 commit | commitdiff | tree
2008-05-04 Sven Verdoolaegemove Free_ParamNames polylib and make param names const...
commit | commitdiff | tree
2008-05-04 Sven Verdoolaegeocc: add interface to barvinok_summate
 commit | commitdiff | tree
2008-05-04 Sven Verdoolaegeex_convert.cc: extract ex2evalue from range.cc
 commit | commitdiff | tree
2008-05-04 Sven Verdoolaegedoc: document more --summation methods for barvinok_summate
 commit | commitdiff | tree
2008-05-04 Sven Verdoolaegeoptions.c: rename "barvinok" summation method to "box"
 commit | commitdiff | tree
2008-05-04 Sven VerdoolaegeMakefile.am: check-euler: also check laurent
 commit | commitdiff | tree
2008-05-04 Sven Verdoolaegesummate.c: barvinok_summate: handle products of polytopes...
commit | commitdiff | tree
2008-05-04 Sven Verdoolaegeevalue.c: export evalue_reorder_terms
 commit | commitdiff | tree
2008-05-04 Sven Verdoolaegebernstein: numeric2value: fix typo to allow correct...
commit | commitdiff | tree
2008-05-03 Sven Verdoolaegeutil.c: Factor_Context: extracted from barvinok.cc
 commit | commitdiff | tree
2008-05-03 Sven Verdoolaegesummate.c: barvinok_summate: ignore floors independent...
commit | commitdiff | tree
2008-05-03 Sven Verdoolaegeevalue.c: add evalue_floor2frac
 commit | commitdiff | tree
2008-05-03 Sven Verdoolaegeomega/occ: print barvinok version number
 commit | commitdiff | tree
2008-05-03 Sven Verdoolaegedoc: update some references
 commit | commitdiff | tree
2008-05-03 Sven VerdoolaegeMake laurent based summation the default
 commit | commitdiff | tree
2008-05-03 Sven Verdoolaegesummate.c: barvinok_summate: handle quasi-polynomials...
commit | commitdiff | tree
2008-05-03 Sven Verdoolaegereduce_evalue: extract out evalue_reduce_size
 commit | commitdiff | tree
2008-05-03 Sven Verdoolaegeevalue.c: evalue_shift_variables: allow shifting of...
commit | commitdiff | tree
2008-05-03 Sven Verdoolaegesummate.c: handle equalities for all summation algorithms
 commit | commitdiff | tree
next
lattice point enumeration library