repo.or.cz
/
barvinok.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
update isl for fix in isl_map_deltas
2010-04-07
S
v
e
n
V
erdo
o
laege
update
i
sl for fix in i
s
l
_m
a
p_deltas
commit
|
commitdiff
|
tree
2010-04-04
Sven
V
erdoolaeg
e
drop barvinok
_
e
numerate_pip_wi
t
h_option
s
commit
|
commitdiff
|
tree
2010-04-01
Sven Verdoolaege
iscc: add cross product o
p
er
a
tions
commit
|
commitdiff
|
tree
2010-03-31
Sv
e
n Verdoolaege
iscc: add co
a
lesce opera
t
i
ons
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdo
o
laeg
e
update isl for isl_pw_qpo
l
ynomial
_
coales
c
e
commit
|
commitdiff
|
tree
2010-03-27
Sven
V
erdoolaege
drop "Omega
c
ounting calculator"
commit
|
commitdiff
|
tree
2010-03-27
S
v
en
Verdo
o
laege
te
s
t
_
bound
.
c
c
: fix pri
n
tf
f
ormat
commit
|
commitdiff
|
tree
2010-03-27
Sven V
e
rd
o
olaege
be
r
n
s
tein
.
cc
:
f
i
x printf format
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
evalue_range_propagation:
fix subst
i
tution for negat
i
ve
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoola
e
g
e
bernste
i
n/con
f
igure
.
in: use a
b
solute src
d
ir
o
f
PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven V
e
rdoolaege
o
nly distribute bun
d
led submodules
commit
|
commitdiff
|
tree
2010-03-25
S
ven Verdoolaeg
e
update om
e
ga
for configu
r
ation issue
commit
|
commitdiff
|
tree
2010-03-25
Sven
V
e
r
doolaege
configur
e
.
in: al
l
ow
"bui
l
d" PolyLi
b
commit
|
commitdiff
|
tree
2010-03-25
Sven Verd
o
ola
e
g
e
i
sl_
q
p
oly
n
o
mial_fold_from_
g
i
n
a
c: handle
fa
i
l nod
e
s
commit
|
commitdiff
|
tree
2010-03-25
Sven Verd
o
olaege
is
l
_qpo
l
ynomia
l
_from_g
i
n
ac
:
expand ex before inspecti
o
n
commit
|
commitdiff
|
tree
2010-03-25
Sven Verd
o
ola
e
ge
isl_
o
bj_
l
ist
.
c: u
p
date to u
s
e of is
l
_
p
rint
e
r
commit
|
commitdiff
|
tree
2010-03-18
S
v
en
V
erdoolaege
i
s
cc
:
add gist operations
commit
|
commitdiff
|
tree
2010-03-18
Sv
e
n
V
erdo
o
laege
isl_p
w
_
q
p
ol
y
nomial_upper_bound: set u
p
vari
a
bl
e
vector
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sven Ve
r
doo
l
aege
iscc: add some com
p
ari
s
on op
e
rations
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoolaege
iscc: add inv
e
rse operation
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoolaege
iscc: fix up type
o
f find_match
i
ng_bin_op
commit
|
commitdiff
|
tree
2010-03-14
Sven Ve
r
doolaeg
e
iscc: add
a
f
fine hull
o
p
e
ration
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc:
a
dd operat
i
on t
o
construct universal ma
p
from
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven Verd
o
ol
a
ege
is
c
c: add "join" op
e
ration
commit
|
commitdiff
|
tree
2010-03-14
S
v
en Verdoolaege
i
scc
:
add in
t
e
rse
c
t_domain oper
a
tions
commit
|
commitdiff
|
tree
2010-03-14
Sven
Verd
o
o
laege
iscc: allow overloadin
g
bi
n
ary ops
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc: add more dom
operations
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdool
a
ege
doc: reorganize table of iscc operations
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
update i
s
l
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaeg
e
barvino
k
0
.
30
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoo
l
a
ege
AU
T
HO
R
S:
u
p
da
t
e
support information
commit
|
commitdiff
|
tree
2010-03-10
Sven Ve
r
doola
e
g
e
r
a
ndomvector: d
o
uble size
of coefficients on each attempt
commit
|
commitdiff
|
tree
2010-03-10
S
v
en
Ve
r
do
o
la
e
ge
i
scc: support tr
a
n
s
itive
closu
r
e
commit
|
commitdiff
|
tree
2010-03-10
S
v
en Verdool
a
ege
up
d
at
e
i
sl
to version 0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaeg
e
barvinok_
e
.
cc:
e
numerat
e
_vd
:
rem
o
ve unus
e
d
v
ariab
l
es
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
e
v
a
lue
.
c: Polyhedron_Insert: ad
d
mi
s
s
ing r
e
turn type
commit
|
commitdiff
|
tree
2010-03-09
Sven
Verdo
o
laege
eval
u
e
.
c: reduc
e
_evalue:
r
emove unus
e
d
v
a
riable
commit
|
commitdiff
|
tree
2010-03-09
S
ven Ve
r
doo
l
aege
iscc: add @ operato
r
commit
|
commitdiff
|
tree
2010-03-09
Sven Ve
r
d
o
olaege
iscc: add
"
ub"
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
add isl_pw_qpoly
n
omia
l
_upper
_
bo
u
nd
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
erdoolaege
iscc: add
s
um
commit
|
commitdiff
|
tree
2010-03-09
Sven
Verdo
o
laege
add isl_
p
w_qpo
l
ynomial_sum
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Verd
o
olaege
add
isl
_
pw_q
p
olynomia
l
_to_eva
l
ue
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolae
g
e
updat
e
isl for isl_pw_qpolyn
o
mial_foreach_piece
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
e
r
doolaeg
e
rena
m
e evalue2isl to isl_pw_qpolynomi
a
l_fr
o
m
_evalue
commit
|
commitdiff
|
tree
2010-03-06
Sven Verd
o
o
l
aege
iscc: detect
m
ore kinds o
f
errors
commit
|
commitdiff
|
tree
2010-03-05
S
ven Verdoolaege
barvino
k
_enumerat
e
:
u
s
e
i
s
l during the ver
i
fication
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
S
ven
Ve
r
d
o
olaege
add
iscc
commit
|
commitdiff
|
tree
2010-03-05
S
v
en Verdo
o
laege
add
i
sl_set_card
and is
l
_map_card
commit
|
commitdiff
|
tree
2010-03-05
S
ven Ve
r
d
oolae
g
e
add evalue2isl
commit
|
commitdiff
|
tree
2010-03-05
Sve
n
V
e
rdoolaege
e
value_
c
onvert
:
export as app
l
icat
i
on
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoo
l
a
e
ge
barvinok_enume
r
at
e
_e:
o
p
t
iona
l
ly use isl to project
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven V
e
rdoolaege
add i
s
l
submo
d
ule
commit
|
commitdiff
|
tree
2010-03-04
Sven Verd
o
o
la
e
ge
AX_SUBMODULE: accept "-
"
in m
o
dulename
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolae
g
e
barvi
n
ok_enum
e
rate:
return
N
aN f
o
r
i
nfi
n
ite problems
commit
|
commitdiff
|
tree
2010-01-28
Sven Verdoo
l
aege
remove_a
l
l_equalitie
s
: handle inte
g
ral
l
y
, but no
t
rationall
y
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
S
v
en Verdo
o
laege
barvin
o
k_e
n
u
merate_e: always
ret
u
rn a partition for
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sv
e
n Verdoolae
g
e
bar
v
inok_enumerate: check that dimens
i
on of
i
nput i
n
cl
u
des
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoolaege
p
a
r
t
ition2enumeration:
c
heck that input is r
e
ally a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
S
ve
n
Ve
r
d
o
o
laege
update
piplib for chang
e
in co
n
f
i
gur
e
options
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdoolaege
update ome
g
a
f
or configuration/compilation
i
s
sues
commit
|
commitdiff
|
tree
2009-11-30
Sve
n
Verdoolae
g
e
bar
v
inok_c
o
unt_w
i
th_options: ch
e
ck
r
e
turn value of
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
S
ven Verdoolaege
Polyhedron_Sam
p
le:
p
l
u
g memory leak
commit
|
commitdiff
|
tree
2009-11-12
S
v
e
n Verdoola
e
ge
s
u
mmate
.
c: add missing i
n
clud
e
commit
|
commitdiff
|
tree
2009-11-12
S
v
en Verdoolaege
topcom
.
c
:
suppo
r
t newer versions of TOPCOM
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
topcom
.
c: compute_do
m
ain: s
k
ip vert
i
c
e
s without domain
commit
|
commitdiff
|
tree
2009-11-12
Sv
e
n Ver
d
oolaeg
e
d
o
c
:
r
e
flect that
--enable-frac
t
ion
a
l is now the default
commit
|
commitdiff
|
tree
2009-11-12
S
v
en Verdoolaege
gl
p
k_polyhedr
o
n_affin
e
_sign:
special case 0D polyhedra
commit
|
commitdiff
|
tree
2009-11-12
Sv
e
n Ve
r
d
oolaege
Polyhedr
o
n
_Insert
_
Columns:
fix typo
commit
|
commitdiff
|
tree
2009-11-11
Sven
V
erdoolaege
Po
l
yhedron_Fa
c
tor:
f
i
x up
d
ating of groups
commit
|
commitdiff
|
tree
2009-10-06
S
ven Verdoo
l
aege
configure
.
in: use AX_SUB
M
O
DU
L
E instead of BV_SUBM
O
DULE
commit
|
commitdiff
|
tree
2009-08-21
S
v
en V
e
rdoolaege
r
e
m
ove_equal
i
ties: use Polyhed
r
on_Preimage i
n
stead
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
S
v
en Verdoolaege
b
a
rvinok
0
.
29
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
doc: add
e
x
p
erimen
t
al com
p
arison
b
etween old and new
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
S
ven
Verdoolaege
lexmin
.
cc: remove "anachronism"
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
doc: add some l
e
ss
c
o
m
mon
.
sty file
s
commit
|
commitdiff
|
tree
2009-07-21
Sve
n
Ver
d
oolaege
add "clever" Laurent expansi
o
n base
d
summ
a
tion
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdo
o
laege
move Last_Non_Zero to util
.
c
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoolaege
extrac
t
out param_polynomi
a
l from lau
r
e
n
t
.
cc
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoolaege
extract vertex_cone
f
rom laurent
.
cc
commit
|
commitdiff
|
tree
2009-07-11
S
v
e
n Verdoolaege
update
po
l
yl
i
b for s
p
eed
i
m
provemen
t
in in_
d
om
a
i
n
commit
|
commitdiff
|
tree
2009-06-12
Sven V
e
r
d
o
o
lae
g
e
update piplib for distribution issue
commit
|
commitdiff
|
tree
2009-05-26
S
v
e
n
Verdoo
l
ae
g
e
Poly
h
e
dro
n
_Factor: fix merging of
group
s
of co
l
umns
commit
|
commitdiff
|
tree
2009-05-07
Sven
Verdoolaege
(t)count
e
r: move cou
n
ter::reset() up to counter_
b
ase
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdo
o
l
a
e
ge
M
akefile
.
am: keep better track
o
f
failed
t
ests
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
Line_L
e
n
g
t
h
: handle 0D polytope
i
n 1D space
commit
|
commitdiff
|
tree
2009-04-02
Sven
Verdoolaege
Po
l
yhedron_Fa
c
tor: handle polyh
e
dr
a
wi
t
h
a n
o
n-t
r
ivial
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
Sven
Verdoolae
g
e
u
p
date piplib for change in c
o
nfigure
a
r
g
uments
commit
|
commitdiff
|
tree
2008-12-27
Sve
n
Verdoola
e
ge
ba
r
v
i
nok
.
cc:
r
emove unus
e
d
nonorthog
commit
|
commitdiff
|
tree
2008-12-26
S
v
e
n
Verdoo
l
aege
u
p
date pip
l
ib for
M
inG
W
compatibility
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoolaege
update
p
o
lylib for
M
in
G
W compatibilit
y
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoola
e
ge
evalu
e
.
c:
in_do
m
ain:
speci
a
l-case 0D doma
i
ns
commit
|
commitdiff
|
tree
2008-12-25
Sven Verdoolae
g
e
Av
o
i
d use of sys/times
.
h
header
wh
e
n not available
commit
|
commitdiff
|
tree
2008-12-25
Sven Ver
d
oolaege
add
g
n
u
lib
gets
u
bop
t
mo
d
ule f
o
r
M
inGW
commit
|
commitdiff
|
tree
2008-12-01
Sven Verdoolaege
REA
D
ME: m
e
ntion th
a
t
G
iNaC
is
a
lso need
e
d
for th
e
Omega
.
.
.
commit
|
commitdiff
|
tree
2008-12-01
Sven V
e
rdo
o
laeg
e
Allow build o
f
occ when using bundled omega
commit
|
commitdiff
|
tree
2008-10-28
Sv
e
n Verdoola
e
ge
doc: add a
reference t
o
a
master thes
i
s
a
ct
u
a
l
ly
u
sing
.
.
.
commit
|
commitdiff
|
tree
2008-10-16
Sven V
e
rdoolaege
barvinok 0
.
28
commit
|
commitdiff
|
tree
2008-10-16
Sven V
e
rdoolaege
README: fix up installation i
n
st
r
uc
t
ions
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolaege
A
d
d f
i
l
es generated
b
y bison and
flex
t
o the distrib
u
tion
commit
|
commitdiff
|
tree
next