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
barvinok_bound: convert to isl_pw_qpolynomial once
2010-08-28
Sve
n
Verd
o
o
laege
barvinok
_
boun
d
: convert to
i
sl_pw_qpolynomial onc
e
commit
|
commitdiff
|
tree
2010-08-28
S
ven Verd
o
o
laege
barvino
k
_bound: u
s
e isl to spl
i
t on domain size
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoola
e
ge
set sensi
b
l
e d
e
faults wi
t
h --pol
y
nomial-a
p
proximation
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sve
n
Verdoolaege
isl_pw_qpolynomial_su
m
: reuse b
a
r
v
i
n
ok_options if
availa
b
le
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoolaeg
e
i
s
l_map_card:
r
e
use barvinok_options if
a
v
ailable in
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Ver
d
oolaege
upda
t
e is
l
for aligning parameters of
unio
n
argu
m
ents
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Ver
d
oolaege
iscc: add "jo
i
n"
operati
o
n
o
n folds
commit
|
commitdiff
|
tree
2010-08-18
Sven V
e
r
d
o
o
laege
iscc: add "join" oper
a
tion on maps an
d
folds
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
iscc: suppor
t
a
d
dition on a pa
i
r
o
f a fold and a
quasipo
l
yno
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolae
g
e
update
i
sl
fo
r
adding t
y
pe
s
to isl_{union_,}pw_qpolyn
o
mial_
f
olds
commit
|
commitdiff
|
tree
2010-08-18
S
v
e
n Verdoolaege
all
o
w
codegen
o
n
s
ets
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
iscc:
cod
e
gen: de
t
ect
s
trides
commit
|
commitdiff
|
tree
2010-08-18
Sven Ve
r
d
o
o
l
ae
g
e
iscc: use simplified CLo
o
G int
e
r
f
ac
e
commit
|
commitdiff
|
tree
2010-08-18
S
v
e
n
Ve
r
d
o
ola
e
ge
upda
t
e isl for rename
o
f isl_
p
w_qpoly
n
omial_fold_a
d
d
commit
|
commitdiff
|
tree
2010-08-18
Sven
Verd
o
olaege
iscc
.
c: union_pw_qp
o
lynomial_upper_bound: fix m
e
mory
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
S
ven Verdoolaeg
e
sum
m
ate
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2010-08-17
Sven Verdoolae
g
e
isl_m
a
p_a
p
ply_pw_qpoly
n
omi
a
l: fix ty
p
o
commit
|
commitdiff
|
tree
2010-08-10
Sven Verdo
o
lae
g
e
updat
e
is
l
from isl_union_map fixes
commit
|
commitdiff
|
tree
2010-08-10
Sven Verdoolae
g
e
iscc:
allow
i
nverse
on non-union
m
aps
agai
n
commit
|
commitdiff
|
tree
2010-08-05
Sve
n
Verdoo
l
aeg
e
is
c
c: ad
d
wrap
a
nd unw
r
ap operations
commit
|
commitdiff
|
tree
2010-08-05
S
v
en Verdoolaege
add isl
_
union_ma
p
_apply_unio
n
_pw_qpolynomial
commit
|
commitdiff
|
tree
2010-08-05
S
ven Verdoolaege
isl_pw_qp
o
l
y
nomial_sum: hand
l
e isl_pw_qpolynomi
a
ls
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven
V
erdoolaeg
e
upd
a
t
e
isl fo
r
nested di
m
ension specifica
t
ions
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
isl
_
map_card: postpone shuffling arou
n
d
of d
i
mensions
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven
Verdool
a
ege
update isl for
isl_basic_ma
p
_move_dims
commit
|
commitdiff
|
tree
2010-08-04
Sven Verd
o
olae
g
e
isl_pw_qpolynomial_sum: p
u
sh c
o
nversion to PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoolaeg
e
isl_pw_qpolynomial_sum: c
h
eck for unbounded domains
commit
|
commitdiff
|
tree
2010-08-02
S
v
en Verdoola
e
ge
avoid use of isl_dim internals
commit
|
commitdiff
|
tree
2010-07-31
Sve
n
Verdo
o
laege
iscc: support code
g
en ope
r
atio
n
if CLooG is availabl
e
commit
|
commitdiff
|
tree
2010-07-31
S
ven Verd
o
ola
e
ge
iscc: swit
c
h to using unions
commit
|
commitdiff
|
tree
2010-07-31
Sven
Verdoolaege
add isl_u
n
ion_pw_qpolynomial_su
m
commit
|
commitdiff
|
tree
2010-07-31
S
ven Verdoola
e
ge
a
d
d isl_uni
o
n
_
m
ap_c
a
r
d
commit
|
commitdiff
|
tree
2010-07-31
Sven V
e
rdoola
e
ge
isl_pw_
q
polyno
m
ial_sum: ta
k
e
tuple names into
account
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
isl_map_card: pr
e
serve full do
m
ain d
i
m
e
nsion information
commit
|
commitdiff
|
tree
2010-07-31
S
v
en V
e
rdoolae
g
e
u
pdate
i
s
l for
change in isl_hash_table_foreac
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sven
V
er
d
oolaege
bar
v
i
n
ok_enumerate
.
cc: fix printf format
commit
|
commitdiff
|
tree
2010-07-03
Sven Verd
o
o
l
a
e
ge
doc
:
add some more papers refering to t
h
e
l
ibrar
y
commit
|
commitdiff
|
tree
2010-06-29
S
ven Verdoolaege
b
a
rvinok
0
.
31
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoo
l
aeg
e
up
d
ate isl t
o
v
e
rsion 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sven
Verdoolaege
c
o
nfi
g
ur
e
.
in:
properly
a
dd isl
fl
a
g
s
and libs to pkg
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
S
v
en
V
erdool
a
ege
con
f
i
gure
.
in: drop call to gl_
E
ARLY
commit
|
commitdiff
|
tree
2010-06-29
Sv
e
n
V
erdoolaege
gen
f
un
.
cc: fix printf
format
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
test_ap
p
rox
.
c: fix print
f
format
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
test_bound
.
c: fix printf format
commit
|
commitdiff
|
tree
2010-06-29
Sve
n
Verdo
o
laege
c
o
n
f
igure
.
i
n
: stop compi
l
ing Ome
g
a
by def
a
u
l
t
commit
|
commitdiff
|
tree
2010-06-28
S
v
en Verd
o
olaege
verify_lex
s
maller
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoo
l
aege
evalue
.
c: avoid u
s
e
o
f alloca
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
e
value_isl
.
c: f
i
x typ
o
commit
|
commitdiff
|
tree
2010-06-20
Sven Verdoolaeg
e
iscc: recover
f
rom er
r
ors
commit
|
commitdiff
|
tree
2010-06-20
Sven Verdoolaege
update isl for
improved e
r
r
or
h
andling
commit
|
commitdiff
|
tree
2010-06-19
Sven Verd
o
olaege
iscc
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-13
Sven Ver
d
oola
e
ge
doc: iscc: upda
t
e documentat
i
on
of
"ub" o
p
erator
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aege
test_ap
p
rox: include cty
p
e
.
h for isspace
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
test_approx: inc
l
ude confi
g
.
h for HAVE_SYS
_
TIMES
_
H
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoola
e
g
e
test_
b
o
und:
in
c
lude
config
.
h
f
o
r
HAVE_SYS_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
iscc: add vert
i
ces opera
t
ions
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
optio
n
a
l
l
y use isl to perform
parametr
i
c
ver
t
ex enumeratio
n
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
r
d
oo
l
aege
up
d
ate isl-polylib
f
or
handling
of r
a
tional sets
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Ver
d
oolaege
dro
p
dis
t
inction between ba
r
vinok-c
o
re a
n
d bar
v
inok
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
r
doolae
g
e
remove
bernstein
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olae
g
e
u
pdate isl for generic isl_pw_
q
polyn
o
mial_bound
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
config
u
r
e
.
in
:
drop b
v
_omega_p
r
ograms
commit
|
commitdiff
|
tree
2010-06-12
S
v
en
Verd
o
olaege
add isl_ctx_peek_barv
i
nok_options
commit
|
commitdiff
|
tree
2010-06-07
Sven V
e
rdoolaeg
e
iscc: parse
b
arvinok options
commit
|
commitdiff
|
tree
2010-06-01
Sv
e
n Ver
d
oolaege
export isl_qpolynomial_fr
o
m_eva
l
ue
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
Makefile
.
a
m: dro
p
depende
n
ce on doc/o
m
ega
.
te
x
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
updat
e
i
sl for re
n
ame of is
l
_pw_qpo
l
yn
o
mial_move
commit
|
commitdiff
|
tree
2010-06-01
Sv
e
n Verdoolaege
ve
r
if_ehrhart
.
c:
add missing include
commit
|
commitdiff
|
tree
2010-06-01
Sven
Verdoolaege
con
f
i
gu
r
e
.
in: fix typo
commit
|
commitdiff
|
tree
2010-06-01
S
ven Ver
d
oo
l
aege
us
e
isl
for argume
n
t pa
r
s
i
ng
commit
|
commitdiff
|
tree
2010-06-01
Sv
e
n Verdoolaege
update isl
f
or keeping
track of us
e
r opt
i
ons
commit
|
commitdiff
|
tree
2010-05-19
Sven
V
er
d
oolaege
test
_
bound: rewrite
in
C
commit
|
commitdiff
|
tree
2010-05-19
Sven
V
erdool
a
eg
e
update is
l
for hel
p
message
printing
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
remov
e
evalue_optimum
commit
|
commitdiff
|
tree
2010-05-15
Sven Ve
r
doola
e
ge
remove
evalue_ra
n
ge_propagation
commit
|
commitdiff
|
tree
2010-05-15
Sven Ver
d
ool
a
ege
test_bo
u
nd:
use is
l
interface for computing bounds
commit
|
commitdiff
|
tree
2010-05-15
Sven Verd
o
o
l
a
e
g
e
barvinok_bound:
u
se i
s
l
i
nterface for c
o
mp
u
ting b
o
unds
commit
|
commitdiff
|
tree
2010-05-14
Sven Ve
r
dool
a
ege
iscc:
support ub e
v
en if GiNaC
s
u
p
port wa
s
not compiled
i
n
commit
|
commitdiff
|
tree
2010-05-14
S
ven Verdoolaege
a
d
d generic isl_pw_qpolynomial_
b
ound
commit
|
commitdiff
|
tree
2010-05-14
S
ven Verdoolaege
update isl for isl_pw_
q
p
o
lyno
m
ial_bound_range
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdool
a
ege
test
_
b
ound: use isl during ve
r
ificati
o
n
commit
|
commitdiff
|
tree
2010-05-14
S
v
en Verdoola
e
ge
b
a
rvi
n
ok_bound
:
use isl during veri
f
ication
commit
|
commitdiff
|
tree
2010-05-14
Sven
V
erdool
a
ege
verify
.
c: extract some help
e
r functions for isl
b
ase
d
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sven Ver
d
oola
e
ge
in
t
r
o
duce "
b
ound" option
commit
|
commitdiff
|
tree
2010-05-14
Sven Ve
r
do
o
laege
optio
n
s
.
c: fix
print
f
f
o
rm
a
t
commit
|
commitdiff
|
tree
2010-05-10
S
ven Verd
o
o
l
aege
iscc:
a
d
d ap
p
lication op
e
r
atio
n
s
commit
|
commitdiff
|
tree
2010-04-24
Sven
Verdoolaege
is
c
c: add read operation
commit
|
commitdiff
|
tree
2010-04-24
Sven V
e
rdoolaege
iscc
:
fre
e
o
p
tions
commit
|
commitdiff
|
tree
2010-04-24
Sven
Verdoolae
g
e
up
d
ate is
l
f
o
r reading
o
f str
i
n
g
s
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdool
a
ege
updat
e
i
sl for f
i
x
i
n isl_printer_p
r
in
t
_pw_q
p
oly
n
omial
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sv
e
n Verdoolaege
upd
a
te isl-polylib for change
in pkg-
c
o
n
fig file
commit
|
commitdiff
|
tree
2010-04-21
Sve
n
Verd
o
o
laege
i
s
c
c
:
allow specification of output fo
r
mat
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoolaege
u
p
d
ate isl f
o
r c
h
ange
in isl_set_gist a
r
gument
commit
|
commitdiff
|
tree
2010-04-11
Sven
V
erdoola
e
ge
up
d
ate
isl
f
or rename of
i
sl_
m
ap_move
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaege
config
u
re
.
in
:
add i
s
l flags and
l
ibs to pkg-c
o
n
fig
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sv
e
n
V
erdoolaege
is
c
c: te
s
t isl_s
t
ream f
o
r eof r
a
ther than the underlying
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdo
o
laege
iscc
:
add
d
el
t
as o
p
erati
o
n
commit
|
commitdiff
|
tree
2010-04-07
Sve
n
Ver
d
oolaege
update isl for
fix in
i
sl_map_deltas
commit
|
commitdiff
|
tree
2010-04-04
Sven Verdoolaege
drop barvin
o
k_en
u
merate_p
i
p_with_option
s
commit
|
commitdiff
|
tree
2010-04-01
S
v
en V
e
rdool
a
ege
iscc
:
add c
r
oss produ
c
t oper
a
t
io
n
s
commit
|
commitdiff
|
tree
next