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 lexicographic operators
2010-09-10
Sven Verdoo
l
aege
iscc: add l
e
x
i
cogra
p
hic operators
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdoolaege
update isl
to ver
s
i
o
n
0
.
0
4
commit
|
commitdiff
|
tree
2010-09-07
Sven Ve
r
doolaege
iscc: add "source" operation
commit
|
commitdiff
|
tree
2010-09-06
S
ven Verd
o
olaege
iscc: add su
p
port for
strings
commit
|
commitdiff
|
tree
2010-09-06
Sve
n
Verdoolaeg
e
iscc: print erro
r
message on use
of
unknown identifie
r
commit
|
commitdiff
|
tree
2010-09-06
Sven
Verdoolae
g
e
iscc:
s
upport
union
sets in vertices op
e
ration
commit
|
commitdiff
|
tree
2010-09-06
S
v
en Verdoola
e
ge
add isl_list_concat
commit
|
commitdiff
|
tree
2010-09-05
Sven Verdoolaege
barvinok_bou
n
d:
use isl to split
periods
commit
|
commitdiff
|
tree
2010-09-05
Sven Ve
r
d
o
olaege
update isl for isl_pw_
q
poly
n
omi
a
l_split_p
e
riods
commit
|
commitdiff
|
tree
2010-08-31
Sven Ve
r
doolaege
doc:
m
ark PolyLib interface obsolescen
t
commit
|
commitdiff
|
tree
2010-08-31
S
ven
V
erd
o
olaege
Makefil
e
.
am: drop references
to obsolete @bv
_
barvinok_
b
ou
n
d@
commit
|
commitdiff
|
tree
2010-08-31
Sven Verdoolaege
eva
l
ue_conve
r
t
.
cc: evalue_
p
r
i
nt
_
isl: print en
d
-of-line
commit
|
commitdiff
|
tree
2010-08-30
S
v
e
n
Ver
d
oolaeg
e
iscc: al
l
ow coercion
o
f
binary list into first element
commit
|
commitdiff
|
tree
2010-08-28
Sven Verdoolaege
ba
r
vinok_boun
d
:
conver
t
t
o
isl_pw_qpolyn
o
mial once
commit
|
commitdiff
|
tree
2010-08-28
S
ven Verdoolaege
b
ar
v
i
no
k
_bou
n
d:
u
se isl to
split on
domain s
i
ze
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoola
e
ge
set sensible defaults with --poly
n
omial-a
p
proximation
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verd
o
olaege
isl_pw_qpolynom
i
al_sum: reuse barvi
n
ok_options if availa
b
le
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sve
n
Ver
d
oolaege
isl_map_card: reuse barvi
n
ok_options if availabl
e
in
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven
V
erdoolaege
update isl for alig
n
ing para
m
e
ters of union arg
u
ments
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven
Verdoolaege
iscc: add
"join
"
opera
t
ion
o
n
folds
commit
|
commitdiff
|
tree
2010-08-18
Sven
V
erdoolaege
iscc: add "joi
n
" oper
a
ti
o
n on maps
and folds
commit
|
commitdiff
|
tree
2010-08-18
S
v
en Verdoolaege
iscc
:
support additio
n
on a pair of
a
f
o
l
d and a
q
uasipolyno
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven
Ve
r
d
o
ola
e
ge
upd
a
te isl
f
or adding typ
e
s to isl_{un
i
on_
,
}pw_qpo
l
y
n
omial_fo
l
ds
commit
|
commitdiff
|
tree
2010-08-18
Sv
e
n Ve
r
d
oolaege
allow co
d
egen on s
e
ts
commit
|
commitdiff
|
tree
2010-08-18
Sven Ver
d
oolaege
i
s
cc: codegen:
detect strides
commit
|
commitdiff
|
tree
2010-08-18
Sven
Verdoolaege
iscc: use simplified
C
Loo
G
inte
r
face
commit
|
commitdiff
|
tree
2010-08-18
S
v
e
n
Verd
o
olaege
u
pdate
i
s
l
f
o
r
rename of isl_
p
w_qpoly
n
o
m
ial_fold_add
commit
|
commitdiff
|
tree
2010-08-18
Sv
e
n Verd
o
olaege
iscc
.
c: u
n
ion_pw_qpo
l
ynomial_upper_bound: fix memory
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
summa
t
e
.
c: fix typo in
c
omment
commit
|
commitdiff
|
tree
2010-08-17
S
ven Verdoolaeg
e
is
l
_ma
p
_apply_pw_qpol
y
nomial: fix typo
commit
|
commitdiff
|
tree
2010-08-10
Sv
e
n
V
e
rd
o
olaege
upd
a
te isl fr
o
m isl_uni
o
n
_
map fixes
commit
|
commitdiff
|
tree
2010-08-10
Sven Verdoolaege
i
scc
:
allow inverse o
n
non-union maps again
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
is
c
c
: add
wrap and unwrap o
p
erations
commit
|
commitdiff
|
tree
2010-08-05
Sv
e
n
V
er
d
oo
l
aege
add isl_union_map_apply_union_pw_qpolynomial
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolae
g
e
isl_p
w
_qpolynomial
_
su
m
: handle i
s
l_
p
w_qpolynomia
l
s
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
upd
a
te isl for
n
e
s
t
ed dimensi
o
n specifications
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaeg
e
isl
_
map_card: postpone shuffling around of
d
i
m
ensions
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sv
e
n Verdoolaege
updat
e
isl for
i
sl_basic_m
a
p_
m
o
ve_dims
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoola
e
ge
isl_pw_
q
polynomial_sum:
push c
o
nversi
o
n to
PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoo
l
aege
isl_pw_qpo
l
yno
m
ial_sum
:
c
h
eck for unbounded domains
commit
|
commitdiff
|
tree
2010-08-02
S
ven Verdoolaege
avoid use
of isl_dim
i
nternals
commit
|
commitdiff
|
tree
2010-07-31
S
v
en V
e
rdoolaeg
e
i
scc:
s
upport codegen
o
peration
if CLooG is available
commit
|
commitdiff
|
tree
2010-07-31
S
ven Verdoolaege
iscc: switch to using unions
commit
|
commitdiff
|
tree
2010-07-31
S
v
en Verdoo
l
aege
add i
s
l
_
u
nion_pw_qp
o
lyn
o
mial_sum
commit
|
commitdiff
|
tree
2010-07-31
S
ven
Ve
r
dool
a
ege
add isl
_
u
nion_m
a
p_card
commit
|
commitdiff
|
tree
2010-07-31
Sv
e
n V
e
rdoolaege
isl_pw_q
p
olyn
o
m
i
al_su
m
: take tuple
na
m
es into account
commit
|
commitdiff
|
tree
2010-07-31
Sven Verd
o
o
l
a
ege
isl_map_
c
ard: p
r
ese
r
ve ful
l
do
m
ain di
m
ension info
r
m
a
t
ion
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
update 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
Sv
e
n Verdo
o
laege
b
a
rvinok_enumerate
.
cc: fix printf forma
t
commit
|
commitdiff
|
tree
2010-07-03
Sven
V
e
r
doo
l
a
ege
doc: add some more papers re
f
e
ring to
the library
commit
|
commitdiff
|
tree
2010-06-29
Sven
V
erdoolaege
barvinok 0
.
31
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
updat
e
isl to version 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdool
a
eg
e
configure
.
i
n
: properly
add isl flags and libs t
o
pkg
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
S
ven Verdoola
e
ge
c
o
nf
i
gure
.
in: drop call to gl_EARLY
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
genfun
.
cc
:
fi
x
printf f
o
r
m
at
commit
|
commitdiff
|
tree
2010-06-29
Sven
V
erdoolaege
test_ap
p
rox
.
c: fix prin
t
f
format
commit
|
commitdiff
|
tree
2010-06-29
Sv
e
n Verdoolaege
test_boun
d
.
c: fix printf format
commit
|
commitdiff
|
tree
2010-06-29
Sve
n
Verdoolaege
c
onfi
g
ure
.
in:
stop compili
n
g Omega by
de
f
a
ult
commit
|
commitdiff
|
tree
2010-06-28
Sve
n
Verdoola
e
ge
verify_lex
s
maller
.
c
:
fix ty
p
o
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoo
l
a
eg
e
e
v
alue
.
c
:
a
v
o
id u
s
e of
a
lloca
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoola
e
ge
ev
a
lue_isl
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-20
Sven Verdoolaege
iscc: r
e
cover from erro
r
s
commit
|
commitdiff
|
tree
2010-06-20
Sven Verdoolaege
u
pdate isl for improved error hand
l
ing
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoo
l
aege
iscc
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-13
Sven Verdoolaege
do
c
: iscc: upda
t
e
d
o
cumentatio
n
of "u
b
"
o
perato
r
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
test_
a
pprox: inc
l
ude ctype
.
h for isspa
c
e
commit
|
commitdiff
|
tree
2010-06-12
Sven
Ve
r
do
o
l
a
ege
test_approx: inc
l
ude conf
i
g
.
h for HAVE_SYS
_
TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doola
e
ge
test_bound: include config
.
h fo
r
HA
V
E_SYS_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
iscc: add ver
t
ices op
e
rations
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
o
p
tio
n
ally use isl to p
e
rfor
m
parame
t
r
i
c ve
r
tex enumerati
o
n
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
V
erd
o
olaege
u
p
date isl-polylib
f
o
r handling of ra
t
i
on
a
l sets
commit
|
commitdiff
|
tree
2010-06-12
S
ven Ve
r
doolaege
drop distin
c
tio
n
between barvinok-c
o
re and b
a
r
vinok
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Ver
d
o
o
laege
remove
bernstein
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
u
p
d
ate
i
s
l for gener
i
c isl_pw_qpolynomial_bou
n
d
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aege
configure
.
in: drop b
v
_o
m
e
ga_program
s
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl
_
ctx_p
e
ek
_
barvinok_op
t
ions
commit
|
commitdiff
|
tree
2010-06-07
Sv
e
n Verdoolae
g
e
isc
c
: parse barvinok options
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoo
l
aege
export isl_qpolynomial_
f
rom_evalue
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoo
l
aege
Makefile
.
am:
drop dependence on doc/omega
.
t
ex
commit
|
commitdiff
|
tree
2010-06-01
Sven Ver
d
oolaege
update isl for rename o
f
isl
_
pw_
q
polynomial_
m
o
v
e
commit
|
commitdiff
|
tree
2010-06-01
S
v
en Verdoo
l
aege
ve
r
if_ehrhart
.
c: add missing inclu
d
e
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaeg
e
configure
.
in: fix
t
ypo
commit
|
commitdiff
|
tree
2010-06-01
Sven V
e
r
doolaege
use isl f
o
r
a
r
gum
e
nt pa
r
sin
g
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaeg
e
update isl for keeping tra
c
k of user op
t
i
o
ns
commit
|
commitdiff
|
tree
2010-05-19
Sven
Ve
r
do
o
laege
t
e
st_bound: r
e
writ
e
i
n C
commit
|
commitdiff
|
tree
2010-05-19
Sven Verdoolaeg
e
u
p
date is
l
for help message printing
commit
|
commitdiff
|
tree
2010-05-15
Sven Ver
d
oolaege
re
m
ove eva
l
ue_optimum
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
r
emove evalue_r
a
n
g
e_pr
o
pagation
commit
|
commitdiff
|
tree
2010-05-15
Sve
n
Verdoolaege
t
e
st
_
b
o
und: use isl i
n
terface fo
r
comput
i
n
g
boun
d
s
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdool
a
e
g
e
ba
r
v
inok
_
bo
u
nd: use isl interfa
c
e for computing boun
d
s
commit
|
commitdiff
|
tree
2010-05-14
Sven
Verdoolae
g
e
iscc: support
u
b
even i
f
GiNaC sup
p
ort
w
a
s
n
o
t compiled in
commit
|
commitdiff
|
tree
2010-05-14
S
ven Ver
d
oolaege
a
dd generi
c
i
s
l
_
pw_qpolynomial_bound
commit
|
commitdiff
|
tree
2010-05-14
S
v
en
V
erdoo
l
aege
upd
a
te isl f
o
r
i
s
l
_pw
_
q
polynomial
_
bound_ran
g
e
commit
|
commitdiff
|
tree
2010-05-14
S
v
en
V
e
rdo
o
laege
t
e
st_bound: use isl
d
u
ring v
e
r
i
ficat
i
on
commit
|
commitdiff
|
tree
2010-05-14
Sven
V
erdoolaege
b
a
r
v
inok_bound: use isl
during
verification
commit
|
commitdiff
|
tree
2010-05-14
S
v
en
Verd
o
o
l
ae
g
e
v
er
i
fy
.
c: extr
a
ct some h
e
lper functi
o
ns fo
r
is
l
based
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sven
V
erd
o
olaege
introduce "bound" option
commit
|
commitdiff
|
tree
2010-05-14
S
v
en Verdool
a
ege
options
.
c
: fix printf format
commit
|
commitdiff
|
tree
2010-05-10
Sven Verdool
a
e
ge
iscc: add appli
c
atio
n
o
p
e
r
a
t
ions
commit
|
commitdiff
|
tree
2010-04-24
Sven V
e
rdoolaege
i
s
cc: add read
o
per
a
tion
commit
|
commitdiff
|
tree
next