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
use isl for argument parsing
2010-06-01
Sv
e
n
Verdoolaege
use i
s
l for ar
g
ument pa
r
sin
g
commit
|
commitdiff
|
tree
2010-06-01
Sven Ver
d
oolae
g
e
update isl for keeping track of u
s
e
r options
commit
|
commitdiff
|
tree
2010-05-19
Sv
e
n Verdool
a
ege
test_bo
u
nd: rewrite in C
commit
|
commitdiff
|
tree
2010-05-19
Sven Ver
d
o
o
lae
g
e
upda
t
e isl for help message pri
n
tin
g
commit
|
commitdiff
|
tree
2010-05-15
S
v
en Verdoola
e
ge
rem
o
ve evalue_optimum
commit
|
commitdiff
|
tree
2010-05-15
Sven
V
e
r
d
oo
l
aege
remove evalue
_
range_propagation
commit
|
commitdiff
|
tree
2010-05-15
S
ven Verdoolaege
t
est_bound: u
s
e isl inte
r
fa
c
e for computi
n
g bo
u
nd
s
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
barvinok_bound: us
e
i
sl
i
nterface for co
m
puting
bounds
commit
|
commitdiff
|
tree
2010-05-14
Sve
n
Verdoolaege
iscc: support u
b
even if Gi
N
a
C
s
upport w
a
s
n
ot compil
e
d in
commit
|
commitdiff
|
tree
2010-05-14
S
v
e
n
Verdool
a
ege
a
d
d
g
ene
r
i
c isl_pw_qpolynomia
l
_b
o
u
nd
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
upda
t
e
i
sl for i
s
l_p
w
_qpolyno
m
i
a
l_b
o
und_r
a
nge
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
te
s
t_bound: use isl during
verifica
t
ion
commit
|
commitdiff
|
tree
2010-05-14
S
v
e
n Verdoolaege
bar
v
inok_
b
o
u
n
d: use isl during verification
commit
|
commitdiff
|
tree
2010-05-14
S
ven Verdoolaege
verify
.
c: extract some helper functions for isl
b
a
sed
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sven
V
e
rdoolaege
introduce "bound" option
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdool
a
ege
options
.
c:
f
i
x
printf for
m
a
t
commit
|
commitdiff
|
tree
2010-05-10
Sven V
e
rd
o
olaege
iscc: add
a
pplication operations
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdo
o
laege
iscc: add read operati
o
n
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoo
l
aege
iscc: free options
commit
|
commitdiff
|
tree
2010-04-24
S
v
e
n
Verdool
a
ege
update isl for r
e
a
d
ing of
s
trings
commit
|
commitdiff
|
tree
2010-04-21
S
v
en
V
e
r
doolaege
update isl for fi
x
in is
l
_prin
t
er_pr
i
nt_pw_qpolynomial
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
update isl-po
l
ylib for change in p
k
g-con
f
ig
f
i
l
e
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolae
g
e
i
scc:
a
llow
specificat
i
on of output
format
commit
|
commitdiff
|
tree
2010-04-13
Sve
n
Ver
d
oolae
g
e
upd
a
te isl for change in
isl_set_gist argum
e
nt
commit
|
commitdiff
|
tree
2010-04-11
Sv
e
n Verd
o
ola
e
g
e
u
p
date isl
for rename of isl_ma
p
_
m
o
v
e
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaege
c
o
nfigure
.
in: add isl flags
a
n
d
l
i
bs
t
o
p
kg-config
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
S
v
e
n Verdoolaege
iscc: test isl_
s
tre
a
m for eo
f
r
ather than the underlyin
g
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoo
l
ae
g
e
i
scc: add
d
eltas op
e
ration
commit
|
commitdiff
|
tree
2010-04-07
Sven
V
erdoolaege
up
d
ate isl for
f
ix in isl_map_
d
eltas
commit
|
commitdiff
|
tree
2010-04-04
Sven Ver
d
oolaege
drop
barvinok_
e
numerate_pip_with_options
commit
|
commitdiff
|
tree
2010-04-01
Sven Verd
o
olaege
iscc:
a
d
d
cross product oper
a
tions
commit
|
commitdiff
|
tree
2010-03-31
Sven Ve
r
d
oolaege
iscc: add
c
o
alesce o
p
e
rations
commit
|
commitdiff
|
tree
2010-03-30
S
ven Verdoolae
g
e
u
p
date i
s
l
f
or isl_pw
_
qp
o
ly
n
o
mia
l
_coa
l
esce
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
d
r
op
"Omega cou
n
t
i
ng calc
u
la
t
or"
commit
|
commitdiff
|
tree
2010-03-27
Sven
Verd
o
o
l
aege
t
est_bo
u
nd
.
cc: f
i
x
p
rintf for
m
at
commit
|
commitdiff
|
tree
2010-03-27
S
v
e
n Verdoolaege
b
e
rnste
i
n
.
cc: fix printf format
commit
|
commitdiff
|
tree
2010-03-27
Sven
Ver
d
ool
a
e
ge
evalue_range
_
pro
p
aga
t
ion: fix substitution f
o
r negative
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoo
l
aege
ber
n
s
t
e
in/configure
.
in: us
e
absol
u
te srcdir of
Po
l
yLib
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Ve
r
doolaege
o
nly dist
r
ibute bun
d
led submo
d
ules
commit
|
commitdiff
|
tree
2010-03-25
S
v
en V
e
rd
o
o
l
aege
up
d
ate omega for configura
t
ion i
s
sue
commit
|
commitdiff
|
tree
2010-03-25
Sven
Verdoolaege
confi
g
u
r
e
.
in:
allow "buil
d
" P
o
lyLib
commit
|
commitdiff
|
tree
2010-03-25
Sve
n
Verdoo
l
ae
g
e
i
s
l_qpolynomial_fo
l
d_from_ginac: handle fa
i
l no
d
es
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaeg
e
isl_qpo
l
ynomial
_
from_gi
n
ac: expand ex befo
r
e i
n
spection
commit
|
commitdiff
|
tree
2010-03-25
Sven V
e
r
d
oolaeg
e
isl_
o
b
j_list
.
c: update
to
u
s
e of isl_
p
rinter
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
iscc:
a
dd gi
s
t operations
commit
|
commitdiff
|
tree
2010-03-18
Sven
Verdoolaege
up
d
ate isl for
i
ntroduction of
isl_printer
commit
|
commitdiff
|
tree
2010-03-18
S
v
en Verdo
o
l
a
ege
isl_pw_qpolynomial_upper_
b
ound:
se
t
u
p
variable v
e
c
tor
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
S
v
en Verdoolaege
iscc: add so
m
e
c
o
m
parison operations
commit
|
commitdiff
|
tree
2010-03-15
Sv
e
n Verdoola
e
ge
iscc
:
a
dd
inverse o
p
era
t
ion
commit
|
commitdiff
|
tree
2010-03-15
Sven
V
e
rdoola
e
ge
iscc: fix up type of find_ma
t
c
h
ing_bin_op
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n Verdool
a
ege
iscc: add affine hull
o
per
a
tion
commit
|
commitdiff
|
tree
2010-03-14
S
ven
V
erdoolaege
iscc: add operatio
n
to construct universal
m
a
p from
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc: add "join" opera
t
ion
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc
:
add intersect_domain operations
commit
|
commitdiff
|
tree
2010-03-14
Sven Ver
d
oolaege
iscc: allow
o
verloading bin
a
r
y
ops
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n Verd
o
olaege
iscc: add more dom operations
commit
|
commitdiff
|
tree
2010-03-14
Sven Ve
r
doola
e
ge
doc:
r
eorgan
i
ze
t
ab
l
e of
iscc o
p
erat
i
ons
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdo
o
l
a
eg
e
up
d
ate isl
commit
|
commitdiff
|
tree
2010-03-10
S
ven
V
erdo
o
laege
barvinok 0
.
30
commit
|
commitdiff
|
tree
2010-03-10
Sv
e
n Verdool
a
ege
AUTHORS: update suppo
r
t
i
nformation
commit
|
commitdiff
|
tree
2010-03-10
Sven
V
erdoolaeg
e
rando
m
vec
t
or: double size of
c
oeff
i
c
ients on each
attempt
commit
|
commitdiff
|
tree
2010-03-10
Sven
V
e
r
doolaege
iscc: suppo
r
t transitive closu
r
e
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdo
o
laeg
e
up
d
ate
isl to version 0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoo
l
aege
barvinok_e
.
cc:
e
nume
r
ate_vd: remove unused variabl
e
s
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Verdoolaege
e
value
.
c:
Polyhedro
n
_Insert
:
add missing return type
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n Ve
r
doolae
g
e
e
value
.
c: reduce_evalue: remo
v
e unused variable
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
iscc
:
add @ operator
commit
|
commitdiff
|
tree
2010-03-09
Sven Ve
r
doolaege
iscc: add
"
ub"
commit
|
commitdiff
|
tree
2010-03-09
Sven
Ve
r
doo
l
aege
ad
d
isl_pw_
q
poly
n
o
mial_upper_bound
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
iscc: ad
d
sum
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
rdoolaege
ad
d
is
l
_pw_q
p
olynomial_sum
commit
|
commitdiff
|
tree
2010-03-09
Sven Verd
o
olaege
add
i
sl_pw_qpolynomi
a
l_to_evalue
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
update isl f
o
r i
s
l_pw_qpolynomi
a
l_foreach
_
piec
e
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Verdoolaege
rename eval
u
e2isl t
o
isl_pw_q
p
olyn
o
mial_fr
o
m_
e
value
commit
|
commitdiff
|
tree
2010-03-06
S
ven Verdool
a
ege
iscc: de
t
ect more
k
inds of errors
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdo
o
laege
b
a
rvinok_enumera
t
e: use isl durin
g
the verification
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoo
l
aege
add iscc
commit
|
commitdiff
|
tree
2010-03-05
Sv
e
n Verdo
o
laege
add
i
sl_set_card and isl_ma
p
_card
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
add evalue2i
s
l
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaeg
e
e
value_c
o
nvert: expor
t
as
applicat
i
on
commit
|
commitdiff
|
tree
2010-03-05
Sven
V
erd
o
ola
e
ge
barvin
o
k_enumer
a
te_e: optionally use
isl to
pro
j
ect
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolae
g
e
ad
d
isl
submodule
commit
|
commitdiff
|
tree
2010-03-04
Sven
Verdoolaege
AX_SUBMODU
L
E
:
accept "-" in modulename
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n Verdo
o
la
e
ge
b
a
rvi
n
ok_enumerate
:
return NaN fo
r
infinit
e
probl
e
ms
commit
|
commitdiff
|
tree
2010-01-28
Sven
Verdo
o
la
e
ge
remove_all_equalit
i
e
s
: han
d
le int
e
grally, but
not rationa
l
ly
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdo
o
laege
barvinok
_
en
u
m
erate_
e
: alw
a
ys return a partition f
o
r
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoolaeg
e
bar
v
inok_enu
m
erate: ch
e
ck that d
i
m
ens
i
on of input in
c
ludes
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sv
e
n Ve
r
doolaege
partition2enumer
a
t
i
o
n
: check that input is really a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
Sv
e
n Verdoolaege
u
p
date piplib for change i
n
configure options
commit
|
commitdiff
|
tree
2009-11-30
Sve
n
Verdoolae
g
e
u
p
d
a
t
e ome
g
a
for confi
g
u
rat
i
on/compilation issues
commit
|
commitdiff
|
tree
2009-11-30
Sven Verd
o
olaege
b
arvin
o
k_count_with_option
s
:
check re
t
ur
n
value of
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
Sven
V
er
d
oolaege
Po
l
yhedr
o
n
_Sample: plug memory leak
commit
|
commitdiff
|
tree
2009-11-12
Sv
e
n Verdoolaege
su
m
mate
.
c: add missing include
commit
|
commitdiff
|
tree
2009-11-12
S
v
en Verd
o
o
laege
topcom
.
c: support new
e
r
versions
of TOP
C
O
M
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
top
c
om
.
c: comput
e
_domain: s
k
ip vert
i
ces w
i
thout
d
omain
commit
|
commitdiff
|
tree
2009-11-12
Sven Verd
o
olaege
po
l
yto
p
e_min
i
mize: take c
o
nstan
t
term to
b
e zer
o
wh
e
n
.
.
.
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
doc: reflect
t
hat --enable-frac
t
io
n
al is now t
h
e default
commit
|
commitdiff
|
tree
2009-11-12
Sven Ver
d
oolaege
glpk_polyhedr
o
n_affine_
s
ign: speci
a
l
c
as
e
0D polyhedra
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolae
g
e
Polyhe
d
ro
n
_Inse
r
t_
C
olumns
:
fix typo
commit
|
commitdiff
|
tree
2009-11-11
Sven Verdoolaege
Polyhedro
n
_
F
a
ctor: f
i
x updat
i
ng of g
r
oups
commit
|
commitdiff
|
tree
next