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: add "source" operation
2010-09-07
Sven
Verdool
a
eg
e
i
scc: add
"
source" operation
commit
|
commitdiff
|
tree
2010-09-06
Sven Ver
d
oo
l
ae
g
e
isc
c
:
a
dd support fo
r
string
s
commit
|
commitdiff
|
tree
2010-09-06
S
v
e
n
Verdool
a
ege
iscc: print er
r
or message on
use of
unknown
identif
i
er
commit
|
commitdiff
|
tree
2010-09-06
Sven
V
e
r
doolaege
i
s
c
c: supp
o
rt union sets in ver
t
ices oper
a
ti
o
n
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoolaege
add isl_li
s
t_conca
t
commit
|
commitdiff
|
tree
2010-09-05
Sven Verdool
a
ege
barvinok_boun
d
: use i
s
l to split p
e
riods
commit
|
commitdiff
|
tree
2010-09-05
Sven Verdoolaege
update isl for isl_p
w
_qpolynom
i
a
l_split_periods
commit
|
commitdiff
|
tree
2010-08-31
Sven
V
erdoo
l
aege
doc: mark PolyLib interfa
c
e obsolescent
commit
|
commitdiff
|
tree
2010-08-31
S
v
en Verdoola
e
ge
Makefile
.
am:
d
r
o
p
referenc
e
s
t
o
obsolete @bv_barvin
o
k_boun
d
@
commit
|
commitdiff
|
tree
2010-08-31
S
v
e
n
V
erdoolaeg
e
evalue
_
c
o
nvert
.
c
c: evalue_prin
t
_
isl: print end-
o
f
-line
commit
|
commitdiff
|
tree
2010-08-30
Sven Verdoolaeg
e
iscc: a
l
low coerci
o
n of binary
l
ist into fir
s
t element
commit
|
commitdiff
|
tree
2010-08-28
Sv
e
n Verdoolaege
ba
r
v
inok_bo
u
nd: convert to isl_pw_qpolynomial once
commit
|
commitdiff
|
tree
2010-08-28
Sven Verdoolaege
barvin
o
k_bound: use isl to
split on domain size
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoolaege
s
e
t sen
s
ible defaults w
i
th --
p
ol
y
nomial-approximation
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoolae
g
e
isl_pw_qpo
l
ynomia
l
_sum: r
e
use barv
i
nok_options if
available
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Ve
r
doolaege
isl_map_card: reuse barvino
k
_options if availabl
e
in
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoolaege
u
p
d
ate isl
for aligning p
a
rameters of union ar
g
uments
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
iscc: add
"
join" operation on folds
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
iscc: a
d
d "join" oper
a
tion on maps and fol
d
s
commit
|
commitdiff
|
tree
2010-08-18
S
ven V
e
rdoolaege
iscc: support ad
d
ition
o
n
a pair of
a
fold an
d
a quasipolyno
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven
Verdoolaege
updat
e
i
sl
for ad
d
ing types to isl
_
{
u
n
ion_,}pw_qpolynomial
_
folds
commit
|
commitdiff
|
tree
2010-08-18
S
v
en Verdoolae
g
e
allow c
o
deg
e
n on sets
commit
|
commitdiff
|
tree
2010-08-18
Sve
n
Ver
d
oolaege
is
c
c: codegen:
detect strides
commit
|
commitdiff
|
tree
2010-08-18
Sven Verd
o
olaege
iscc: use sim
p
lified CLo
o
G interface
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoola
e
ge
update isl for rename
o
f isl_
p
w_
q
polyn
o
m
i
a
l
_fold_add
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
iscc
.
c: union_p
w
_qpolynomi
a
l_upper_bound: fix mem
o
ry
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
S
ven Verdoolaege
summate
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2010-08-17
Sven Verdoolaege
isl_map_apply_pw_qpolynomial: fix typo
commit
|
commitdiff
|
tree
2010-08-10
S
ven Verdoolaege
update is
l
from isl
_
union_map fixes
commit
|
commitdiff
|
tree
2010-08-10
Sven Verdoolaege
iscc:
allow
i
nv
e
rse on
n
on-union maps a
g
ain
commit
|
commitdiff
|
tree
2010-08-05
Sven Ve
r
doolaege
i
sc
c
:
add wrap and unwrap
ope
r
ations
commit
|
commitdiff
|
tree
2010-08-05
S
v
e
n
V
erdoolaege
add isl_union_map_apply_union_
p
w_qpol
y
n
o
m
i
al
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
isl_pw_qpolynomial_sum
:
h
andle isl_pw_qpolynom
i
als
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdo
o
laege
update isl f
o
r nested dimension specif
i
cat
i
o
ns
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaeg
e
isl_map
_
car
d
: postpone shuffling ar
o
und of di
m
e
n
sions
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven
V
erdoolaeg
e
update isl for isl_
b
asic_map_move_dims
commit
|
commitdiff
|
tree
2010-08-04
S
ven
Verdo
o
laege
isl_pw_qpolynomial_sum: push
c
onvers
i
on to
P
olyLib
.
.
.
commit
|
commitdiff
|
tree
2010-08-04
Sv
e
n
Verdoo
l
aege
isl
_
pw_qpoly
n
omial_sum: check for unbounded domains
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdoo
l
aege
avoid use of i
s
l_dim internals
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
iscc: support code
g
en operation i
f
CLooG is available
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoo
l
ae
g
e
iscc: s
w
i
tch to using
u
nions
commit
|
commitdiff
|
tree
2010-07-31
S
v
en Verdoolaege
a
d
d
isl_union_
p
w
_
qpolynomia
l
_s
u
m
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoo
l
aege
add isl_
u
nion_map_
c
ard
commit
|
commitdiff
|
tree
2010-07-31
Sv
e
n
Ve
r
d
o
olaege
isl_pw_qpolynomial_sum:
t
ake tuple names in
t
o
acco
u
nt
commit
|
commitdiff
|
tree
2010-07-31
Sve
n
Verdoo
l
a
e
ge
i
sl_m
a
p_ca
r
d: preserve full domain dimension informa
t
ion
commit
|
commitdiff
|
tree
2010-07-31
Sven Ver
d
oolaege
update isl for chan
g
e in isl_hash_table
_
f
o
reac
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolae
g
e
barv
i
n
o
k_enumer
a
t
e
.
c
c
:
f
ix printf f
o
rmat
commit
|
commitdiff
|
tree
2010-07-03
Sven
Verdoolaeg
e
doc:
add some more papers
r
efering t
o
the library
commit
|
commitdiff
|
tree
2010-06-29
Sven Ve
r
doolaege
barvi
n
ok 0
.
31
commit
|
commitdiff
|
tree
2010-06-29
Sven Ve
r
doola
e
g
e
update isl to version 0
.
0
3
commit
|
commitdiff
|
tree
2010-06-29
Sv
e
n Verdoolaege
configure
.
in: properly add isl flags and libs to
p
kg
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
Sven Ve
r
do
o
laege
configure
.
in: d
r
o
p
call to gl_EARL
Y
commit
|
commitdiff
|
tree
2010-06-29
Sve
n
Verdoolaege
genfun
.
c
c
: fix printf
f
ormat
commit
|
commitdiff
|
tree
2010-06-29
Sve
n
Ve
r
d
o
olaege
te
s
t_approx
.
c
:
f
i
x printf f
o
rmat
commit
|
commitdiff
|
tree
2010-06-29
Sven V
e
rdoolaege
tes
t
_
bound
.
c:
f
ix printf f
o
r
m
at
commit
|
commitdiff
|
tree
2010-06-29
Sven Ver
d
oolaege
configure
.
in: stop compilin
g
Omega
b
y
d
efau
l
t
commit
|
commitdiff
|
tree
2010-06-28
Sven
V
er
d
oo
l
a
ege
v
erify_lex
s
ma
l
l
e
r
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-27
S
v
en Verdoo
l
a
e
ge
evalue
.
c: a
v
oid us
e
of allo
c
a
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdo
o
laege
e
v
alue_isl
.
c:
f
ix typo
commit
|
commitdiff
|
tree
2010-06-20
Sven Verd
o
o
l
aege
iscc
:
rec
o
ver fr
o
m
errors
commit
|
commitdiff
|
tree
2010-06-20
Sven
Verdo
o
laege
updat
e
isl for improved error h
a
n
d
lin
g
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolae
g
e
iscc
.
c
: fix
t
yp
o
commit
|
commitdiff
|
tree
2010-06-13
Sven Verdo
o
la
e
ge
doc:
i
scc: update
documentatio
n
o
f "ub" operator
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Ver
d
oolaege
tes
t
_app
r
o
x: include ctyp
e
.
h
f
or isspace
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
te
s
t_ap
p
rox: include config
.
h for HA
V
E_SYS_TIM
E
S_H
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
test_bound
:
inclu
d
e config
.
h for HAVE_SYS_TIME
S
_
H
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
iscc:
add vertices
op
e
rati
o
ns
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
op
t
ional
l
y
use isl to perform param
e
t
r
ic vertex en
u
merat
i
o
n
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdool
a
e
ge
update isl-p
o
lylib for handling of rational sets
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolae
g
e
drop d
i
stinction b
e
tween barvino
k
-core and ba
r
vinok
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
rem
o
ve
b
e
rnstein
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
u
p
da
t
e i
s
l
for generic isl_pw_qpolynomia
l
_bound
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
c
o
nfi
g
ure
.
in:
d
rop
b
v_omega
_
prog
r
ams
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laege
add i
s
l_c
t
x_
p
eek_barvinok_options
commit
|
commitdiff
|
tree
2010-06-07
Sve
n
Ve
r
d
o
olaege
iscc
:
parse barvinok options
commit
|
commitdiff
|
tree
2010-06-01
Sve
n
Verdoolae
g
e
e
x
por
t
isl_qpolynomi
a
l_fro
m
_eval
u
e
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
Make
f
i
le
.
am: drop dependen
c
e o
n
doc
/
omega
.
tex
commit
|
commitdiff
|
tree
2010-06-01
Sv
e
n
Ver
d
oolaege
upda
t
e i
s
l
f
or rename of isl_pw_qpolyno
m
ial_move
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
ve
r
i
f_ehrhart
.
c: add
missing
inc
l
u
d
e
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoola
e
ge
conf
i
gure
.
in:
fix typo
commit
|
commitdiff
|
tree
2010-06-01
Sve
n
Ve
r
doo
l
aege
us
e
isl f
o
r arg
u
ment pa
r
sing
commit
|
commitdiff
|
tree
2010-06-01
Sven
Verdo
o
l
a
ege
update isl for keepin
g
tra
c
k o
f
user op
t
i
ons
commit
|
commitdiff
|
tree
2010-05-19
Sven Verdoolaege
test_bound: re
w
rit
e
in C
commit
|
commitdiff
|
tree
2010-05-19
Sve
n
Ver
d
oola
e
ge
updat
e
i
s
l for help message prin
t
ing
commit
|
commitdiff
|
tree
2010-05-15
Sv
e
n
Verdoolaege
remove evalu
e
_optimum
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdool
a
ege
r
emove evalue_rang
e
_propaga
t
ion
commit
|
commitdiff
|
tree
2010-05-15
Sven Verd
o
olaege
test_bo
u
nd: use isl i
n
te
r
fac
e
for computing bounds
commit
|
commitdiff
|
tree
2010-05-15
Sven Verd
o
ola
e
ge
ba
r
vinok
_
b
o
und:
u
se
i
sl interface for
compu
t
ing bound
s
commit
|
commitdiff
|
tree
2010-05-14
Sven
V
erdo
o
laege
iscc: support ub even if GiNaC support was n
o
t
comp
i
led in
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
a
d
d
g
eneric isl_pw_qpo
l
y
nomial
_
b
ound
commit
|
commitdiff
|
tree
2010-05-14
Sven
Ve
r
d
oolaege
u
p
date is
l
f
o
r isl_pw_qpolyn
o
mial_bound_ra
n
g
e
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n
Verdoolaege
test_bound
:
use is
l
d
u
ring verification
commit
|
commitdiff
|
tree
2010-05-14
Sve
n
Ver
d
oolaege
barv
i
nok_bound
:
use
is
l
d
uring ver
i
f
ication
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaeg
e
verify
.
c:
extr
a
ct some helper functions fo
r
isl based
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sven Ver
d
oolaege
int
r
oduce "b
o
und"
option
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n
Ver
d
oolaege
options
.
c: f
i
x
printf forma
t
commit
|
commitdiff
|
tree
2010-05-10
Sve
n
Verdoolaege
iscc: add appli
c
ation oper
a
t
ions
commit
|
commitdiff
|
tree
2010-04-24
Sven Ver
d
oolaege
iscc: add read operat
i
on
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoolae
g
e
is
c
c:
free op
t
ions
commit
|
commitdiff
|
tree
2010-04-24
Sven Ve
r
doolaege
upd
a
te isl for reading of strings
commit
|
commitdiff
|
tree
next