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
test_bound: rewrite in C
2010-05-19
Sven Verd
o
ol
a
eg
e
t
est_bou
n
d: rew
r
ite in
C
commit
|
commitdiff
|
tree
2010-05-19
Sv
e
n
V
er
d
oolaeg
e
update isl
f
or help
m
e
s
sa
g
e prin
t
ing
commit
|
commitdiff
|
tree
2010-05-15
Sve
n
V
e
rdoolaeg
e
re
m
o
v
e
e
v
alue_op
t
imum
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdool
a
e
ge
remove
evalue_r
a
nge_propagatio
n
commit
|
commitdiff
|
tree
2010-05-15
Sven
V
erdoolaege
test_bou
n
d:
u
se isl
interface for compu
t
ing bounds
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaeg
e
barvinok
_
bound: use isl inter
f
ace
f
o
r
c
o
mputing b
o
unds
commit
|
commitdiff
|
tree
2010-05-14
S
ven Verdoolaege
iscc: sup
p
ort ub eve
n
if GiNa
C
s
upport was not
compiled
in
commit
|
commitdiff
|
tree
2010-05-14
Sven
Verd
o
olaege
add
g
eneric
isl_pw_
q
polynomial_bound
commit
|
commitdiff
|
tree
2010-05-14
S
ven V
e
rdoolaege
update isl for isl_p
w
_
qpo
l
ynomia
l
_b
o
und_rang
e
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n Verdoolaeg
e
test_bou
n
d: use is
l
during verif
i
cation
commit
|
commitdiff
|
tree
2010-05-14
Sven
V
e
r
doola
e
ge
bar
v
i
n
ok_bou
n
d: use
i
s
l during
verification
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoola
e
ge
v
erif
y
.
c: extract
s
ome
he
l
per func
t
ions for isl based
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
introduce
"
bound"
option
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaeg
e
option
s
.
c: fix printf format
commit
|
commitdiff
|
tree
2010-05-10
Sven Ve
r
doolaege
i
scc: add
applic
a
tion operations
commit
|
commitdiff
|
tree
2010-04-24
S
v
en Verdo
o
laege
i
scc: a
d
d read operation
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoolaege
isc
c
:
fre
e
options
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdo
o
laege
update i
s
l for reading of strings
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
update isl for
fix in isl_printer_
p
rint_p
w
_qpol
y
nom
i
al
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
u
pdate isl
-
polylib for c
h
ange in p
k
g-config file
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
i
s
c
c
:
allow
s
pecif
i
cat
i
on
of
output format
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoolaege
update isl for change
in isl_
s
e
t
_gist argume
n
t
commit
|
commitdiff
|
tree
2010-04-11
Sven V
e
r
doolaeg
e
update isl for rename of isl_m
a
p_mov
e
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaege
configure
.
in: add
i
sl flags and libs to pkg-con
f
ig
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
S
v
en Verdoolaege
iscc: test isl_str
e
am for eof rather than the underlyin
g
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sve
n
Verdoolaege
iscc: add de
l
tas operatio
n
commit
|
commitdiff
|
tree
2010-04-07
Sven Ver
d
oolaege
update isl
for fix
i
n is
l
_map_d
e
ltas
commit
|
commitdiff
|
tree
2010-04-04
Sven Verdoolaege
drop bar
v
i
n
ok_
e
numerate_pip
_
with_options
commit
|
commitdiff
|
tree
2010-04-01
Sven
V
e
r
d
o
o
l
a
e
g
e
i
s
cc: add
c
ro
s
s
p
roduct operati
o
ns
commit
|
commitdiff
|
tree
2010-03-31
Sv
e
n Verdool
a
ege
iscc: add
c
o
alesce ope
r
ations
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdoolaege
update isl for isl_pw
_
qpolynomial_coalesce
commit
|
commitdiff
|
tree
2010-03-27
S
v
en Verdoolaege
drop "Omega counting calculato
r
"
commit
|
commitdiff
|
tree
2010-03-27
Sven V
e
r
doolaege
test_bound
.
cc:
fix printf format
commit
|
commitdiff
|
tree
2010-03-27
S
ven Verdoo
l
aege
bernstein
.
cc: fix printf format
commit
|
commitdiff
|
tree
2010-03-27
Sv
e
n Verdoolaege
evalue_rang
e
_propa
g
ation: fix substitut
i
on for negative
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
S
v
en Verdo
o
laege
bernstein/configure
.
in: use
a
b
s
o
lute src
d
ir of
PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Verd
o
olaeg
e
only d
i
s
t
ribute bundled submodules
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
u
pdate om
e
g
a for c
o
nfigur
a
t
i
o
n issue
commit
|
commitdiff
|
tree
2010-03-25
S
ven Verdoolaege
configure
.
in: allow "b
u
ild
"
PolyLib
commit
|
commitdiff
|
tree
2010-03-25
Sve
n
Verdoo
l
aege
isl_qpolynomial_fold_from_g
i
n
ac: handle fail node
s
commit
|
commitdiff
|
tree
2010-03-25
Sven Verd
o
o
laege
is
l
_
q
polynom
i
al_from_
g
inac: expan
d
ex b
e
fore inspectio
n
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
isl_obj_list
.
c: update to use of isl_pr
i
nt
e
r
commit
|
commitdiff
|
tree
2010-03-18
Sv
e
n
V
e
rdoolaege
iscc: add gis
t
o
p
e
rations
commit
|
commitdiff
|
tree
2010-03-18
Sv
e
n Verdoolaege
update isl for introduction of isl_pri
n
ter
commit
|
commitdiff
|
tree
2010-03-18
Sven
V
e
rdoolaege
isl_
p
w_qpolynomial
_
upper_bound: set up var
i
able vector
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
S
ven Verdoolaege
iscc: ad
d
some comparison o
p
erati
o
n
s
commit
|
commitdiff
|
tree
2010-03-15
S
v
e
n Verdool
a
eg
e
i
s
c
c
: add
i
nverse ope
r
ation
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoolaege
iscc: fix
up type of find_ma
t
ch
i
n
g
_bin_
o
p
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n
Verdoola
e
ge
iscc: a
d
d
a
ffine hull
operation
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdool
a
ege
iscc: add operation to
const
r
uct un
i
ver
s
al m
a
p
from
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven
Ver
d
oolaege
iscc:
a
dd
"
join" o
p
erat
i
on
commit
|
commitdiff
|
tree
2010-03-14
Sven Ve
r
d
oolaeg
e
i
s
cc: add intersec
t
_do
m
ain operations
commit
|
commitdiff
|
tree
2010-03-14
Sven
V
erd
o
olaeg
e
iscc:
allow overloa
d
ing binary ops
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc: add more dom operations
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
doc: reorga
n
ize
tab
l
e of iscc op
e
ration
s
commit
|
commitdiff
|
tree
2010-03-14
S
ven Verdoolaege
update isl
commit
|
commitdiff
|
tree
2010-03-10
S
ven Verd
o
o
l
a
e
ge
bar
v
i
n
o
k
0
.
30
commit
|
commitdiff
|
tree
2010-03-10
Sven Ve
r
doo
l
aege
AU
T
HORS: update support information
commit
|
commitdiff
|
tree
2010-03-10
Sven V
e
rdoolaege
randomvector: double size of coe
f
ficients on each attempt
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdo
o
laege
is
c
c: support tra
n
si
t
ive cl
o
sure
commit
|
commitdiff
|
tree
2010-03-10
Sven Verd
o
olaege
up
d
a
te is
l
to version 0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoo
l
aege
barvinok_e
.
cc:
e
nume
r
a
t
e_vd: remove un
u
sed var
i
ables
commit
|
commitdiff
|
tree
2010-03-09
Sven Verd
o
olaege
evalue
.
c: Po
l
y
h
edron_Insert:
add missing
return type
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
rdoolae
g
e
evalue
.
c: reduce_evalue:
r
emove unused
varia
b
l
e
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
is
c
c: add @ operator
commit
|
commitdiff
|
tree
2010-03-09
S
v
en
V
e
rdoolaege
i
s
cc: add "ub"
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
a
dd
isl_
p
w_qpolynomial
_
u
pper
_
bound
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
V
e
rdo
o
laege
iscc: ad
d
sum
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n
V
e
rdool
a
e
g
e
ad
d
isl_pw_q
p
o
lyn
o
mial_su
m
commit
|
commitdiff
|
tree
2010-03-09
Sven
Verdoolaege
add isl_pw_qpolynomial_to_evalue
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
u
pd
a
te isl
for isl_pw_qpolynomial_f
o
r
e
a
ch_pie
c
e
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n Ve
r
d
oolaege
rename evalue2isl to is
l
_pw_q
p
olynomial
_
from_evalu
e
commit
|
commitdiff
|
tree
2010-03-06
Sven V
e
rd
o
olaege
i
scc
:
detect more kinds o
f
errors
commit
|
commitdiff
|
tree
2010-03-05
S
v
e
n
V
erdoolaege
b
arvinok_
e
n
umerate: use isl
d
uring the
verification
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sv
e
n Ve
r
doolaeg
e
a
d
d iscc
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdool
a
ege
a
dd isl_set
_
c
ard and isl_map_card
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdo
o
laege
add eva
l
ue2isl
commit
|
commitdiff
|
tree
2010-03-05
Sven
V
erdool
a
eg
e
evalue_co
n
vert: e
x
p
o
rt as appli
c
ation
commit
|
commitdiff
|
tree
2010-03-05
Sve
n
Ve
r
doolaege
barvino
k
_enumerate_e: o
p
tionally use isl to proje
c
t
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Ver
d
o
o
laege
a
dd isl submodule
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
AX_SUBMODULE: accept "-" in modulena
m
e
commit
|
commitdiff
|
tree
2010-03-04
S
v
en V
e
rdoolaege
b
a
r
v
i
nok_en
u
m
e
rate: return
N
aN for
i
n
f
inite
p
r
o
b
lems
commit
|
commitdiff
|
tree
2010-01-28
Sve
n
Verdoola
e
ge
r
e
m
o
ve_all_equalities: hand
l
e
integrally, bu
t
not rationally
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven V
e
rdoolae
g
e
barvinok_enumerate_e:
a
lways ret
u
rn a
partitio
n
for
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdo
o
laege
barvinok_enu
m
erate: check
t
hat dimens
i
on of inp
u
t
i
n
c
l
u
des
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdo
o
laege
partition2enumer
a
tion: che
c
k that input is
really a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
Sven
V
erdoo
l
aege
u
p
date
pi
p
lib for chan
g
e in configure
o
ptions
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdoolaege
u
p
date omega fo
r
configuration/co
m
pilation issues
commit
|
commitdiff
|
tree
2009-11-30
S
ven Verd
o
o
laege
ba
r
vin
o
k_count_with_options
:
ch
e
ck retu
r
n value of
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdoolaege
Polyhedr
o
n
_Samp
l
e:
p
l
u
g m
e
mo
r
y lea
k
commit
|
commitdiff
|
tree
2009-11-12
S
v
e
n Verdoolaege
sum
m
ate
.
c: add mi
s
sing includ
e
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
to
p
com
.
c: su
p
p
ort newe
r
version
s
of TOPCOM
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
t
o
pcom
.
c:
compute_domain: s
k
i
p
v
ertic
e
s without do
m
ain
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolae
g
e
po
l
ytope_mi
n
imize: take c
o
nstan
t
t
erm
t
o be zer
o
w
hen
.
.
.
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
do
c
: refl
e
ct that --enable-fractional
i
s no
w
the default
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolae
g
e
glpk_pol
y
hedron_affine_sign: specia
l
case
0
D polyh
e
dra
commit
|
commitdiff
|
tree
2009-11-12
Sven V
e
rdoolae
g
e
Polyhedr
o
n_Inser
t
_Columns:
f
i
x typo
commit
|
commitdiff
|
tree
2009-11-11
S
v
e
n
Verdoolae
g
e
Polyhedro
n
_Factor: fix up
d
atin
g
o
f
gr
o
ups
commit
|
commitdiff
|
tree
2009-10-06
Sven V
e
rdoo
l
aege
configure
.
in: use
A
X_SUBMO
D
ULE i
n
stead of
BV_SU
B
MODULE
commit
|
commitdiff
|
tree
2009-08-21
Sven Verdoo
l
aege
r
emove
_
equalities:
u
se Polyhedron_Preimage instead
.
.
.
commit
|
commitdiff
|
tree
next