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
isl_map_card: split dimension fiddling from conversion to PolyLib
2010-09-14
Sven Verdool
a
ege
isl_map_c
a
r
d
: sp
l
it dimension fi
d
dling fro
m
conver
s
ion
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sven Verd
o
olaege
isl
_
map
_
card:
u
se
i
sl_pw_qpolyno
m
ial_s
u
m if re
q
uested
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
S
ven Verdoolaege
barvi
n
ok 0
.
32
.
1
commit
|
commitdiff
|
tree
2010-09-13
S
v
en
V
e
rdoolaege
update i
s
l for fi
x
in paramet
e
r
alig
n
me
n
t
commit
|
commitdiff
|
tree
2010-09-10
Sven V
e
rdoolaege
barvinok 0
.
32
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdoolaege
isc
c
: add lexicog
r
aphic
o
perator
s
commit
|
commitdiff
|
tree
2010-09-10
S
v
en Ve
r
doolaege
update
isl to
version 0
.
04
commit
|
commitdiff
|
tree
2010-09-07
Sven V
e
rdoo
l
aege
iscc:
add "so
u
rce"
o
per
a
t
i
o
n
commit
|
commitdiff
|
tree
2010-09-06
S
v
en Verdoola
e
ge
iscc: add support for s
t
rings
commit
|
commitdiff
|
tree
2010-09-06
Sven
V
erdoolaege
iscc:
p
rint error
mes
s
age
o
n use of unknow
n
identi
f
ier
commit
|
commitdiff
|
tree
2010-09-06
S
v
en V
e
rdo
o
laeg
e
isc
c
:
support un
i
on s
e
t
s in
v
e
r
tices operation
commit
|
commitdiff
|
tree
2010-09-06
Sven Ver
d
oo
l
a
e
g
e
add
i
sl
_
list_concat
commit
|
commitdiff
|
tree
2010-09-05
Sven
Ve
r
d
o
o
l
aege
ba
r
v
inok_boun
d
: use isl to s
p
lit
p
e
riods
commit
|
commitdiff
|
tree
2010-09-05
Sven
V
erdoolaege
up
d
a
t
e i
s
l
f
or isl
_
pw_qpolynom
i
a
l_split_periods
commit
|
commitdiff
|
tree
2010-08-31
Sven Verdo
o
l
aege
doc: mark Pol
y
Li
b
i
nter
f
ace obsolescen
t
commit
|
commitdiff
|
tree
2010-08-31
Sv
e
n
V
erdoolaeg
e
Makefile
.
am: drop
references to ob
s
olete @
b
v_barv
i
n
ok
_
bou
n
d@
commit
|
commitdiff
|
tree
2010-08-31
Sven
V
erdoolaeg
e
evalue_convert
.
cc
:
evalue_print_isl
:
print end-of-l
i
n
e
commit
|
commitdiff
|
tree
2010-08-30
Sven Ver
d
oolaege
is
c
c
: allow co
e
r
c
i
on of binary li
s
t into f
i
rst element
commit
|
commitdiff
|
tree
2010-08-28
Sv
e
n Verdoola
e
ge
bar
v
inok_bound: convert to isl_pw_q
p
o
l
yno
m
ial o
n
c
e
commit
|
commitdiff
|
tree
2010-08-28
Sv
e
n Verdoolaege
barvin
o
k_bound: us
e
i
s
l to
s
plit on
d
om
a
i
n
size
commit
|
commitdiff
|
tree
2010-08-26
Sven V
e
rdoolaege
set sensible defaults
w
ith -
-
p
o
l
y
nomial-approxi
m
ati
o
n
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Ve
r
doolaeg
e
isl_pw_qpolynomia
l
_s
u
m: reuse barvinok_options
i
f
av
a
il
a
ble
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoolaege
isl_map_
c
ard: reuse barvinok_o
p
tio
n
s if ava
i
lable in
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoolaege
update isl for aligning parameters of union arguments
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Ve
r
d
ool
a
ege
iscc: add "j
o
in"
ope
r
ation
o
n fol
d
s
commit
|
commitdiff
|
tree
2010-08-18
Sve
n
V
e
r
d
oolaege
iscc: add "
j
oin" operat
i
on on
m
aps
a
nd folds
commit
|
commitdiff
|
tree
2010-08-18
S
v
en Ver
d
ool
a
ege
iscc: support addit
i
o
n
on
a pair
of a fold
a
nd a quasi
p
ol
y
no
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
update isl f
o
r adding types t
o
isl_{union_,}p
w
_qpolynomial_fo
l
ds
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
al
l
ow c
o
dege
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
is
c
c:
use simpli
f
ied
CL
o
oG inte
r
face
commit
|
commitdiff
|
tree
2010-08-18
S
ven Verdoolae
g
e
update isl for r
e
name of
isl_pw_qpol
y
n
o
mial_fold_add
commit
|
commitdiff
|
tree
2010-08-18
S
v
en Verdoolaeg
e
iscc
.
c:
un
i
o
n_pw_q
p
olyn
o
mial
_
uppe
r
_bound: fix
m
emory
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sve
n
Ver
d
oolae
g
e
summate
.
c: fix
typo
i
n
comment
commit
|
commitdiff
|
tree
2010-08-17
S
v
en Ve
r
d
oolaege
i
s
l
_map_ap
p
ly_pw_qpoly
n
omial
:
f
ix typo
commit
|
commitdiff
|
tree
2010-08-10
Sve
n
Verdoolaege
update isl
f
r
om isl_union_map fi
x
es
commit
|
commitdiff
|
tree
2010-08-10
Sven Verdo
o
laege
iscc
:
allo
w
inverse on no
n
-union map
s
aga
i
n
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdo
o
lae
g
e
iscc:
a
dd
w
ra
p
an
d
unwrap operations
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoola
e
ge
add isl_union_map_
a
pply_unio
n
_pw_qpoly
n
omial
commit
|
commitdiff
|
tree
2010-08-05
Sv
e
n Verdool
a
ege
i
s
l
_pw_qpolynomial_sum: handl
e
isl_
p
w_qpol
y
nomials
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Ver
d
oolaege
update isl for nested dimens
i
on specif
i
cations
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdo
o
laege
isl_map_card: post
p
one shuffling a
r
o
u
nd
of d
i
m
e
nsions
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
update isl for isl_basic_map
_
move_dims
commit
|
commitdiff
|
tree
2010-08-04
Sve
n
Verdoolaege
isl_pw_qpolynom
i
al_sum: pus
h
conversion to
P
o
l
y
Lib
.
.
.
commit
|
commitdiff
|
tree
2010-08-04
Sv
e
n
V
erdoolaege
isl_
p
w_qpolyno
m
i
a
l_sum: chec
k
f
or unbounded
d
oma
i
ns
commit
|
commitdiff
|
tree
2010-08-02
S
v
en Verdoolaege
avoid u
s
e of isl_dim
i
ntern
a
l
s
commit
|
commitdiff
|
tree
2010-07-31
Sve
n
Verd
o
o
l
aege
i
scc: suppo
r
t codeg
e
n operation if CLooG i
s
available
commit
|
commitdiff
|
tree
2010-07-31
S
v
e
n
Verdo
o
laege
iscc: swit
c
h to usi
n
g
unions
commit
|
commitdiff
|
tree
2010-07-31
Sven
Verdo
o
l
a
ege
add isl_uni
o
n
_
pw_qpolynom
i
al
_
sum
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdool
a
ege
add is
l
_union_map_card
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
isl_pw_qpolynomial_sum: take tuple na
m
e
s
into ac
c
ount
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
isl_
m
ap_card: pres
e
rve full
doma
i
n
dimen
s
i
o
n informati
o
n
commit
|
commitdiff
|
tree
2010-07-31
Sv
e
n Verdoolaege
updat
e
isl f
o
r change in i
s
l_hash_table_foreach
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
S
ven V
e
rdoolaege
b
arvinok_enumera
t
e
.
cc:
f
ix printf format
commit
|
commitdiff
|
tree
2010-07-03
Sven
Verdoolaege
d
oc:
a
dd
some more
p
apers refering t
o
t
he library
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdo
o
laege
barvinok 0
.
31
commit
|
commitdiff
|
tree
2010-06-29
Sven Ver
d
oolaege
update isl to version 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
S
v
e
n Verdoolaege
c
o
nfigure
.
i
n
:
p
r
o
perly a
d
d
isl flag
s
and libs to pkg
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoo
l
aeg
e
con
f
igu
r
e
.
in: drop
call to gl_E
A
R
L
Y
commit
|
commitdiff
|
tree
2010-06-29
Sv
e
n
Ve
r
do
o
laege
ge
n
fun
.
c
c
: fix
p
rintf form
a
t
commit
|
commitdiff
|
tree
2010-06-29
Sven
V
erdoolaege
t
e
s
t_appr
o
x
.
c: fix pri
n
tf form
a
t
commit
|
commitdiff
|
tree
2010-06-29
S
v
en Verd
o
olaege
test_b
o
und
.
c: fix
printf f
o
rmat
commit
|
commitdiff
|
tree
2010-06-29
Sven V
e
rd
o
olaege
c
o
nfigu
r
e
.
i
n: stop compiling O
m
ega by def
a
u
l
t
commit
|
commitdiff
|
tree
2010-06-28
Sv
e
n Verdool
a
ege
ver
i
f
y_l
e
xsmaller
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-27
S
v
en Ver
d
o
olaege
evalue
.
c: a
v
oid use of alloca
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
e
v
alue_isl
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-20
Sv
e
n
V
erdoo
l
aege
iscc
:
recov
e
r from
errors
commit
|
commitdiff
|
tree
2010-06-20
S
v
e
n Verdoolaege
update isl
f
or imp
r
o
v
ed
error handlin
g
commit
|
commitdiff
|
tree
2010-06-19
S
v
en Verdoolaege
iscc
.
c: fix t
y
po
commit
|
commitdiff
|
tree
2010-06-13
Sven Verd
o
o
l
aeg
e
d
oc: iscc: update documenta
t
ion of
"
ub" operator
commit
|
commitdiff
|
tree
2010-06-12
S
ve
n
Ve
r
d
oolaege
test_appr
o
x: include ctype
.
h for isspac
e
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
test_approx: include config
.
h f
o
r
HAV
E
_SYS_
T
IMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
do
o
l
aege
t
e
s
t
_bound: include config
.
h for HA
V
E_SYS_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaeg
e
is
c
c
:
add v
e
rt
i
ces operations
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
optionally
use i
s
l to perfo
r
m parametric vertex enumeration
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Ver
d
oolaege
upd
a
te isl-polylib for
han
d
ling of rational set
s
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaeg
e
dr
o
p distin
c
tion betw
e
en b
a
rvin
o
k-core
and
barvinok
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n Ve
r
doolaege
rem
o
ve bernstein
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Ve
r
do
o
laege
update isl for generi
c
isl_pw_qpolynomial_b
o
und
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
co
n
figur
e
.
i
n
:
drop bv_omega
_
programs
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
add isl
_
ctx_pe
e
k_
b
arvinok_op
t
ions
commit
|
commitdiff
|
tree
2010-06-07
Sven
V
e
r
doo
l
a
ege
iscc: parse barv
i
nok options
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdo
o
l
ae
g
e
expor
t
isl_qpol
y
nomial_from_evalue
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
M
a
kefile
.
a
m
: drop d
e
pendence on doc/omega
.
tex
commit
|
commitdiff
|
tree
2010-06-01
Sven Verd
o
olaeg
e
update isl for rename of
isl_pw_qpolynomial_move
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
veri
f
_e
h
rh
a
rt
.
c
:
add
missi
n
g inclu
d
e
commit
|
commitdiff
|
tree
2010-06-01
S
ven Verdoolaege
configure
.
in
:
fix
t
ypo
commit
|
commitdiff
|
tree
2010-06-01
Sve
n
V
erdool
a
e
g
e
use isl for arg
u
ment par
s
ing
commit
|
commitdiff
|
tree
2010-06-01
Sv
e
n Verdo
o
laege
update
i
sl for
ke
e
ping track of
user options
commit
|
commitdiff
|
tree
2010-05-19
S
ven
V
e
r
doolaege
test_bound: rewrite in C
commit
|
commitdiff
|
tree
2010-05-19
Sv
e
n Verdoolaege
u
p
date isl f
o
r
h
e
l
p
message printing
commit
|
commitdiff
|
tree
2010-05-15
Sven
Ve
r
doolaege
re
m
ove eval
u
e
_
optimum
commit
|
commitdiff
|
tree
2010-05-15
Sven
Verdoolaege
remove ev
a
lue
_
range_p
r
opagation
commit
|
commitdiff
|
tree
2010-05-15
S
ven Verdoolaege
test_bound:
use isl i
n
terfac
e
f
o
r com
p
uting bou
n
ds
commit
|
commitdiff
|
tree
2010-05-15
Sven Ve
r
doo
l
aege
b
a
r
vinok_bound: use
isl interf
a
ce for computing bou
n
ds
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaeg
e
iscc: sup
p
ort u
b
eve
n
if GiNaC support was not compil
e
d in
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
add generi
c
isl_
p
w_qpolynomial
_
b
o
u
n
d
commit
|
commitdiff
|
tree
2010-05-14
Sven Ve
r
d
oolaege
u
pdate i
s
l fo
r
isl_p
w
_qpolynomial_bound_ra
n
ge
commit
|
commitdiff
|
tree
2010-05-14
Sven Ver
d
oolaege
test_bou
n
d: use isl d
u
ring
verification
commit
|
commitdiff
|
tree
2010-05-14
S
v
en Verdoolae
g
e
barvi
n
ok_
b
ound: use i
s
l
during verification
commit
|
commitdiff
|
tree
next