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 Verdoolae
g
e
iscc: plug memor
y
leak on err
o
r pat
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-19
Sven Ver
d
oolaege
use silent make ru
l
es
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
b
a
r
v
i
n
ok 0
.
33
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
i
scc
.
c: fix
typo which would
p
revent comp
i
lati
o
n in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Ve
r
doola
e
ge
u
p
dat
e
isl to version 0
.
06
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
S
ven Verdoolaege
i
sl_p
w
_qpolynomial_
s
um: ha
n
d
l
e
e
x
isten
t
i
als in non
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdo
o
l
aeg
e
dro
p
piplib sub
m
odule
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
stop usin
g
pip as LP sol
v
e
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
S
v
en Ve
r
doolaege
doc: c
o
nstr
a
int
s
n
o longer need to be specified
i
n
DNF
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
S
v
e
n
Verdoolaege
iscc: parse lists
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven
V
erd
o
olaege
a
d
d
i
s
l_list
_
add_
o
bj
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
iscc:
p
arse boole
a
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
iscc
:
allow interruptio
n
o
f
computation from the
k
eyboard
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-17
Sven
Verdoolaeg
e
avoi
d
use of is
l
_ctx
internals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
Sven Ver
d
o
olaege
isl_obj
_
s
t
r: pr
i
nt quotes a
r
ou
n
d
string
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven
V
erdoolaege
iscc: keep tra
c
k
o
f int
e
rm
e
diate re
s
ults in in
t
er
a
ctive
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven
V
erdoolaege
iscc: a
d
d pow
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdoolaege
i
s
c
c
:
a
dd
zip
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-11
Sven
V
erdoolaege
i
scc: add deltas_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven
V
erdool
a
ege
l
ex
m
in: assume unknowns
a
nd pa
r
am
e
te
r
s ar
e
non-negative
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven V
e
rdoolaeg
e
l
exmin: use isl to read input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Ve
r
do
o
la
e
ge
also p
e
r
form lexmi
n
check
in absence of GLPK
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verd
o
olaege
polysign: add isl-backed v
e
rsion and
u
se i
t
by defa
u
lt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
update
i
sl-po
l
ylib
for fix i
n
header file
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
upd
a
t
e isl for change
in isl_flow_ge
t
_no_source
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-24
Sven Ve
r
doola
e
ge
doc: documen
t
isl modulo notation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verd
o
olaeg
e
Makefile
.
am: put N
T
L CF
L
AG
S
a
fter
is
l
CF
L
AGS
Signed-off-by:
Sven Verdoolaege
<verdoolaege@gamma.math.uni-magdeburg.de>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolae
g
e
iscc: re
a
d_line: fix
return
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven V
e
rd
o
o
l
a
ege
evalue_isl
.
c:
f
i
x typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verd
o
olaege
i
s
cc: add o
p
e
rati
o
ns on int o
b
j
ects
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaeg
e
u
p
date isl f
o
r introduction of int objec
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-22
Sv
e
n Ver
d
oo
l
aege
add isl_basic_s
e
t_ca
r
d an
d
isl_
b
asic_map_c
a
rd
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
document
isl_union_set_apply_u
n
ion_pw_qpolyn
o
mial
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Ve
r
do
o
l
a
ege
r
e
m
ov
e
p
o
lyhedron_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
S
ven V
e
rdoola
e
ge
r
emove
polytope_minimize
a
pp
l
ication
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdool
a
ege
Polyhed
r
o
n
_S
a
mple:
u
s
e
isl unconditional
l
y
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven
V
erdoolaege
rem
o
ve combine
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
S
ven Verdoolaege
build libisl and
l
ib
p
oly
l
ibgm
p
bef
o
re libisl-polylib
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sve
n
Verdool
a
ege
iscc: sup
p
o
rt applic
a
tio
n
of piecewise
qu
a
sipol
y
nomial
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sve
n
V
e
rdoolaege
d
o
c: fix documentation of join of
m
aps
a
nd folds
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
add isl
_
union_set_app
l
y_un
i
o
n
_pw_qpolynomi
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdo
o
l
a
ege
update isl for export of
isl_unio
n
_map_
f
rom_ran
g
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
S
ven Verdool
a
ege
i
s
c
c
: add
w
rite operation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
S
ve
n
Verdoolaege
iscc: optionally disa
b
le rea
d
ope
r
ation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-15
S
ven Verd
o
ol
a
ege
d
oc
:
explain co
m
ma
operato
r
in
a
set desc
r
i
pti
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sven
V
e
rdoolaege
iscc: a
d
d typ
e
of
operator
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sven
Verdoolaege
add isl_str_from_str
i
ng
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdoolaege
iscc
.
c: use C
9
9
designated ini
t
ializers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sven
Verdoolaege
i
s
cc: minor
i
mprovem
e
nt in error
m
essage
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-08
S
v
en Verdoolaege
iscc: add
d
o
main_
m
ap and
range_map
o
perations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-08
Sve
n
V
e
rdo
o
laege
iscc: add "domain"
and "r
a
ng
e
" s
y
n
onym
s
for "do
m
"
a
n
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
Sven
V
erdoolaege
update
i
sl to version 0
.
05
.
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-30
Sv
e
n Verdoolaege
iscc: don't allow c
o
d
e generation
o
n uni
o
n
sets
o
f
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-23
Sv
e
n
V
erdoolaege
upd
a
t
e
isl
to ver
s
ion 0
.
0
5
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-01
Sven
V
erd
o
olaege
avoid us
e
o
f i
s
l_set and isl_map
inter
n
als
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-28
Sven Ver
d
oolaege
s
e
parate ou
t
isl interface
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-28
Sven Verdoola
e
ge
c
o
nfigure
.
in: prop
a
gate absolut
e
i
s
l
builddir to submodule
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-20
Sv
e
n
Verdool
a
ege
upda
t
e
i
sl for
r
enam
e
o
f
header
f
iles
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sve
n
Ve
r
doola
e
ge
evalue_floor2frac:
don't assume
c
oefficients of floors
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
S
v
en
Verdoolaege
t
est_bound: stop
t
e
s
ti
n
g af
t
er pred
e
term
i
ned num
b
er
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoo
l
aege
barvinok_bound: rewri
t
e in
C
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaege
barvinok_{summate,bound}: take i
s
l input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolae
g
e
t
e
st
_
bo
u
nd: switch to isl
representatio
n
even earli
e
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Ve
r
dool
a
ege
t
e
st_bound: s
w
i
tch to
i
sl
representa
t
ion ea
r
lier
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verd
o
o
laege
iscc: add polynomial app
r
oxima
t
i
ons
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-11
Sve
n
Ver
d
oolae
g
e
b
arv
i
nok_summ
a
te:
rewrite in C
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-11
Sv
e
n Ver
d
o
olaege
barvinok
_
summate
:
use is
l
i
n
terfac
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-10
Sven Verdoolaege
bound
.
cc
:
drop
dead code
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-07
Sven Verdoolaege
doc: more information about usin
g
sets and
m
aps in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-06
Sven Verdoolaege
doc: update so
m
e r
e
ferences
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-06
Sven Verd
o
olaege
i
s
c
c
:
a
d
d poly operatio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-03
Sve
n
Verdoo
l
aeg
e
iscc: add sc
a
n o
p
e
r
ation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-01
Sven Verdoolaege
isl_pw_q
p
olynomial_sum: ha
n
dle
e
x
i
ste
n
tials in wrappe
d
.
.
.
commit
|
commitdiff
|
tree
2010-10-27
Sven Ver
d
o
ol
a
ege
updat
e
isl for renaming of isl_map_remove
commit
|
commitdiff
|
tree
2010-10-20
Sven Verdoolaege
version
.
c:
s
h
ow use
of CLoo
G
commit
|
commitdiff
|
tree
2010-10-18
Sven Verd
o
olaege
doc: a
b
it
m
or
e
info on iscc
commit
|
commitdiff
|
tree
2010-10-18
Sven
V
erdoolaege
iscc:
add before and
a
fter operations
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoolaege
is
c
c: a
d
d
i
d
entity
o
peration
commit
|
commitdiff
|
tree
2010-10-18
Sven Ve
r
doolaeg
e
iscc: break out off main loop
w
hen
p
r
inter no longer
.
.
.
commit
|
commitdiff
|
tree
2010-10-18
Sven Ve
r
doolaege
iscc
:
support
e
xtende
d
Po
l
y
Lib
o
utput
format
commit
|
commitdiff
|
tree
2010-10-18
Sv
e
n V
e
rdool
a
ege
configu
r
e
.
in
:
pe
r
fo
r
m check fo
r
GMP su
p
p
o
rt in NTL
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-10-11
Sven Ve
r
do
o
la
e
g
e
isl_Polyhedro
n
_Sample:
add missing initializatio
n
commit
|
commitdiff
|
tree
2010-10-11
S
v
en Verdoolaege
is
c
c: ad
d
composit
i
on operat
i
on
o
n piecewi
s
e
q
uasipolynomi
a
l
.
.
.
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoo
l
a
e
ge
iscc:
add dependenc
e
analys
i
s
o
p
e
rations
commit
|
commitdiff
|
tree
2010-10-11
S
ven Verdoola
e
ge
i
scc: register extra k
e
y
w
ords in
g
eneric way
commit
|
commitdiff
|
tree
2010-10-11
Sve
n
Verdoolaege
us
e
isl
to perfor
m
"manual_count"
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
allow buil
d
ing
w
ith
o
ut
p
iplib
commit
|
commitdiff
|
tree
2010-10-11
Sv
e
n Verdo
o
laege
Po
l
yhedron_Reduced
_
Ba
s
is
:
optionally us
e
isl
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
f
ix de
p
endence
o
n build isl
commit
|
commitdiff
|
tree
2010-10-11
Sven
V
erdoo
l
aeg
e
isl_ma
p
_card: use is
l
for factorization
commit
|
commitdiff
|
tree
2010-09-14
Sven Ve
r
doolaege
isl_map
_
c
a
rd: s
p
lit
dimen
s
ion fiddling fr
o
m c
o
nversion
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sven Verdool
a
ege
i
s
l_map_c
a
rd: u
s
e isl_pw_qpol
y
nomial_sum
if requested
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sven V
e
rdoola
e
ge
bar
v
inok 0
.
32
.
1
commit
|
commitdiff
|
tree
2010-09-13
S
v
en Verdoo
l
aege
up
d
ate
i
sl f
o
r
fix in
parameter alignment
commit
|
commitdiff
|
tree
2010-09-10
Sven V
e
rd
o
olaege
barvino
k
0
.
32
commit
|
commitdiff
|
tree
2010-09-10
S
ven Ver
d
oolaege
iscc: add
lexicographic o
p
er
a
tors
commit
|
commitdiff
|
tree
2010-09-10
Sve
n
Verdoolaeg
e
u
p
d
ate
i
sl to ve
r
sion 0
.
04
commit
|
commitdiff
|
tree
2010-09-07
S
ven Verdoolaege
i
scc: add "source" opera
t
ion
commit
|
commitdiff
|
tree
2010-09-06
S
v
e
n
Ver
d
oolae
g
e
iscc: add s
u
ppo
r
t for strings
commit
|
commitdiff
|
tree
2010-09-06
Sven Ve
r
doolaege
iscc
:
print erro
r
messag
e
on use of
unknown identifier
commit
|
commitdiff
|
tree
next