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
configure.in: fix typo
2010-06-01
Sven
V
e
r
doolae
g
e
configure
.
i
n
: fix typo
commit
|
commitdiff
|
tree
2010-06-01
Sven Ve
r
d
oolaege
use isl for
argument parsin
g
commit
|
commitdiff
|
tree
2010-06-01
S
v
e
n Verdoo
l
aeg
e
upda
t
e isl f
o
r keeping tr
a
ck of user options
commit
|
commitdiff
|
tree
2010-05-19
Sven Verdo
o
laeg
e
test_bound:
r
ewrite in C
commit
|
commitdiff
|
tree
2010-05-19
Sven Verdoolaege
upd
a
te isl for help mes
s
age print
i
n
g
commit
|
commitdiff
|
tree
2010-05-15
S
v
e
n
V
e
rd
o
olaege
remove evalue_o
p
t
imum
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
remove evalue_range_propagation
commit
|
commitdiff
|
tree
2010-05-15
Sven
Verd
o
olaeg
e
test_bound: use isl i
n
terfa
c
e for compu
t
ing
bou
n
ds
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
barvi
n
ok_bound: use isl inte
r
fa
c
e for c
o
mput
i
ng bounds
commit
|
commitdiff
|
tree
2010-05-14
S
ven Verd
o
olaeg
e
iscc
:
support ub even if GiNa
C
support was
n
o
t
c
o
mpiled in
commit
|
commitdiff
|
tree
2010-05-14
S
ven V
e
rdoolaege
a
dd generic isl_pw_qpol
y
nomial_bound
commit
|
commitdiff
|
tree
2010-05-14
Sven
Ver
d
ool
a
ege
update i
s
l for is
l
_
p
w
_qpolynomial_bound_range
commit
|
commitdiff
|
tree
2010-05-14
S
v
en Ve
r
doolaege
test_bound
:
use isl during verification
commit
|
commitdiff
|
tree
2010-05-14
Sven V
e
rdool
a
e
g
e
barvi
n
ok
_
bound: use
isl during ve
r
if
i
cation
commit
|
commitdiff
|
tree
2010-05-14
Sve
n
Verd
o
olaege
verify
.
c: extract
s
ome helper functions
fo
r
isl
b
a
s
ed
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaeg
e
introduce "bound" option
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n Verd
o
olaege
options
.
c: fix printf
f
ormat
commit
|
commitdiff
|
tree
2010-05-10
S
v
en Verdoolae
g
e
i
scc:
a
dd
appli
c
ation o
p
erations
commit
|
commitdiff
|
tree
2010-04-24
Sven
V
erdoolaege
iscc:
a
dd re
a
d operation
commit
|
commitdiff
|
tree
2010-04-24
Sve
n
Verd
o
olaege
iscc: free opti
o
ns
commit
|
commitdiff
|
tree
2010-04-24
Sven Ver
d
ool
a
ege
update isl
for reading
o
f
s
tr
i
ngs
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
up
d
a
te isl for fix in isl_printer_print
_
pw_qp
o
ly
n
o
m
i
al
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdool
a
ege
update isl-
p
o
lylib
for ch
a
nge in pkg-config f
i
le
commit
|
commitdiff
|
tree
2010-04-21
Sve
n
V
erd
o
olaege
i
scc:
allow specific
a
t
ion of outpu
t
f
o
rmat
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoola
e
ge
update isl for ch
a
ng
e
i
n
i
s
l
_
s
e
t_gist argument
commit
|
commitdiff
|
tree
2010-04-11
Sven Verdool
a
e
ge
u
p
date isl
for rename of isl_m
a
p_move
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdool
a
ege
con
f
igure
.
in:
add
isl flags an
d
li
b
s
t
o
p
k
g-config
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
iscc: t
e
st is
l
_
stream
f
o
r
e
o
f
rathe
r
tha
n
the underlying
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
S
v
en V
e
rdoolae
g
e
i
scc: a
d
d delta
s
operation
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
update isl for
f
ix in
i
sl_map_de
l
tas
commit
|
commitdiff
|
tree
2010-04-04
Sven Verd
o
olaege
drop
barvi
n
ok_enumerate_pip_with
_
options
commit
|
commitdiff
|
tree
2010-04-01
Sve
n
Verdoolaege
isc
c
:
a
dd cr
o
s
s
product operations
commit
|
commitdiff
|
tree
2010-03-31
Sven Verdoolaege
i
s
cc: add coales
c
e
o
perations
commit
|
commitdiff
|
tree
2010-03-30
S
v
en Verdoola
e
ge
update isl for is
l
_p
w
_qpolyno
m
ial_coa
l
esce
commit
|
commitdiff
|
tree
2010-03-27
Sve
n
V
erdoolae
g
e
dr
o
p "Omega cou
n
ti
n
g calcu
l
ator"
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoola
e
ge
test_bound
.
cc
:
fi
x
printf format
commit
|
commitdiff
|
tree
2010-03-27
Sve
n
Verdoolae
g
e
bern
s
t
e
in
.
cc: fix
p
rintf format
commit
|
commitdiff
|
tree
2010-03-27
S
ven Ve
r
doolae
g
e
evalue_ran
g
e_propagation: fix
s
ubst
i
tution for ne
g
ati
v
e
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
S
ven Verdool
a
ege
bernstein/
c
o
nfigure
.
in:
use
a
bsolute
s
r
cd
i
r of Poly
L
i
b
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven
Verdoolae
g
e
only d
i
stribute bundled submodules
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
up
d
ate ome
g
a for
configuration issue
commit
|
commitdiff
|
tree
2010-03-25
Sven V
e
rdoolaege
config
u
re
.
in: al
l
ow "build
"
PolyL
i
b
commit
|
commitdiff
|
tree
2010-03-25
Sve
n
Verdoolaege
isl_qpolyno
m
ial_fold_from_ginac: handle
fail
n
odes
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdool
a
ege
isl_qpolyn
o
mia
l
_
from_gi
n
ac
:
ex
p
an
d
ex
before i
n
spection
commit
|
commitdiff
|
tree
2010-03-25
S
ven Verdoolaeg
e
isl_obj_list
.
c
: u
p
date to use
o
f is
l
_printer
commit
|
commitdiff
|
tree
2010-03-18
S
ven Verdoolaege
isc
c
: add gist operati
o
ns
commit
|
commitdiff
|
tree
2010-03-18
Sven V
e
rdoolaege
update isl for introduction
of isl_printer
commit
|
commitdiff
|
tree
2010-03-18
Sve
n
Verdoo
l
a
e
g
e
is
l
_pw_qpolynom
i
al_upper_bound: se
t
u
p
variable vector
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoolaege
i
s
c
c:
a
dd
s
ome comparison oper
a
tio
n
s
commit
|
commitdiff
|
tree
2010-03-15
Sv
e
n
Verdoolaege
is
c
c
:
a
dd inverse operation
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdo
o
laege
is
c
c: fix up type of find_matching
_
bin_op
commit
|
commitdiff
|
tree
2010-03-14
S
v
en Verdoolae
g
e
iscc: add affine hu
l
l
oper
a
tion
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc: a
d
d
operat
i
on to cons
t
r
uct
universal map from
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
is
c
c
: add
"join" operation
commit
|
commitdiff
|
tree
2010-03-14
Sven Ver
d
oolaege
is
c
c
:
a
d
d intersect_d
o
main operat
i
ons
commit
|
commitdiff
|
tree
2010-03-14
Sven Verd
o
olaege
iscc: allow overloading b
i
n
ary ops
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc: add more dom
o
perations
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
doc: re
o
r
ganize t
a
ble of i
s
c
c operations
commit
|
commitdiff
|
tree
2010-03-14
S
v
en V
e
rdo
o
laege
update
i
sl
commit
|
commitdiff
|
tree
2010-03-10
Sven V
e
rdoolaege
barvinok
0
.
30
commit
|
commitdiff
|
tree
2010-03-10
Sve
n
Verdoolaege
AUTHOR
S
: upda
t
e sup
p
ort information
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaeg
e
randomvector: doub
l
e
s
ize
of coefficients o
n
each attempt
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoo
l
aege
isc
c
:
s
uppo
r
t t
r
ansiti
v
e clo
s
ure
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdo
o
laege
update isl to ve
r
sion 0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sven
Verdool
a
ege
barvino
k
_e
.
cc: e
n
ume
r
ate_vd: remove unused variabl
e
s
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolae
g
e
evalue
.
c:
P
olyhedron_In
s
ert: add
m
issi
n
g
return
type
commit
|
commitdiff
|
tree
2010-03-09
S
ven Verdoolaege
e
value
.
c: reduce_ev
a
lue: remove u
n
used variable
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaeg
e
iscc: add @ ope
r
ator
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
i
scc:
add "ub"
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoo
l
aege
add isl_pw_qpolyno
m
ial_upper_
b
ound
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
isc
c
: add sum
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
V
erdoolaege
ad
d
isl_
p
w_qpolynomial_sum
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Verdoolaege
add is
l
_p
w
_qpolynomial_to_evalue
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
V
e
rdo
o
l
aege
u
p
dat
e
isl for isl_pw_qp
o
l
yn
o
mial
_
f
o
reach_piece
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
rdo
o
l
a
ege
rename
e
value2isl to isl_pw
_
qpol
y
n
omia
l
_from_evalue
commit
|
commitdiff
|
tree
2010-03-06
Sven Verdoolaege
iscc: de
t
ect
more kinds of e
r
rors
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
bar
v
inok_enumerat
e
: use
i
s
l during the
v
eri
f
ic
a
tion
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verd
o
olaege
add
isc
c
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoo
l
aege
add
i
s
l_set_card and isl_map_card
commit
|
commitdiff
|
tree
2010-03-05
Sven Ve
r
d
oolaege
a
d
d eva
l
ue2isl
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaeg
e
ev
a
l
u
e_convert: export as applica
t
io
n
commit
|
commitdiff
|
tree
2010-03-05
Sven V
e
rdoolaege
barvinok_enumerate_e: optio
n
ally
u
se is
l
to p
r
oject
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
add isl su
b
module
commit
|
commitdiff
|
tree
2010-03-04
S
v
en
V
erd
o
olaege
AX_S
U
BMOD
U
LE: accept "-"
in m
o
dulename
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n
Verdoolaege
barvinok_en
u
merate:
return NaN for
i
n
finite p
r
oblems
commit
|
commitdiff
|
tree
2010-01-28
Sve
n
Ve
r
d
o
olaege
remove_all_equalities
:
ha
n
dle integrally, but not ratio
n
ally
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoola
e
ge
b
arv
i
n
o
k
_enum
e
rate_e: a
l
wa
y
s return a
p
artition
for
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven V
e
rdoolaege
barvinok_enumera
t
e: check
t
h
a
t dimension of input includes
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdool
a
e
ge
partition2enume
r
ation:
c
heck t
h
at i
n
pu
t
is really a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
Sven Verdoola
e
ge
u
p
dat
e
p
i
p
l
ib fo
r
change
i
n configu
r
e options
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdo
o
laege
u
p
date
omeg
a
for configuration/compilatio
n
issues
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdoolae
g
e
barvino
k
_c
o
unt_with_options: check return value of
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
S
ven Ver
d
o
olaege
Polyhedron_Sample: plug memo
r
y leak
commit
|
commitdiff
|
tree
2009-11-12
Sven
V
erdool
a
ege
s
umma
t
e
.
c
:
add
m
issing includ
e
commit
|
commitdiff
|
tree
2009-11-12
Sven V
e
rd
o
o
l
a
e
ge
t
opcom
.
c: support new
e
r ver
s
ion
s
of T
O
PCOM
commit
|
commitdiff
|
tree
2009-11-12
Sven V
e
rdoolaege
t
opc
o
m
.
c
: compute
_
domain: skip ve
r
tices without
do
m
a
in
commit
|
commitdiff
|
tree
2009-11-12
S
ven Verd
o
olaege
polytope_minim
i
ze: tak
e
constant term t
o
be zero when
.
.
.
commit
|
commitdiff
|
tree
2009-11-12
Sv
e
n
Verdoolaege
doc
:
ref
l
e
ct that
--enable-fr
a
ctional is now the defau
l
t
commit
|
commitdiff
|
tree
2009-11-12
Sven Ver
d
oola
e
ge
glpk_pol
y
hedron_affine_sign: sp
e
cial
cas
e
0D poly
h
edra
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
Polyhedron_Insert_Columns: fi
x
t
y
po
commit
|
commitdiff
|
tree
next