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.c: avoid use of alloca
2010-06-27
Sven Verdoolaeg
e
eval
u
e
.
c: av
o
id use o
f
alloca
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
Verdoolaege
e
v
a
lue_isl
.
c: f
i
x typo
commit
|
commitdiff
|
tree
2010-06-20
Sven
Ver
d
oolaege
iscc: recove
r
from err
o
r
s
commit
|
commitdiff
|
tree
2010-06-20
Sven
Verd
o
olaege
u
pdate isl f
o
r improved e
r
ror hand
l
ing
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
iscc
.
c: fi
x
typo
commit
|
commitdiff
|
tree
2010-06-13
S
v
e
n Ver
d
o
o
laege
doc: iscc: upda
t
e documentation of
"
ub" o
p
erator
commit
|
commitdiff
|
tree
2010-06-12
S
ven
V
erdoolaege
test_approx: include ct
y
pe
.
h for issp
a
c
e
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
t
est_appr
o
x: include config
.
h for HAVE_S
Y
S_TI
M
ES_
H
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoola
e
ge
test_bound: include co
n
fig
.
h for HAVE_SYS_TIME
S
_H
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolae
g
e
iscc: add vertic
e
s
opera
t
ions
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaeg
e
op
t
ionall
y
use i
s
l to per
f
orm par
a
m
etric ve
r
t
e
x enumer
a
tio
n
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaeg
e
u
pdate isl-pol
y
lib for
handling o
f
rationa
l
sets
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
drop distinction between barvinok
-
core and ba
r
vinok
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
remo
v
e bernst
e
in
commit
|
commitdiff
|
tree
2010-06-12
S
v
en
V
erdoolaege
update i
s
l for generic isl_pw_qpolynomial_b
o
und
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
configur
e
.
i
n:
d
rop
b
v
_omega_programs
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
d
oolaege
add isl_ctx_p
e
ek_barvin
o
k_opt
i
ons
commit
|
commitdiff
|
tree
2010-06-07
S
ven Ver
d
oo
l
aege
i
scc: parse b
a
rvino
k
options
commit
|
commitdiff
|
tree
2010-06-01
Sven V
e
rdoolaege
export isl_q
p
olynomial
_
from_eva
l
ue
commit
|
commitdiff
|
tree
2010-06-01
Sven V
e
rdoolae
g
e
Makefile
.
am: drop d
e
pen
d
e
n
ce o
n
doc/omega
.
tex
commit
|
commitdiff
|
tree
2010-06-01
S
v
en V
e
rd
o
olaege
update
i
sl for rename of isl_pw_qpolynomial_mo
v
e
commit
|
commitdiff
|
tree
2010-06-01
Sven
V
erdool
a
ege
ver
i
f
_eh
r
hart
.
c: add missi
n
g
includ
e
commit
|
commitdiff
|
tree
2010-06-01
Sven Verd
o
o
laege
configu
r
e
.
i
n: fix typo
commit
|
commitdiff
|
tree
2010-06-01
Sven Ve
r
d
oolaege
us
e
isl for argu
m
e
nt parsing
commit
|
commitdiff
|
tree
2010-06-01
Sven V
e
rd
o
olae
g
e
update is
l
for keepi
n
g track of user options
commit
|
commitdiff
|
tree
2010-05-19
Sven Ver
d
o
o
laege
test_boun
d
: rewrite in C
commit
|
commitdiff
|
tree
2010-05-19
Sven Verdoo
l
a
eg
e
update is
l
for help me
s
sag
e
printi
n
g
commit
|
commitdiff
|
tree
2010-05-15
Sv
e
n
Verdool
a
ege
remove evalue_op
t
imum
commit
|
commitdiff
|
tree
2010-05-15
Sven
Verdoolaege
remove e
v
alue_
r
ange_pr
o
pagation
commit
|
commitdiff
|
tree
2010-05-15
Sven
V
e
rdoo
l
aege
t
e
s
t_bound
:
use isl
interface for computing bounds
commit
|
commitdiff
|
tree
2010-05-15
Sven
V
erdoolaege
ba
r
vinok_bou
n
d: use isl
i
nt
e
rface for com
p
uting bounds
commit
|
commitdiff
|
tree
2010-05-14
Sve
n
V
erdoolaeg
e
isc
c
:
support ub
even if Gi
N
aC
su
p
p
ort was not
c
ompiled in
commit
|
commitdiff
|
tree
2010-05-14
S
ven Ver
d
ool
a
ege
add g
e
n
eric isl_p
w
_qpolynom
i
a
l_
b
ou
n
d
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaeg
e
update isl for is
l
_pw_qpol
y
nomial_bound_ra
n
ge
commit
|
commitdiff
|
tree
2010-05-14
Sven
Ve
r
d
oolaege
te
s
t_bound: use
i
sl duri
n
g v
e
rificat
i
on
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n
Ve
r
d
oola
e
g
e
barvinok_bound: use is
l
durin
g
verification
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaeg
e
v
erify
.
c: ext
r
act some
h
elper functi
o
ns for isl based
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
S
ve
n
V
erdool
a
e
g
e
introdu
c
e "bound" op
t
ion
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
o
pt
i
o
n
s
.
c: fix printf format
commit
|
commitdiff
|
tree
2010-05-10
S
ven
V
erdoolaege
iscc: add
ap
p
lica
t
ion o
p
e
rations
commit
|
commitdiff
|
tree
2010-04-24
S
v
e
n
Verdo
o
l
ae
g
e
iscc: add read o
p
eration
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoolaege
iscc: fre
e
options
commit
|
commitdiff
|
tree
2010-04-24
Sve
n
V
e
rdoolaege
up
d
ate isl
f
o
r
readin
g
of strings
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoo
l
aege
updat
e
isl
f
or fix in isl_print
e
r
_
pr
i
n
t_pw_qpolynomial
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Ve
r
do
o
la
e
ge
upda
t
e isl-polylib
for
c
h
a
nge in pkg-config file
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
iscc: allo
w
specification
o
f
out
p
ut format
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoolae
g
e
upda
t
e
i
sl for change in
i
s
l_set
_
gi
s
t
a
rgument
commit
|
commitdiff
|
tree
2010-04-11
Sven
Verdo
o
laege
updat
e
isl
f
or rename of isl_map_move
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaege
configure
.
in: add isl flags and
l
i
bs to
p
k
g
-config
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
is
c
c: tes
t
isl_stream for eof rather than the underly
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven
Ver
d
oolaege
isc
c
: add delta
s
opera
t
ion
commit
|
commitdiff
|
tree
2010-04-07
Sven Ve
r
doolaege
update isl for fix
i
n is
l
_
map_deltas
commit
|
commitdiff
|
tree
2010-04-04
Sven Verdoo
l
aege
d
r
o
p
barvinok_
e
n
umerat
e
_pip_
w
ith_opti
o
ns
commit
|
commitdiff
|
tree
2010-04-01
Sven Ve
r
doolaege
iscc:
add cr
o
ss
p
rodu
c
t
o
p
e
ratio
n
s
commit
|
commitdiff
|
tree
2010-03-31
Sven
V
e
r
d
o
o
laege
iscc: add coale
s
ce operations
commit
|
commitdiff
|
tree
2010-03-30
Sven Verd
o
olaege
u
p
d
ate isl fo
r
isl_pw_qpo
l
ynomial_coales
c
e
commit
|
commitdiff
|
tree
2010-03-27
Sve
n
Ve
r
dool
a
ege
drop "
O
me
g
a c
o
unting calculator"
commit
|
commitdiff
|
tree
2010-03-27
Sv
e
n Ver
d
oolaeg
e
test_bound
.
c
c
: fix print
f
format
commit
|
commitdiff
|
tree
2010-03-27
Sve
n
Verdoolaege
bern
s
tein
.
c
c
: fix
p
r
i
ntf forma
t
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
e
v
alue
_
r
a
nge_propagation: fix
sub
s
titution for n
e
gative
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
S
v
en Verdoolaege
b
e
rnst
e
i
n/configure
.
in: use abso
l
ute srcdir of Pol
y
Lib
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven
Verdoolaege
only distrib
u
t
e
b
u
ndled s
u
bmo
d
ules
commit
|
commitdiff
|
tree
2010-03-25
S
v
en Verdoolae
g
e
update omega for configuratio
n
issue
commit
|
commitdiff
|
tree
2010-03-25
Sve
n
Verdoola
e
ge
configure
.
in: allow "build" Po
l
yLib
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
isl_qpoly
n
omial_fold
_
from_gi
n
ac: handle f
a
il nodes
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoola
e
ge
isl_qpolyn
o
mi
a
l
_
from
_
ginac: ex
p
and ex
b
efore inspecti
o
n
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
isl_obj_l
i
st
.
c:
u
pdate to use of isl_print
e
r
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
iscc:
add gist operations
commit
|
commitdiff
|
tree
2010-03-18
Sv
e
n Verdo
o
la
e
g
e
update isl
f
or introductio
n
of isl_printer
commit
|
commitdiff
|
tree
2010-03-18
Sven V
e
rdoolaege
is
l
_pw_qpolynomial_upper_bound: s
e
t
u
p variable
vector
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sven Ve
r
d
o
olaege
i
scc: add some compariso
n
ope
r
ations
commit
|
commitdiff
|
tree
2010-03-15
Sven Ve
r
doolaege
iscc: add in
v
e
rs
e
opera
t
ion
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoolaege
iscc: fix
u
p
type of find_mat
c
hing_bin_op
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n
Verdoolaege
iscc: add affi
n
e hull
o
peration
commit
|
commitdiff
|
tree
2010-03-14
Sven
V
er
d
o
olae
g
e
iscc: add op
e
r
a
tion to constru
c
t universal
m
ap from
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolae
g
e
iscc:
add "jo
i
n" operat
i
on
commit
|
commitdiff
|
tree
2010-03-14
Sve
n
Ve
r
d
o
olaege
i
scc: add inters
e
c
t_domain operations
commit
|
commitdiff
|
tree
2010-03-14
Sve
n
V
er
d
o
ol
a
e
g
e
iscc: allow
o
verlo
a
di
n
g binary ops
commit
|
commitdiff
|
tree
2010-03-14
Sven V
e
rd
o
olae
g
e
iscc: add more
d
o
m
ope
r
ations
commit
|
commitdiff
|
tree
2010-03-14
S
v
en Verdoolaege
doc: reorganize tab
l
e
of iscc oper
a
t
i
o
ns
commit
|
commitdiff
|
tree
2010-03-14
S
v
en Ve
r
doolaeg
e
update isl
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
barvinok 0
.
30
commit
|
commitdiff
|
tree
2010-03-10
Sven Verd
o
olaege
AU
T
H
O
R
S: u
p
d
ate support information
commit
|
commitdiff
|
tree
2010-03-10
Sven Ve
r
doola
e
ge
randomvector: double size of coef
f
icients
o
n eac
h
attempt
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
iscc: support transitive clos
u
re
commit
|
commitdiff
|
tree
2010-03-10
Sven
V
e
rdoolaege
update
isl to ve
r
si
o
n 0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
erdool
a
ege
ba
r
vinok
_
e
.
cc: e
n
u
m
e
rate_
v
d: remove unus
e
d variables
commit
|
commitdiff
|
tree
2010-03-09
S
v
en
V
e
r
doolaege
eva
l
ue
.
c
: Polyhed
r
on_Insert: add missing return ty
p
e
commit
|
commitdiff
|
tree
2010-03-09
S
v
e
n Verdoolaege
evalue
.
c: reduce_evalue: remove unused
v
ariable
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
V
e
rdoolaege
i
s
cc: add @ ope
r
ator
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
i
scc:
a
d
d "ub"
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoo
l
a
ege
add isl_pw_qpolynomial_upper_bound
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
iscc
:
add
s
u
m
commit
|
commitdiff
|
tree
2010-03-09
Sven Verd
o
o
l
aege
add isl_pw_
q
polynomi
a
l
_sum
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoola
e
ge
add
i
sl
_
pw
_
qpo
l
y
nomial_to_eva
l
ue
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
update isl fo
r
isl_
p
w_qpoly
n
omial_foreach_pie
c
e
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
r
en
a
me evalu
e
2
is
l
to isl_pw_qpolyn
o
mi
a
l_from_
e
value
commit
|
commitdiff
|
tree
2010-03-06
Sven Verdoolaege
i
s
cc: detect more kinds of
e
r
r
ors
commit
|
commitdiff
|
tree
2010-03-05
Sve
n
Verdoo
l
aege
barvinok_e
n
umerate
:
use isl duri
n
g the ve
r
ification
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoola
e
ge
add
is
c
c
commit
|
commitdiff
|
tree
next