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
iscc: plug memory leak on error path
2011-04-21
Sven Verdoolaege
iscc: plug memory leak o
n
e
r
r
or pat
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-19
Sv
e
n Verdoo
l
a
e
ge
u
s
e s
i
l
ent
make
r
ules
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven V
e
rdoolaeg
e
b
a
rvinok 0
.
33
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
i
s
cc
.
c: fix typo w
h
ich would prevent compilation in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoo
l
aege
u
p
date isl to version 0
.
06
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
isl_pw_qpo
l
y
n
omial_sum: handle existential
s
in n
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoo
l
aege
drop
p
iplib submodule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
s
top using pip as LP sol
v
er
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
doc
:
constraints no lon
g
er need to be specified in DNF
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven
Verd
o
olaege
i
s
cc: parse lists
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdo
o
laege
ad
d
i
s
l_
l
is
t
_add_obj
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verd
o
olaege
iscc
:
p
a
rse b
o
ol
e
ans
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven
Verdoolaege
iscc: allow interruption o
f
co
m
put
a
tion from the keyb
o
ard
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-17
Sven Verdo
o
laege
avoid
u
s
e
of isl_c
t
x
internals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
Sven V
e
r
d
o
o
l
a
e
ge
i
sl_obj_str: print q
u
otes around string
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
S
ve
n
V
erdoolaege
is
c
c:
k
eep track of intermediate res
u
lts
in interac
t
ive
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven
Verdoolaeg
e
i
s
cc: add
pow
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sv
e
n Verdoolaege
iscc
:
ad
d
z
i
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-11
Sven V
e
rd
o
olaege
i
s
c
c: add deltas_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
le
x
min:
a
ssume unkno
w
ns and p
a
rameters are non-negative
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaeg
e
lexmin: use is
l
to read input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sve
n
Verdoolaege
also perform lexm
i
n
che
c
k
in
a
bs
e
nce of GLPK
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven V
e
rdoolaege
poly
s
ign: add is
l
-backed ver
s
ion
and
u
se
i
t by defa
u
lt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven V
e
r
doolaege
u
p
date
isl-pol
y
lib for fix
in header
file
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
u
pdate
isl fo
r
cha
n
ge in isl_flow_ge
t
_
n
o
_source
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-24
Sven Verd
o
olae
g
e
doc: docum
e
n
t isl modulo not
a
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verd
o
olaege
iscc
:
rea
d
_line: fix return
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sv
e
n
V
erdoolaege
evalue_
i
sl
.
c: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
S
v
en Verd
o
ol
a
e
g
e
i
scc: add operations on i
n
t
o
bjects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven
Verdoolaege
update isl for introdu
c
tion o
f
in
t
objects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
S
ven Verdoolaege
add is
l
_basic_set_card and isl_basic_map
_
c
ard
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sv
e
n Ve
r
d
o
olaege
document isl_union_set_apply_u
n
i
on
_
pw_qpolynom
i
a
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdo
o
laege
r
e
move polyhedro
n
_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
S
ven
V
erdoolaege
re
m
o
ve polytop
e
_minimize application
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Ve
r
doolaege
Pol
y
h
e
dron_Sample: us
e
isl
un
c
ondit
i
o
nally
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verd
o
o
laege
r
e
move
c
ombine
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
build libisl
a
nd
libpolylibgmp before libisl-polylib
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven
V
e
r
doolaege
i
scc:
s
u
ppo
r
t appl
i
cation
o
f piec
e
wise quasi
p
olynomial
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sv
e
n
Verdo
o
laege
doc: fix
do
c
um
e
n
tation of
j
o
in of
m
aps an
d
fold
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sv
e
n V
e
rdoolaege
add isl_union_
s
et_ap
p
ly_u
n
ion_pw_qpoly
n
o
m
ial
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sve
n
Verdoolaege
u
p
date isl for exp
o
r
t
of is
l
_union_map_fro
m
_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
iscc:
a
d
d write operation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdool
a
ege
i
s
cc: option
a
lly disable read operation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-15
Sven Verdoolaege
doc:
explain comma operator in a s
e
t
descriptio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sven V
e
r
d
oolaege
iscc
:
add typeof
o
perat
o
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
S
v
en Verdoolaeg
e
add isl_str_f
r
om_s
t
ring
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdoolaege
iscc
.
c: us
e
C99
des
i
gnated initi
a
lizers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdool
a
e
ge
iscc:
m
inor improvemen
t
in error messag
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-08
Sven Verdoola
e
ge
isc
c
:
add do
m
ain_
m
ap and range
_
map op
e
rations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-08
Sven Verdoolaege
i
s
c
c: add
"domain" and "r
a
nge" sy
n
o
n
yms fo
r
"dom" and
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
Sven Verdoolae
g
e
u
p
date isl
to ve
r
si
o
n
0
.
05
.
1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-30
Sven Verdoolaege
iscc: do
n
't allow code g
e
nera
t
i
o
n on union set
s
of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-23
Sve
n
Verdoolaege
update isl t
o
ver
s
i
o
n
0
.
05
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-01
Sv
e
n
V
erdool
a
eg
e
avoid u
s
e of isl_set an
d
isl_map internals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-28
Sven Verd
o
olaege
separ
a
te out isl
i
nterface
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-28
Sve
n
Verdoolaege
co
n
figure
.
in: prop
a
gate abso
l
ute isl builddir to
s
u
bmod
u
l
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-20
Sve
n
Verdoolae
g
e
update isl for
r
ename
o
f h
e
ader
files
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdool
a
ege
e
v
alue_floo
r
2frac: don'
t
assume coef
f
icients o
f
f
l
oors
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sv
e
n Ve
r
doola
e
ge
test_bo
u
nd:
stop test
i
ng after predetermined number
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoola
e
ge
barvino
k
_boun
d
: rewrite in C
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaege
b
arvinok_
{
summate,b
o
und}: take
isl input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoo
l
aege
test_boun
d
:
s
witch
t
o isl represent
a
tion even
earlier
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven
V
erdoola
e
ge
test_bound: switc
h
to isl re
p
r
e
sentatio
n
earlier
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Ver
d
oolaege
iscc: add polynomial approxima
t
ions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-11
Sven
V
er
d
ool
a
e
ge
barvinok_
s
ummate: re
w
rite in
C
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-11
Sven Verdoolaege
barv
i
nok_
s
ummate: use isl
interface
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-10
S
v
en
V
erdoolaege
bound
.
cc:
drop de
a
d
code
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-07
S
ven Verdoolaege
doc:
more infor
m
ation about using sets and
maps in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-06
Sven Verdo
o
laege
doc: update
s
ome references
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-06
Sven Verdoolae
g
e
i
s
cc: add
p
oly
oper
a
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-03
Sven Verdoo
l
aege
iscc
:
add scan opera
t
i
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-01
Sve
n
Verdoolaege
isl_pw_qpolynomial_sum:
handle exi
s
tentials
i
n wrapped
.
.
.
commit
|
commitdiff
|
tree
2010-10-27
Sven Verdoolaege
upda
t
e
i
sl
f
or ren
a
ming of isl_map_r
e
m
ove
commit
|
commitdiff
|
tree
2010-10-20
S
v
en Verdoolaege
version
.
c: show use of CLooG
commit
|
commitdiff
|
tree
2010-10-18
Sve
n
Verdoolaege
doc
:
a
bi
t
more info on iscc
commit
|
commitdiff
|
tree
2010-10-18
Sven Ver
d
oolaege
iscc: add before and
a
f
t
er operat
i
on
s
commit
|
commitdiff
|
tree
2010-10-18
S
v
e
n Verdoolaege
iscc:
add
identity o
p
e
rat
i
on
commit
|
commitdiff
|
tree
2010-10-18
Sven
Verdoolaeg
e
is
c
c: brea
k
o
ut off main lo
o
p
when printer no lo
n
ger
.
.
.
commit
|
commitdiff
|
tree
2010-10-18
S
ven Verdoolae
g
e
i
scc:
s
upport extended
P
olyLib outpu
t
format
commit
|
commitdiff
|
tree
2010-10-18
Sven
Verdoola
e
ge
configure
.
in: perf
o
rm check fo
r
GMP suppor
t
in
NTL
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-10-11
Sven
V
erdo
o
lae
g
e
i
scc:
a
dd composition operation on
p
i
ece
w
i
s
e
q
uasi
p
olynomial
.
.
.
commit
|
commitdiff
|
tree
2010-10-11
Sven V
e
rdoolaege
iscc: add dep
e
nde
n
ce
a
n
a
ly
s
is
operations
commit
|
commitdiff
|
tree
2010-10-11
Sven Ve
r
doolaege
iscc
:
register extra keywo
r
ds
i
n ge
n
eric wa
y
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
use
i
s
l
to perform "manual_count"
commit
|
commitdiff
|
tree
2010-10-11
Sven V
e
r
doo
l
aege
a
l
low building wi
t
hout piplib
commit
|
commitdiff
|
tree
2010-10-11
Sven Verd
o
olaege
Polyhed
r
on_Reduced_Basis: optionally use
i
sl
commit
|
commitdiff
|
tree
2010-10-11
Sven
Verdoolaege
fix dependen
c
e
o
n
bui
l
d is
l
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
isl_map_card: use isl
f
or
f
actorizatio
n
commit
|
commitdiff
|
tree
2010-09-14
Sv
e
n Verdoolae
g
e
i
s
l
_
map_ca
r
d: spli
t
dimen
s
ion fiddling from conversion
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sven Verdoola
e
g
e
isl_map
_
card: use
i
sl_pw_qpolynomi
a
l_sum
i
f re
q
uested
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
S
ven V
e
rdoolaege
barvinok 0
.
32
.
1
commit
|
commitdiff
|
tree
2010-09-13
Sven Verdoolaege
u
pdate isl for fix in
pa
r
amet
e
r alignment
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdoolaeg
e
ba
r
vinok 0
.
32
commit
|
commitdiff
|
tree
2010-09-10
Sven Verd
o
olaege
iscc:
add lexic
o
graphic op
e
ra
t
ors
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdoo
l
aege
u
p
date isl to ver
s
io
n
0
.
04
commit
|
commitdiff
|
tree
2010-09-07
Sven Verd
o
ola
e
ge
isc
c
: add "s
o
u
r
ce" operation
commit
|
commitdiff
|
tree
2010-09-06
Sven Ve
r
doolaege
is
c
c:
a
dd support fo
r
st
r
ings
commit
|
commitdiff
|
tree
2010-09-06
S
ve
n
Verdoolae
g
e
iscc: p
r
int error message on use
o
f
unknown
i
de
n
tifier
commit
|
commitdiff
|
tree
2010-09-06
Sv
e
n
V
erdoolaege
i
s
cc: support
u
nion sets
i
n
vertices oper
a
tion
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoolaege
add
isl_list_conca
t
commit
|
commitdiff
|
tree
next