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_bound: convert to isl_pw_qpolynomial once
2010-08-28
Sven Verdo
o
laege
barvinok_bound:
conve
r
t to is
l
_pw_
q
polynomial once
commit
|
commitdiff
|
tree
2010-08-28
Sven Verdoola
e
ge
bar
v
inok
_
b
ound: use isl to spl
i
t on domain size
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoo
l
aege
s
e
t
sensible de
f
aults wi
t
h
-
-polynomial
-
a
p
proximation
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven
Ve
r
doolae
g
e
isl_pw
_
qpolyno
m
ial_sum: reuse ba
r
vinok_options if
a
vailable
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoolaege
isl
_
ma
p
_
c
a
r
d: reuse barvino
k
_options
i
f availab
l
e
i
n
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Ve
r
doolaege
update i
s
l
for al
i
gn
i
ng parameters
o
f union argu
m
e
n
ts
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
S
v
en Verdoolaege
iscc: ad
d
"
join
"
op
e
ration on folds
commit
|
commitdiff
|
tree
2010-08-18
Sven Verd
o
olaege
i
scc: add "jo
i
n
"
operation o
n
map
s
and f
o
l
d
s
commit
|
commitdiff
|
tree
2010-08-18
S
v
en Verdoo
l
aege
i
s
cc: suppo
r
t
a
ddition on a pai
r
of a fold an
d
a quasipolyno
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sve
n
Verdo
o
laege
update
i
sl for adding
types to isl_{union_
,
}pw
_
qpolynomial_folds
commit
|
commitdiff
|
tree
2010-08-18
S
v
en Verdoolaege
all
o
w cod
e
gen on sets
commit
|
commitdiff
|
tree
2010-08-18
Sven
Verdoolaege
isc
c
: c
o
de
g
en: detect strides
commit
|
commitdiff
|
tree
2010-08-18
Sven Verd
o
o
l
aege
iscc
:
us
e
s
implified
C
L
o
oG in
t
erface
commit
|
commitdiff
|
tree
2010-08-18
Sven V
e
rd
o
ola
e
g
e
u
pdate isl f
o
r r
e
name
o
f isl_pw_qpol
y
nomial_fold
_
add
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdool
a
ege
iscc
.
c:
un
i
on
_
pw_qpol
y
nomial_upper_bound:
fix memory
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoo
l
aege
summate
.
c
:
fix typo in co
m
m
ent
commit
|
commitdiff
|
tree
2010-08-17
Sven Verdoolaege
isl_map_apply_pw
_
qpolynomial: fix ty
p
o
commit
|
commitdiff
|
tree
2010-08-10
Sven Verdoolae
g
e
update
isl fro
m
isl_uni
o
n_
m
ap
f
ixes
commit
|
commitdiff
|
tree
2010-08-10
Sven
Verdool
a
e
ge
iscc:
a
llow inv
e
rse on
n
on-union maps again
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoola
e
ge
i
s
c
c: a
d
d wrap and unwrap opera
t
ions
commit
|
commitdiff
|
tree
2010-08-05
S
ven Verdoolaeg
e
add
i
sl_
u
nion_map
_
apply_union_p
w
_qpolynomial
commit
|
commitdiff
|
tree
2010-08-05
S
v
en Verdoola
e
ge
isl_pw_qpolynomial_sum: ha
n
dle isl_pw_qpolynomials
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdool
a
ege
u
pdate isl for neste
d
dimension specif
i
cations
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
isl_map_card: postpone shuffl
i
ng around of dim
e
nsions
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sv
e
n Ver
d
ool
a
ege
u
pdate isl for isl_basic_
m
ap_move_d
i
ms
commit
|
commitdiff
|
tree
2010-08-04
Sve
n
Verd
o
olaege
isl
_
pw_qpo
l
yn
o
m
i
al_
s
u
m: push c
o
nversion to Pol
y
Lib
.
.
.
commit
|
commitdiff
|
tree
2010-08-04
Sven
Verdoolaeg
e
isl_pw
_
qpolynomial_
s
um: ch
e
ck
fo
r
unbounde
d
domains
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdoolaege
a
void
u
se of isl_dim
i
nte
r
nals
commit
|
commitdiff
|
tree
2010-07-31
S
v
en Verdoolaege
iscc:
support
codegen o
p
e
r
ation if
C
L
o
oG is available
commit
|
commitdiff
|
tree
2010-07-31
Sv
e
n Ve
r
d
o
o
laege
isc
c
: switch t
o
using unio
n
s
commit
|
commitdiff
|
tree
2010-07-31
Sven Ve
r
dool
a
e
g
e
a
dd isl_
u
nion
_
pw_qpoly
n
omial_sum
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
ad
d
isl_union_map_
c
a
r
d
commit
|
commitdiff
|
tree
2010-07-31
Sven V
e
rdool
a
ege
isl_
p
w_
q
po
l
ynomi
a
l_sum: ta
k
e tup
l
e names into acco
u
nt
commit
|
commitdiff
|
tree
2010-07-31
Sven Ver
d
oolaege
isl_map_card: p
r
es
e
rve
f
u
ll domain di
m
ension inf
o
r
m
ation
commit
|
commitdiff
|
tree
2010-07-31
Sven V
e
rdoolaege
u
p
date
is
l
for cha
n
ge in i
s
l_ha
s
h_tab
l
e_fo
r
each
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sven Ver
d
o
olaege
bar
v
inok_enumer
a
te
.
cc: fix
p
r
i
ntf format
commit
|
commitdiff
|
tree
2010-07-03
Sve
n
Verdoo
l
aege
doc
:
add som
e
more papers
r
e
f
ering to the library
commit
|
commitdiff
|
tree
2010-06-29
Sve
n
Ver
d
oolaege
barvinok 0
.
31
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
upd
a
te
i
s
l to version 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
S
v
en Verdoo
l
a
e
g
e
configure
.
in: prop
e
rly add is
l
flag
s
and libs to pkg
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
Sven
V
e
rdoo
l
aege
configure
.
i
n: drop c
a
ll to
g
l_EARLY
commit
|
commitdiff
|
tree
2010-06-29
Sven
Verdoolaege
genfun
.
cc: fix
pri
n
tf format
commit
|
commitdiff
|
tree
2010-06-29
Sv
e
n
V
e
r
d
o
ola
e
ge
test_approx
.
c: f
i
x printf fo
r
mat
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
tes
t
_bo
u
nd
.
c: fix prin
t
f format
commit
|
commitdiff
|
tree
2010-06-29
S
ven Verdoo
l
aege
configur
e
.
in:
s
top compil
i
n
g
Omega by
d
efault
commit
|
commitdiff
|
tree
2010-06-28
Sve
n
Verdoolaege
v
e
rify_
l
exsmaller
.
c
:
fix ty
p
o
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaege
e
value
.
c
: avo
i
d use of alloca
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
evalue_isl
.
c:
f
ix typo
commit
|
commitdiff
|
tree
2010-06-20
Sv
e
n Verdoolaege
iscc
:
recover fr
o
m errors
commit
|
commitdiff
|
tree
2010-06-20
S
v
en Verdoolaege
update
isl for improved error handl
i
ng
commit
|
commitdiff
|
tree
2010-06-19
Sven
V
erd
o
olaege
iscc
.
c: fi
x
typo
commit
|
commitdiff
|
tree
2010-06-13
Sv
e
n Verdoolaeg
e
doc:
i
s
cc: u
p
date do
c
umentation of
"
u
b
"
operator
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
test_approx: in
c
l
u
de c
t
y
pe
.
h for isspace
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
test_approx: in
c
lude config
.
h for HA
V
E_SYS_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n
Verd
o
olaeg
e
test_bo
u
nd:
i
ncl
u
de config
.
h for HAVE_SYS_TI
M
ES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
is
c
c: ad
d
vert
i
c
e
s
operations
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
optio
n
ally
u
s
e isl t
o
pe
r
form parametric v
e
rtex enumerati
o
n
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
upd
a
t
e
isl-p
o
lylib
f
or h
a
ndl
i
ng
o
f rational sets
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
drop distinction
between
b
a
r
vinok-core and
barvinok
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoola
e
ge
remove berns
t
ein
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
update isl for
generic isl_pw
_
qp
o
lynomial_bou
n
d
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
configure
.
in: drop
bv_om
e
ga_pro
g
rams
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
add is
l
_ctx_peek_barvinok_
o
ption
s
commit
|
commitdiff
|
tree
2010-06-07
Sven Verdoolaege
iscc: pars
e
barvi
n
ok options
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
export
isl_qpolyn
o
mial_from_e
v
alu
e
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
Makefile
.
am: drop dependenc
e
o
n d
o
c
/
omega
.
t
ex
commit
|
commitdiff
|
tree
2010-06-01
Sven
V
erdoolaege
update is
l
for r
e
name of isl_pw_qp
o
lynomi
a
l_m
o
v
e
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
verif_ehrhart
.
c: add
m
i
ssing include
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
co
n
figure
.
in:
fi
x
ty
p
o
commit
|
commitdiff
|
tree
2010-06-01
Sve
n
Verdoolaege
u
se isl
for
a
rgument parsing
commit
|
commitdiff
|
tree
2010-06-01
Sve
n
Ver
d
oolae
g
e
update isl for keeping track of user o
p
t
i
ons
commit
|
commitdiff
|
tree
2010-05-19
S
ven Verdoolaege
test_
b
ound:
r
ewrite in C
commit
|
commitdiff
|
tree
2010-05-19
Sven Verd
o
olae
g
e
update isl for help message printing
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoola
e
ge
remove evalue_optimum
commit
|
commitdiff
|
tree
2010-05-15
Sven
Verdoolaege
remov
e
evalue_range_propagation
commit
|
commitdiff
|
tree
2010-05-15
Sv
e
n
V
e
r
d
oolaege
test_b
o
und: use isl i
n
terfa
c
e for computing bo
u
n
d
s
commit
|
commitdiff
|
tree
2010-05-15
Sve
n
V
e
r
dool
a
ege
barvino
k
_bound: use i
s
l interface for computing bo
u
n
d
s
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
iscc: suppo
r
t
u
b even if GiN
a
C support wa
s
n
o
t compiled in
commit
|
commitdiff
|
tree
2010-05-14
Sven V
e
r
d
oolaege
add generi
c
isl_
p
w_q
p
ol
y
nomi
a
l
_bound
commit
|
commitdiff
|
tree
2010-05-14
Sven V
e
r
d
oolaege
update isl
f
or isl
_
pw_qpol
y
nomial_bo
u
nd_range
commit
|
commitdiff
|
tree
2010-05-14
S
ven Verdo
o
laege
tes
t
_bound
:
use isl during verification
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolae
g
e
b
a
rv
i
n
ok_bou
n
d: use isl
d
uring verifi
c
ation
commit
|
commitdiff
|
tree
2010-05-14
Sven
Verdoo
l
aege
v
e
rify
.
c: extra
c
t
s
ome hel
p
er
f
u
nctions for i
s
l bas
e
d
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
S
v
en V
e
r
d
oo
l
aege
intr
o
duce "bound" option
commit
|
commitdiff
|
tree
2010-05-14
Sven Ve
r
doolaege
options
.
c:
f
i
x printf forma
t
commit
|
commitdiff
|
tree
2010-05-10
Sven V
e
r
doolaege
iscc: add applic
a
t
ion operation
s
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoolaege
i
s
c
c
: add read operation
commit
|
commitdiff
|
tree
2010-04-24
Sv
e
n
Verdoolaege
iscc: free
o
p
tions
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoolaege
update
i
sl for read
i
ng of st
r
ings
commit
|
commitdiff
|
tree
2010-04-21
Sven
V
er
d
oolae
g
e
updat
e
isl for fix in isl_printer_print_pw_
q
polynomi
a
l
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
update isl-polylib for change in pk
g
-config
file
commit
|
commitdiff
|
tree
2010-04-21
Sven Ve
r
d
oo
l
a
e
g
e
iscc
:
a
llow specific
a
t
ion o
f
output format
commit
|
commitdiff
|
tree
2010-04-13
Sven
V
erdo
o
laege
update isl for
chan
g
e in isl_s
e
t_gist argumen
t
commit
|
commitdiff
|
tree
2010-04-11
Sven Verdoola
e
ge
update isl fo
r
renam
e
o
f
i
s
l
_
m
ap_mo
v
e
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdool
a
ege
configure
.
in: add isl
flags
and l
i
bs to
p
kg-
c
o
nfig
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sve
n
Verdoolaege
iscc: t
e
s
t
isl_stream f
o
r eof rat
h
e
r
than t
h
e underlying
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven V
e
rdoo
l
aeg
e
iscc: add deltas o
p
eratio
n
commit
|
commitdiff
|
tree
2010-04-07
Sve
n
Verdoolaege
update isl for fix in i
s
l_map_deltas
commit
|
commitdiff
|
tree
2010-04-04
Sven Verdoolaege
drop bar
v
i
n
ok_enume
r
ate_pip_with_options
commit
|
commitdiff
|
tree
2010-04-01
Sven V
e
rdoolaege
iscc: add
c
ro
s
s
prod
u
ct
op
e
rations
commit
|
commitdiff
|
tree
next