repo.or.cz
/
barvinok
/
uuh.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 isl_pw_qpolynomial_bound_range
2010-05-14
Sven Ver
d
oolaege
u
p
date
i
sl for isl
_
pw_qpol
y
nomial_b
o
u
nd_
r
ang
e
commit
|
commitdiff
|
tree
2010-05-14
S
ven Verdoolaege
test_bound:
u
se
i
sl
d
u
r
ing v
e
ri
f
icatio
n
commit
|
commitdiff
|
tree
2010-05-14
Sven
Verdoolaege
ba
r
vino
k
_bo
u
n
d: use
isl du
r
ing
v
erifi
c
ation
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n Verdoolae
g
e
verify
.
c: ex
t
r
a
ct
some helper functi
o
ns
f
or is
l
based
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sven Verd
o
olaege
intr
o
du
c
e "boun
d
"
o
ption
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
option
s
.
c
:
f
ix prin
t
f
f
orm
a
t
commit
|
commitdiff
|
tree
2010-05-10
S
v
e
n
Ver
d
oolaege
i
s
cc: add ap
p
licatio
n
operation
s
commit
|
commitdiff
|
tree
2010-04-24
Sven
V
er
d
oolae
g
e
iscc:
add re
a
d
operation
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdo
o
lae
g
e
iscc:
free opti
o
ns
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdool
a
ege
update isl for reading of string
s
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
update isl
for
f
ix in is
l
_printer_print_p
w
_qpolynomial
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
update isl-polylib
for chang
e
in
pkg-
c
onfig file
commit
|
commitdiff
|
tree
2010-04-21
Sven V
e
rdoolaege
iscc: allow specificatio
n
of
o
utput
f
or
m
a
t
commit
|
commitdiff
|
tree
2010-04-13
Sven Ve
r
d
o
olaege
update isl for chang
e
in isl_set_g
i
st argument
commit
|
commitdiff
|
tree
2010-04-11
Sven
Verdoolaege
update isl for rename of
i
s
l
_
map_m
o
v
e
commit
|
commitdiff
|
tree
2010-04-10
Sven
V
erdoolaege
confi
g
ure
.
in: add isl flags and
l
ibs to pkg-
c
onfig
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
S
v
en Ve
r
doolaege
iscc
:
te
s
t
isl_str
e
am for eof
r
ather than the un
d
erly
i
ng
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdo
o
laege
iscc: add d
e
ltas operation
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolae
g
e
up
d
ate
i
sl for fix
i
n
i
sl_
m
ap_d
e
ltas
commit
|
commitdiff
|
tree
2010-04-04
Sven Verdoolaege
d
rop
barvinok_
e
n
ume
r
ate_pip_with_options
commit
|
commitdiff
|
tree
2010-04-01
S
v
e
n
Verdoolaeg
e
iscc: add cross
p
ro
d
uct
o
perations
commit
|
commitdiff
|
tree
2010-03-31
Sven Verdoolaege
i
s
cc: add coal
e
s
ce operatio
n
s
commit
|
commitdiff
|
tree
2010-03-30
Sven Ve
r
doolaeg
e
u
pdate isl fo
r
i
sl_pw_qpol
y
nomial_coalesce
commit
|
commitdiff
|
tree
2010-03-27
Sven Ve
r
doolaege
drop "Omega c
o
u
nting calculat
o
r"
commit
|
commitdiff
|
tree
2010-03-27
Sven Ve
r
d
o
olaege
test_boun
d
.
cc: fi
x
printf
format
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdo
o
laege
bernstein
.
cc: fix
p
rintf format
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
evalue_ran
g
e
_propag
a
tio
n
: fix s
u
b
stituti
o
n for negative
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven
V
e
rdoola
e
ge
bernstein/
c
o
nfigur
e
.
in: use a
b
solu
t
e sr
c
dir of
PolyL
i
b
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
S
ven Verdool
a
ege
o
nly distribute bundled subm
o
dule
s
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdo
o
laege
u
p
date omega f
o
r configurati
o
n
i
ssue
commit
|
commitdiff
|
tree
2010-03-25
S
v
en Verdoolaege
c
o
n
figure
.
in: allo
w
"build" PolyLib
commit
|
commitdiff
|
tree
2010-03-25
Sven V
e
rdoolaege
isl_qp
o
lyno
m
i
a
l_fold_fro
m
_gin
a
c
: handle fail nodes
commit
|
commitdiff
|
tree
2010-03-25
S
ven Verdoolaege
isl_qpolynomial_from_gi
n
a
c
: expand ex b
e
f
ore inspecti
o
n
commit
|
commitdiff
|
tree
2010-03-25
S
ven Verdoolaege
isl_obj
_
list
.
c: up
d
a
t
e to use of isl_pri
n
ter
commit
|
commitdiff
|
tree
2010-03-18
Sven V
e
rdoolaege
iscc
:
a
d
d
g
i
st operatio
n
s
commit
|
commitdiff
|
tree
2010-03-18
Sve
n
Verdool
a
ege
up
d
ate isl for intr
o
duc
t
ion of
i
sl_printe
r
commit
|
commitdiff
|
tree
2010-03-18
Sv
e
n
Verdoolaege
isl_pw_qpolynomial
_
uppe
r
_bound: set up varia
b
le vector
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoolaege
iscc: add some compari
s
on
o
perations
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoolae
g
e
iscc: add inverse operation
commit
|
commitdiff
|
tree
2010-03-15
Sven Ver
d
ool
a
ege
iscc: fix up type of find_matching_bin_op
commit
|
commitdiff
|
tree
2010-03-14
S
v
en
Ver
d
oolaege
iscc: add affi
n
e hull o
p
er
a
tion
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc: add opera
t
i
on to
const
r
uct universa
l
map from
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdool
a
e
g
e
is
c
c
:
add "join" operatio
n
commit
|
commitdiff
|
tree
2010-03-14
S
v
e
n
Verdoolaege
iscc
:
add
i
n
tersect_domain operations
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
isc
c
: allow overloading bin
a
ry
o
ps
commit
|
commitdiff
|
tree
2010-03-14
S
ven Verdoolae
g
e
is
c
c: add mo
r
e dom
operations
commit
|
commitdiff
|
tree
2010-03-14
S
ven Verdoolaege
do
c
: r
e
organ
i
ze tabl
e
of iscc operations
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
update isl
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoo
l
a
ege
b
a
rvinok 0
.
30
commit
|
commitdiff
|
tree
2010-03-10
Sven Verd
o
ol
a
ege
AUTHORS: update
s
uppor
t
infor
m
ation
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
randomvecto
r
: double size o
f
coefficients o
n
each
attempt
commit
|
commitdiff
|
tree
2010-03-10
S
v
en Ver
d
oolaege
iscc: su
p
port transitive closure
commit
|
commitdiff
|
tree
2010-03-10
Sv
e
n Verdoolaege
up
d
ate isl
to vers
i
on 0
.
0
2
commit
|
commitdiff
|
tree
2010-03-09
Sven
Verdo
o
la
e
ge
barv
i
nok_e
.
cc: enumerate_vd:
r
e
move unused variables
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
r
doola
e
ge
evalue
.
c
:
Polyhedron_Inse
r
t:
add
missin
g
return t
y
p
e
commit
|
commitdiff
|
tree
2010-03-09
Sven Ve
r
doolaege
evalue
.
c: r
e
duce
_
ev
a
lue: re
m
ove
u
nused variable
commit
|
commitdiff
|
tree
2010-03-09
S
ven Verdoolaege
isc
c
:
a
d
d @ o
p
era
t
or
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdool
a
ege
is
c
c: ad
d
"ub"
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
a
d
d i
s
l_pw_q
p
olynomial
_
upper_bound
commit
|
commitdiff
|
tree
2010-03-09
Sven Ve
r
doolaege
iscc: add sum
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
erdoolaege
add i
s
l_pw_qpolynomia
l
_sum
commit
|
commitdiff
|
tree
2010-03-09
S
ven
Verdoo
l
aege
ad
d
isl_pw_qp
o
l
yn
o
mial_to_evalue
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Ve
r
d
o
ola
e
ge
update i
s
l for
isl_pw_qpolynomial_for
e
ac
h
_p
i
ece
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Verd
o
olaege
rename ev
a
lue2isl to isl_pw_q
p
ol
y
nomial_f
r
om_evalue
commit
|
commitdiff
|
tree
2010-03-06
Sven
V
erdoolaeg
e
i
s
cc: detect more ki
n
d
s
of errors
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdo
o
lae
g
e
barvinok_enumerate: use isl dur
i
ng
t
he
verification
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven
V
e
r
doolaege
add iscc
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
add isl_set_car
d
a
nd isl_m
a
p
_
card
commit
|
commitdiff
|
tree
2010-03-05
S
ven Verdool
a
ege
add evalue2isl
commit
|
commitdiff
|
tree
2010-03-05
S
v
e
n
Verdoola
e
ge
evalue_conv
e
r
t: e
x
port a
s
a
p
pli
c
ation
commit
|
commitdiff
|
tree
2010-03-05
Sv
e
n V
e
rdoolaege
barvino
k
_e
n
umerate_e: option
a
lly
use isl to p
r
o
j
ect
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolae
g
e
a
d
d isl
s
ubmodule
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdool
a
ege
AX_SU
B
M
ODULE: accept "
-
"
in modulename
commit
|
commitdiff
|
tree
2010-03-04
Sven
Verdoo
l
aege
barvinok_enu
m
era
t
e:
r
eturn NaN fo
r
infinite pro
b
lems
commit
|
commitdiff
|
tree
2010-01-28
Sven Verdoolae
g
e
remove_a
l
l_equa
l
it
i
e
s: ha
n
dle integrally, but not rationally
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoolaege
ba
r
vinok_enumerate_e:
al
w
ays return a partition
f
o
r
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
S
ven Verdool
a
e
ge
barvinok
_
enumerate: check that dimension of input
i
n
c
ludes
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdo
o
laege
p
a
rtit
i
o
n
2enumer
a
ti
o
n
: chec
k
that i
n
put is r
e
ally a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
Sven Ver
d
o
o
laege
upda
t
e
piplib for change in conf
i
g
u
re options
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdool
a
ege
upd
a
te
omega for c
o
nfig
u
ration/compilation issues
commit
|
commitdiff
|
tree
2009-11-30
S
ven Verdo
o
laege
ba
r
vinok
_
count_
w
i
t
h_options: check return va
l
ue of
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
Sven
Verd
o
olaege
Polyhedro
n
_Sample:
p
l
ug
memory leak
commit
|
commitdiff
|
tree
2009-11-12
Sve
n
V
e
rdoolaege
summat
e
.
c: ad
d
miss
i
ng
include
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaeg
e
t
opcom
.
c: sup
p
ort newer ver
s
ions of TOPCOM
commit
|
commitdiff
|
tree
2009-11-12
S
ven Verdoolaege
t
opcom
.
c: compute_domain: skip vert
i
c
e
s without domain
commit
|
commitdiff
|
tree
2009-11-12
Sven
Verdoolaege
polytope
_
minimi
z
e: take cons
t
ant te
r
m to be zero when
.
.
.
commit
|
commitdiff
|
tree
2009-11-12
S
v
en V
e
rdoolaeg
e
doc
:
refl
e
ct that
--enable
-
fractional is now the d
e
fault
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoo
l
aege
glpk_polyhedron_affine_s
i
g
n: speci
a
l
case 0D polyhedra
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdo
o
lae
g
e
Polyhedr
o
n_Insert_Columns: fix typ
o
commit
|
commitdiff
|
tree
2009-11-11
Sven Verdoolaege
Polyhedron_
F
actor: fi
x
up
d
ating
of
g
roups
commit
|
commitdiff
|
tree
2009-10-06
S
v
e
n Verdoo
l
aege
conf
i
gure
.
i
n
: use AX_SUBMODULE
i
n
stead of
B
V_S
U
B
M
ODULE
commit
|
commitdiff
|
tree
2009-08-21
S
ven Ve
r
doola
e
ge
remove_equalit
i
es: use
Poly
h
edron_
P
reimage ins
t
e
a
d
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Ve
r
dool
a
ege
ba
r
v
i
nok
0
.
29
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
doc: add exp
e
rimental comparison between old
a
nd new
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
lexmin
.
cc: remove "anachroni
s
m
"
commit
|
commitdiff
|
tree
2009-07-22
Sven
Verdo
o
l
aege
doc: add some less common
.
sty
f
iles
commit
|
commitdiff
|
tree
2009-07-21
Sven Ve
r
d
oolaege
add "
c
lever" La
u
rent expan
s
io
n
based summation
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoolaege
move Last_Non_Zero to
u
t
i
l
.
c
commit
|
commitdiff
|
tree
2009-07-20
Sven
Verdoolaege
extract
o
ut p
a
ram_po
l
ynomial from lau
r
ent
.
cc
commit
|
commitdiff
|
tree
2009-07-20
S
v
en Ve
r
doolaege
e
x
tract ver
t
ex_c
o
ne from laurent
.
c
c
commit
|
commitdiff
|
tree
next