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: add identity operation
2010-10-18
Sven Verdool
a
ege
iscc:
a
dd
i
dentity operation
commit
|
commitdiff
|
tree
2010-10-18
S
v
e
n Verdoo
l
aege
iscc: brea
k
out off main loop when
p
rin
t
er no longer
.
.
.
commit
|
commitdiff
|
tree
2010-10-18
Sve
n
Verdoolaege
i
s
cc: sup
p
ort
e
xtended Po
l
y
L
ib
output format
commit
|
commitdiff
|
tree
2010-10-18
Sve
n
Verdoolaege
configure
.
in: perform check for GMP
s
upport in NTL
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-10-11
Sven
Verdoolaege
is
l
_Polyhedr
o
n_Sample
:
add mis
s
ing i
n
itia
l
i
z
ation
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdool
a
eg
e
is
c
c: add composition op
e
ra
t
ion on pie
c
ewise
q
u
asipoly
n
omial
.
.
.
commit
|
commitdiff
|
tree
2010-10-11
Sven Verd
o
olaege
iscc
:
add
dependence analysi
s
operations
commit
|
commitdiff
|
tree
2010-10-11
Sven
V
erdoo
l
aege
iscc: regist
e
r
extra
k
e
ywor
d
s in
g
ene
r
ic way
commit
|
commitdiff
|
tree
2010-10-11
S
v
en Ver
d
o
olaege
use isl to
p
e
r
f
orm "m
a
n
ual_count"
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdool
a
e
g
e
all
o
w building without piplib
commit
|
commitdiff
|
tree
2010-10-11
Sven
V
erdoola
e
ge
Po
l
yhedro
n
_Reduced_Basis: optiona
l
l
y
u
s
e isl
commit
|
commitdiff
|
tree
2010-10-11
Sven
V
erd
o
olaege
fix d
e
pendence on build i
s
l
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoo
l
a
ege
isl_m
a
p_card: us
e
is
l
f
or
fa
c
tor
i
zation
commit
|
commitdiff
|
tree
2010-09-14
Sven Verdo
o
laeg
e
i
sl_m
a
p_card: split di
m
e
nsion
f
iddling from conversion
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sven Ver
d
ool
a
ege
isl_
m
a
p_card: u
s
e isl_pw_qpolynomial_sum if requ
e
sted
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sven
V
erdoolaege
barvinok 0
.
32
.
1
commit
|
commitdiff
|
tree
2010-09-13
Sven Verdoolaege
upd
a
te isl fo
r
fix in param
e
ter ali
g
nment
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdoolae
g
e
barvinok 0
.
32
commit
|
commitdiff
|
tree
2010-09-10
S
v
en
V
erdoolaege
iscc: add lexicographi
c
oper
a
to
r
s
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdoo
l
aege
update isl to versio
n
0
.
04
commit
|
commitdiff
|
tree
2010-09-07
S
v
en Ve
r
d
oolaege
iscc: add "so
u
rce
"
op
e
ration
commit
|
commitdiff
|
tree
2010-09-06
Sven
V
er
d
oolaege
iscc: add support for strings
commit
|
commitdiff
|
tree
2010-09-06
S
ven Verdoola
e
ge
i
s
cc: print error message o
n
use of
u
nknown identi
f
i
e
r
commit
|
commitdiff
|
tree
2010-09-06
S
v
e
n Verd
o
olaege
isc
c
: support unio
n
sets i
n
ver
t
ice
s
operation
commit
|
commitdiff
|
tree
2010-09-06
Sven
V
erdoolaeg
e
a
d
d i
s
l_list_con
c
at
commit
|
commitdiff
|
tree
2010-09-05
Sv
e
n
V
e
rd
o
olaege
barvinok_bo
u
nd: use is
l
t
o
s
p
lit periods
commit
|
commitdiff
|
tree
2010-09-05
Sven
V
erdoolaege
update isl for
i
s
l_pw_q
p
olynomial_spli
t
_p
e
riods
commit
|
commitdiff
|
tree
2010-08-31
Sven Verdoolaege
d
o
c: m
a
rk
P
o
lyLib interfac
e
obsolescent
commit
|
commitdiff
|
tree
2010-08-31
Sven Verdo
o
laege
M
a
kefile
.
am
:
drop references to obsolete @bv_barvinok_bound@
commit
|
commitdiff
|
tree
2010-08-31
Sven Verdoolae
g
e
evalue_convert
.
cc: evalue_prin
t
_isl: pr
i
nt end-o
f
-
l
ine
commit
|
commitdiff
|
tree
2010-08-30
Sven V
e
r
d
oola
e
ge
iscc:
a
llow coercion o
f
binary list into first ele
m
ent
commit
|
commitdiff
|
tree
2010-08-28
Sve
n
Verdoolaege
barvinok_bound:
co
n
ve
r
t to i
s
l_
p
w_qpoly
n
om
i
al once
commit
|
commitdiff
|
tree
2010-08-28
Sven
V
e
r
doolaege
barvinok_bou
n
d: use isl
to split on dom
a
i
n size
commit
|
commitdiff
|
tree
2010-08-26
Sven
Ver
d
oolae
g
e
s
e
t
sensible defaults with
--po
l
ynomial-approximation
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sve
n
Verdoolaege
isl_pw_q
p
o
l
yno
m
ial_sum
:
re
u
se barv
i
nok_
o
ptio
n
s
if
a
vai
l
able
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verd
o
olaeg
e
is
l
_map_car
d
: reuse
b
arv
i
n
o
k_options if available in
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven
V
e
rdool
a
e
ge
update isl for alig
n
in
g
pa
r
ame
t
ers o
f
union arguments
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
S
ven Verdoolaege
isc
c
: add "join" operatio
n
on
folds
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
iscc: add "join" ope
r
ati
o
n
o
n
m
a
ps and f
o
lds
commit
|
commitdiff
|
tree
2010-08-18
Sven
V
erdoolaege
iscc
:
s
upport addition on a
pair of a
f
o
ld and a quasipolyno
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
up
d
a
t
e isl for adding types to isl_{
u
nion_,}pw_qpolynomial_fo
l
ds
commit
|
commitdiff
|
tree
2010-08-18
S
ven V
e
rdoo
l
a
ege
allow codegen on sets
commit
|
commitdiff
|
tree
2010-08-18
Sve
n
Verdo
o
laege
isc
c
: codeg
e
n: detect strides
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
isc
c
: use simplifi
e
d CLooG i
n
terface
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolae
g
e
update i
s
l f
o
r ren
a
m
e
of
isl_pw_qpolynomial_fol
d
_add
commit
|
commitdiff
|
tree
2010-08-18
Sv
e
n Ver
d
oolaege
is
c
c
.
c
:
union_pw_qpolynomial_upper
_
bound: f
i
x me
m
ory
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
summate
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2010-08-17
Sve
n
Verdoolaege
i
sl_map_appl
y
_p
w
_qpolynomial:
f
i
x typo
commit
|
commitdiff
|
tree
2010-08-10
Sve
n
Verdo
o
laeg
e
update isl from isl_union_map f
i
xes
commit
|
commitdiff
|
tree
2010-08-10
Sven V
e
r
d
oo
l
aege
iscc: all
o
w inve
r
se on non-union ma
p
s again
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaeg
e
iscc: add wrap
and unwrap operatio
n
s
commit
|
commitdiff
|
tree
2010-08-05
Sven
V
erdoola
e
ge
add isl_
u
nio
n
_
m
ap_app
l
y_
u
nion
_
p
w
_qpolynomial
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdool
a
ege
isl_
p
w_
q
p
olynomial
_
sum:
handle isl_pw_qpoly
n
omials
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
update isl for nested dim
e
nsion
s
pecificati
o
ns
commit
|
commitdiff
|
tree
2010-08-05
Sven
V
e
rdool
a
e
ge
is
l
_map_card: po
s
t
pone shuffling
arou
n
d of dimensi
o
ns
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
S
v
en Verdoolaeg
e
update isl for isl_basic_map_mov
e
_di
m
s
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoola
e
ge
isl_p
w
_qpolynomial_sum: push conv
e
rsion to P
o
lyLib
.
.
.
commit
|
commitdiff
|
tree
2010-08-04
Sv
e
n V
e
rdoolaege
isl_
p
w_qpolyn
o
mial_sum: check
for unb
o
und
e
d dom
a
ins
commit
|
commitdiff
|
tree
2010-08-02
Sv
e
n
V
erd
o
olaege
avoid use of i
s
l
_dim interna
l
s
commit
|
commitdiff
|
tree
2010-07-31
Sven
Verdoolaeg
e
iscc: support codeg
e
n o
p
eratio
n
if CLooG is availabl
e
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
i
sc
c
:
s
wi
t
ch to us
i
ng un
i
o
n
s
commit
|
commitdiff
|
tree
2010-07-31
Sve
n
Verdoolaege
ad
d
i
sl
_
u
n
ion
_
pw_qpolynomial_su
m
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
a
d
d isl_un
i
on_map_c
a
rd
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
isl_pw_q
p
o
lynomial
_
sum: take
tuple names into
a
ccou
n
t
commit
|
commitdiff
|
tree
2010-07-31
Sven Verd
o
olaege
isl_map_card: preserve fu
l
l domain dim
e
nsi
o
n
information
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
update i
s
l
for cha
n
g
e i
n
isl
_
hash_table_for
e
ach
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoola
e
ge
barvin
o
k_enu
m
e
r
ate
.
cc: fix pr
i
n
tf format
commit
|
commitdiff
|
tree
2010-07-03
Sven Verdoolaege
doc: add some more papers ref
e
ring to the libra
r
y
commit
|
commitdiff
|
tree
2010-06-29
Sv
e
n Verdoolaege
ba
r
vinok
0
.
3
1
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
update isl to version 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sve
n
Verdool
a
ege
config
u
re
.
in: properly add
isl flags and libs to pkg
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
S
v
en Verdo
o
laege
configure
.
in: drop cal
l
t
o gl_E
A
R
LY
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
genf
u
n
.
cc: fix prin
t
f format
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoo
l
aege
test_approx
.
c
:
fix pri
n
tf
f
o
rmat
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoola
e
ge
te
s
t_
b
ou
n
d
.
c: fix pri
n
tf format
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
configure
.
in: stop compiling
Omega by
d
efault
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdoolae
g
e
v
er
i
fy_l
e
xsmaller
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-27
S
v
en Verdoolaege
evalue
.
c: avoid use of alloca
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
evalue_isl
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-20
Sven Verd
o
ol
a
ege
iscc: recover from err
o
rs
commit
|
commitdiff
|
tree
2010-06-20
Sven Verdool
a
ege
upd
a
te isl fo
r
improv
e
d
e
rr
o
r
h
andling
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoola
e
ge
iscc
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-13
Sven Verdool
a
e
g
e
doc:
iscc
:
u
p
date docum
e
nt
a
tion of "ub" operator
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
rdool
a
e
ge
test_appro
x
: i
n
clude
ctype
.
h
for iss
p
ace
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoo
l
aege
test_approx: inc
l
ude co
n
f
ig
.
h for HAV
E
_
S
Y
S_TIMES
_
H
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
r
d
ool
a
ege
test_
b
ou
n
d
:
includ
e
config
.
h for
HAVE_SYS
_
TIM
E
S_H
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laege
isc
c
:
a
dd
vertices opera
t
ions
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
opt
i
o
nally use i
s
l
to perfo
r
m p
a
rametric vertex en
u
mera
t
ion
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
update isl-polylib for handling of rati
o
nal se
t
s
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laege
drop d
i
s
t
in
c
t
ion be
t
ween b
a
r
v
i
no
k
-co
r
e and barvinok
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
Verdoo
l
ae
g
e
remove
b
ernste
i
n
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoo
l
ae
g
e
update isl for ge
n
eric
i
sl_pw_q
p
o
lynom
i
al_bound
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
confi
g
ure
.
in: drop
b
v_omega_
p
rograms
commit
|
commitdiff
|
tree
2010-06-12
S
v
en V
e
rdoola
e
ge
add isl_ct
x
_peek_barvinok_optio
n
s
commit
|
commitdiff
|
tree
2010-06-07
Sven
V
er
d
o
olaege
i
scc
:
p
a
r
se
barvinok option
s
commit
|
commitdiff
|
tree
2010-06-01
Sven Ver
d
oo
l
aeg
e
e
xpor
t
i
s
l_qpolynomial_f
r
om_ev
a
lue
commit
|
commitdiff
|
tree
2010-06-01
Sven Ver
d
o
o
la
e
ge
Mak
e
file
.
am: d
r
o
p
d
epe
n
dence on doc/omega
.
tex
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
update
i
sl
for r
e
name of isl_p
w
_q
p
olynomial_mov
e
commit
|
commitdiff
|
tree
2010-06-01
Sven Ver
d
oolaege
verif_e
h
rhart
.
c:
a
dd missing include
commit
|
commitdiff
|
tree
2010-06-01
S
v
en Verdoolaege
configure
.
in:
fi
x
ty
p
o
commit
|
commitdiff
|
tree
next