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: plug memory leak on error path
2010-09-05
Sven
V
erdoolaege
barvino
k
_boun
d
: u
s
e isl t
o
sp
l
it p
e
riods
commit
|
commitdiff
|
tree
2010-09-05
S
v
en
Verdoolae
g
e
upda
t
e isl for
isl_pw_qpolynomia
l
_split_periods
commit
|
commitdiff
|
tree
2010-08-31
Sven
V
erdoolaege
d
o
c: mark PolyLib interface obsolescen
t
commit
|
commitdiff
|
tree
2010-08-31
S
ven
Verdoolaege
Ma
k
efil
e
.
am
:
dro
p
referen
c
e
s
t
o ob
s
olete
@
b
v_
b
ar
v
inok_bound@
commit
|
commitdiff
|
tree
2010-08-31
Sve
n
Verdoo
l
aege
evalue_co
n
ve
r
t
.
cc: evalue_print_isl: print end-of
-
line
commit
|
commitdiff
|
tree
2010-08-30
Sven
V
erdoolae
g
e
i
s
cc: allo
w
co
e
rcion of binary list int
o
first element
commit
|
commitdiff
|
tree
2010-08-28
Sven
V
erdoolaege
barvinok_bo
u
nd: convert to isl_pw_qpolynomial
once
commit
|
commitdiff
|
tree
2010-08-28
Sven
V
erdo
o
laege
barvin
o
k_bound: use isl to s
p
l
i
t on dom
a
in size
commit
|
commitdiff
|
tree
2010-08-26
Sv
e
n Verdoolae
g
e
set
sens
i
ble def
a
u
lt
s
with --polynomial-approximat
i
on
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoolaege
i
sl_pw_q
p
olynomial_sum: reu
s
e barvinok_options if
a
va
i
l
able
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdool
a
ege
i
sl_map
_
card: reuse barvi
n
ok_options if available in
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven V
e
rdoolaege
upda
t
e isl
f
or aligning parameters of union argumen
t
s
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
iscc: add "join" ope
r
ation on folds
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdo
o
laeg
e
iscc
:
a
dd "join" opera
t
i
on on maps and folds
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdo
o
l
a
ege
iscc:
s
u
p
port additio
n
o
n
a pair of a fol
d
and a
q
uasipolyno
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
S
v
en
Verdoolaeg
e
update isl for adding
types to isl_{un
i
o
n_,}pw
_
qpoly
n
om
i
al_folds
commit
|
commitdiff
|
tree
2010-08-18
Sv
e
n Verdoolaege
al
l
ow code
g
en on set
s
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
i
scc: co
d
egen: detect str
i
d
e
s
commit
|
commitdiff
|
tree
2010-08-18
Sven
V
erdoolaege
is
c
c: use s
i
m
p
li
f
ied CLooG interface
commit
|
commitdiff
|
tree
2010-08-18
Sv
e
n Ve
r
d
o
olaege
update isl for ren
a
me
o
f isl_pw_qpolynomial_fold_add
commit
|
commitdiff
|
tree
2010-08-18
Sven Ver
d
oolaege
is
c
c
.
c
: union_pw_qpolynomial_upper_bou
n
d: f
i
x memo
r
y
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolae
g
e
summate
.
c: fix
typo in comment
commit
|
commitdiff
|
tree
2010-08-17
S
ven Verdoolaege
isl_m
a
p
_
appl
y
_pw_qpoly
n
omial: f
i
x typo
commit
|
commitdiff
|
tree
2010-08-10
Sven Verdoolaeg
e
update
i
sl from
i
s
l_union_map fixes
commit
|
commitdiff
|
tree
2010-08-10
S
ve
n
Ver
d
oolaeg
e
iscc: allow inverse on non-uni
o
n maps
aga
i
n
commit
|
commitdiff
|
tree
2010-08-05
Sv
e
n Verdoolaege
iscc:
add wr
a
p
and unwrap operations
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdool
a
ege
add isl_uni
o
n_map_a
p
ply_
u
n
ion_pw_qpolynomial
commit
|
commitdiff
|
tree
2010-08-05
S
v
en Ver
d
oolaege
isl_pw_
q
polynomial_s
u
m: handle
isl
_
pw_qpolynomi
a
l
s
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sv
e
n Verdoolaege
update
isl for neste
d
dimension spe
c
ific
a
tions
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoo
l
aeg
e
isl_
m
ap_card: postpone s
h
ufflin
g
ar
o
und of dimen
s
ions
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
S
ven Ver
d
oolaege
upda
t
e
isl
for i
s
l_basic_ma
p
_mov
e
_dims
commit
|
commitdiff
|
tree
2010-08-04
S
ven Verdoolaege
isl
_
pw_q
p
olyno
m
ial_
s
um: p
u
sh conve
r
sion to Poly
L
ib
.
.
.
commit
|
commitdiff
|
tree
2010-08-04
Sven Ve
r
doolaege
i
s
l_pw_qpolynom
i
al_s
u
m: check for unbounded doma
i
ns
commit
|
commitdiff
|
tree
2010-08-02
Sven Ver
d
o
olaege
avoid use
of isl_di
m
intern
a
l
s
commit
|
commitdiff
|
tree
2010-07-31
S
ven Verdoo
l
aege
is
c
c:
s
upport codegen operatio
n
if
CL
o
oG is avail
a
ble
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
isc
c
: switch to usi
n
g unions
commit
|
commitdiff
|
tree
2010-07-31
Sv
e
n Verd
o
o
l
aege
add isl_union_pw_qpolynomial
_
sum
commit
|
commitdiff
|
tree
2010-07-31
Sv
e
n
V
erdo
o
laege
add
i
sl_union_ma
p
_card
commit
|
commitdiff
|
tree
2010-07-31
Sven Ver
d
oolaege
i
s
l_pw
_
qpolynomial_su
m
: tak
e
tu
p
le na
m
es i
n
to
account
commit
|
commitdiff
|
tree
2010-07-31
Sven
Ver
d
oo
l
aege
isl
_
m
ap_card: preserve
f
ul
l
do
m
ain dime
n
sion
i
nformat
i
on
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
upd
a
te isl
fo
r
c
hange in isl_
h
ash_table_fore
a
c
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sv
e
n Verdoolaege
barvino
k
_enumerate
.
cc: f
i
x printf for
m
at
commit
|
commitdiff
|
tree
2010-07-03
Sve
n
Verdoolaege
d
oc: a
d
d
s
ome more
pa
p
er
s
refe
r
ing to the library
commit
|
commitdiff
|
tree
2010-06-29
Sven
V
erdoolaege
barv
i
n
o
k 0
.
31
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdo
o
laege
u
p
date isl
to version 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
c
onfigure
.
in: p
r
ope
r
ly add i
s
l
flags and
l
ibs to pkg
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
Sven
V
e
rdoolaege
conf
i
gure
.
in: drop call
t
o gl_EARLY
commit
|
commitdiff
|
tree
2010-06-29
S
v
en
V
er
d
oolaege
gen
f
un
.
c
c: fix pr
i
ntf
format
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
test
_
approx
.
c: fix p
r
intf
f
orma
t
commit
|
commitdiff
|
tree
2010-06-29
S
v
en Ve
r
doolaege
test_
b
ound
.
c
: fi
x
print
f
fo
r
m
a
t
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
configur
e
.
in: s
t
op compiling Omega by default
commit
|
commitdiff
|
tree
2010-06-28
S
ven
V
erdo
o
laege
verify_l
e
xsmaller
.
c: fix
t
yp
o
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdool
a
ege
eva
l
ue
.
c: avoid
use of alloca
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
ae
g
e
evalu
e
_isl
.
c
:
fi
x
typo
commit
|
commitdiff
|
tree
2010-06-20
Sven Verdoolaege
isc
c
: reco
v
e
r
from error
s
commit
|
commitdiff
|
tree
2010-06-20
Sven V
e
r
doo
l
aege
u
p
d
ate
isl
f
or improved error handling
commit
|
commitdiff
|
tree
2010-06-19
S
v
en Verdoolaege
iscc
.
c: fi
x
ty
p
o
commit
|
commitdiff
|
tree
2010-06-13
Sv
e
n Verdoolaege
doc: iscc:
u
pdate documentation of "
u
b" o
p
erator
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdo
o
laege
test_approx: include ctype
.
h fo
r
isspace
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Ve
r
doolaege
test_approx:
inclu
d
e c
o
nfig
.
h
f
or HAVE_SY
S
_
T
IMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdool
a
ege
test
_
bound: incl
u
de co
n
fi
g
.
h for HAVE_SYS
_
TIMES
_
H
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laege
iscc: add v
e
rtices
operations
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
optio
n
ally
use
i
sl to per
f
or
m
parametric vertex enu
m
eration
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
u
pda
t
e isl-polylib fo
r
han
d
ling o
f
ration
a
l
sets
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
drop
d
istinc
t
i
o
n
between bar
v
inok-core an
d
barvinok
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
remov
e
b
e
rn
s
tein
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
update isl for
gene
r
ic isl_pw_qp
o
lynomial_boun
d
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n Verdoolaege
confi
g
u
r
e
.
in: drop bv_omega_progra
m
s
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_ctx_pe
e
k_barvinok_options
commit
|
commitdiff
|
tree
2010-06-07
Sven Ve
r
doolaege
iscc:
p
arse
b
arvinok options
commit
|
commitdiff
|
tree
2010-06-01
Sven V
e
rdo
o
laege
ex
p
ort isl_qpolynomial_from_evalue
commit
|
commitdiff
|
tree
2010-06-01
Sve
n
Verdoolaege
M
akefi
l
e
.
a
m
: drop depende
n
ce on doc/o
m
ega
.
tex
commit
|
commitdiff
|
tree
2010-06-01
Sven
V
er
d
o
olae
g
e
update isl for rename of i
s
l_pw_qpolynomial_mo
v
e
commit
|
commitdiff
|
tree
2010-06-01
S
ven Verdoolaege
ve
r
if_ehrh
a
rt
.
c:
add
m
i
s
sing
i
nclude
commit
|
commitdiff
|
tree
2010-06-01
S
v
en Ve
r
d
o
olaege
configur
e
.
in: fix typo
commit
|
commitdiff
|
tree
2010-06-01
Sven
V
erdoolaege
use isl for ar
g
u
m
ent parsing
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
upda
t
e isl for keeping trac
k
o
f
user
options
commit
|
commitdiff
|
tree
2010-05-19
S
v
en Verdoolaeg
e
test
_
b
o
und: rew
r
ite
in C
commit
|
commitdiff
|
tree
2010-05-19
Sven
V
erdoola
e
ge
update isl fo
r
help m
e
ssage pri
n
tin
g
commit
|
commitdiff
|
tree
2010-05-15
S
v
en Verdoolaege
re
m
ov
e
e
v
al
u
e_optimum
commit
|
commitdiff
|
tree
2010-05-15
S
ven Ver
d
oola
e
ge
rem
o
ve e
v
a
lue_rang
e
_propag
a
tion
commit
|
commitdiff
|
tree
2010-05-15
Sven Verd
o
olaege
t
est_boun
d
:
use isl i
n
terf
a
ce for comp
u
ti
n
g
b
o
u
n
d
s
commit
|
commitdiff
|
tree
2010-05-15
S
ven Verdoolaege
bar
v
inok_bound
:
use
i
sl interface for computing bounds
commit
|
commitdiff
|
tree
2010-05-14
Sven
V
er
d
o
o
laege
i
s
cc: supp
o
r
t
ub even if
G
iNa
C
suppo
r
t wa
s
no
t
c
o
mpiled in
commit
|
commitdiff
|
tree
2010-05-14
Sven Ve
r
doolaege
add
gene
r
ic is
l
_pw_qpoly
n
o
m
ia
l
_b
o
und
commit
|
commitdiff
|
tree
2010-05-14
Sven V
e
rdoolaege
update isl for
i
sl_pw_qpolynom
i
al_
b
o
u
nd_rang
e
commit
|
commitdiff
|
tree
2010-05-14
Sve
n
Ve
r
d
oolae
g
e
test_bound:
u
s
e
isl
d
uring
v
erif
i
cation
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
ba
r
vinok_bound: use isl during verific
a
t
ion
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolae
g
e
verify
.
c: extract some h
e
lper fu
n
c
ti
o
ns fo
r
isl based
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sven Ve
r
doolaege
introd
u
ce "bo
u
nd"
o
p
t
ion
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoo
l
aege
op
t
io
n
s
.
c: fix printf format
commit
|
commitdiff
|
tree
2010-05-10
Sve
n
Verdoolaege
i
s
cc: add app
l
ic
a
tion
op
e
r
a
t
i
o
n
s
commit
|
commitdiff
|
tree
2010-04-24
Sven Ve
r
doolaege
iscc
:
add read operation
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdool
a
ege
iscc:
free options
commit
|
commitdiff
|
tree
2010-04-24
Sven V
e
rdoolaege
up
d
ate isl for readi
n
g of strings
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
upda
t
e isl for fix i
n
i
sl_printer_
p
r
in
t
_pw_q
p
olynomi
a
l
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
S
ven Verdool
a
ege
u
p
dat
e
isl-polylib for change in pk
g
-config f
i
le
commit
|
commitdiff
|
tree
2010-04-21
Sven
Ve
r
doolaege
iscc:
allow specification
of output format
commit
|
commitdiff
|
tree
2010-04-13
Sven Ve
r
doolaege
upd
a
te isl for cha
n
ge in isl_s
e
t_gist
argumen
t
commit
|
commitdiff
|
tree
2010-04-11
Sven Verdoolae
g
e
upda
t
e
isl for rename of isl_map_mov
e
commit
|
commitdiff
|
tree
next