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
use isl to perform "manual_count"
2010-10-11
Sven Verdoolaege
use i
s
l
to pe
r
form
"
manual_count"
commit
|
commitdiff
|
tree
2010-10-11
S
ven Ve
r
doo
l
aege
allow b
u
ilding
w
i
t
h
o
u
t piplib
commit
|
commitdiff
|
tree
2010-10-11
Sven
V
erdool
a
e
g
e
Polyhedron_Re
d
uced_Basis: optional
l
y use isl
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
fix depend
e
nce on b
u
ild isl
commit
|
commitdiff
|
tree
2010-10-11
Sven Ver
d
oolaege
i
sl_map
_
card: use isl for fa
c
toriza
t
ion
commit
|
commitdiff
|
tree
2010-09-14
S
ve
n
Verd
o
olaege
isl
_
map_card: sp
l
i
t
dimen
s
ion fiddling from conversion
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sven Verdoolaeg
e
isl_map_card: us
e
isl_pw_q
p
olyn
o
mial_sum
if request
e
d
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sv
e
n
V
erdoolaege
barvinok 0
.
32
.
1
commit
|
commitdiff
|
tree
2010-09-13
Sv
e
n Verdoolaege
up
d
a
t
e
i
sl for
f
ix
i
n pa
r
ameter alignmen
t
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdoo
l
ae
g
e
b
a
rvinok 0
.
32
commit
|
commitdiff
|
tree
2010-09-10
Sven V
e
rd
o
o
l
aege
iscc:
a
dd lexico
g
raphic opera
t
o
r
s
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdoolaege
upda
t
e
isl to versio
n
0
.
04
commit
|
commitdiff
|
tree
2010-09-07
Sven Verdo
o
laege
iscc: add "source" o
p
erati
o
n
commit
|
commitdiff
|
tree
2010-09-06
Sven Ver
d
oolaege
iscc
:
add
s
upport for strings
commit
|
commitdiff
|
tree
2010-09-06
Sv
e
n Ve
r
do
o
laege
iscc: print error me
s
sage on u
s
e of unknown identifier
commit
|
commitdiff
|
tree
2010-09-06
Sven
V
erdoolaeg
e
i
s
c
c
:
s
upport union sets in
vert
i
ce
s
opera
t
ion
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoola
e
g
e
a
d
d isl_list_conc
a
t
commit
|
commitdiff
|
tree
2010-09-05
Sven Ve
r
doolae
g
e
bar
v
ino
k
_bound: use
is
l
to split
p
erio
d
s
commit
|
commitdiff
|
tree
2010-09-05
S
v
en Verdoolaege
update isl
f
o
r i
s
l_pw_q
p
olyn
o
mi
a
l_split_pe
r
iods
commit
|
commitdiff
|
tree
2010-08-31
Sve
n
Ver
d
oolaege
doc: m
a
rk
PolyLi
b
interface obsolescent
commit
|
commitdiff
|
tree
2010-08-31
Sven Verdoolaege
Makefile
.
a
m: drop references to obsolet
e
@
b
v
_
b
a
rvinok_bound@
commit
|
commitdiff
|
tree
2010-08-31
Sven Verdoo
l
aege
e
v
a
lue_c
o
nver
t
.
cc
:
e
v
alue_print_isl: print e
n
d-of
-
l
ine
commit
|
commitdiff
|
tree
2010-08-30
S
v
en Ve
r
doolae
g
e
iscc
:
a
llow
coercion o
f
binary list in
t
o
f
irst element
commit
|
commitdiff
|
tree
2010-08-28
Sven Verdoolaege
ba
r
vinok_bound: convert
t
o isl_pw_qpolynomial once
commit
|
commitdiff
|
tree
2010-08-28
Sven Verdool
a
ege
ba
r
vinok_bound: u
s
e isl to
s
plit on domain
s
ize
commit
|
commitdiff
|
tree
2010-08-26
S
ven Verdool
a
ege
set se
n
sible defaults with --polynomial-approx
i
mat
i
on
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoolaeg
e
isl_pw_
q
p
o
l
ynomial
_
sum:
r
euse barvinok_options if available
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoolaege
is
l
_ma
p
_
c
ar
d
:
reuse
barvinok_
o
ptions
i
f avai
l
able in
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven V
e
rdool
a
ege
updat
e
i
s
l fo
r
aligning
p
a
ra
m
eters
of union arguments
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
S
ven
Verdoolaege
i
s
c
c
: ad
d
"join
"
o
p
e
r
a
tio
n
on
f
o
l
d
s
commit
|
commitdiff
|
tree
2010-08-18
S
v
e
n Ve
r
do
o
lae
g
e
iscc: a
d
d
"joi
n
" operation on m
a
p
s and f
o
lds
commit
|
commitdiff
|
tree
2010-08-18
Sven
Verdo
o
laege
iscc: support addi
t
ion on a pair
of a
f
old and
a
qu
a
s
ipolyno
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolae
g
e
update isl for adding types to
i
s
l_{union_
,
}pw_qpolynomial_folds
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdool
a
ege
allow
c
o
d
e
g
en o
n
se
t
s
commit
|
commitdiff
|
tree
2010-08-18
S
v
e
n
Verdo
o
laege
iscc
:
code
g
en: detect strides
commit
|
commitdiff
|
tree
2010-08-18
Sven
Verdool
a
ege
iscc: use simplified CLooG interface
commit
|
commitdiff
|
tree
2010-08-18
Sven Ver
d
oolaege
u
p
date
isl for r
e
name of isl_pw_qpolynomial_fold_add
commit
|
commitdiff
|
tree
2010-08-18
Sve
n
Verdo
o
laege
i
s
cc
.
c: union_pw_
q
po
l
ynomial_upper_bound:
f
ix memory
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
summate
.
c:
f
ix t
y
po i
n
comment
commit
|
commitdiff
|
tree
2010-08-17
S
ven Verdoolaeg
e
i
s
l_map_apply_pw_qpolyn
o
mi
a
l:
f
ix typ
o
commit
|
commitdiff
|
tree
2010-08-10
Sven
V
erdoolaeg
e
update isl from isl_uni
o
n
_map fi
x
es
commit
|
commitdiff
|
tree
2010-08-10
Sven V
e
rdoolae
g
e
iscc
:
a
l
l
ow in
v
erse on non-union
map
s
again
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
is
c
c: add wra
p
and unwrap opera
t
ions
commit
|
commitdiff
|
tree
2010-08-05
Sven Verd
o
ola
e
ge
add is
l
_union_ma
p
_apply_
u
n
i
on_pw_qpolynomial
commit
|
commitdiff
|
tree
2010-08-05
Sven V
e
r
doolaeg
e
isl
_
p
w_qp
o
lynom
i
al_sum
:
handle
isl_pw_qpolynomia
l
s
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
upda
t
e isl f
o
r
n
e
s
ted dimen
s
i
o
n specifications
commit
|
commitdiff
|
tree
2010-08-05
Sven Verd
o
o
l
aege
isl_map
_
ca
r
d: post
p
one shuffling aro
u
nd of dimensions
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
upd
a
t
e
i
sl for isl_basi
c
_map_move_dims
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdool
a
ege
i
s
l_pw_qpolynomial
_
sum:
pus
h
conver
s
ion to
Po
l
yLib
.
.
.
commit
|
commitdiff
|
tree
2010-08-04
S
ven Verdoolaege
i
s
l_p
w
_qpol
y
nomial_sum: check
f
or unbo
u
nd
e
d domains
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdool
a
eg
e
avoid use
of isl_dim i
n
ternals
commit
|
commitdiff
|
tree
2010-07-31
Sv
e
n Verdoolaege
iscc: support codeg
e
n
o
peration if CL
o
oG is available
commit
|
commitdiff
|
tree
2010-07-31
Sv
e
n Verdoolaege
iscc: sw
i
tch
t
o
using unions
commit
|
commitdiff
|
tree
2010-07-31
Sv
e
n Ve
r
doolaege
add isl_union
_
p
w_qpolynomia
l
_sum
commit
|
commitdiff
|
tree
2010-07-31
Sve
n
Verdoola
e
ge
a
dd i
s
l_union_
m
ap_card
commit
|
commitdiff
|
tree
2010-07-31
Sv
e
n
V
erd
o
olaege
isl_pw_qpoly
n
om
i
al_sum
:
t
a
ke
t
uple nam
e
s in
t
o account
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
isl_map_car
d
: preserve full domain di
m
e
n
sion information
commit
|
commitdiff
|
tree
2010-07-31
S
ven Verdoolaege
update isl
f
o
r change
i
n isl
_
hash_table_for
e
ach
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sve
n
Verdoolaege
barvi
n
ok
_
enumer
a
te
.
cc:
fix printf format
commit
|
commitdiff
|
tree
2010-07-03
Sven Verd
o
ola
e
ge
doc: add some
more pa
p
ers refe
r
ing
t
o the library
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolae
g
e
barvi
n
ok
0
.
31
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaeg
e
updat
e
i
sl to
v
ersion
0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sven
Ver
d
oolaege
c
o
nfigur
e
.
in: properly add isl
f
l
a
gs
and
l
i
bs to pkg
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
Sven
Verdoolaeg
e
con
f
igure
.
in: drop call to gl_EARLY
commit
|
commitdiff
|
tree
2010-06-29
Sven Verd
o
olaege
genfun
.
cc: fix printf format
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
test_ap
p
rox
.
c:
f
ix printf for
m
at
commit
|
commitdiff
|
tree
2010-06-29
Sve
n
Verd
o
olaege
test
_
bound
.
c: fix pr
i
n
t
f
f
ormat
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
co
n
figure
.
in: stop compi
l
in
g
Omega by defa
u
l
t
commit
|
commitdiff
|
tree
2010-06-28
Sven Ver
d
oo
l
a
ege
verify_lexsmaller
.
c: f
i
x ty
p
o
commit
|
commitdiff
|
tree
2010-06-27
Sv
e
n Verdoolaege
evalue
.
c: avoi
d
use of a
l
loca
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
evalue_isl
.
c: fi
x
typo
commit
|
commitdiff
|
tree
2010-06-20
Sven Verdoolaeg
e
iscc: re
c
ov
e
r from e
r
rors
commit
|
commitdiff
|
tree
2010-06-20
Sv
e
n Verdoolaege
upda
t
e isl fo
r
i
m
pro
v
ed error
handlin
g
commit
|
commitdiff
|
tree
2010-06-19
Sven
Verd
o
olaege
iscc
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-13
S
v
en Ver
d
o
olae
g
e
do
c
: iscc: update
d
ocumentation of "ub" operator
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laege
tes
t
_
a
pprox: include
c
type
.
h for
isspa
c
e
commit
|
commitdiff
|
tree
2010-06-12
S
v
en
Verd
o
o
l
aege
test_approx: include config
.
h for
HAVE_SYS_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven
Ve
r
doolaege
test_bound: include config
.
h fo
r
HAVE_SYS_
T
IM
E
S_H
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
iscc: a
d
d
v
ertices oper
a
tions
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
op
t
i
o
nally u
s
e isl to perform pa
r
ametric vertex
e
n
u
m
erati
o
n
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
ae
g
e
update isl-
p
olylib for
h
andling of rat
i
o
n
al sets
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
drop distin
c
t
i
on betwee
n
barvin
o
k
-core
and bar
v
inok
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
re
m
o
v
e
bernstein
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
u
p
d
ate isl for gen
e
ric isl_pw_
q
p
o
lynomia
l
_bound
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaeg
e
configure
.
in: drop bv_omega
_
p
rograms
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdool
a
ege
add isl_ctx_peek_barvinok_options
commit
|
commitdiff
|
tree
2010-06-07
S
ven Verd
o
olaege
iscc:
p
arse b
a
rvino
k
options
commit
|
commitdiff
|
tree
2010-06-01
S
ven
Verdoo
l
ae
g
e
export is
l
_qpolyno
m
ial_fr
o
m_eval
u
e
commit
|
commitdiff
|
tree
2010-06-01
Sven Verd
o
o
laege
Makef
i
le
.
a
m: d
r
op depend
e
nce on doc/ome
g
a
.
tex
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
update
i
sl for r
e
name of isl_pw_qpol
y
nomial_
m
ove
commit
|
commitdiff
|
tree
2010-06-01
S
ven Verdoo
l
ae
g
e
verif_ehrhart
.
c: add
mi
s
sing include
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
con
f
igure
.
i
n: fix
t
ypo
commit
|
commitdiff
|
tree
2010-06-01
S
ven
V
erdoolaege
u
s
e isl for a
r
gument
parsing
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
update
is
l
f
or ke
e
ping track
o
f user options
commit
|
commitdiff
|
tree
2010-05-19
Sven Verdo
o
laege
test_bound: rewrite in C
commit
|
commitdiff
|
tree
2010-05-19
Sven
Verdoolaege
update isl for he
l
p message print
i
ng
commit
|
commitdiff
|
tree
2010-05-15
S
v
en Ver
d
o
olaege
remove
evalue_optimum
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoo
l
ae
g
e
r
e
move evalue_range_
p
ropagation
commit
|
commitdiff
|
tree
2010-05-15
S
v
e
n Verdoo
l
a
e
ge
test_boun
d
:
use isl inter
f
ace
f
o
r
comp
u
ting b
o
un
d
s
commit
|
commitdiff
|
tree
2010-05-15
Sven Ver
d
ool
a
ege
barvinok_b
o
und: use isl
i
nterfa
c
e
for c
o
mputing bounds
commit
|
commitdiff
|
tree
next