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
evalue_isl.c: fix typo
2010-06-26
Sven Verdoolaege
eval
u
e_isl
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-20
S
ven Verdoolaege
is
c
c:
r
ecover f
r
om er
r
o
r
s
commit
|
commitdiff
|
tree
2010-06-20
Sven
Ve
r
doolaege
updat
e
isl for i
m
proved error han
d
ling
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdool
a
ege
iscc
.
c:
fix ty
p
o
commit
|
commitdiff
|
tree
2010-06-13
Sven Ver
d
o
olae
g
e
doc: iscc:
update docu
m
en
t
ation of "ub" operator
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolae
g
e
test_approx: includ
e
ctype
.
h for
i
sspace
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
test_a
p
prox: includ
e
c
onfig
.
h
for H
A
VE_SYS_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
t
e
st_bound: include config
.
h for HAVE_SYS_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
i
s
c
c: add
v
ertices
operations
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
optionally use isl to perform
par
a
metric vertex en
u
m
e
ration
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
update isl-pol
y
lib f
o
r handl
i
ng of rational sets
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
drop
dist
i
nction
b
etween ba
r
vinok-
c
ore and barv
i
nok
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolae
g
e
r
emove be
r
ns
t
ein
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
update isl for generic isl_p
w
_
q
polyno
m
ial_bound
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
lae
g
e
co
n
figure
.
i
n
:
dro
p
b
v
_om
e
ga_prog
r
ams
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
a
e
ge
add isl_ctx_peek_ba
r
vino
k
_
options
commit
|
commitdiff
|
tree
2010-06-07
S
v
en
V
erdoolaege
iscc:
parse barvi
n
ok
o
ptions
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaeg
e
export
isl_
q
polynomial_from_evalue
commit
|
commitdiff
|
tree
2010-06-01
Sv
e
n Verdoolaeg
e
M
a
kefi
l
e
.
a
m
:
d
rop depende
n
ce on
d
o
c
/omega
.
te
x
commit
|
commitdiff
|
tree
2010-06-01
Sven
V
erdool
a
e
g
e
update isl for rename of isl_
p
w_qpolynomial_move
commit
|
commitdiff
|
tree
2010-06-01
S
v
en Verdool
a
ege
ve
r
if_ehrha
r
t
.
c:
add mis
s
i
ng include
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
configure
.
in:
f
ix
typo
commit
|
commitdiff
|
tree
2010-06-01
Sven
Verdoolaege
use isl for ar
g
u
ment parsing
commit
|
commitdiff
|
tree
2010-06-01
S
v
en Verdoolae
g
e
u
pdate isl for keep
i
ng
track of use
r
options
commit
|
commitdiff
|
tree
2010-05-19
S
ven Verdoolaege
tes
t
_b
o
u
nd: rewrite in C
commit
|
commitdiff
|
tree
2010-05-19
S
v
en Verdoolae
g
e
upda
t
e
isl f
o
r he
l
p m
e
ssage pr
i
nting
commit
|
commitdiff
|
tree
2010-05-15
Sven
Verd
o
olae
g
e
remove e
v
alue_o
p
timum
commit
|
commitdiff
|
tree
2010-05-15
Sve
n
V
e
r
d
oolaege
remove evalue_rang
e
_propag
a
tion
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdo
o
laege
test_bound: use
isl interface
f
o
r
computing b
o
unds
commit
|
commitdiff
|
tree
2010-05-15
S
v
en Verdoo
l
aege
bar
v
inok_b
o
und: use
is
l
interf
a
c
e
for computing bounds
commit
|
commitdiff
|
tree
2010-05-14
Sven
V
er
d
oolaege
iscc: support
ub even if
G
iNaC support was not
c
o
mpiled in
commit
|
commitdiff
|
tree
2010-05-14
Sven Ver
d
oolaege
a
d
d generic isl
_
pw_qpolynomial_bou
n
d
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
update i
s
l f
o
r isl
_
pw_
q
polyn
o
mi
a
l_bo
u
nd_range
commit
|
commitdiff
|
tree
2010-05-14
Sven Ve
r
doolaege
test_bound: u
s
e isl d
u
ring ve
r
ifi
c
ation
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
b
arvinok_bound:
u
se i
s
l during verification
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
verify
.
c
:
ex
t
ra
c
t some help
e
r fu
n
ctions
f
or isl based
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
S
v
en
Verdoo
l
aege
introduce "bound
"
option
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
options
.
c: fix
p
rint
f
format
commit
|
commitdiff
|
tree
2010-05-10
S
v
en Verdool
a
ege
iscc: add
a
ppli
c
atio
n
o
pe
r
ations
commit
|
commitdiff
|
tree
2010-04-24
S
ve
n
Verdoolaege
i
s
cc: ad
d
r
e
ad operation
commit
|
commitdiff
|
tree
2010-04-24
Sven Ve
r
doolaege
iscc: f
r
ee options
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoo
l
a
e
ge
u
p
date isl for
r
eading of
s
t
rings
commit
|
commitdiff
|
tree
2010-04-21
Sven Ve
r
doolae
g
e
updat
e
isl for f
i
x
i
n isl_printe
r
_print_pw_qpolynomial
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Ver
d
oolaeg
e
update isl-polylib for cha
n
ge in
pkg-conf
i
g file
commit
|
commitdiff
|
tree
2010-04-21
Sv
e
n Ver
d
oolaege
i
scc: allo
w
specificat
i
on of outpu
t
format
commit
|
commitdiff
|
tree
2010-04-13
S
v
en V
e
rdoolaege
upd
a
te isl for cha
n
ge in isl_set_gist arg
u
ment
commit
|
commitdiff
|
tree
2010-04-11
Sve
n
Verdoolaege
up
d
ate isl for
rename of isl_map_move
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaege
configur
e
.
in: add isl flags and l
i
bs to pkg-config
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
S
ven Verd
o
ol
a
eg
e
isc
c
: test isl
_
st
r
eam for eo
f
rat
h
er than the underlying
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
S
v
e
n
V
erdoolaeg
e
is
c
c:
a
dd deltas operation
commit
|
commitdiff
|
tree
2010-04-07
Sve
n
V
erdoolaege
u
pdate isl fo
r
fix
i
n isl_
m
ap_
d
eltas
commit
|
commitdiff
|
tree
2010-04-04
Sven Verdoolaeg
e
dro
p
barvinok_enumerate
_
pip_with_opti
o
ns
commit
|
commitdiff
|
tree
2010-04-01
Sven
Verdoolaege
iscc
:
a
d
d cros
s
p
r
oduct operations
commit
|
commitdiff
|
tree
2010-03-31
Sven Ve
r
doolaege
iscc: add coalesce
operations
commit
|
commitdiff
|
tree
2010-03-30
Sven Verd
o
ol
a
ege
update isl for is
l
_pw_qpolyn
o
m
i
al
_
coalesce
commit
|
commitdiff
|
tree
2010-03-27
Sven
V
erdo
o
la
e
ge
drop "Omega cou
n
ting calculator"
commit
|
commitdiff
|
tree
2010-03-27
Sv
e
n
V
erdo
o
laege
t
est_bound
.
cc
:
fix printf f
o
rmat
commit
|
commitdiff
|
tree
2010-03-27
Sv
e
n
Verdoolaege
bernstein
.
cc: fix printf format
commit
|
commitdiff
|
tree
2010-03-27
S
v
en Ver
d
oolaege
e
va
l
ue_ra
n
ge_
p
ropag
a
tion:
f
ix su
b
stituti
o
n for n
e
ga
t
ive
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
bernst
e
in
/
configure
.
in
:
u
s
e
abso
l
ute s
r
c
d
ir o
f
P
ol
y
Li
b
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdool
a
e
ge
only
di
s
tribu
t
e
b
undled submod
u
les
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
u
p
date o
m
ega
f
or conf
i
guration issue
commit
|
commitdiff
|
tree
2010-03-25
S
ven Ve
r
doolaege
c
o
nfigure
.
i
n
: allow "b
u
ild"
P
olyLi
b
commit
|
commitdiff
|
tree
2010-03-25
S
ven
V
erdoolaege
isl_qpolynomial
_
fo
l
d_from_gin
a
c: han
d
l
e fa
i
l nodes
commit
|
commitdiff
|
tree
2010-03-25
Sven
Verdoolaege
is
l
_
qp
o
lynomial_from_gina
c
:
expand ex before inspection
commit
|
commitdiff
|
tree
2010-03-25
Sven Verd
o
olaege
isl_obj_list
.
c: update to u
s
e of isl
_
p
r
i
nter
commit
|
commitdiff
|
tree
2010-03-18
S
v
e
n Verdoola
e
ge
is
c
c: a
d
d
gist operat
i
ons
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoola
e
ge
i
sl_pw_qpol
y
n
o
mial_
u
p
per_bou
n
d: set up variable v
e
ctor
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdo
o
laeg
e
iscc: add some co
m
parison operati
o
n
s
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoolaege
iscc: add
inve
r
se ope
r
ation
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdo
o
laege
iscc:
f
ix u
p
type
o
f find
_
matching_bin_op
commit
|
commitdiff
|
tree
2010-03-14
S
ven
Verdo
o
laege
isc
c
:
add af
f
ine hull
operati
o
n
commit
|
commitdiff
|
tree
2010-03-14
S
ven Verdo
o
l
a
e
g
e
iscc: add
o
perat
i
on
t
o construct universal
map
fro
m
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdool
a
ege
iscc:
ad
d
"joi
n
" ope
r
ation
commit
|
commitdiff
|
tree
2010-03-14
S
v
e
n
Verdoolaege
iscc: add intersect_domain operat
i
ons
commit
|
commitdiff
|
tree
2010-03-14
S
ven V
e
rdoolaege
iscc: allow overloading binary
ops
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolae
g
e
isc
c
: ad
d
m
ore dom operations
commit
|
commitdiff
|
tree
2010-03-14
Sven Ve
r
doola
e
ge
d
o
c:
r
eor
g
a
n
iz
e
table of isc
c
opera
t
io
n
s
commit
|
commitdiff
|
tree
2010-03-14
Sve
n
Verdoolaege
update isl
commit
|
commitdiff
|
tree
2010-03-10
S
ven
V
e
rdoolaege
barvinok 0
.
30
commit
|
commitdiff
|
tree
2010-03-10
Sv
e
n Ver
d
oolaege
A
UTHORS: update
support informat
i
on
commit
|
commitdiff
|
tree
2010-03-10
Sv
e
n V
e
rdoolaege
random
v
ector: doubl
e
size o
f
coefficients on e
a
c
h
attempt
commit
|
commitdiff
|
tree
2010-03-10
Sven V
e
rdo
o
laege
i
scc: sup
p
ort trans
i
tive closure
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdo
o
laege
u
p
date isl t
o
version 0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaeg
e
barvinok_e
.
cc:
enumerate_vd: remove unuse
d
var
i
a
bles
commit
|
commitdiff
|
tree
2010-03-09
S
ven Verdoolaege
evalue
.
c: Po
l
yhedron_Insert: add missi
n
g
return type
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
evalue
.
c: reduce_evalue: remove unused variable
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
r
d
oolaeg
e
iscc: add @ oper
a
to
r
commit
|
commitdiff
|
tree
2010-03-09
Sven Ver
d
oolae
g
e
isc
c
: ad
d
"ub"
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdool
a
ege
ad
d
is
l
_pw_qpolynom
i
al_u
p
per_bound
commit
|
commitdiff
|
tree
2010-03-09
Sven
Verdoolaege
iscc
:
ad
d
sum
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
ad
d
isl_pw_q
p
olynomi
a
l_sum
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
add isl
_
pw_qpolynomial_to_evalue
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdo
o
laege
update i
s
l for isl_pw_q
p
ol
y
nomial_fo
r
each_p
i
ece
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Verdo
o
l
a
ege
re
n
ame evalu
e
2isl
t
o isl_
p
w_q
p
oly
n
omial_from_evalue
commit
|
commitdiff
|
tree
2010-03-06
S
v
en Verdool
a
e
ge
iscc: detect more kinds of errors
commit
|
commitdiff
|
tree
2010-03-05
Sven
Verdoolaege
ba
r
vinok_enumerate: use isl during th
e
verification
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
a
dd iscc
commit
|
commitdiff
|
tree
2010-03-05
Sv
e
n Ve
r
doolaeg
e
add isl_set_ca
r
d a
n
d isl_map_card
commit
|
commitdiff
|
tree
2010-03-05
Sv
e
n Verd
o
olaege
add evalue2
i
sl
commit
|
commitdiff
|
tree
next