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
util.c: manual_count: use isl_val
2010-09-06
S
v
e
n
Ver
d
o
o
la
e
ge
i
scc
:
pri
n
t error messa
g
e o
n
use of unknown ident
i
f
i
er
commit
|
commitdiff
|
tree
2010-09-06
Sv
e
n Verdoo
l
aege
iscc:
support union
sets in vertices op
e
ration
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoolaege
a
dd isl_lis
t
_concat
commit
|
commitdiff
|
tree
2010-09-05
Sven Verdoola
e
ge
ba
r
vinok_bound: use isl to split pe
r
i
ods
commit
|
commitdiff
|
tree
2010-09-05
S
ven Ver
d
ool
a
ege
update isl
for
i
sl_
p
w
_qpolynomi
a
l_split_per
i
ods
commit
|
commitdiff
|
tree
2010-08-31
Sven V
e
rdo
o
laege
doc: mark PolyLi
b
inter
f
ac
e
obso
l
escent
commit
|
commitdiff
|
tree
2010-08-31
Sven Verdoolaege
Makefile
.
am: dro
p
references to o
b
so
l
e
te @bv_barvinok_bound@
commit
|
commitdiff
|
tree
2010-08-31
Sven V
e
r
doola
e
ge
evalue_convert
.
cc: eval
u
e_print_isl: pri
n
t end-
o
f-line
commit
|
commitdiff
|
tree
2010-08-30
Sven
V
erdoolae
g
e
isc
c
:
a
llow coe
r
cion
o
f
b
inar
y
lis
t
into first element
commit
|
commitdiff
|
tree
2010-08-28
Sven Verd
o
olaege
barvinok_b
o
und: c
o
nvert to isl_pw_qpolynomi
a
l onc
e
commit
|
commitdiff
|
tree
2010-08-28
Sven Verd
o
olaege
barvinok
_
bound: use isl to split on domai
n
size
commit
|
commitdiff
|
tree
2010-08-26
Sven V
e
rdoolaeg
e
set
s
ensi
b
l
e
defaults with
-
-
polyno
m
i
a
l-approxi
m
at
i
o
n
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sve
n
Verdoolaege
isl_pw_qpolynomi
a
l_sum: reuse barvinok_opti
o
ns i
f
available
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verd
o
olaege
isl
_
map_
c
a
rd: reuse barvinok_options
if availa
b
le i
n
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
S
v
en Ver
d
oolaege
update isl for aligni
n
g paramet
e
rs
o
f
union arguments
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolae
g
e
iscc:
a
dd
"
join" operation on
f
olds
commit
|
commitdiff
|
tree
2010-08-18
S
v
e
n Verdoolae
g
e
iscc: add
"join" op
e
r
ation on
maps and
folds
commit
|
commitdiff
|
tree
2010-08-18
Sven Ver
d
oola
e
ge
isc
c
:
support
a
ddit
i
on
on a pai
r
o
f
a fold and a quasipolyno
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
update isl for adding types
to isl_{uni
o
n_,}pw_qpolynomial_fol
d
s
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaeg
e
allow codeg
e
n o
n
sets
commit
|
commitdiff
|
tree
2010-08-18
Sv
e
n Verdoolae
g
e
iscc:
code
g
en: det
e
ct
s
t
rides
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
iscc: us
e
s
i
mpl
i
fied CLooG interface
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdool
a
e
ge
update isl for renam
e
of isl_pw
_
q
p
olynomi
a
l_fold
_
add
commit
|
commitdiff
|
tree
2010-08-18
S
v
en Ve
r
do
o
laege
iscc
.
c: union_pw_qpolynom
i
al_u
p
per_bound: fix
m
e
m
ory
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
summat
e
.
c
: fix typo
i
n co
m
ment
commit
|
commitdiff
|
tree
2010-08-17
Sve
n
Verdoo
l
aege
is
l
_map_apply_pw_qpolyn
o
m
i
al: fix typo
commit
|
commitdiff
|
tree
2010-08-10
Sven
V
erdoolaege
update isl fr
o
m isl_union_ma
p
fixes
commit
|
commitdiff
|
tree
2010-08-10
Sven Verdoolaege
iscc
:
al
l
ow inverse
o
n non-u
n
ion m
a
ps again
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolae
g
e
is
c
c:
a
dd wrap and
unwrap operations
commit
|
commitdiff
|
tree
2010-08-05
S
v
en Ve
r
d
o
ola
e
ge
add i
s
l
_
union_map_apply_union_pw_qpolynom
i
al
commit
|
commitdiff
|
tree
2010-08-05
Sve
n
Verdoolaege
isl_pw
_
qpolynomial_sum: handle isl
_
pw
_
q
pol
y
nomials
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven V
e
rd
o
ol
a
ege
update isl for
n
e
sted dim
e
nsi
o
n specifications
commit
|
commitdiff
|
tree
2010-08-05
Sven Ve
r
doolaege
isl_m
a
p_c
a
rd: pos
t
p
o
ne shuffli
n
g a
r
o
u
n
d
o
f
dimensions
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaeg
e
update isl for isl_basic_map_move_di
m
s
commit
|
commitdiff
|
tree
2010-08-04
Sven
V
e
rdoolaege
isl_pw_qpo
l
ynom
i
al_sum: push c
o
n
v
e
r
sion to
P
olyL
i
b
.
.
.
commit
|
commitdiff
|
tree
2010-08-04
Sven
Verdoo
l
aege
i
sl_
p
w_qpol
y
nom
i
al_sum: ch
e
ck for
u
nbo
u
nded domains
commit
|
commitdiff
|
tree
2010-08-02
Sv
e
n Verd
o
olaeg
e
avoid use of isl_dim internal
s
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
iscc: support co
d
e
g
en
oper
a
t
i
on if CLooG is
available
commit
|
commitdiff
|
tree
2010-07-31
Sv
e
n
V
erdoola
e
ge
iscc: switc
h
to
u
s
i
n
g
union
s
commit
|
commitdiff
|
tree
2010-07-31
Sven V
e
rdoolae
g
e
add
isl_union_pw_qpolynomial
_
sum
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdool
a
ege
a
d
d
isl_un
i
on_map_
c
a
rd
commit
|
commitdiff
|
tree
2010-07-31
Sven Ve
r
doolaege
isl_pw_qpolynom
i
al
_
sum: take tu
p
le names
i
nto a
c
count
commit
|
commitdiff
|
tree
2010-07-31
Sv
e
n
V
e
r
d
oolaege
isl_ma
p
_card: preserve full do
m
ain d
i
m
e
ns
i
o
n
inf
o
rm
a
tion
commit
|
commitdiff
|
tree
2010-07-31
Sv
e
n
V
erdoolaege
u
p
date
i
s
l
for ch
a
nge in isl_hash_table_for
e
ach
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sv
e
n Verdoola
e
ge
barvinok
_
enu
m
erat
e
.
cc: fix
p
rintf fo
r
ma
t
commit
|
commitdiff
|
tree
2010-07-03
S
v
en Verdoolae
g
e
doc:
add so
m
e more papers ref
e
r
i
n
g to the libra
r
y
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolae
g
e
barvino
k
0
.
3
1
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdo
o
laege
upd
a
te isl t
o
versi
o
n 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sv
e
n Verdool
a
ege
configure
.
in: properly ad
d
isl fl
a
g
s and libs t
o
pk
g
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
Sv
e
n
Verdoolaege
con
f
igure
.
i
n
:
d
rop call to gl_EARLY
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdo
o
l
a
ege
genfun
.
cc: f
i
x
printf fo
r
ma
t
commit
|
commitdiff
|
tree
2010-06-29
Sven V
e
rdoolaege
t
est_approx
.
c: fix printf format
commit
|
commitdiff
|
tree
2010-06-29
S
ven Verdo
o
laege
te
s
t_bound
.
c:
f
i
x printf
format
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolae
g
e
c
on
f
igure
.
i
n: st
o
p
compiling
O
m
ega by d
e
fault
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdoolaege
verify_lex
s
maller
.
c: fix typ
o
commit
|
commitdiff
|
tree
2010-06-27
S
v
e
n
Verdoo
l
aege
ev
a
lue
.
c: avoid use o
f
alloca
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
e
va
l
ue_i
s
l
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-20
S
ven Verdoo
l
aege
is
c
c: re
c
o
ver from errors
commit
|
commitdiff
|
tree
2010-06-20
Sven Verdoolaeg
e
update i
s
l f
o
r i
m
proved err
o
r handling
commit
|
commitdiff
|
tree
2010-06-19
S
ven
Verdoolaege
iscc
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-13
Sven Verdoo
l
aege
doc: isc
c
:
upd
a
t
e
documentat
i
on of "ub" ope
r
ator
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laege
test
_
appro
x
:
in
c
l
u
de ctype
.
h for isspace
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Ver
d
oolaege
test_approx: include con
f
ig
.
h for HAVE_S
Y
S_TIMES_
H
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aege
t
est
_
b
o
und: inclu
d
e c
o
nfig
.
h for HAVE_
S
YS_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
S
ven
V
er
d
o
o
l
aege
iscc
:
add vertices ope
r
a
tions
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verd
o
olaege
o
ption
a
lly us
e
isl to perform parametric
v
ertex enum
e
rati
o
n
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Ver
d
oolaege
update
i
sl-polyli
b
f
or
handling
of ratio
n
al se
t
s
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
d
o
olaege
d
rop disti
n
ction between barvino
k
-core and barvin
o
k
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
remove
b
erns
t
ein
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n Verdoolaege
u
p
date i
s
l for gene
r
ic
isl_pw_qpolyn
o
m
i
al_bound
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaeg
e
configure
.
in: drop bv_omega_
p
ro
g
rams
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
V
e
r
doolaege
ad
d
i
sl_ctx_peek_ba
r
v
inok_
o
ptions
commit
|
commitdiff
|
tree
2010-06-07
Sven V
e
rdoolaege
i
scc: parse bar
v
i
no
k
options
commit
|
commitdiff
|
tree
2010-06-01
Sve
n
Verdoolaege
export isl_qpol
y
nom
i
al
_
from_
e
valu
e
commit
|
commitdiff
|
tree
2010-06-01
Sven
Verdoo
l
aege
M
akefile
.
am: d
r
op dependence
on doc/omega
.
tex
commit
|
commitdiff
|
tree
2010-06-01
S
v
en Verd
o
olaege
up
d
a
t
e isl for rename of isl_pw_qpolyn
o
mia
l
_m
o
ve
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
verif_ehrhart
.
c: add missing include
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdo
o
la
e
ge
configure
.
in:
fix ty
p
o
commit
|
commitdiff
|
tree
2010-06-01
Sven
V
erdoolaege
use isl
f
or argument
p
ar
s
i
n
g
commit
|
commitdiff
|
tree
2010-06-01
Sven V
e
r
doo
l
aege
update isl for
k
e
epin
g
track of u
s
er options
commit
|
commitdiff
|
tree
2010-05-19
Sven Verdoolaege
tes
t
_bound: re
w
rite
in C
commit
|
commitdiff
|
tree
2010-05-19
Sven V
e
rd
o
ol
a
ege
update i
s
l for
h
el
p
message pri
n
t
i
ng
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolae
g
e
rem
o
ve evalue_optimum
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdo
o
laege
remove evalue
_
range_propaga
t
ion
commit
|
commitdiff
|
tree
2010-05-15
Sven Ve
r
doolaege
te
s
t
_b
o
und: use isl i
n
t
e
rface for comput
i
ng bounds
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
barvino
k
_bou
n
d: u
s
e
isl interface fo
r
comput
i
ng bounds
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
i
scc
:
support ub
even
if Gi
N
aC
su
p
p
o
rt
was
not
compiled in
commit
|
commitdiff
|
tree
2010-05-14
S
v
e
n Ver
d
ool
a
eg
e
a
dd g
e
neric isl_pw_
q
p
oly
n
omial_bound
commit
|
commitdiff
|
tree
2010-05-14
Sven Verd
o
olaege
update i
s
l
for isl_pw_qpolynomi
a
l_bound_range
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n
Verdo
o
laege
test_bound: us
e
is
l
during ver
i
f
ication
commit
|
commitdiff
|
tree
2010-05-14
S
v
e
n Verd
o
o
l
aege
barvino
k
_bound: use
isl during
v
erification
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
verify
.
c: extract som
e
helpe
r
fu
n
ction
s
for isl based
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
i
ntrodu
c
e "b
o
und" option
commit
|
commitdiff
|
tree
2010-05-14
Sve
n
Verdoo
l
aege
opti
o
n
s
.
c: fix
p
rintf for
m
at
commit
|
commitdiff
|
tree
2010-05-10
Sven V
e
rdoola
e
g
e
iscc: a
d
d
appl
i
cation operat
i
ons
commit
|
commitdiff
|
tree
2010-04-24
S
v
en Ver
d
oolaege
iscc: add read
operat
i
on
commit
|
commitdiff
|
tree
2010-04-24
Sven V
e
r
doolaege
iscc: free
o
ptions
commit
|
commitdiff
|
tree
2010-04-24
Sven Ve
r
doola
e
ge
u
pdate isl for reading
o
f
s
trings
commit
|
commitdiff
|
tree
2010-04-21
S
v
en Verdoolaege
u
pdate isl for fix
i
n
i
sl_printer_print_pw_q
p
oly
n
omial
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
S
ven Verdoolaege
u
p
date isl-polylib fo
r
change in
p
k
g-config file
commit
|
commitdiff
|
tree
next