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
doc: mark PolyLib interface obsolescent
2010-08-31
Sven Verdoola
e
ge
doc
:
m
a
r
k Poly
L
ib int
e
rf
a
ce obs
o
lescent
commit
|
commitdiff
|
tree
2010-08-31
Sven Verdoolaege
Makefile
.
am: dr
o
p r
e
ference
s
to obso
l
ete @bv_barvino
k
_boun
d
@
commit
|
commitdiff
|
tree
2010-08-31
Sven Verdoolaege
evalue_con
v
ert
.
cc: e
v
alue_
p
rint_isl: print end-of
-
l
i
ne
commit
|
commitdiff
|
tree
2010-08-30
Sven Verdool
a
e
ge
iscc: allow co
e
rcion of bina
r
y list
i
nt
o
first element
commit
|
commitdiff
|
tree
2010-08-28
Sven Verdoolaege
barvinok_bou
n
d: convert to isl_pw_qpolynomial on
c
e
commit
|
commitdiff
|
tree
2010-08-28
Sv
e
n Verdoolaege
barvinok_bo
u
nd: us
e
i
sl to split on domain size
commit
|
commitdiff
|
tree
2010-08-26
S
ven Verdoolaege
set sensibl
e
d
efaults
w
i
th
--po
l
y
n
omial-ap
p
r
o
ximation
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven
Verd
o
ola
e
g
e
isl_pw_qpoly
n
omial_
s
um: re
u
se barvinok_optio
n
s
if a
v
ai
l
able
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sve
n
V
erdool
a
ege
isl_map_car
d
:
reu
s
e barvi
n
ok_op
t
io
n
s if available in
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoolaege
updat
e
isl for
a
ligning paramete
r
s
of uni
o
n
a
rg
u
m
e
nts
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Ve
r
doolaege
iscc: add
"join" operatio
n
on f
o
l
ds
commit
|
commitdiff
|
tree
2010-08-18
S
ven
Verdo
o
laege
iscc: add
"
join"
operation on maps and
f
o
l
d
s
commit
|
commitdiff
|
tree
2010-08-18
Sven V
e
rdoolaege
i
scc: s
u
pp
o
rt add
i
tion on a pai
r
of a fol
d
a
n
d a quasipolyno
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
S
ven Verdoolaege
update isl for adding types to is
l
_{union_,}pw_qp
o
l
ynomia
l
_folds
commit
|
commitdiff
|
tree
2010-08-18
Sven
V
erdoolaege
allo
w
c
o
deg
e
n on
s
ets
commit
|
commitdiff
|
tree
2010-08-18
Sven V
e
rdoolaege
iscc: code
g
en
:
detect str
i
des
commit
|
commitdiff
|
tree
2010-08-18
Sven Ve
r
doolaege
iscc: use simplif
i
e
d
CLooG i
n
terface
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaeg
e
update
i
sl for rename of isl_pw_
q
p
o
lynom
i
al_fo
l
d_add
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoo
l
aege
iscc
.
c: union_pw_qpolynomial_upper_bound: fi
x
memory
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sv
e
n Ver
d
oolaege
sum
m
ate
.
c
: fix typo in comment
commit
|
commitdiff
|
tree
2010-08-17
Sv
e
n Verdoolaege
isl
_
m
ap_apply_pw_qp
o
lynomial: fix typo
commit
|
commitdiff
|
tree
2010-08-10
Sven Verdoolaege
updat
e
isl from
isl_
u
nion_map fixes
commit
|
commitdiff
|
tree
2010-08-10
Sven Verdoolaege
i
sc
c
:
a
llow inverse on non-unio
n
maps ag
a
in
commit
|
commitdiff
|
tree
2010-08-05
S
ven Verdo
o
laege
iscc: add
wrap an
d
u
nwra
p
operations
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdool
a
ege
a
dd
isl_union_m
a
p_apply_unio
n
_pw_qpolynomial
commit
|
commitdiff
|
tree
2010-08-05
Sven
Ver
d
oola
e
ge
isl_
p
w_qpolynomial_su
m
: handle
i
sl
_
pw_qpoly
n
omials
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdool
a
ege
update isl for nested
dim
e
nsi
o
n
s
p
e
c
ifications
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdool
a
e
g
e
isl_map_card: postpone s
h
uff
l
i
n
g ar
o
und of dimensi
o
ns
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sve
n
V
er
d
oolae
g
e
up
d
ate i
s
l for isl_basic_map_move_dims
commit
|
commitdiff
|
tree
2010-08-04
S
v
en Verd
o
olaege
isl
_
p
w
_
q
polynomial_sum: p
u
s
h
convers
i
on to PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoolaege
isl
_
pw_q
p
o
lyn
o
mial_su
m
:
c
heck
for unbou
n
ded
domain
s
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdoolae
g
e
av
o
id use
of isl_dim internals
commit
|
commitdiff
|
tree
2010-07-31
Sven
V
erdoolaege
iscc: support code
g
en operation if CL
o
o
G is av
a
ilable
commit
|
commitdiff
|
tree
2010-07-31
Sve
n
Verdoolaege
isc
c
: switch to using un
i
ons
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdool
a
ege
add isl_
u
ni
o
n_p
w
_q
p
ol
y
n
o
mial_s
u
m
commit
|
commitdiff
|
tree
2010-07-31
S
v
en Verdoolaege
add isl_union_map_card
commit
|
commitdiff
|
tree
2010-07-31
Sv
e
n Verdoolaege
isl_pw_qpolynom
i
a
l
_sum: take tuple names
i
nto ac
c
o
u
n
t
commit
|
commitdiff
|
tree
2010-07-31
Sven V
e
r
d
o
olaege
i
sl_
m
ap_c
a
rd:
p
reserve full doma
i
n
d
imension in
f
o
r
mation
commit
|
commitdiff
|
tree
2010-07-31
Sven Ve
r
doolae
g
e
update i
s
l for change in isl_hash_table_foreach
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaeg
e
barvinok_enume
r
ate
.
cc: fix prin
t
f form
a
t
commit
|
commitdiff
|
tree
2010-07-03
Sven Verdo
o
laege
doc:
add
so
m
e m
o
re papers refering to the library
commit
|
commitdiff
|
tree
2010-06-29
Sv
e
n
V
e
r
doolaege
barvi
n
o
k
0
.
31
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaeg
e
u
p
date isl to version 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sve
n
Verdoolaege
co
n
figure
.
in:
p
roperly add
i
sl flags a
n
d libs
to
pkg
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdo
o
laege
c
onfigure
.
in:
drop call to gl_EARLY
commit
|
commitdiff
|
tree
2010-06-29
Sve
n
Verdoolaege
g
enf
u
n
.
cc: fi
x
printf fo
r
mat
commit
|
commitdiff
|
tree
2010-06-29
Sven Verd
o
o
laege
t
est_appr
o
x
.
c
: fix print
f
f
ormat
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
test_bo
u
nd
.
c: fix pri
n
tf for
m
at
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
configure
.
in
:
stop com
p
iling
O
mega by de
f
ault
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdoolaege
verif
y
_l
e
xsmaller
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-27
Sven V
e
rdoolaeg
e
evalue
.
c:
a
void use of al
l
oca
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
V
erdoolaege
evalue_isl
.
c: fix typ
o
commit
|
commitdiff
|
tree
2010-06-20
Sven Ver
d
ool
a
ege
iscc: recover from
e
rrors
commit
|
commitdiff
|
tree
2010-06-20
Sven Verd
o
olaege
u
p
date isl for improved e
r
ror hand
l
i
n
g
commit
|
commitdiff
|
tree
2010-06-19
Sven Ve
r
doolaege
iscc
.
c: f
i
x
typo
commit
|
commitdiff
|
tree
2010-06-13
Sven Verdo
o
l
a
e
ge
doc: isc
c
: up
d
ate documentati
o
n of "ub"
o
pera
t
or
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
t
e
st_a
p
prox:
include ctype
.
h
for isspace
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
test_approx: incl
u
de config
.
h
for HAVE_S
Y
S_
T
I
M
ES_H
commit
|
commitdiff
|
tree
2010-06-12
S
ve
n
Verd
o
olaege
test_bound: include config
.
h
f
or HAVE_SYS_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaeg
e
iscc:
add ver
t
ice
s
o
perati
o
ns
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
o
ptionall
y
use isl to perform parametric v
e
r
t
e
x
e
num
e
ratio
n
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
update isl-polylib f
o
r hand
l
ing
o
f rational s
e
ts
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdo
o
laege
d
r
op distinction between barvinok-
c
o
r
e an
d
barvino
k
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdool
a
ege
remove
bernstein
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Ver
d
oolaege
u
p
dat
e
isl for
g
eneric isl_p
w
_qpolyno
m
i
al_bound
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
configure
.
in: drop b
v
_ome
g
a_pro
g
rams
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
add isl_ctx_peek_barvinok_o
p
tions
commit
|
commitdiff
|
tree
2010-06-07
Sve
n
Verd
o
olaege
iscc: p
a
rs
e
barvinok options
commit
|
commitdiff
|
tree
2010-06-01
Sven V
e
r
d
oolaege
expo
r
t i
s
l_qpo
l
ynomial_from_evalue
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoola
e
ge
Ma
k
efile
.
a
m
: dro
p
dependence on do
c
/omega
.
tex
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
update
isl f
o
r
r
e
name of
isl_pw_q
p
olynomi
a
l_move
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolae
g
e
ver
i
f_ehrhart
.
c
:
add mi
s
s
i
ng i
n
clude
commit
|
commitdiff
|
tree
2010-06-01
S
v
en Verdoolaege
c
o
nfigure
.
in: fix
t
ypo
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
u
se
isl
f
o
r argu
m
en
t
parsin
g
commit
|
commitdiff
|
tree
2010-06-01
Sven Ver
d
o
o
laege
update isl for keep
i
ng track of
user options
commit
|
commitdiff
|
tree
2010-05-19
Sven Verdoolaege
test_
b
oun
d
: rewr
i
t
e in
C
commit
|
commitdiff
|
tree
2010-05-19
S
ven Verdoolaege
u
p
dat
e
isl for
h
elp mess
a
ge
p
rinting
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
r
emove ev
a
lu
e
_
opti
m
um
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoo
l
aege
remove e
v
a
lue_range_propagation
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoola
e
g
e
test_
b
ou
n
d: use
i
sl interface for co
m
puting bounds
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdo
o
lae
g
e
b
arvinok_
b
ound:
use
i
sl int
e
rface fo
r
comput
i
ng bounds
commit
|
commitdiff
|
tree
2010-05-14
Sven Ve
r
dool
a
ege
iscc: s
u
p
port ub even if G
i
NaC support was
n
ot comp
i
le
d
in
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdo
o
l
a
eg
e
a
d
d
generic isl_pw_qpoly
n
omial_bound
commit
|
commitdiff
|
tree
2010-05-14
Sven Ve
r
do
o
lae
g
e
up
d
ate isl for
isl_p
w
_qpolyno
m
ial
_
bou
n
d_ran
g
e
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n Verdoolaege
test_bound: use isl during verification
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoo
l
aege
barvin
o
k_b
o
und:
u
se is
l
during ve
r
i
fication
commit
|
commitdiff
|
tree
2010-05-14
S
ven Verd
o
o
l
aege
verify
.
c: extract some
he
l
per func
t
i
o
ns for isl ba
s
e
d
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
S
ven Verdoolaege
introduce "bo
u
n
d
"
option
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaeg
e
options
.
c: fix pr
i
n
t
f
format
commit
|
commitdiff
|
tree
2010-05-10
Sve
n
Verdoolaege
isc
c
: ad
d
a
p
pli
c
ati
o
n
o
peratio
n
s
commit
|
commitdiff
|
tree
2010-04-24
S
v
en V
e
rdoolaege
is
c
c: a
d
d read ope
r
ation
commit
|
commitdiff
|
tree
2010-04-24
Sven
Verdoolaege
iscc: free options
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoolaege
update is
l
for
re
a
din
g
of st
r
ings
commit
|
commitdiff
|
tree
2010-04-21
S
v
e
n
Ve
r
dool
a
e
ge
update
isl for fix in isl_prin
t
er_print_pw_
q
polynom
i
al
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolae
g
e
update isl-po
l
y
lib for chang
e
in pkg
-
confi
g
file
commit
|
commitdiff
|
tree
2010-04-21
Sven Ver
d
oola
e
ge
iscc
:
allow specificatio
n
o
f output form
a
t
commit
|
commitdiff
|
tree
2010-04-13
Sve
n
Verdoolaege
update isl for change in isl_s
e
t_gist
argument
commit
|
commitdiff
|
tree
2010-04-11
Sve
n
Verdo
o
laege
update isl
for rename of
isl_map_mo
v
e
commit
|
commitdiff
|
tree
2010-04-10
S
ven Ver
d
o
o
laege
co
n
f
ig
u
re
.
in: ad
d
isl fl
a
gs and libs to pkg-
c
o
n
f
ig
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdo
o
laege
isc
c
: test isl_stream
fo
r
eof rathe
r
than the underlying
.
.
.
commit
|
commitdiff
|
tree
next