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 Verdoo
l
aege
iscc: plug memory leak on error path
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-19
Sv
e
n Ver
d
oolaege
use silent make
r
ules
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sv
e
n
Verdoolaeg
e
barvino
k
0
.
3
3
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoola
e
ge
iscc
.
c: fix t
y
po whi
c
h wo
u
ld
pre
v
ent compilation in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
u
pdate isl to vers
i
o
n
0
.
06
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
S
v
en Verdool
a
ege
isl_pw_q
p
o
l
y
n
o
m
ial_sum: handle exi
s
tentials in non
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
S
ven Ver
d
oolaege
drop pipl
i
b submodule
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven
Verdoolaege
s
t
op using pip as LP so
l
ver
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoo
l
aege
doc: constraints no longer need to
be spe
c
ified
i
n
DNF
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven
V
e
rdoolaege
iscc: par
s
e lists
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verd
o
o
laege
add isl_list
_
add_ob
j
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sve
n
V
erdool
a
e
g
e
iscc: parse booleans
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sv
e
n V
e
rdoolaege
iscc:
all
o
w in
t
erruption
o
f comp
u
tation from the keyboard
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-17
Sven
Verdoola
e
ge
avoid
us
e
of isl_ctx internal
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
Sven Verdoola
e
ge
is
l
_obj_str: prin
t
quotes ar
o
un
d
string
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdoolaege
iscc: keep track of i
n
termediat
e
r
e
s
ults in interactive
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
S
v
en Ver
d
oolae
g
e
iscc
:
add p
o
w
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven
Verdoolaege
iscc: add
z
ip
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-11
Sven Verdoola
e
ge
is
c
c: add
delta
s
_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Ve
r
d
oolaege
le
x
min
:
assume unknowns and parameters ar
e
non-n
e
gative
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
lexmin:
u
se is
l
to read input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven
V
e
r
doolaege
a
l
so perf
o
rm lexmin check in abse
n
ce of GLP
K
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
S
v
en
V
erdool
a
ege
p
o
l
ys
i
gn: add isl-backed
v
ersion a
n
d
u
se it by de
f
a
ult
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven V
e
rd
o
olaege
upda
t
e isl
-
polylib for fix in header fi
l
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sve
n
Verdoo
l
aege
update
i
s
l
for ch
a
nge
in
isl_flow_ge
t
_no_
s
ource
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-24
Sve
n
Verdoolaege
d
oc:
d
ocumen
t
isl
m
odulo notation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
S
ven Verdoo
l
aege
Makefile
.
a
m: pu
t
N
T
L CFLAGS after isl CFLAGS
Signed-off-by:
Sven Verdoolaege
<verdoolaege@gamma.math.uni-magdeburg.de>
commit
|
commitdiff
|
tree
2011-01-23
Sven Ver
d
o
o
l
a
ege
i
scc: read_line: fix return
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
S
v
en Verdoola
e
ge
evalue
_
i
s
l
.
c
: fix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
i
scc: add operations
on int object
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sve
n
V
e
r
doolaege
update
isl
f
or i
n
troductio
n
of int obj
e
cts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-22
S
ven
V
e
rdoola
e
ge
add isl
_
basic_se
t
_card and isl_
b
asic
_
map_
c
ard
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sve
n
Verdoolaege
document isl_u
n
ion_set_apply_union_pw_qpolynomia
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
S
ven Verdo
o
laege
remove
p
olyhedron_ra
n
ge
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven
V
erdoolae
g
e
remove poly
t
ope_minimize ap
p
licatio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sv
e
n Verdoo
l
ae
g
e
Polyh
e
dron_
S
ample: use isl
u
nconditionally
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven
Verdoo
l
aege
re
m
ove
c
ombine
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
S
ven Verdoolaege
build libisl an
d
libpoly
l
ibgm
p
before
l
ib
i
sl-
p
olylib
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaeg
e
isc
c
: su
p
port application of piecewise
q
uasip
o
lynomia
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verd
o
olaege
d
oc
:
fix documentation
of join
of
maps and fold
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolae
g
e
add isl
_
union_set_apply_u
n
i
o
n
_
p
w_qpolynomial
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven
Verdoola
e
ge
update is
l
f
or export of isl_unio
n
_m
a
p_from_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verd
o
ola
e
ge
i
scc
:
add write o
p
eration
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven V
e
rdoolaege
iscc: optionally di
s
able read operat
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-15
Sven Ve
r
d
o
ol
a
e
g
e
do
c
: explain comma operator in a set descript
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sve
n
Verdoolaege
iscc: add typeo
f
o
perator
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sven
V
erdoola
e
ge
a
dd isl_str_fro
m
_stri
n
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdoolaege
iscc
.
c
: use
C
99 designated initialize
r
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sven
V
e
r
doolaeg
e
is
c
c:
m
i
nor improvement in er
r
o
r mes
s
age
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-08
Sven V
e
rdoolaege
iscc: add domain_
m
a
p
a
n
d range_map operations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-08
Sve
n
Ve
r
doolaege
isc
c
:
add "
d
omain" and "range"
s
y
n
onyms for
"dom" and
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
S
ven Verdoolaege
update isl to ve
r
sion 0
.
0
5
.
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-30
Sven Verdoolaege
i
scc: don't al
l
ow code gen
e
ration on union sets of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-23
Sven Verdoolaege
update isl to ver
s
ion 0
.
05
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-01
Sven
Verdoolaege
avoid use
of
isl_set and isl_
m
ap
i
n
t
ern
a
ls
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-28
Sven Verdo
o
laege
separate out isl in
t
erface
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-28
S
v
en Verdoolaege
confi
g
ure
.
in: propaga
t
e absolute isl bui
l
ddi
r
to submodule
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-20
Sven
V
erdoolaege
update i
s
l for rename of header file
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Ver
d
oo
l
aege
evalue_floor2frac: don't assu
m
e
c
oefficient
s
of floor
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaege
test_
b
ound
:
s
top testing after predet
e
rmined
num
b
er
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Ver
d
oolaege
b
a
r
vinok_bound
:
rew
r
ite
i
n C
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven V
e
rdoolaege
barvinok
_
{summ
a
te,bo
u
nd}
:
take
is
l
input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoo
l
a
e
ge
test_bound:
switch to isl rep
r
esentation
ev
e
n
earlier
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sve
n
Ve
r
d
o
olaege
test_bou
n
d: switch
to isl rep
r
esentation e
a
rlier
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sv
e
n Verdoolaege
iscc: add po
l
ynomial
a
pproximations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-11
Sven Verdoolaege
b
arvinok_summ
a
t
e: rewrite
i
n C
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-11
Sven Verdoo
l
aege
barvinok_
s
um
m
ate: use is
l
inter
f
ace
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-10
Sven
Ve
r
doola
e
g
e
bound
.
c
c:
drop dead code
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-07
Sv
e
n
Verdo
o
laege
doc
:
more informati
o
n about usin
g
set
s
an
d
maps in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-06
Sv
e
n
Verdo
o
laeg
e
doc: update some
refe
r
ences
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-06
S
v
en V
e
rdoo
l
aege
iscc: add
poly operat
i
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-03
Sven Verdo
o
laege
i
s
c
c
: add
scan ope
r
ation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-01
Sven Verdo
o
laeg
e
isl_pw_qpoly
n
omial_sum: handle
exi
s
tentials in wra
p
ped
.
.
.
commit
|
commitdiff
|
tree
2010-10-27
Sven Ve
r
doolaege
u
p
dat
e
is
l
fo
r
renam
i
ng of isl_map
_
remo
v
e
commit
|
commitdiff
|
tree
2010-10-20
Sve
n
Ver
d
oolaege
v
e
rsion
.
c:
s
how u
s
e of CLooG
commit
|
commitdiff
|
tree
2010-10-18
Sven
Verdoolaege
doc
:
a bit mor
e
info on i
s
cc
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdo
o
laege
iscc: add befo
r
e and after operations
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdo
o
l
a
ege
iscc
:
add iden
t
i
ty operation
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoolaege
iscc: b
r
eak out off main loop when
printer no
lon
g
er
.
.
.
commit
|
commitdiff
|
tree
2010-10-18
Sven V
e
r
dool
a
ege
iscc
:
sup
p
ort exte
n
ded PolyLib output format
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoolaege
c
o
nfigure
.
in: perf
o
rm chec
k
for
GMP sup
p
ort in NTL
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
isl_P
o
lyhedron_Sample: add
missing
i
n
i
t
i
alization
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
iscc: add com
p
osition opera
t
ion on
piecew
i
se quasipolynomi
a
l
.
.
.
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
i
s
cc: add dependen
c
e analysis operations
commit
|
commitdiff
|
tree
2010-10-11
Sven Ve
r
doolaege
iscc:
r
egister extra keyword
s
in generic way
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdo
o
l
a
ege
u
s
e is
l
t
o
p
e
r
f
o
r
m "man
u
al_count"
commit
|
commitdiff
|
tree
2010-10-11
Sven
Verdoolaege
allow building wit
h
o
ut piplib
commit
|
commitdiff
|
tree
2010-10-11
Sven
V
e
rdo
o
laege
Po
l
y
h
e
dron_Reduced_
B
a
s
i
s
: optionally use isl
commit
|
commitdiff
|
tree
2010-10-11
Sven Ve
r
doolaeg
e
fix depen
d
ence on b
u
ild isl
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdo
o
la
e
ge
isl_map_car
d
: use i
s
l
f
or fa
c
tori
z
ation
commit
|
commitdiff
|
tree
2010-09-14
Sven Verdoolaeg
e
isl_map
_
card: split
di
m
e
nsion fiddling from
conversion
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sv
e
n Verdo
o
l
aege
isl_map_card: u
s
e isl_pw_qpoly
n
om
i
al_sum if re
q
u
e
ste
d
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sv
e
n Verdoolae
g
e
barvino
k
0
.
32
.
1
commit
|
commitdiff
|
tree
2010-09-13
S
v
en Verdoolae
g
e
update
isl for fi
x
in paramete
r
alignment
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdoolaege
barvinok 0
.
32
commit
|
commitdiff
|
tree
2010-09-10
Sven V
e
rd
o
olae
g
e
i
s
cc: add lexicographic
o
perat
o
rs
commit
|
commitdiff
|
tree
2010-09-10
Sven Verd
o
olaege
up
d
ate isl to version 0
.
04
commit
|
commitdiff
|
tree
2010-09-07
Sven
Ve
r
doolaege
iscc: add "source" oper
a
tion
commit
|
commitdiff
|
tree
2010-09-06
S
v
en Verd
o
olae
g
e
isc
c
:
a
dd support f
o
r strings
commit
|
commitdiff
|
tree
2010-09-06
Sven
V
erdoolaege
i
scc: p
r
int
e
rror
m
essage on use
o
f un
k
nown identifier
commit
|
commitdiff
|
tree
next