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 0.32.1
2010-09-13
Sven Verd
o
o
l
aege
b
a
rvinok 0
.
32
.
1
commit
|
commitdiff
|
tree
2010-09-13
Sven Ver
d
oolaege
update isl
for fix in parameter
alignment
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdoola
e
ge
barvinok
0
.
32
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdoolaege
iscc:
a
dd lexic
o
gra
p
hic
o
pe
r
ators
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdoolaege
up
d
at
e
isl to versio
n
0
.
04
commit
|
commitdiff
|
tree
2010-09-07
Sve
n
Verdoola
e
ge
i
scc:
add "source" oper
a
tion
commit
|
commitdiff
|
tree
2010-09-06
Sven
V
e
rdoolae
g
e
iscc: add support for strings
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoolaege
i
scc: print e
r
ror message on use
o
f
unkn
o
wn identifier
commit
|
commitdiff
|
tree
2010-09-06
Sven Ver
d
oolaege
i
scc:
s
u
p
port union sets in
v
e
r
t
ices
o
p
er
a
tion
commit
|
commitdiff
|
tree
2010-09-06
Sven Ver
d
oo
l
aege
a
dd i
s
l_list_c
o
ncat
commit
|
commitdiff
|
tree
2010-09-05
Sven
V
erdoolaege
barv
i
nok
_
b
ound: use isl to spl
i
t period
s
commit
|
commitdiff
|
tree
2010-09-05
Sven
V
er
d
oolaege
update isl for is
l
_pw_qpo
l
ynomial_sp
l
it_peri
o
ds
commit
|
commitdiff
|
tree
2010-08-31
S
ven Verdoo
l
aege
doc: mark Pol
y
Lib interface o
b
s
olescent
commit
|
commitdiff
|
tree
2010-08-31
Sven Verdoola
e
ge
Make
f
i
le
.
am: drop
r
eferences to obs
o
lete
@
bv_ba
r
vinok_bound@
commit
|
commitdiff
|
tree
2010-08-31
S
ven Verdoo
l
aege
eva
l
ue_convert
.
c
c
:
e
value_print_
i
s
l
: print end-of-line
commit
|
commitdiff
|
tree
2010-08-30
Sven Verdo
o
laege
iscc: allow coercion of
binary list
i
nto first
element
commit
|
commitdiff
|
tree
2010-08-28
S
ven Ver
d
oolaege
b
arvinok_bound: conv
e
r
t to isl_pw
_
qpol
y
nomial
once
commit
|
commitdiff
|
tree
2010-08-28
S
ven Verdoolaege
barvi
n
ok_bo
u
nd: use isl to sp
l
it
o
n do
m
a
i
n size
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoolaege
set sensi
b
le defau
l
ts with --polynomial-approximation
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoolaege
i
s
l_pw_qpolynomial_sum:
r
euse barvi
n
ok_
o
ptio
n
s
i
f available
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Ver
d
oolae
g
e
i
s
l
_
m
ap_card: reuse barvinok_
o
ptions if avail
a
ble in
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
S
ven Verdoolaege
u
p
date isl f
o
r aligning
parameters of un
i
on arguments
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
iscc: a
d
d "join" operation on folds
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
iscc: add "
j
oin" operation on
m
aps and f
o
lds
commit
|
commitdiff
|
tree
2010-08-18
S
v
e
n
Verdoola
e
ge
iscc
:
sup
p
ort add
i
tio
n
on a pair of
a fold
and a quasi
p
oly
n
o
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven
V
e
r
doolaeg
e
update isl for adding
types to isl_
{
uni
o
n_,}pw_q
p
olynom
i
al_fold
s
commit
|
commitdiff
|
tree
2010-08-18
Sven Verd
o
o
laege
allow c
o
degen
on
s
e
ts
commit
|
commitdiff
|
tree
2010-08-18
S
v
en
V
erdoo
l
aege
iscc: codegen: dete
c
t strides
commit
|
commitdiff
|
tree
2010-08-18
S
v
e
n
Verdoolaege
iscc: use simplified
C
LooG in
t
e
r
face
commit
|
commitdiff
|
tree
2010-08-18
Sve
n
Ver
d
oola
e
ge
update is
l
for re
n
ame of isl_pw
_
qpolynomial
_
fold_add
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolae
g
e
iscc
.
c:
u
nion_pw_qpo
l
ynom
i
a
l
_upper_bound: fi
x
m
e
mory
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
S
ven Ver
d
ool
a
ege
s
ummate
.
c: fi
x
typo in c
o
mmen
t
commit
|
commitdiff
|
tree
2010-08-17
Sven
Verdoolaege
isl_map_appl
y
_
pw_qpolynomial: fix typo
commit
|
commitdiff
|
tree
2010-08-10
Sven
Verd
o
olaege
upd
a
t
e
isl from
i
sl_un
i
o
n_map fixes
commit
|
commitdiff
|
tree
2010-08-10
Sven Verdoola
e
ge
iscc: al
l
ow
i
n
verse on non
-
u
n
ion maps ag
a
in
commit
|
commitdiff
|
tree
2010-08-05
Sve
n
V
e
rd
o
o
laege
isc
c
: add wrap and unw
r
ap ope
r
atio
n
s
commit
|
commitdiff
|
tree
2010-08-05
Sven
Verdoolaege
add isl
_
unio
n
_
m
ap_
a
pply_union_pw_
q
polynom
i
al
commit
|
commitdiff
|
tree
2010-08-05
Sven
V
erdo
o
l
a
ege
is
l
_pw_qp
o
l
ynom
i
al
_
sum: hand
l
e
i
sl_pw_
q
polynomial
s
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven
V
e
rdoolaege
update isl for
n
es
t
ed dimension sp
e
c
ifica
t
i
o
n
s
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoola
e
g
e
isl_map_
c
a
rd: postpon
e
shuffli
n
g arou
n
d of
dimensions
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Ver
d
oo
l
aeg
e
up
d
ate isl for
isl_basic_map_move
_
dims
commit
|
commitdiff
|
tree
2010-08-04
S
v
e
n
Verdoolaege
i
s
l_pw_
q
poly
n
omial_s
u
m: push conve
r
sion
t
o PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-08-04
S
ven V
e
rdoolaeg
e
isl_pw_qpolynom
i
al_sum:
c
h
eck fo
r
unbou
n
ded dom
a
ins
commit
|
commitdiff
|
tree
2010-08-02
Sve
n
Verdo
o
laege
avoid
u
se of isl_di
m
internals
commit
|
commitdiff
|
tree
2010-07-31
Sv
e
n Verdo
o
laege
is
c
c: supp
o
rt codegen operation if CLooG is
avail
a
b
l
e
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoola
e
ge
iscc: sw
i
tch
t
o using u
n
i
ons
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
add isl_union_pw_qpolynomia
l
_s
u
m
commit
|
commitdiff
|
tree
2010-07-31
Sven Verd
o
ola
e
ge
add isl_uni
o
n
_
m
ap_card
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
isl_pw
_
qp
o
lynomial_sum: take tuple
n
ames into
a
c
count
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
isl_map_card:
p
re
s
erv
e
full
d
oma
i
n dimens
i
on informa
t
ion
commit
|
commitdiff
|
tree
2010-07-31
Sv
e
n Ve
r
doolaege
u
p
date isl for c
h
ange in is
l
_hash_table_f
o
reach
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verd
o
olaege
barv
i
nok_enume
r
ate
.
cc
:
fix
p
r
intf format
commit
|
commitdiff
|
tree
2010-07-03
Sven Verdoolaege
do
c
: a
d
d some
mor
e
pap
e
r
s refer
i
ng to t
h
e
li
b
ra
r
y
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
barvinok 0
.
3
1
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdo
o
la
e
ge
upd
a
te is
l
t
o
version 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
configure
.
in: properl
y
a
d
d
i
s
l
f
l
ags
a
nd libs to pkg
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
configure
.
in: drop
c
all
to gl_EARLY
commit
|
commitdiff
|
tree
2010-06-29
S
v
en Verdoola
e
ge
g
e
nfun
.
c
c
:
fix printf
for
m
at
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoo
l
aege
t
e
st_approx
.
c:
f
ix p
r
i
ntf format
commit
|
commitdiff
|
tree
2010-06-29
Sven Ve
r
doolaege
t
e
st_boun
d
.
c: fix p
r
intf format
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolae
g
e
c
o
nfigure
.
in: stop compiling Omega by defau
l
t
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdoolaege
v
erify_lexsmaller
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaege
evalue
.
c: a
v
o
i
d use of alloca
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
ev
a
lu
e
_isl
.
c: fix
t
ypo
commit
|
commitdiff
|
tree
2010-06-20
Sv
e
n Verdoolaege
iscc:
recover from errors
commit
|
commitdiff
|
tree
2010-06-20
Sven Ve
r
doolaege
upda
t
e
i
sl for
i
m
proved err
o
r hand
l
ing
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
iscc
.
c:
fi
x
typo
commit
|
commitdiff
|
tree
2010-06-13
Sven
Verdoo
l
aege
d
oc:
iscc: update
d
o
c
ume
n
tation of "ub" op
e
rato
r
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
l
a
ege
te
s
t
_approx:
in
c
lude ctype
.
h for isspace
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
ool
a
ege
test_app
r
o
x
:
i
nclude co
n
fig
.
h f
o
r
HA
V
E_SYS_T
I
MES_
H
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
test_
b
ound: includ
e
config
.
h
for HAVE_
S
YS_TIM
E
S
_
H
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
isc
c
: add vertic
e
s
o
p
erations
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
rdoolaege
o
p
tionally use
i
sl to
perfor
m
p
ara
m
etric vertex enume
r
ation
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laege
update isl-polylib f
o
r
handling
o
f
r
at
i
o
na
l
s
ets
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
drop di
s
tinction
b
etween b
a
r
vinok-core an
d
barvinok
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolae
g
e
rem
o
ve bernstein
commit
|
commitdiff
|
tree
2010-06-12
S
v
en V
e
rdoolaege
upd
a
te is
l
for g
e
n
eric i
s
l_pw_qp
o
lyn
o
mi
a
l_b
o
und
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
c
o
nfigure
.
in:
d
rop bv_omega_programs
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
rdoolaege
add isl_ctx_peek_barvinok_option
s
commit
|
commitdiff
|
tree
2010-06-07
Sven Ve
r
do
o
laege
i
s
c
c
: parse
b
arvi
n
o
k
options
commit
|
commitdiff
|
tree
2010-06-01
Sve
n
Verdoolaege
export isl_qpolynomial_f
r
o
m
_evalue
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
Makefi
l
e
.
a
m: dr
o
p
dep
e
n
dence on doc/omega
.
t
ex
commit
|
commitdiff
|
tree
2010-06-01
Sve
n
Ve
r
doolaege
u
pdate isl
f
or rename of is
l
_pw_qpolynomial_move
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaeg
e
verif_eh
r
h
a
rt
.
c: add missing include
commit
|
commitdiff
|
tree
2010-06-01
Sve
n
Ver
d
oolaege
c
onf
i
gure
.
i
n
:
fix typo
commit
|
commitdiff
|
tree
2010-06-01
Sv
e
n
V
e
r
doo
l
aege
use
isl for a
r
gum
e
nt parsing
commit
|
commitdiff
|
tree
2010-06-01
Sven V
e
rdoo
l
a
e
ge
update isl for keeping trac
k
of user options
commit
|
commitdiff
|
tree
2010-05-19
Sven V
e
rdoolaege
test_bound: r
e
writ
e
in C
commit
|
commitdiff
|
tree
2010-05-19
Sv
e
n Verdoolaege
upda
t
e i
s
l
for help mes
s
age printing
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
remove e
v
alue_
o
p
timum
commit
|
commitdiff
|
tree
2010-05-15
Sven
V
erdoolaeg
e
remov
e
e
v
a
l
ue_range_prop
a
g
at
i
on
commit
|
commitdiff
|
tree
2010-05-15
Sven Ver
d
o
olaege
test_bound: use i
s
l in
t
er
f
a
c
e
for computing bounds
commit
|
commitdiff
|
tree
2010-05-15
Sven
Verdoo
l
aege
barvinok_bound:
us
e
isl interface for comp
u
tin
g
boun
d
s
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
iscc
:
support ub even if Gi
N
a
C
support was not compi
l
ed i
n
commit
|
commitdiff
|
tree
2010-05-14
Sven
V
erdoolaege
add generic isl_pw
_
qpolynom
i
a
l_
b
ound
commit
|
commitdiff
|
tree
2010-05-14
S
v
en
V
erdoolaege
update isl
f
or isl_pw_qpol
y
nomial_bound_rang
e
commit
|
commitdiff
|
tree
2010-05-14
Sven
Verdoolaege
t
e
st_bound: use isl during ve
r
i
f
ic
a
tion
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
b
a
r
v
inok_boun
d
: use isl during verification
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdool
a
ege
ve
r
ify
.
c: extract some helper functions
for isl based
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
S
ven Verdoolaege
introduce "bo
u
nd" op
t
ion
commit
|
commitdiff
|
tree
next