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
partition2enumeration: fix memory leak when input is zero
2011-07-05
S
ven Verdo
o
laege
summate
.
c
: add missing
i
nclude
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sven
Verdoolaege
bar
v
inok
.
cc: add
missing include
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sven
V
e
rdo
o
laege
Change
l
icense from GPL 2
.
0
to GPL 2
.
0
+
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-06-10
S
ven Verdo
o
laege
evalue_isl
.
c:
a
d
d
m
i
s
sing include
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-06-10
Sv
e
n Verd
o
olae
g
e
add
c
loog submodul
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-06-10
Sven Verdoolaeg
e
updat
e
isl for
c
loog
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-06-10
Sven
V
erdoolaege
isl_obj_l
i
st
.
c:
f
ix ty
p
o
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-06-01
Sven Verdoola
e
ge
is
c
c: tur
n
on sh option when call
i
ng C
L
ooG
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sv
e
n
Verdoo
l
aege
e
val
u
e_i
s
l
.
c: avoid use
of isl_div internals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
update isl for isl_d
i
v_get_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
S
v
en
Verdoo
l
aege
configure
.
ac
:
don't depend on a
u
t
o
make 1
.
11
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ver
d
oo
l
aege
iscc: add s
c
hedule and sched
u
le_ban
d
s operati
o
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
v
en Verdo
o
laege
iscc: add
sol
u
tions operati
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdo
o
l
a
e
g
e
iscc: ad
d
coefficients oper
a
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sve
n
Verdo
o
laege
iscc: a
d
d lift operatio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
ven Verdoolaege
iscc
:
perform assignments eve
n
on err
o
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
i
scc: pl
u
g
memory
l
eak on er
r
or path
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-19
Sven
V
e
r
doo
l
aege
use silen
t
m
ak
e
rules
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
S
v
en Verdoolaege
barvinok 0
.
33
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
iscc
.
c: fix typo which
w
ould prevent compilation in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sv
e
n Verdoolaege
update isl to versi
o
n 0
.
0
6
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven V
e
rdo
o
laege
isl_pw_qpo
l
ynomia
l
_
s
um:
handle existe
n
tials
i
n
n
on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sv
e
n Ve
r
do
o
l
a
ege
drop pipl
i
b
s
ubmodul
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven V
e
rdoo
l
aege
stop using pip as
L
P solver
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdool
a
eg
e
doc: constraints no
l
onger need
to be specified in DNF
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sv
e
n
Verdoolaege
isc
c
: pars
e
lists
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaeg
e
add isl_l
i
st_
a
dd_obj
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
S
v
en V
e
rdoolaeg
e
iscc: parse boole
a
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sv
e
n Verdoolaege
iscc: allow interruption of computation from the keyboard
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-17
Sven
V
e
r
d
o
ol
a
e
g
e
avoid use
o
f
isl_c
t
x intern
a
ls
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
Sv
e
n
Verdoolaege
isl_obj_str: p
r
i
n
t quotes aroun
d
strin
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sv
e
n V
e
rdoolaege
i
s
cc
:
kee
p
track of
int
e
rmediate resu
l
ts i
n
i
n
teractive
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verd
o
olaeg
e
iscc: add pow
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven
V
erdoolaege
iscc:
a
d
d zip
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-11
Sven Verdoolaege
i
scc: add deltas_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdool
a
ege
le
x
m
i
n
:
a
ssume unknowns and
p
a
r
amete
r
s
are non-negativ
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoo
l
aege
lexmin: use isl
t
o r
e
a
d
input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven V
e
rdoola
e
ge
a
l
so
p
erform lexmin che
c
k
in absen
c
e of GLP
K
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdool
a
ege
p
o
lysi
g
n:
a
d
d
isl-backed version and use it by
defau
l
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
update isl
-
polyl
i
b
for fix in header file
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Ver
d
oolaege
update isl fo
r
cha
n
ge in
i
s
l_
f
low_get_no_sou
r
c
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-24
S
ven Verdoolaege
doc: d
o
cu
m
ent is
l
modulo notation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
Makefile
.
am: put NTL CFLAGS after isl CFLA
G
S
Signed-off-by:
Sven Verdoolaege
<verdoolaege@gamma.math.uni-magdeburg.de>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
is
c
c: read_line: fix return
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Ve
r
doolaege
evalue_isl
.
c: fix
typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
i
scc: add op
e
r
ations on int objects
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
update isl for introduc
t
ion of int ob
j
ects
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-22
Sven V
e
rdool
a
ege
add
i
s
l_bas
i
c
_
set_card and isl_basic_map_card
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
S
v
en
V
erdoo
l
aege
d
ocument isl_un
i
on
_
set_
a
p
p
ly_
u
nion_p
w
_
q
polyn
o
mial
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
remove
polyhedron_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sve
n
Verdo
o
laege
remov
e
p
olytope_mi
n
imize a
p
plication
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdool
a
ege
Polyhedron_Sample: use isl
u
nconditionall
y
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
remove
combine
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verd
o
o
l
aege
build libisl and libpolylibgmp before lib
i
s
l
-polylib
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoo
l
aege
iscc: su
p
port
app
l
ication o
f
p
iecewise quasipolynomial
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Ver
d
oolaege
doc
:
fix docum
e
n
tatio
n
of
join of ma
p
s and fold
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
ad
d
isl
_
union_set_ap
p
l
y
_union_p
w
_
qpolynomi
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
S
ven Verdoolaege
updat
e
i
sl for
e
xport
o
f
i
sl_union_map_
f
rom_rang
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdo
o
laeg
e
i
s
cc: add writ
e
operati
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolae
g
e
iscc: optionally dis
a
b
l
e
read o
p
eration
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-15
Sv
e
n Ve
r
doolaege
do
c
:
e
xpla
i
n comma o
p
erato
r
in
a s
e
t d
e
scription
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdoolaege
iscc: add typeof operator
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sven Ve
r
doolae
g
e
add isl_str_from_string
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
S
ven Ve
r
doolaege
iscc
.
c: use C99 desi
g
nated in
i
tializers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdool
a
ege
iscc
:
minor im
p
r
o
v
ement in error message
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-08
Sven Ve
r
doolae
g
e
iscc: add
d
omai
n
_
m
ap
a
nd range
_
m
ap operations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-08
Sven Verdoolaege
iscc:
add "doma
i
n" and "range" synonyms
f
or
"
dom" an
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
Sven Ver
d
o
o
l
aege
update isl to version 0
.
05
.
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-30
S
v
en Verdoolaeg
e
iscc: don't all
o
w c
o
de
g
enerati
o
n
o
n
union set
s
of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-23
Sv
e
n Verdool
a
ege
update isl to version
0
.
05
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-01
S
v
e
n Ver
d
oo
l
aeg
e
avoid u
s
e of isl_set and
isl_map internals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-28
Sven Verdoolaege
sepa
r
ate o
u
t isl inte
r
face
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-28
S
ven Verdoolaege
confi
g
ure
.
in:
p
rop
a
g
ate absolute isl b
u
i
l
ddir to submodule
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-20
Sven Verd
o
ol
a
e
ge
upd
a
t
e
isl for renam
e
of header files
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaege
eva
l
ue_floor2frac: don
'
t assume coeff
i
cients of fl
o
o
r
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdo
o
laege
test_bound: stop testing after predetermined number
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sve
n
Verdoolae
g
e
barvinok_
b
ou
n
d: rewrite in C
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaege
barvinok
_
{summate
,
bo
u
n
d}:
t
ake isl
i
nput
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaege
te
s
t
_
bound: s
w
itch
to isl r
e
p
rese
n
tat
i
on even earl
i
er
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoo
l
aege
t
est_bound: swit
c
h
t
o
isl representation
e
ar
l
ie
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verd
o
olaege
isc
c
: add
polynomial approximations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-11
Sven Verdoola
e
g
e
barvinok_
s
ummate: rewrite in C
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-11
Sven Verdoolaege
ba
r
v
i
nok_summate:
u
s
e isl interf
a
ce
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-10
S
ven Verdoolaege
boun
d
.
cc: drop
dead code
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-07
Sven Verdo
o
l
aege
doc:
more
i
nform
a
tio
n
a
bout usi
n
g sets and maps in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-06
Sven Verdoolaege
doc: update some
refe
r
ences
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-06
Sven Verdool
a
eg
e
i
scc: a
d
d poly op
e
r
ation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-03
Sven V
e
rdoola
e
ge
is
c
c: add scan ope
r
a
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-01
Sven Verdoolaege
isl_pw
_
qpolynomi
a
l_sum: handle existentials in
w
rapped
.
.
.
commit
|
commitdiff
|
tree
2010-10-27
S
v
e
n Verdoolaege
update isl
f
or
renam
i
ng
o
f isl_map_rem
o
ve
commit
|
commitdiff
|
tree
2010-10-20
Sven Verdool
a
ege
ver
s
io
n
.
c:
s
how use of
C
L
ooG
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoolaege
doc: a bi
t
m
or
e
inf
o
on
i
scc
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoolaege
isc
c
: add be
f
ore and af
t
er operat
i
ons
commit
|
commitdiff
|
tree
2010-10-18
Sve
n
V
erdoolaege
iscc: add identity op
e
ration
commit
|
commitdiff
|
tree
2010-10-18
S
ven
Verdoolaege
iscc: break out of
f
m
ain loo
p
w
he
n
printer no longe
r
.
.
.
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoolaege
i
s
cc:
s
u
p
port e
x
t
e
nded
P
olyLib o
u
tput format
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoo
l
aege
confi
g
ure
.
in: pe
r
form check for G
M
P support in NTL
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoola
e
ge
isl_Polyhedron_Sa
m
ple: add
miss
i
ng
i
n
i
tialization
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdool
a
ege
iscc: add composition operation on piecewise quasip
o
lynomial
.
.
.
commit
|
commitdiff
|
tree
2010-10-11
Sven Verd
o
olaege
i
s
cc: add dependence ana
l
y
si
s
oper
a
tions
commit
|
commitdiff
|
tree
next