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: print error message on use of unknown identifier
2010-09-06
Sven Verdoolaege
isc
c
: print error message on use of
unknown i
d
e
n
tifier
commit
|
commitdiff
|
tree
2010-09-06
Sven Ve
r
doolaege
iscc
:
suppor
t
union se
t
s
in vertices
o
p
e
rat
i
on
commit
|
commitdiff
|
tree
2010-09-06
Sve
n
Verd
o
olae
g
e
add isl_
l
i
st_concat
commit
|
commitdiff
|
tree
2010-09-05
Sven Verdoolae
g
e
barvinok_bound: use
i
s
l
t
o split periods
commit
|
commitdiff
|
tree
2010-09-05
Sven
V
e
rdoolaege
updat
e
is
l
for
i
s
l_pw_
q
poly
n
omial_spli
t
_pe
r
io
d
s
commit
|
commitdiff
|
tree
2010-08-31
S
v
e
n
Verdoolaege
d
o
c
: mark PolyLib interf
a
ce
obsol
e
sc
e
n
t
commit
|
commitdiff
|
tree
2010-08-31
Sven
Verdoolaege
Makefil
e
.
am: drop
references to obsolete @bv_barvinok_bound@
commit
|
commitdiff
|
tree
2010-08-31
Sven Verdoolaege
e
va
l
ue
_
convert
.
c
c
:
e
value_
p
rint_is
l
:
p
rint end-of-line
commit
|
commitdiff
|
tree
2010-08-30
Sven Verdoolae
g
e
iscc: allo
w
coercion
o
f
binary
list into
f
irst el
e
ment
commit
|
commitdiff
|
tree
2010-08-28
Sven
V
erdoo
l
aege
barvinok
_
boun
d
: conv
e
r
t
to
isl
_
p
w_qpol
y
n
omial once
commit
|
commitdiff
|
tree
2010-08-28
Sven Ve
r
do
o
laeg
e
b
arvinok_bound
:
use isl to split on domain size
commit
|
commitdiff
|
tree
2010-08-26
Sven
Verdoolaege
set sen
s
ible
d
e
f
au
l
ts wit
h
-
-
p
olynomial-ap
p
roxim
a
t
ion
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoolaege
isl_pw_qpolynomial
_
sum:
reuse barv
i
nok_options i
f
available
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven V
e
r
d
oolaege
isl_ma
p
_c
a
r
d
:
r
euse barv
i
n
ok_op
t
i
ons if
a
v
a
ilab
l
e in
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Ve
r
doolaege
update isl for a
l
ign
i
ng parameters
o
f union arguments
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Ver
d
o
olaege
iscc: a
d
d "j
o
in" operation
o
n folds
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoola
e
ge
i
scc: add "join" oper
a
tion on
maps and folds
commit
|
commitdiff
|
tree
2010-08-18
Sven
Verd
o
o
l
aege
i
scc:
s
upport addition o
n
a
pair of
a fold
and a quasipolyno
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
S
v
en Verdoolae
g
e
update i
s
l for adding t
y
pe
s
to isl_{union_,}pw_qpolynomia
l
_folds
commit
|
commitdiff
|
tree
2010-08-18
Sven
V
erd
o
olaege
allo
w
codegen on sets
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdo
o
l
a
e
ge
iscc: codegen: detect
st
r
ides
commit
|
commitdiff
|
tree
2010-08-18
Sv
e
n Verdoolaeg
e
is
c
c:
u
se simplified CLooG interface
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
updat
e
i
sl
f
or rename
o
f
i
s
l
_pw
_
qpolynomial_fold_ad
d
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdool
a
e
ge
iscc
.
c
:
union_pw_qpolynom
i
al_uppe
r
_bo
u
nd: fix memory
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
sum
m
ate
.
c
: fix typ
o
in com
m
ent
commit
|
commitdiff
|
tree
2010-08-17
S
v
en Verdoolaeg
e
i
s
l_m
a
p
_
a
p
ply_pw_qpolynomial: fix ty
p
o
commit
|
commitdiff
|
tree
2010-08-10
Sven Verdo
o
laege
update isl fro
m
isl_union_map fixe
s
commit
|
commitdiff
|
tree
2010-08-10
S
ven Verdoolaege
iscc: allow inverse on
n
on
-
u
n
ion maps again
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdo
o
laege
iscc:
a
dd wrap and un
w
rap
o
p
erations
commit
|
commitdiff
|
tree
2010-08-05
Sven
V
e
r
doolaege
add isl_union_map_apply_u
n
ion_pw_qp
o
l
ynomial
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
isl
_
p
w
_
qpolynomia
l
_sum: han
d
le
i
sl_pw_q
p
oly
n
omi
a
ls
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
update isl for nested dimension specifica
t
i
ons
commit
|
commitdiff
|
tree
2010-08-05
Sven
Verdoolaege
is
l
_map
_
c
a
rd: postpone sh
u
f
fling arou
n
d of
dimensio
n
s
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
S
ven Verdoo
l
aege
update isl for isl_b
a
s
ic_map_mov
e
_
d
i
ms
commit
|
commitdiff
|
tree
2010-08-04
S
v
en Verdoolaeg
e
isl_pw_qpol
y
nom
i
a
l
_sum: push
c
o
n
versio
n
t
o PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoo
l
aege
isl_pw_qpolynomial_s
u
m: check for unbounded domains
commit
|
commitdiff
|
tree
2010-08-02
Sv
e
n Verdo
o
lae
g
e
avoi
d
use
of isl_dim
internals
commit
|
commitdiff
|
tree
2010-07-31
Sven Ver
d
oola
e
ge
i
s
cc: support c
o
d
egen o
p
er
a
tion if CLooG is availa
b
le
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaeg
e
i
s
c
c: switc
h
to using
u
nions
commit
|
commitdiff
|
tree
2010-07-31
S
v
en Verd
o
olaege
add is
l
_union_pw_
q
polynom
i
al_
s
u
m
commit
|
commitdiff
|
tree
2010-07-31
Sven V
e
rdo
o
l
a
ege
add isl_union_map_c
a
rd
commit
|
commitdiff
|
tree
2010-07-31
Sve
n
Verdo
o
lae
g
e
isl_pw_qp
o
lynomial_su
m
: take tup
l
e names into account
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdool
a
eg
e
isl
_
map_card: pr
e
ser
v
e ful
l
domain di
m
ension
i
n
fo
r
mation
commit
|
commitdiff
|
tree
2010-07-31
Sve
n
Verd
o
olaege
update isl for
c
hang
e
in isl_hash_table_fo
r
e
a
ch
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sv
e
n Verdoolaege
barvinok_enume
r
ate
.
c
c
: fix printf format
commit
|
commitdiff
|
tree
2010-07-03
Sven Verdoo
l
ae
g
e
do
c
:
add
s
ome more papers refering to the li
b
rary
commit
|
commitdiff
|
tree
2010-06-29
Sven Ve
r
d
oo
l
aege
barvinok 0
.
31
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
update
isl to version 0
.
0
3
commit
|
commitdiff
|
tree
2010-06-29
Sven V
e
rdoolaege
configu
r
e
.
in:
p
ro
p
erly add isl flags
and
libs t
o
pkg
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
c
o
n
f
igure
.
in: d
r
op
call to gl_EARLY
commit
|
commitdiff
|
tree
2010-06-29
Sve
n
Verd
o
olae
g
e
genfu
n
.
cc: fix pri
n
tf forma
t
commit
|
commitdiff
|
tree
2010-06-29
S
v
en Verdoo
l
aege
te
s
t_approx
.
c
:
fix printf f
o
rmat
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
test_bound
.
c: fix
p
r
i
n
tf format
commit
|
commitdiff
|
tree
2010-06-29
S
ven Verdo
o
laege
c
o
nfigure
.
in: s
t
op comp
i
ling
O
mega by default
commit
|
commitdiff
|
tree
2010-06-28
Sven
Verd
o
olaege
verify_l
e
xsmaller
.
c: fi
x
typo
commit
|
commitdiff
|
tree
2010-06-27
Sven Verd
o
o
l
ae
g
e
eval
u
e
.
c: av
o
id use of allo
c
a
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
e
v
alu
e
_
isl
.
c
:
fix typo
commit
|
commitdiff
|
tree
2010-06-20
Sven Verdoolaege
iscc:
rec
o
ver
f
rom
e
rrors
commit
|
commitdiff
|
tree
2010-06-20
Sve
n
Ver
d
oolaege
upd
a
t
e
i
sl for im
p
ro
v
ed e
r
ror handl
i
ng
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdool
a
ege
is
c
c
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-13
S
ven Verdoolaege
doc: i
s
cc: update docume
n
tat
i
o
n of "ub" operator
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
te
s
t_a
p
p
r
ox
:
include ctype
.
h f
o
r isspace
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
tes
t
_approx: include confi
g
.
h
f
or HAVE_S
Y
S
_
TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
t
e
st_bound: include co
n
fig
.
h
fo
r
HAVE_SYS
_
TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
iscc: add v
e
r
t
i
ces operations
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
opt
i
onall
y
use isl to perform parametri
c
verte
x
enumeration
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
e
ge
update isl
-
polylib f
o
r ha
n
dling of rational sets
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
d
rop d
i
stinction
b
etween ba
r
vi
n
ok-core and barvino
k
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
remove ber
n
stein
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rd
o
olaeg
e
u
pdate is
l
for gen
e
ric isl_pw_qpoly
n
o
m
ia
l
_bound
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
o
laege
config
u
re
.
i
n
: drop
b
v_
o
m
e
ga_pr
o
grams
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laeg
e
add isl_ctx_pe
e
k
_barvinok_option
s
commit
|
commitdiff
|
tree
2010-06-07
Sv
e
n Verdoolaege
is
c
c: parse
bar
v
i
nok
o
pti
o
ns
commit
|
commitdiff
|
tree
2010-06-01
S
v
en Verdoolaege
export isl_qpoly
n
omial
_
f
r
o
m_evalue
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolae
g
e
Makefile
.
am: dr
o
p depen
d
ence on doc/omega
.
t
ex
commit
|
commitdiff
|
tree
2010-06-01
Sven V
e
rdo
o
l
a
ege
up
d
ate isl for
r
ename of
i
sl_p
w
_qpolyn
o
mial_move
commit
|
commitdiff
|
tree
2010-06-01
Sv
e
n Ver
d
oola
e
ge
verif_ehr
h
art
.
c
: add miss
i
ng
include
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
co
n
f
igure
.
in: fix t
y
po
commit
|
commitdiff
|
tree
2010-06-01
Sve
n
Verdool
a
ege
use isl for argum
e
nt parsing
commit
|
commitdiff
|
tree
2010-06-01
Sven
V
er
d
oolaege
update
isl
f
o
r
k
e
eping track of user opti
o
ns
commit
|
commitdiff
|
tree
2010-05-19
S
v
en Ve
r
doolae
g
e
test_bound:
rewrite in
C
commit
|
commitdiff
|
tree
2010-05-19
Sv
e
n Verdoolaege
u
p
date isl fo
r
help me
s
sa
g
e printing
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
re
m
ove eval
u
e_opt
i
mum
commit
|
commitdiff
|
tree
2010-05-15
Sven
Verdoola
e
ge
remove evalue_rang
e
_propaga
t
io
n
commit
|
commitdiff
|
tree
2010-05-15
Sven
V
erdoolaege
test_
b
ound: use isl interfac
e
for
c
om
p
utin
g
bounds
commit
|
commitdiff
|
tree
2010-05-15
Sven Verd
o
olaege
bar
v
inok
_
bound: use isl
interface for
c
o
mputing bounds
commit
|
commitdiff
|
tree
2010-05-14
Sven
V
erdoolaege
i
s
c
c:
s
upport ub even i
f
G
i
NaC support was not compiled in
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoola
e
ge
add generic isl_pw_
q
p
o
l
y
n
o
mial_bound
commit
|
commitdiff
|
tree
2010-05-14
S
v
en Verdoolaeg
e
update
i
sl
for isl_pw_qpolynomial_bound_
r
ange
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaeg
e
te
s
t
_bound: use isl during verifica
t
ion
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
b
a
rvinok_bound: u
s
e isl during ver
i
f
ica
t
i
on
commit
|
commitdiff
|
tree
2010-05-14
S
ven
V
erdool
a
ege
ver
i
f
y
.
c: e
x
tract some helper
f
uncti
o
ns for isl based
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaeg
e
introduc
e
"bound" option
commit
|
commitdiff
|
tree
2010-05-14
Sve
n
Ver
d
o
olae
g
e
o
p
tions
.
c: fix p
r
intf f
o
rmat
commit
|
commitdiff
|
tree
2010-05-10
Sven Verdool
a
ege
is
c
c: ad
d
appl
i
c
a
tion
operati
o
ns
commit
|
commitdiff
|
tree
2010-04-24
S
v
en Verdoolaege
iscc: add read operation
commit
|
commitdiff
|
tree
2010-04-24
Sven V
e
r
d
ool
a
ege
i
scc: free options
commit
|
commitdiff
|
tree
2010-04-24
Sve
n
Verdoolaege
upd
a
te is
l
f
o
r readi
n
g of s
t
rings
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
updat
e
isl
f
or fix
i
n isl_printer_p
r
int_
p
w_qpolynomial
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven V
e
rdoolaege
upda
t
e isl-p
o
lyl
i
b for change in pkg-config
f
ile
commit
|
commitdiff
|
tree
next