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
iscc: support codegen operation if CLooG is available
2010-07-31
Sven Verdoolae
g
e
i
s
c
c
:
s
up
p
ort
code
g
en operation if CLooG i
s
availabl
e
commit
|
commitdiff
|
tree
2010-07-31
Sven
Verdoolaege
i
s
cc: switch to
u
s
i
ng union
s
commit
|
commitdiff
|
tree
2010-07-31
Sv
e
n
Verdoolae
g
e
add isl_unio
n
_
p
w_qpolyn
o
mial_
s
u
m
commit
|
commitdiff
|
tree
2010-07-31
S
ve
n
Verd
o
olaege
add isl_union_map_card
commit
|
commitdiff
|
tree
2010-07-31
Sven Verd
o
olae
g
e
isl_pw_qpolynomial_sum:
t
ake tuple n
a
m
e
s i
n
to acc
o
unt
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
isl_map_card:
preserve full domain dimension inform
a
t
ion
commit
|
commitdiff
|
tree
2010-07-31
Sv
e
n Verd
o
olaege
up
d
ate isl fo
r
change in
isl_hash_tab
l
e_fore
a
ch
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
S
ven Verdoolaege
b
a
r
vinok_enumerate
.
c
c: fix prin
t
f f
o
rmat
commit
|
commitdiff
|
tree
2010-07-03
Sve
n
Verd
o
olaege
doc:
a
dd some more
p
apers
refering to the li
b
r
a
ry
commit
|
commitdiff
|
tree
2010-06-29
Sve
n
Verdoolaege
barvinok 0
.
31
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
upda
t
e
isl to version 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
configure
.
i
n
: p
r
operly
add
i
s
l flags and l
i
bs to pkg
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
S
v
en Verdoo
l
aege
con
f
igure
.
in: d
r
op call to gl_EARL
Y
commit
|
commitdiff
|
tree
2010-06-29
Sven Ver
d
oolaege
g
e
nfun
.
cc: fix printf format
commit
|
commitdiff
|
tree
2010-06-29
Sven
V
erdoolaeg
e
test_approx
.
c: fix printf for
m
at
commit
|
commitdiff
|
tree
2010-06-29
S
v
en Verd
o
olae
g
e
t
e
st_bound
.
c: fix printf format
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoola
e
ge
conf
i
gu
r
e
.
in
:
stop compiling Ome
g
a
b
y
def
a
ult
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdoolaege
v
e
rify_l
e
xsmalle
r
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdo
o
l
a
e
ge
eval
u
e
.
c: avoid
u
se
o
f
alloc
a
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
evalue_isl
.
c: fi
x
typo
commit
|
commitdiff
|
tree
2010-06-20
Sven
V
erdool
a
eg
e
iscc:
r
ecov
e
r fr
o
m
errors
commit
|
commitdiff
|
tree
2010-06-20
S
ven Ver
d
oolaege
u
p
date isl f
o
r improved er
r
or handlin
g
commit
|
commitdiff
|
tree
2010-06-19
Sven V
e
r
d
oolaege
isc
c
.
c
: fix typo
commit
|
commitdiff
|
tree
2010-06-13
Sven Verdoolaege
doc: iscc: update
documenta
t
ion of "ub" operato
r
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
tes
t
_
approx: inclu
d
e ct
y
pe
.
h for isspace
commit
|
commitdiff
|
tree
2010-06-12
Sven
Ve
r
doo
l
ae
g
e
test_ap
p
r
o
x:
incl
u
d
e config
.
h for HAVE_SYS
_
TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
te
s
t_
b
ound: i
n
clu
d
e config
.
h for HAVE_SYS_T
I
MES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven
Ve
r
doolaege
isc
c
: add
vertice
s
operations
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
o
ptionally use isl
t
o perfor
m
paramet
r
ic vertex enu
m
eration
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoola
e
g
e
upda
t
e isl-polylib for
h
a
ndl
i
ng of rati
o
nal sets
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdo
o
lae
g
e
drop distin
c
t
ion betwee
n
barvinok
-
c
o
re
a
nd
b
arvinok
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
remove be
r
nste
i
n
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Ver
d
o
o
laege
update is
l
for generic i
s
l_
p
w
_qp
o
lyn
o
mial_
b
ound
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
l
aeg
e
c
onfig
u
r
e
.
i
n: drop bv_omega_
p
rograms
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
add isl_ctx_peek_barvinok_options
commit
|
commitdiff
|
tree
2010-06-07
Sven
V
erdoolaege
iscc: parse barvinok o
p
tions
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
export isl_qpol
y
nomial_from_ev
a
lue
commit
|
commitdiff
|
tree
2010-06-01
Sv
e
n Verdool
a
ege
Makefi
l
e
.
am:
drop
d
e
p
endence on doc
/
omega
.
tex
commit
|
commitdiff
|
tree
2010-06-01
Sven V
e
rdoolaege
updat
e
isl for ren
a
me of isl_pw_qpolynomial_move
commit
|
commitdiff
|
tree
2010-06-01
Sv
e
n V
e
rdo
o
laege
verif_ehrhar
t
.
c
:
add mis
s
ing include
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
configure
.
in: fix
t
ypo
commit
|
commitdiff
|
tree
2010-06-01
S
ven Verdoolaege
u
se
i
sl for argument
par
s
ing
commit
|
commitdiff
|
tree
2010-06-01
Sven
V
erd
o
olaege
update
i
sl for keeping track of use
r
op
t
ions
commit
|
commitdiff
|
tree
2010-05-19
Sven Verd
o
olaege
t
est_
b
ound
:
rewri
t
e
i
n C
commit
|
commitdiff
|
tree
2010-05-19
Sven Verdoolaege
update isl
f
or help m
e
ssage p
r
inting
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
remove e
v
alue_optimum
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolae
g
e
re
m
o
v
e evalue_range
_
pro
p
agation
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
test_bound
:
use isl inter
f
ace fo
r
computing bounds
commit
|
commitdiff
|
tree
2010-05-15
Sve
n
Verdoolaege
ba
r
vino
k
_bound: u
s
e isl interface
f
or compu
t
ing bound
s
commit
|
commitdiff
|
tree
2010-05-14
Sve
n
Verdoo
l
ae
g
e
iscc: support ub ev
e
n
if GiNaC support was
not
c
o
m
piled in
commit
|
commitdiff
|
tree
2010-05-14
Sven Ve
r
doolaege
ad
d
generic isl_pw_qpolyno
m
i
al_bound
commit
|
commitdiff
|
tree
2010-05-14
Sven V
e
rdoolaege
u
p
date isl for
i
s
l
_pw_qpolynomial_bou
n
d_range
commit
|
commitdiff
|
tree
2010-05-14
S
ven Verdoolaege
test_bound: use isl du
r
ing
verifi
c
a
t
ion
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoo
l
aege
bar
v
inok
_
b
ound:
u
s
e isl during verifica
t
i
on
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdo
o
laege
verif
y
.
c: ex
t
ract
som
e
help
e
r f
u
ncti
o
ns for isl base
d
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sve
n
Verdoolaege
introd
u
ce "b
o
u
nd" option
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n Verdoolaege
option
s
.
c: fix pr
i
ntf
f
o
r
mat
commit
|
commitdiff
|
tree
2010-05-10
Sven Verd
o
olaege
i
s
cc: add application operation
s
commit
|
commitdiff
|
tree
2010-04-24
Sve
n
V
erdoo
l
aege
isc
c
: add rea
d
operation
commit
|
commitdiff
|
tree
2010-04-24
Sven
V
erdoolaege
iscc: free options
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdo
o
laege
upd
a
te isl for reading of strings
commit
|
commitdiff
|
tree
2010-04-21
Sven Ver
d
oolaege
u
p
da
t
e
isl
f
or
fix in
i
sl_pri
n
te
r
_print_pw_qpolyno
m
i
a
l
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
S
ven
Verdoolaege
update isl
-
poly
l
ib for
c
h
ang
e
in pkg-config file
commit
|
commitdiff
|
tree
2010-04-21
S
v
en V
e
rd
o
olae
g
e
iscc
:
allow
spe
c
ification of
output forma
t
commit
|
commitdiff
|
tree
2010-04-13
Sven
V
e
rdoolaege
update isl
for change in isl_set_gist argument
commit
|
commitdiff
|
tree
2010-04-11
Sven Verdoolaege
update isl for r
e
n
ame of
isl_map_move
commit
|
commitdiff
|
tree
2010-04-10
Sven
V
e
rdoo
l
aege
con
f
i
g
ure
.
in: add
i
s
l fl
a
gs and
libs to pk
g
-
config
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sve
n
Verdoo
l
aege
iscc: test isl_
s
t
r
e
am f
o
r e
o
f rather th
a
n the underlyin
g
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
iscc: add d
e
ltas operat
i
o
n
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
u
p
date isl for fix in isl_map_d
e
ltas
commit
|
commitdiff
|
tree
2010-04-04
Sven Verdoolaege
drop barvin
o
k_enu
m
erate_pip
_
with_options
commit
|
commitdiff
|
tree
2010-04-01
Sven Verdoolaege
i
scc:
a
d
d
cross
product operations
commit
|
commitdiff
|
tree
2010-03-31
S
ven Verdoola
e
ge
iscc: ad
d
coales
c
e operations
commit
|
commitdiff
|
tree
2010-03-30
Sven V
e
rd
o
olaege
update isl
for
isl_p
w
_qpoly
n
omial_coalesce
commit
|
commitdiff
|
tree
2010-03-27
Sve
n
Verdoola
e
ge
dro
p
"Om
e
ga c
o
unting calculator"
commit
|
commitdiff
|
tree
2010-03-27
Sven V
e
rd
o
olaeg
e
te
s
t_bo
u
n
d
.
cc: fix printf format
commit
|
commitdiff
|
tree
2010-03-27
Sv
e
n
V
erdoola
e
ge
bernstein
.
cc:
f
ix pr
i
ntf format
commit
|
commitdiff
|
tree
2010-03-27
Sven Verd
o
olae
g
e
evalue_r
a
nge_pro
p
a
g
a
t
ion:
f
ix substituti
o
n
for negative
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
S
v
en Ver
d
oolaege
bernstei
n
/configu
r
e
.
in: use absolute srcdir of PolyL
i
b
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Ver
d
oolaege
only dist
r
ibute bun
d
led su
b
m
odul
e
s
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
upda
t
e omega for
c
onfigurati
o
n is
s
ue
commit
|
commitdiff
|
tree
2010-03-25
Sv
e
n Verdoolaege
confi
g
ure
.
in:
a
llow
"
bui
l
d" PolyL
i
b
commit
|
commitdiff
|
tree
2010-03-25
Sv
e
n Verdoolaege
is
l
_qpolynomial_fold_fr
o
m_gi
n
ac: ha
n
dle
fail
nodes
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdo
o
l
aege
isl_qpolynomial_from_ginac: expand ex before inspection
commit
|
commitdiff
|
tree
2010-03-25
Sven Ve
r
doolae
g
e
isl_
o
bj_list
.
c:
updat
e
to use of isl_pr
i
nter
commit
|
commitdiff
|
tree
2010-03-18
Sv
e
n Ve
r
doolaege
iscc
:
add gist opera
t
ion
s
commit
|
commitdiff
|
tree
2010-03-18
Sve
n
V
e
rdoolaege
upda
t
e
isl f
o
r introduc
t
io
n
o
f
i
sl_printer
commit
|
commitdiff
|
tree
2010-03-18
Sven
V
erdoolaege
isl_p
w
_qpolynomial_upper_bou
n
d: s
e
t
up va
r
i
able
v
ector
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sv
e
n Verdoolaege
iscc: add some comparison operations
commit
|
commitdiff
|
tree
2010-03-15
Sven Verd
o
o
laeg
e
i
s
cc: add inverse
o
p
e
rati
o
n
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoo
l
aege
is
c
c: fi
x
up t
y
pe of find_matching_bin_op
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolae
g
e
iscc: add affine hull operat
i
on
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc: a
d
d
o
peration
to
c
o
n
s
truct universal map from
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc: add "join
"
o
p
eration
commit
|
commitdiff
|
tree
2010-03-14
Sven V
e
rd
o
ol
a
e
ge
i
s
cc: add inter
s
ect_domai
n
operations
commit
|
commitdiff
|
tree
2010-03-14
Sve
n
Ve
r
doolaege
iscc: a
l
low overloading
b
inary ops
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n Verdoolaege
iscc: a
d
d more dom o
p
erations
commit
|
commitdiff
|
tree
2010-03-14
Sven V
e
rd
o
ola
e
g
e
doc: reorgani
z
e t
a
ble of iscc
operations
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdool
a
ege
u
p
d
a
te isl
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoola
e
ge
barvinok 0
.
30
commit
|
commitdiff
|
tree
next