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_union_map_apply_union_pw_qpolynomial
2010-08-05
Sve
n
Ver
d
oolae
g
e
add isl_union_m
a
p_apply_un
i
on_pw_qpolyno
m
ial
commit
|
commitdiff
|
tree
2010-08-05
Sven
V
erd
o
olaege
isl
_
p
w
_qpoly
n
omial_sum: handle
i
sl_pw_qpolyn
o
mials
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
S
v
en
V
erdo
o
laeg
e
upd
a
te isl for
n
ested dimension specifications
commit
|
commitdiff
|
tree
2010-08-05
S
ven
V
erdoolaege
i
sl_m
a
p
_c
a
rd: postp
o
ne shuf
f
ling around of dimensions
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoola
e
ge
upda
t
e isl for is
l
_basic_map_move
_
d
i
m
s
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoo
l
aege
isl_
p
w_qp
o
l
y
nomial_sum: push convers
i
on to Poly
L
ib
.
.
.
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoolaege
isl_pw_qpolynomial_sum: c
h
eck for unbounded d
o
mains
commit
|
commitdiff
|
tree
2010-08-02
Sven
V
erdo
o
l
aege
a
v
o
id use of isl_
d
i
m
internals
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
iscc:
support co
d
egen op
e
rati
o
n
if CLoo
G
i
s
a
vailable
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
iscc: switch to using unions
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
ad
d
i
sl_unio
n
_pw_qpolynomial_sum
commit
|
commitdiff
|
tree
2010-07-31
Sven
V
er
d
oo
l
a
e
g
e
a
d
d
isl_union_map_c
a
rd
commit
|
commitdiff
|
tree
2010-07-31
Sven
V
e
r
doola
e
ge
isl_pw
_
qpolynomial_sum: ta
k
e tuple na
m
es into account
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
isl_map_card: preserv
e
full doma
i
n dimensi
o
n information
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolae
g
e
update isl for c
h
ange in isl_h
a
sh_table
_
foreach
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
S
v
e
n Verdo
o
l
aege
barvinok_enu
m
e
r
at
e
.
cc: fix printf f
o
r
m
at
commit
|
commitdiff
|
tree
2010-07-03
Sven Verdoolaege
doc: add some
more
papers r
e
fering to
the library
commit
|
commitdiff
|
tree
2010-06-29
Sven Verd
o
olaege
bar
v
ino
k
0
.
31
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdo
o
l
a
ege
up
d
ate isl to vers
i
o
n 0
.
0
3
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdool
a
ege
conf
i
gure
.
in:
properly add isl flags and
l
ibs to pkg
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
Sven Verd
o
olaege
configure
.
in:
drop call to
gl
_
EARLY
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
genf
u
n
.
cc: fix prin
t
f format
commit
|
commitdiff
|
tree
2010-06-29
S
ven Verdoolaege
test_approx
.
c: fix printf format
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
test_
b
ound
.
c: fix printf
f
ormat
commit
|
commitdiff
|
tree
2010-06-29
S
v
e
n
Ve
r
doolaege
configure
.
in:
s
top co
m
piling Omega
b
y def
a
u
lt
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdoolaege
veri
f
y_lexsmaller
.
c: fix
typo
commit
|
commitdiff
|
tree
2010-06-27
Sven Verd
o
olaeg
e
eval
u
e
.
c: avoid use of alloca
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
e
value_isl
.
c: f
i
x typo
commit
|
commitdiff
|
tree
2010-06-20
Sven Verdoolaege
iscc: recover
from
e
rro
r
s
commit
|
commitdiff
|
tree
2010-06-20
S
ven Verdoolae
g
e
up
d
ate isl for improved
e
r
r
or handli
n
g
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdo
o
laege
isc
c
.
c
:
fix typo
commit
|
commitdiff
|
tree
2010-06-13
Sve
n
Verd
o
o
laege
d
o
c: iscc: upda
t
e
documentation of "ub
"
o
p
erato
r
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
Ve
r
doo
l
a
e
ge
te
s
t
_approx
:
in
c
l
u
d
e
ctype
.
h for isspace
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
test_approx:
in
c
lude c
o
n
f
ig
.
h for HAVE_
S
YS_TIMES
_
H
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laege
t
e
s
t
_bound: i
n
clud
e
con
f
ig
.
h for HA
V
E_SYS_T
I
MES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
iscc:
a
d
d ve
r
t
i
ces
operations
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
optionally
u
s
e isl to perform par
a
metric ve
r
te
x
en
u
mera
t
i
o
n
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doola
e
ge
update isl-polylib for h
a
ndling
o
f ratio
n
al sets
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
drop distinc
t
ion be
t
w
e
en bar
v
inok-co
r
e and
barvinok
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
remove bernstein
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
l
aeg
e
upda
t
e
isl for
g
e
n
eri
c
isl_pw_qpolyno
m
ial_boun
d
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
c
o
n
figure
.
in:
dro
p
bv_omega_programs
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdo
o
laege
add is
l
_ctx_p
e
ek_barvinok_o
p
t
i
ons
commit
|
commitdiff
|
tree
2010-06-07
Sve
n
Ve
r
do
o
laege
iscc: parse barvi
n
o
k
o
p
ti
o
n
s
commit
|
commitdiff
|
tree
2010-06-01
S
ven Verdo
o
laege
export
isl_qp
o
lyn
o
mial_from_evalue
commit
|
commitdiff
|
tree
2010-06-01
Sven V
e
rdoolaege
Makefil
e
.
am: drop depen
d
en
c
e
o
n doc/omega
.
tex
commit
|
commitdiff
|
tree
2010-06-01
S
v
e
n
V
e
rdoola
e
ge
u
pdate
isl for ren
a
me of isl_pw
_
qpolynomial_move
commit
|
commitdiff
|
tree
2010-06-01
Sv
e
n Verdoo
l
aege
verif_ehrhart
.
c:
add missing
includ
e
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdool
a
ege
c
o
nfi
g
ure
.
in: fix t
y
po
commit
|
commitdiff
|
tree
2010-06-01
Sven V
e
rdoo
l
ae
g
e
use isl for argument parsing
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaeg
e
u
pdate isl for kee
p
i
ng tra
c
k
of user
o
ptions
commit
|
commitdiff
|
tree
2010-05-19
Sve
n
Ve
r
doola
e
ge
t
est_bound
:
r
e
w
ri
t
e
i
n C
commit
|
commitdiff
|
tree
2010-05-19
Sven Verdoolaege
u
pdate is
l
for h
e
lp
message printing
commit
|
commitdiff
|
tree
2010-05-15
Sven
V
erdoolae
g
e
remove
evalue_optimum
commit
|
commitdiff
|
tree
2010-05-15
S
ven Verdoolae
g
e
rem
o
ve evalue_range_propagat
i
on
commit
|
commitdiff
|
tree
2010-05-15
Sv
e
n Ver
d
oolaege
te
s
t
_
b
o
und: use
i
sl interfa
c
e f
o
r
computing boun
d
s
commit
|
commitdiff
|
tree
2010-05-15
Sv
e
n
V
erdo
o
l
a
ege
barvinok_bound: use
i
sl interface for computing
bounds
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoo
l
a
e
g
e
iscc: support ub e
v
en if GiNaC support was n
o
t
com
p
iled in
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoola
e
ge
add
generic isl_pw
_
q
pol
y
no
m
ial
_
bound
commit
|
commitdiff
|
tree
2010-05-14
Sven Ver
d
oolaege
update isl
f
o
r isl_p
w
_qpolynomial_bound_range
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
test_bound: use isl during
v
e
r
ification
commit
|
commitdiff
|
tree
2010-05-14
S
v
en Verdoola
e
ge
barvinok_bound
:
use
i
sl during v
e
rificatio
n
commit
|
commitdiff
|
tree
2010-05-14
S
ven Ver
d
oolaege
verify
.
c:
extract some helpe
r
f
u
nctions fo
r
isl bas
e
d
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sven Ve
r
doolaeg
e
introduce "bo
u
nd"
o
pti
o
n
commit
|
commitdiff
|
tree
2010-05-14
S
v
e
n
V
e
rdoolaege
op
t
i
o
n
s
.
c: fix printf format
commit
|
commitdiff
|
tree
2010-05-10
Sve
n
Verd
o
olaege
iscc: add a
p
p
l
i
c
a
tion operations
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdo
o
l
a
eg
e
iscc
:
add read o
p
eration
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoola
e
ge
i
scc: free options
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdool
a
e
g
e
updat
e
isl for r
e
ading of strings
commit
|
commitdiff
|
tree
2010-04-21
Sven
Verd
o
olaege
update isl for fix in isl_pr
i
nter_print_p
w
_qpoly
n
omial
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verd
o
o
laege
update
i
s
l-poly
l
ib for cha
n
ge in
p
kg
-
config file
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdool
a
ege
iscc: a
l
lo
w
s
pecification of outp
u
t format
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoolaege
update isl f
o
r change in isl_set_g
i
s
t argument
commit
|
commitdiff
|
tree
2010-04-11
Sv
e
n
Verdo
o
la
e
ge
update isl for re
n
ame of isl_map_move
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaege
configure
.
i
n: add
i
s
l f
l
ags
an
d
lib
s
to
pkg-c
o
nfig
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
iscc: test isl_stream for eof rat
h
er than the u
n
derl
y
in
g
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
S
v
e
n
Verd
o
olaeg
e
iscc: add deltas oper
a
tion
commit
|
commitdiff
|
tree
2010-04-07
S
ven Verdoolaege
u
p
date isl for
fix in
i
sl_map_deltas
commit
|
commitdiff
|
tree
2010-04-04
Sven Verdool
a
ege
drop barvinok_e
n
um
e
rate
_
pip_wi
t
h_opt
i
on
s
commit
|
commitdiff
|
tree
2010-04-01
Sv
e
n Verdoolaege
iscc: add cros
s
product operations
commit
|
commitdiff
|
tree
2010-03-31
Sven Ver
d
oolae
g
e
iscc: add coa
l
esce operati
o
ns
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdool
a
eg
e
updat
e
isl for
i
s
l_pw_qpolyno
m
ial_coalesc
e
commit
|
commitdiff
|
tree
2010-03-27
S
v
en Verdoolaege
drop "
O
mega
c
o
unting calc
u
lator"
commit
|
commitdiff
|
tree
2010-03-27
S
v
en
Ve
r
doolaege
test_bound
.
cc
:
fix printf
f
o
rmat
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdo
o
laege
bernstein
.
cc: fix printf format
commit
|
commitdiff
|
tree
2010-03-27
Sv
e
n Verdoola
e
ge
e
value_range_propagation: fix
substitut
i
on
for ne
g
ative
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sv
e
n Verdoolaege
berns
t
e
i
n/configu
r
e
.
i
n:
us
e
absolute sr
c
dir of P
o
lyLib
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven
V
erdoolaege
only distribut
e
b
undled subm
o
d
u
les
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
update omega fo
r
configuration i
s
sue
commit
|
commitdiff
|
tree
2010-03-25
S
ven Verdoolaege
configu
r
e
.
in: allow "bui
l
d
"
PolyLib
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdool
a
e
ge
isl_
q
po
l
yn
o
mial_fold_from_ginac: ha
n
dl
e
f
ail
nodes
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoola
e
g
e
isl_qpolynomial_from_
g
inac:
e
xpand e
x
befor
e
inspection
commit
|
commitdiff
|
tree
2010-03-25
Sven V
e
rdoolaege
is
l
_obj_l
i
s
t
.
c: update to use of isl_printer
commit
|
commitdiff
|
tree
2010-03-18
Sven V
e
rdo
o
l
a
ege
isc
c
: add gi
s
t op
e
ra
t
i
o
ns
commit
|
commitdiff
|
tree
2010-03-18
Sv
e
n
Verdoolaege
u
p
date isl for introduction of isl_prin
t
er
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdool
a
ege
isl
_
p
w
_
q
polynomial_upper_bound: set
up varia
b
le vect
o
r
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoolaege
iscc:
add so
m
e compari
s
on oper
a
tion
s
commit
|
commitdiff
|
tree
2010-03-15
S
ven Verdool
a
ege
iscc: add inverse oper
a
t
i
on
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdo
o
laege
i
s
c
c
:
fix up type
o
f fin
d
_matching_bin_op
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n Verdoolaege
iscc: add affin
e
hull ope
r
ation
commit
|
commitdiff
|
tree
next