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.py to distribution
2010-10-18
Sven Verdoolaege
is
c
c: break out of
f
main loop when pr
i
nter no longer
.
.
.
commit
|
commitdiff
|
tree
2010-10-18
Sv
e
n Verdoola
e
ge
is
c
c: s
u
p
p
ort extended PolyLi
b
output format
commit
|
commitdiff
|
tree
2010-10-18
S
ven Verdoolaege
configure
.
in: perform check for
G
M
P support i
n
NTL
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-10-11
Sven
Verdoolaege
isl_P
o
lyhedron_Sample: add m
i
s
s
i
ng
initialization
commit
|
commitdiff
|
tree
2010-10-11
S
ven Verdoolaege
iscc: add
composition
oper
a
tion o
n
piecewis
e
quas
i
polynomial
.
.
.
commit
|
commitdiff
|
tree
2010-10-11
Sv
e
n Verdoolae
g
e
i
scc:
a
dd dependence a
n
alysis o
p
erations
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
iscc: register extra keywords
i
n
g
e
n
eric way
commit
|
commitdiff
|
tree
2010-10-11
Sven
Verd
o
olaeg
e
use isl to perform "
m
anua
l
_count"
commit
|
commitdiff
|
tree
2010-10-11
Sven Verd
o
olaege
allow buildi
n
g without pipli
b
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoo
l
aege
P
olyhe
d
ron_Re
d
uced_Basis: opt
i
onally use
i
sl
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoo
l
aege
fix dependence on
b
uild isl
commit
|
commitdiff
|
tree
2010-10-11
Sven
Verdo
o
la
e
ge
isl_map_card: use isl for fa
c
to
r
i
z
a
t
i
o
n
commit
|
commitdiff
|
tree
2010-09-14
Sven
Verdoolae
g
e
isl_map_ca
r
d: s
p
lit dimension
fiddling fr
o
m conversion
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sven Ver
d
oolaege
i
s
l_map_card
:
u
s
e isl
_
p
w_
q
p
olynomial_sum if re
q
ue
s
ted
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sven Verdoolaege
bar
v
inok 0
.
32
.
1
commit
|
commitdiff
|
tree
2010-09-13
Sven Ve
r
doolaege
update isl for fix in parameter alignme
n
t
commit
|
commitdiff
|
tree
2010-09-10
Sven V
e
rdoolaege
b
a
rvinok 0
.
32
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdoolaege
iscc: add
l
exic
o
graphic operat
o
rs
commit
|
commitdiff
|
tree
2010-09-10
Sven Ve
r
doola
e
g
e
u
p
date isl to ve
r
s
i
on 0
.
04
commit
|
commitdiff
|
tree
2010-09-07
Sv
e
n Ve
r
d
oolae
g
e
iscc: add "s
o
ur
c
e" oper
a
tion
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoolaeg
e
iscc: ad
d
support fo
r
strings
commit
|
commitdiff
|
tree
2010-09-06
S
v
en Verdoola
e
ge
iscc: print error message
on use of
u
nknown
identifier
commit
|
commitdiff
|
tree
2010-09-06
S
v
en Ver
d
oolaege
i
s
cc: support
union sets in v
e
rtic
e
s
operation
commit
|
commitdiff
|
tree
2010-09-06
S
ven Verdoolaege
add is
l
_list_concat
commit
|
commitdiff
|
tree
2010-09-05
S
ven
V
erdoolaege
barvinok_bo
u
nd: use isl to split periods
commit
|
commitdiff
|
tree
2010-09-05
Sven V
e
rdo
o
l
aeg
e
upd
a
te isl for isl_pw_qpolynomia
l
_split_periods
commit
|
commitdiff
|
tree
2010-08-31
Sve
n
Verdool
a
ege
doc: mark PolyLib
in
t
erface o
b
solescent
commit
|
commitdiff
|
tree
2010-08-31
Sven Verdo
o
la
e
ge
Makefile
.
am: d
r
op references
t
o obsolete @bv_barvinok_bound@
commit
|
commitdiff
|
tree
2010-08-31
Sven Verdoolaege
evalue_
c
o
n
vert
.
c
c
: ev
a
lue_print_isl: print e
n
d
-
of-line
commit
|
commitdiff
|
tree
2010-08-30
S
v
en
Verdool
a
ege
iscc: allo
w
coerc
i
on of binary
list into first elemen
t
commit
|
commitdiff
|
tree
2010-08-28
Sven
V
erdoolaege
barvi
n
ok_bound: convert to isl_pw_qpolynomial on
c
e
commit
|
commitdiff
|
tree
2010-08-28
Sven Verdool
a
ege
barvinok_
b
ound: use isl to split on
d
omain size
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdool
a
e
g
e
set sen
s
ib
l
e de
f
aults wi
t
h
-
-polynomial-app
r
oximation
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoolaege
i
s
l_pw
_
q
p
olyn
o
mial_sum
:
reu
s
e ba
r
vinok_o
p
tions i
f
available
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoolaege
isl_
m
ap_card: reuse barvinok_options if availabl
e
in
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sv
e
n Verdoola
e
ge
update isl
for aligning parameters of union argume
n
t
s
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
i
scc: add "join"
o
peration
on f
o
lds
commit
|
commitdiff
|
tree
2010-08-18
S
v
en Verdo
o
laege
iscc: a
d
d "join" operatio
n
o
n maps and folds
commit
|
commitdiff
|
tree
2010-08-18
S
v
e
n V
e
r
d
o
o
laege
iscc
:
s
u
pport
a
d
dit
i
on on a pair
o
f a fold an
d
a
quasipolyno
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdool
a
ege
up
d
a
t
e isl f
o
r add
i
ng types to isl_{union_
,
}pw_
q
poly
n
omi
a
l_folds
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
allow codege
n
on s
e
ts
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
iscc: co
d
e
gen:
detect stri
d
es
commit
|
commitdiff
|
tree
2010-08-18
Sven Ver
d
oolaege
is
c
c: use
s
impl
i
fied CLooG interf
a
ce
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
updat
e
isl
f
or
rename of isl_pw_qpolynomial_
f
old_add
commit
|
commitdiff
|
tree
2010-08-18
Sven
V
e
rdoolaege
iscc
.
c: union_pw_
q
p
o
l
ynomi
a
l
_
uppe
r
_bound
:
fix memory
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sv
e
n
Verd
o
olaege
s
u
m
m
ate
.
c: fix typo in
c
ommen
t
commit
|
commitdiff
|
tree
2010-08-17
Sven Verdoolaege
isl_map_apply_pw_qpolynomial: fix typ
o
commit
|
commitdiff
|
tree
2010-08-10
Sv
e
n Verdo
o
l
aege
update isl from i
s
l
_
uni
o
n_map fixes
commit
|
commitdiff
|
tree
2010-08-10
Sven Verdoolae
g
e
iscc: allow inverse on non
-
union maps again
commit
|
commitdiff
|
tree
2010-08-05
S
v
en
V
erdoolaege
iscc: add wrap and unwrap
o
p
e
r
atio
n
s
commit
|
commitdiff
|
tree
2010-08-05
Sve
n
Verdoolaege
add i
s
l_un
i
o
n
_map_apply_union_pw_
q
polynomial
commit
|
commitdiff
|
tree
2010-08-05
Sven Ver
d
oo
l
a
ege
isl_pw_qpolynomia
l
_sum: hand
l
e isl_pw_qpolynomials
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
u
p
dat
e
isl
f
or nested
d
imension specificatio
n
s
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
i
s
l_map_card
:
pos
t
pone s
h
uf
f
l
ing around of dimension
s
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sve
n
V
e
rdoolaege
update isl f
o
r isl_ba
s
ic_map_move_di
m
s
commit
|
commitdiff
|
tree
2010-08-04
Sv
e
n
Ver
d
ool
a
eg
e
isl_pw_qpolynomial_sum: push con
v
ersion
t
o P
o
lyLib
.
.
.
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoolaege
i
sl_pw_qpolynomial_sum: check for un
b
ounded
domains
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdoolaege
avoid
use of isl_dim
internals
commit
|
commitdiff
|
tree
2010-07-31
Sven
Verdoolaege
iscc: suppo
r
t codegen oper
a
tion
if CLoo
G
is a
v
ailable
commit
|
commitdiff
|
tree
2010-07-31
Sven
V
erdoolaege
iscc:
s
w
itch to using un
i
ons
commit
|
commitdiff
|
tree
2010-07-31
S
v
en
V
erdoolaege
add isl_union
_
pw_
q
polyn
o
mial_sum
commit
|
commitdiff
|
tree
2010-07-31
S
ven Verdoolaege
add isl_un
i
o
n
_m
a
p
_
card
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolae
g
e
isl_pw_q
p
olyn
o
mi
a
l_s
u
m: take
t
uple names
i
n
t
o acco
u
n
t
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdo
o
laege
i
sl_map_
c
ard:
pres
e
rv
e
f
u
ll
do
m
ain dimen
s
ion information
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
update isl
f
or change in isl_has
h
_table_foreach
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sve
n
V
erdoolaege
ba
r
vin
o
k_enu
m
erate
.
cc: fix
printf format
commit
|
commitdiff
|
tree
2010-07-03
Sven Verdoolaege
do
c
:
a
dd some more
p
aper
s
refering
t
o the library
commit
|
commitdiff
|
tree
2010-06-29
S
ven Verdoolaeg
e
bar
v
ino
k
0
.
31
commit
|
commitdiff
|
tree
2010-06-29
Sven Ve
r
d
o
olaege
update isl to version 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sve
n
Ver
d
oolae
g
e
c
o
n
fig
u
re
.
i
n: properly add isl fla
g
s and
l
i
bs to pkg
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaeg
e
confi
g
ur
e
.
in: dr
o
p c
a
l
l t
o
gl_EARLY
commit
|
commitdiff
|
tree
2010-06-29
S
v
e
n Ve
r
doolaege
g
enfun
.
cc: fix printf f
o
rmat
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoo
l
aege
test_approx
.
c: fix prin
t
f f
o
rmat
commit
|
commitdiff
|
tree
2010-06-29
S
v
en Verdoolae
g
e
tes
t
_
bo
u
nd
.
c: fix print
f
format
commit
|
commitdiff
|
tree
2010-06-29
Sven
Verdoolaege
co
n
figure
.
in: s
t
op compili
n
g Omega
b
y default
commit
|
commitdiff
|
tree
2010-06-28
S
v
en Verdoolaege
verify_lex
s
malle
r
.
c: fix
t
ypo
commit
|
commitdiff
|
tree
2010-06-27
Sve
n
Verdo
o
laege
evalue
.
c: avoid
use of alloca
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
rdoolaege
evalue_isl
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-20
Sven V
e
rdoolaeg
e
iscc: recover f
r
om errors
commit
|
commitdiff
|
tree
2010-06-20
S
v
e
n Verdool
a
ege
update isl fo
r
i
m
proved erro
r
h
andling
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
iscc
.
c
: fix typo
commit
|
commitdiff
|
tree
2010-06-13
Sven Verdo
o
laeg
e
do
c
:
iscc: updat
e
do
c
umentat
i
on of
"
ub"
operator
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
test_app
r
ox: in
c
lude ctype
.
h for isspace
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
te
s
t_
a
pprox: inc
l
u
de
c
onfig
.
h for
HAVE_SYS
_
TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
test_bound: include config
.
h
for
HAV
E
_SYS_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isc
c
: ad
d
vertices o
p
er
a
tions
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
option
a
lly use isl
t
o p
e
rform pa
r
am
e
tr
i
c vertex e
n
umerati
o
n
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
update is
l
-
pol
y
lib for ha
n
dling of rational sets
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
drop distinct
i
on betwee
n
b
arvinok
-
core and barvino
k
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
V
erd
o
olaege
remove be
r
n
s
tein
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
u
p
date i
s
l fo
r
generic isl_pw_qp
o
ly
n
om
i
al
_
bound
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
conf
i
gure
.
in: drop bv_omega_pro
g
rams
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_ctx_peek_barvinok_options
commit
|
commitdiff
|
tree
2010-06-07
Sven Verdoolae
g
e
i
scc:
parse
barvi
n
ok
options
commit
|
commitdiff
|
tree
2010-06-01
S
v
e
n
Verdoolaeg
e
export
isl_qpolynomial
_
f
r
om_evalue
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
Makefile
.
am: drop de
p
ende
n
c
e on doc/ome
g
a
.
tex
commit
|
commitdiff
|
tree
2010-06-01
S
ven Verdoolaege
u
pdat
e
isl
for rename
o
f isl_pw_qpolynom
i
al_move
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdo
o
la
e
ge
v
e
rif
_
ehrhart
.
c: add missing include
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
configur
e
.
in: fix typo
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
us
e
i
s
l
f
or a
r
gument parsing
commit
|
commitdiff
|
tree
next