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
summate.c: fix typo in comment
2010-08-18
Sven Verdoolaege
sum
m
at
e
.
c: fix t
y
po in
c
o
m
ment
commit
|
commitdiff
|
tree
2010-08-17
S
ven
V
e
rdoolaege
i
sl_map_apply_pw_qpolynomial: fix
typo
commit
|
commitdiff
|
tree
2010-08-10
S
v
en
V
e
rdo
o
lae
g
e
update isl from
i
s
l_union_
m
a
p
fixes
commit
|
commitdiff
|
tree
2010-08-10
Sven Verdoolaege
iscc: al
l
ow i
n
verse on non-unio
n
m
a
ps again
commit
|
commitdiff
|
tree
2010-08-05
Sven
Verdoolaege
iscc: add wrap a
n
d un
w
r
a
p
operations
commit
|
commitdiff
|
tree
2010-08-05
Sve
n
Verdoo
l
a
e
ge
add isl_unio
n
_map_app
l
y_union_pw_qpolynomial
commit
|
commitdiff
|
tree
2010-08-05
S
v
en Verdoo
l
a
ege
isl_pw_qpolynomial_
s
um: h
a
ndle isl_pw_qp
o
lyno
m
i
als
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Verd
o
olaege
u
pdate isl for
nested dimension
s
pecifications
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdo
o
laege
isl_map
_
card: post
p
one shuf
f
ling around of di
m
en
s
ions
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdo
o
laege
update isl for isl_bas
i
c_map_move_di
m
s
commit
|
commitdiff
|
tree
2010-08-04
Sven Verd
o
olaege
isl_p
w
_qp
o
lynomial_sum: push conversion to PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-08-04
Sven
V
erdoolaege
isl_p
w
_
qpolynomial_sum: check for unbounded doma
i
ns
commit
|
commitdiff
|
tree
2010-08-02
Sve
n
Ve
r
doolaege
a
v
oid use of isl_dim inte
r
n
als
commit
|
commitdiff
|
tree
2010-07-31
Sven
Ve
r
do
o
lae
g
e
iscc
:
s
upport codegen operati
o
n if CLooG is avai
l
able
commit
|
commitdiff
|
tree
2010-07-31
Sven Verd
o
ola
e
ge
iscc: s
w
itch to using unions
commit
|
commitdiff
|
tree
2010-07-31
Sven V
e
rdo
o
laege
add isl_union_pw_
q
polynomial_sum
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
add isl_u
n
ion_map_card
commit
|
commitdiff
|
tree
2010-07-31
Sven
V
e
rd
o
olaege
isl_pw_qpolynomial_s
u
m: tak
e
tu
p
le
n
ames into account
commit
|
commitdiff
|
tree
2010-07-31
Sv
e
n
Verdoolaege
isl
_
map_card: preserve full d
o
main dim
e
n
sion i
n
formation
commit
|
commitdiff
|
tree
2010-07-31
Sven V
e
rdoolaege
u
p
date isl for
c
hange in isl_hash_table_f
o
reach
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sven
V
erdoolaege
barv
i
nok_enu
m
erate
.
cc: fi
x
prin
t
f fo
r
mat
commit
|
commitdiff
|
tree
2010-07-03
Sven Verd
o
o
l
aege
doc
:
add some more papers refering to t
h
e library
commit
|
commitdiff
|
tree
2010-06-29
S
ven
V
erdo
o
laege
barvinok 0
.
31
commit
|
commitdiff
|
tree
2010-06-29
Sven
V
e
rd
o
olaege
u
pdate isl to ver
s
ion 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
co
n
figure
.
in:
properly add
isl
flags an
d
libs to pk
g
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
S
ven Ve
r
doola
e
ge
c
onfigure
.
in: drop call t
o
gl_EAR
L
Y
commit
|
commitdiff
|
tree
2010-06-29
S
ven Verdoola
e
ge
genfun
.
cc: fix p
r
intf format
commit
|
commitdiff
|
tree
2010-06-29
Sven
V
er
d
oolaege
tes
t
_
ap
p
rox
.
c: fix
printf format
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdool
a
ege
test_bound
.
c: fix printf forma
t
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
configure
.
in:
s
top compiling Omega by default
commit
|
commitdiff
|
tree
2010-06-28
Sven Ver
d
oolaege
verify_lexsmaller
.
c: fi
x
typo
commit
|
commitdiff
|
tree
2010-06-27
Sven Verd
o
olaege
evalue
.
c: avoid use
o
f alloca
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
e
v
a
lu
e
_
isl
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-20
S
v
en Verdoo
l
aege
iscc
:
r
ec
o
ver fro
m
erro
r
s
commit
|
commitdiff
|
tree
2010-06-20
S
ven Verdoo
l
aege
update isl
f
or improved e
r
ror ha
n
dling
commit
|
commitdiff
|
tree
2010-06-19
Sven V
e
rdoolaege
iscc
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-13
Sven
V
erdoolaege
doc: iscc: update docume
n
tation of "ub"
operator
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
test_approx:
i
n
c
l
ude ctype
.
h
fo
r
i
sspace
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
test_approx: inclu
d
e con
f
ig
.
h for HAVE_SYS_TIME
S
_H
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laege
test_bound: inclu
d
e confi
g
.
h for H
A
V
E
_SYS_TIMES_
H
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
iscc
:
add vertices operati
o
n
s
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
opt
i
onal
l
y use is
l
to per
f
orm parametric ver
t
ex enumeration
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verd
o
olaege
update isl-polylib f
o
r handling of
rational sets
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
d
rop distin
c
tio
n
between barvino
k
-cor
e
a
n
d barv
i
n
o
k
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
remo
v
e b
e
rns
t
ein
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
update isl for generic isl_pw_qpo
l
y
nomi
a
l_b
o
und
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
con
f
igu
r
e
.
in: dr
o
p bv_omega_programs
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoola
e
ge
add is
l
_ctx_peek_barvino
k
_
o
ptions
commit
|
commitdiff
|
tree
2010-06-07
Sven Ve
r
doolaege
i
scc
:
parse b
a
rvinok options
commit
|
commitdiff
|
tree
2010-06-01
Sven Ver
d
oolaege
ex
p
ort isl_qpol
y
nomi
a
l_from_eva
l
ue
commit
|
commitdiff
|
tree
2010-06-01
Sv
e
n V
e
r
doo
l
ae
g
e
Makefile
.
a
m
:
drop
d
ependence on
d
oc/omeg
a
.
te
x
commit
|
commitdiff
|
tree
2010-06-01
Sven
V
e
rdoo
l
a
e
ge
updat
e
isl
f
o
r renam
e
of is
l
_pw_q
p
olynomial_m
o
ve
commit
|
commitdiff
|
tree
2010-06-01
Sven Ver
d
oolaege
v
e
r
if
_
ehrhart
.
c: add mi
s
s
ing
i
nclude
commit
|
commitdiff
|
tree
2010-06-01
Sven Verd
o
olaege
configure
.
in: f
i
x typo
commit
|
commitdiff
|
tree
2010-06-01
Sv
e
n
V
e
r
do
o
laege
us
e
i
s
l
f
o
r argument pars
i
ng
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
update isl for keeping track of user opt
i
ons
commit
|
commitdiff
|
tree
2010-05-19
S
v
en V
e
rd
o
ol
a
ege
te
s
t_bo
u
nd: rew
r
ite in
C
commit
|
commitdiff
|
tree
2010-05-19
S
v
en Verdoolae
g
e
u
pdate
is
l
for help
message prin
t
ing
commit
|
commitdiff
|
tree
2010-05-15
S
ven
V
erd
o
olaege
r
emo
v
e
eval
u
e_opti
m
um
commit
|
commitdiff
|
tree
2010-05-15
S
v
en Ve
r
doolaege
remove evalue_rang
e
_prop
a
ga
t
ion
commit
|
commitdiff
|
tree
2010-05-15
S
v
en Verdoolaege
test_bound: use is
l
in
t
erface for computing b
o
u
n
ds
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolae
g
e
barvinok_b
o
un
d
: use isl interface for computing b
o
unds
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolae
g
e
iscc
:
s
u
ppo
r
t
u
b even i
f
GiNaC support
w
as not compiled in
commit
|
commitdiff
|
tree
2010-05-14
S
ven Verdo
o
l
aege
add g
e
ner
i
c isl_pw_qpolynomial_b
o
und
commit
|
commitdiff
|
tree
2010-05-14
S
ven
V
erdool
a
e
g
e
update isl for isl_pw_qpolynomial_bound_range
commit
|
commitdiff
|
tree
2010-05-14
S
ven
V
e
rdoolaeg
e
t
e
s
t
_
b
ou
n
d: use isl during veri
f
ica
t
ion
commit
|
commitdiff
|
tree
2010-05-14
Sven
V
e
rdoolaege
b
a
r
vi
n
ok_b
o
und: use isl duri
n
g verification
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
verify
.
c: extract some hel
p
e
r
functions for
i
sl
b
ased
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolae
g
e
introduce
"
boun
d
" option
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaeg
e
optio
n
s
.
c:
f
ix
printf form
a
t
commit
|
commitdiff
|
tree
2010-05-10
Sve
n
Verdoolaege
i
s
cc: add applica
t
ion
operations
commit
|
commitdiff
|
tree
2010-04-24
Sven
Verdo
o
l
aege
i
scc: add r
e
ad operation
commit
|
commitdiff
|
tree
2010-04-24
Sv
e
n Verdoolaege
iscc: free options
commit
|
commitdiff
|
tree
2010-04-24
S
ven Verdoo
l
aege
update
isl for
r
eading of string
s
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
up
d
ate isl for fix i
n
i
s
l_print
e
r_print_p
w
_qpol
y
nom
i
al
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
S
v
en Verdoolaege
update isl-polylib for change in pk
g
-config fil
e
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
i
s
cc:
a
llow
specifica
t
ion of output format
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoo
l
aege
update
isl for ch
a
nge in is
l
_set_gist argument
commit
|
commitdiff
|
tree
2010-04-11
S
ven Ver
d
o
olaege
upd
a
te is
l
for ren
a
me of
i
s
l_map_mov
e
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaeg
e
configure
.
in
:
add
i
s
l
flags and
libs to pkg-
c
on
f
ig
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Ver
d
oolaege
iscc: test isl_strea
m
f
or
eof rat
h
er t
h
an
the underlying
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven
V
erdoolaege
iscc
:
add
d
eltas operation
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolae
g
e
update is
l
for f
i
x in isl_map_d
e
lta
s
commit
|
commitdiff
|
tree
2010-04-04
S
v
en
V
erd
o
ola
e
g
e
dr
o
p
b
arvinok_e
n
u
m
erate_pip_with_
o
pti
o
ns
commit
|
commitdiff
|
tree
2010-04-01
Sven Verdoolae
g
e
i
scc: add c
r
oss product operations
commit
|
commitdiff
|
tree
2010-03-31
S
v
e
n Verd
o
olaege
i
s
cc: add coalesce
operation
s
commit
|
commitdiff
|
tree
2010-03-30
S
ven Verdoo
l
aege
upda
t
e isl for
i
sl_
p
w_qpolynomial_coal
e
sce
commit
|
commitdiff
|
tree
2010-03-27
Sv
e
n
Verdoola
e
g
e
d
rop "O
m
eg
a
counting cal
c
ulator"
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoo
l
aege
test_bound
.
cc: fix printf forma
t
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoola
e
ge
be
r
nste
i
n
.
cc: fix printf format
commit
|
commitdiff
|
tree
2010-03-27
Sven Ver
d
oolaeg
e
evalue_r
a
nge_propagation: fix substit
u
tion for ne
g
ativ
e
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
S
ven
Verdoolaege
bernstein/conf
i
g
ur
e
.
in:
us
e
absolute
s
rcdir of PolyLi
b
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven V
e
r
d
o
o
l
aege
only d
i
stribu
t
e b
u
ndl
e
d submo
d
ul
e
s
commit
|
commitdiff
|
tree
2010-03-25
Sven
V
er
d
ool
a
ege
update
omega
for con
f
iguration is
s
ue
commit
|
commitdiff
|
tree
2010-03-25
Sven Ve
r
doolaege
c
on
f
ig
u
re
.
in: allow "build" P
o
lyLib
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolae
g
e
i
sl_q
p
olynomial_fold_fro
m
_ginac: hand
l
e fail nodes
commit
|
commitdiff
|
tree
2010-03-25
S
v
e
n
Verdo
o
laege
isl_qpoly
n
omial_fr
o
m
_g
i
nac: expand ex bef
o
re i
n
spection
commit
|
commitdiff
|
tree
2010-03-25
Sven V
e
rd
o
ol
a
ege
isl_obj
_
l
ist
.
c: update to use of isl_print
e
r
commit
|
commitdiff
|
tree
2010-03-18
Sven
V
e
rdool
a
ege
iscc: add
g
i
st operations
commit
|
commitdiff
|
tree
2010-03-18
Sven
V
erdoolaege
update isl
f
o
r i
n
troduction of isl_print
e
r
commit
|
commitdiff
|
tree
next