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
add isl_list_concat
2010-09-06
Sven Verdoolaege
add isl_lis
t
_c
o
ncat
commit
|
commitdiff
|
tree
2010-09-05
Sven Verdoolaege
ba
r
v
ino
k
_bound:
u
s
e
isl to
split periods
commit
|
commitdiff
|
tree
2010-09-05
Sven V
e
rdo
o
lae
g
e
update isl for i
s
l
_
pw_q
p
ol
y
nomial_split_periods
commit
|
commitdiff
|
tree
2010-08-31
Sve
n
Verdool
a
ege
doc:
m
a
r
k Poly
L
ib interface obsolescent
commit
|
commitdiff
|
tree
2010-08-31
S
v
en Verdoolaege
Makefi
l
e
.
am
:
drop referen
c
es
t
o
o
bsolete @bv_barvinok_bound@
commit
|
commitdiff
|
tree
2010-08-31
Sven V
e
rdoolaeg
e
evalue_co
n
vert
.
cc: evalue
_
print_i
s
l: print end
-
of
-
line
commit
|
commitdiff
|
tree
2010-08-30
Sven Ver
d
oola
e
ge
iscc
:
allow coercion of binary list i
n
to first el
e
ment
commit
|
commitdiff
|
tree
2010-08-28
Sven Verdoolaege
b
a
rvinok
_
bou
n
d
:
convert
t
o
i
s
l
_
pw_qpolynomial once
commit
|
commitdiff
|
tree
2010-08-28
Sv
e
n V
e
rdoolaege
barvinok_bound: use isl to sp
l
it on
d
omain s
i
z
e
commit
|
commitdiff
|
tree
2010-08-26
Sve
n
Verdoolaeg
e
s
e
t s
e
n
sible
d
efault
s
with --polynomial-a
p
proximation
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
S
v
e
n Verd
o
olaege
isl_pw_qpolyn
o
mial_sum: r
e
use barvinok_opt
i
ons if
a
v
a
ilable
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
S
v
en Verdo
o
lae
g
e
isl
_
map_ca
r
d: reuse barvinok_optio
n
s
if
a
vailable in
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoolaege
update isl for alig
n
ing parame
t
ers of unio
n
arguments
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sv
e
n
Verdoolaeg
e
iscc:
add
"
j
o
i
n
" operation on folds
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
i
s
cc: a
d
d "
j
o
in" op
e
ra
t
ion on maps and fol
d
s
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolae
g
e
i
s
c
c
:
support add
i
ti
o
n on
a
p
a
i
r
o
f a fold and
a
quasipolyno
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sve
n
Verdoolaege
update
isl fo
r
adding
t
ypes
to isl_{u
n
ion_
,
}pw_qpoly
n
omial_fo
l
ds
commit
|
commitdiff
|
tree
2010-08-18
Sv
e
n Ver
d
o
olaege
allow codegen o
n
se
t
s
commit
|
commitdiff
|
tree
2010-08-18
Sven Verd
o
olaege
isc
c
: co
d
egen: d
e
tect stride
s
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoola
e
ge
iscc: use simplif
i
ed CL
o
o
G interface
commit
|
commitdiff
|
tree
2010-08-18
Sven Verd
o
olaege
update isl for rename of isl_pw_qpolynomial
_
f
o
ld_add
commit
|
commitdiff
|
tree
2010-08-18
S
v
en Ve
r
doolaege
iscc
.
c: union_
p
w
_qp
o
ly
n
o
mial_upper_bound: fix memory
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven
V
erdoolaege
sum
m
ate
.
c: fix typo in c
o
m
m
ent
commit
|
commitdiff
|
tree
2010-08-17
Sv
e
n Verdoolaege
isl
_
map_app
l
y
_pw_qpolynom
i
al:
fix typo
commit
|
commitdiff
|
tree
2010-08-10
Sven Verdoolaege
update
i
sl from isl_
u
nion_map fixes
commit
|
commitdiff
|
tree
2010-08-10
Sven Verdo
o
laege
isc
c
:
allow inverse on non-
u
nion maps again
commit
|
commitdiff
|
tree
2010-08-05
Sv
e
n Verdoolaeg
e
iscc:
add wrap and unwrap operations
commit
|
commitdiff
|
tree
2010-08-05
Sven
V
erdo
o
lae
g
e
a
d
d
i
sl_union
_
map
_
app
l
y
_union_pw_
q
po
l
y
n
omial
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
isl
_
pw_qpolynomial_sum:
handle isl_pw_qpolynomials
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
update isl fo
r
nested di
m
ension s
p
eci
f
icati
o
ns
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaeg
e
i
s
l_map_card: postpone shuff
l
ing around
of dimensions
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolae
g
e
upd
a
te isl for isl_b
a
s
ic_map_move_dims
commit
|
commitdiff
|
tree
2010-08-04
Sven V
e
rdoolaege
isl_pw_qpoly
n
omi
a
l_sum: pus
h
c
onversion to PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-08-04
S
v
e
n
Ve
r
doolaege
isl_pw_qpolynomial_sum: check for unbounded domains
commit
|
commitdiff
|
tree
2010-08-02
S
v
en
Ver
d
o
olaege
av
o
id use of isl_dim i
n
ternals
commit
|
commitdiff
|
tree
2010-07-31
S
ven Verdool
a
eg
e
iscc: sup
p
o
r
t codegen operation
if
CLooG is available
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoo
l
aege
i
scc: switch to using unions
commit
|
commitdiff
|
tree
2010-07-31
Sve
n
Ve
r
doolaeg
e
add isl_union_pw
_
q
polynomial_sum
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaeg
e
ad
d
isl_un
i
on_map_ca
r
d
commit
|
commitdiff
|
tree
2010-07-31
Sven V
e
rdoolaege
isl_pw_qpoly
n
om
i
al_sum: take tuple names into account
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
isl_
m
ap_card: pres
e
rve
f
ull domain dimension information
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdo
o
la
e
ge
updat
e
isl for change i
n
i
sl_hash_table_fore
a
ch
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdool
a
ege
b
arv
i
n
o
k
_enu
m
e
r
ate
.
cc: fix
p
rintf fo
r
mat
commit
|
commitdiff
|
tree
2010-07-03
Sven
Verdoolaege
doc: add some mo
r
e p
a
pers refering to the library
commit
|
commitdiff
|
tree
2010-06-29
S
ven Verd
o
olaege
barvinok 0
.
31
commit
|
commitdiff
|
tree
2010-06-29
S
ven Verdoolaege
update isl to versi
o
n 0
.
0
3
commit
|
commitdiff
|
tree
2010-06-29
Sven
Verdoolaege
configure
.
in: pr
o
per
l
y a
d
d
is
l
flags and l
i
bs to pkg
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolae
g
e
configure
.
i
n: drop
c
a
ll
to gl_EARLY
commit
|
commitdiff
|
tree
2010-06-29
Sv
e
n Verd
o
olaege
ge
n
fun
.
cc: fix printf format
commit
|
commitdiff
|
tree
2010-06-29
Sv
e
n Verdo
o
lae
g
e
te
s
t_approx
.
c
: fix printf format
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
test_bo
u
nd
.
c:
f
ix print
f
f
ormat
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
c
o
nfigure
.
in: st
o
p
c
ompil
i
ng Om
e
ga by d
e
f
ault
commit
|
commitdiff
|
tree
2010-06-28
Sven V
e
rdoo
l
aege
verify_lexsmaller
.
c: fix
t
ypo
commit
|
commitdiff
|
tree
2010-06-27
Sven
V
e
r
doolaege
evalue
.
c: avoid use
of
a
lloca
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdool
a
ege
evalue
_
isl
.
c: fix
ty
p
o
commit
|
commitdiff
|
tree
2010-06-20
Sven Ver
d
oolaege
iscc: recover from error
s
commit
|
commitdiff
|
tree
2010-06-20
Sven Verdoola
e
ge
updat
e
i
s
l f
o
r
improved
e
rror
h
a
ndlin
g
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolae
g
e
iscc
.
c: f
i
x typ
o
commit
|
commitdiff
|
tree
2010-06-13
Sven V
e
rdoola
e
g
e
d
o
c: iscc:
u
pdate docu
m
e
ntatio
n
of "u
b
" operator
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doola
e
ge
test_approx: incl
u
de ctype
.
h for isspace
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
test_appr
o
x: in
c
lude conf
i
g
.
h for
HAVE_SYS_TIMES
_
H
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
test_bound: include con
f
ig
.
h
fo
r
H
A
V
E
_
S
Y
S_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdool
a
ege
iscc
:
add vertice
s
op
e
ration
s
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
o
o
laege
op
t
ionally
use isl to per
f
orm parametric ver
t
ex
e
n
u
meration
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
update isl
-
polyli
b
f
or handling of rational
se
t
s
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
dro
p
distinction
be
t
w
een ba
r
v
i
n
ok-core and barvinok
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
remov
e
bernst
e
in
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
update isl
f
o
r generic isl_
p
w_qpolynomial
_
bound
commit
|
commitdiff
|
tree
2010-06-12
S
v
en
Verdoola
e
g
e
co
n
figure
.
in: drop bv_omega_programs
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
a
d
d
isl_ctx_peek_
b
a
rvinok
_
opti
o
ns
commit
|
commitdiff
|
tree
2010-06-07
Sven V
e
rd
o
olaege
isc
c
: pars
e
ba
r
vinok options
commit
|
commitdiff
|
tree
2010-06-01
Sven
Verdo
o
laege
ex
p
ort is
l
_q
p
olynomia
l
_from_e
v
alu
e
commit
|
commitdiff
|
tree
2010-06-01
Sve
n
Verdoolaege
Makefile
.
am: drop
depe
n
dence on
d
o
c
/o
m
ega
.
tex
commit
|
commitdiff
|
tree
2010-06-01
Sven V
e
rdoolaege
upd
a
te i
s
l for rename of is
l
_
p
w
_
qpolynom
i
a
l
_move
commit
|
commitdiff
|
tree
2010-06-01
Sven V
e
rd
o
olaege
ver
i
f
_
ehrhart
.
c
: add missing include
commit
|
commitdiff
|
tree
2010-06-01
Sven
V
erdoolaege
co
n
fi
g
ure
.
i
n
:
fix typo
commit
|
commitdiff
|
tree
2010-06-01
Sven Verd
o
olaege
use isl for argument
parsing
commit
|
commitdiff
|
tree
2010-06-01
S
v
en
V
e
rdo
o
laege
u
pdate isl for keepin
g
tra
c
k of user
o
ptions
commit
|
commitdiff
|
tree
2010-05-19
Sven Ver
d
oolaege
test_boun
d
: rew
r
it
e
in C
commit
|
commitdiff
|
tree
2010-05-19
Sv
e
n Verdoolaeg
e
updat
e
isl for help message p
r
i
nting
commit
|
commitdiff
|
tree
2010-05-15
S
v
en Ve
r
doolaege
remove
evalue_optimum
commit
|
commitdiff
|
tree
2010-05-15
S
v
e
n Verdoolaeg
e
remove e
v
alue
_
ra
n
ge_propagation
commit
|
commitdiff
|
tree
2010-05-15
Sven Verd
o
olaege
test_bound: use isl inter
f
a
c
e for c
o
mputing bounds
commit
|
commitdiff
|
tree
2010-05-15
Sve
n
Verdoolaeg
e
bar
v
inok_b
o
und: us
e
isl i
n
te
r
face for c
o
mputing bo
u
n
d
s
commit
|
commitdiff
|
tree
2010-05-14
Sven
Ve
r
doolae
g
e
i
s
cc: support
ub even if GiNaC suppor
t
was not comp
i
led in
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n Verdoolaege
add generic isl
_
pw_qpolynomial_bound
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
u
pdate isl for isl_pw
_
q
po
l
y
nomial_bou
n
d
_range
commit
|
commitdiff
|
tree
2010-05-14
Sve
n
Verdoolaege
test_bound: use isl during verification
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
barvinok_bound:
u
se isl duri
n
g verific
a
tion
commit
|
commitdiff
|
tree
2010-05-14
S
v
en Verdo
o
laege
verify
.
c: extrac
t
some helper functions for
i
s
l based
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sven V
e
rdoolaege
introduce "boun
d
" option
commit
|
commitdiff
|
tree
2010-05-14
S
v
en Ve
r
doo
l
aege
op
t
ions
.
c
:
f
i
x pri
n
tf fo
r
mat
commit
|
commitdiff
|
tree
2010-05-10
Sven
Verdoolaeg
e
iscc
:
add application oper
a
tions
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoolaege
iscc:
add read
o
peration
commit
|
commitdiff
|
tree
2010-04-24
Sv
e
n Verd
o
olaeg
e
i
scc: free options
commit
|
commitdiff
|
tree
2010-04-24
Sv
e
n V
e
rdoolae
g
e
updat
e
i
s
l for read
i
ng of strings
commit
|
commitdiff
|
tree
2010-04-21
Sven Ve
r
doolaege
up
d
ate i
s
l for fix in
isl_p
r
inter_print_pw_qpol
y
nomial
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
S
v
en V
e
rdoolaege
update
i
s
l-polylib
f
or
cha
n
ge in pk
g
-conf
i
g f
i
l
e
commit
|
commitdiff
|
tree
2010-04-21
Sve
n
Verd
o
ol
a
e
ge
iscc: allow
s
pecif
i
cation of output format
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoolaege
u
p
date isl for change
i
n
i
s
l_set_gi
s
t ar
g
ument
commit
|
commitdiff
|
tree
next