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
2011-07-05
Sven Verd
o
olae
g
e
evalue_read
.
c: add mis
s
ing include
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
S
ven
V
e
rdoolaege
e
v
alue_read
.
c: fix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdoola
e
ge
isl_obj_list_pr
i
nt: properl
y
ret
u
rn isl_printer
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
S
ven Verdoolaege
isl_obj_list
.
h: use flex array membe
r
to avoid ar
r
ay
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sv
e
n V
e
rdoolaege
update isl for renaming
o
f
i
s
l_qpolyno
m
ia
l
_
is_equ
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sve
n
Verdoolaege
b
arvinok_summate: b
e
more ca
r
eful about spaces in which
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
S
ven Verdoolaege
summate
.
c: a
d
d missing include
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sve
n
Verdoolaege
barv
i
n
o
k
.
cc: add missing include
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdoolaege
Change license from GPL 2
.
0 to G
P
L
2
.
0
+
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-06-10
Sven
Verdoola
e
ge
evalue_isl
.
c: add mis
s
i
ng
i
nclu
d
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-06-10
Sven
Ve
r
doolaeg
e
add cloog submodule
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-06-10
Sven Ve
r
d
o
o
lae
g
e
up
d
ate isl for
cloog
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-06-10
Sven V
e
rdoolaege
isl_obj_list
.
c
:
f
i
x
typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-06-01
Sven Verdoo
l
aege
i
scc:
t
urn on s
h
opt
i
on when
calling CLooG
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sv
e
n Verdoo
l
aege
eval
u
e_isl
.
c: avo
i
d use of
isl_div
internals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
S
v
en
V
erdoolaege
upda
t
e isl for isl_di
v
_get_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
S
v
en Verdool
a
ege
configure
.
ac:
d
on'
t
depend on a
u
t
omake 1
.
11
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
v
en Verdool
a
ege
i
scc: add schedule and schedule_bands operations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
i
s
cc: add
s
olutions
o
peration
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdool
a
e
g
e
iscc:
a
dd coefficients operation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdool
a
ege
iscc: add lift operation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sve
n
Verd
o
olaeg
e
is
c
c:
p
erform assignments
e
v
en o
n
error
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaeg
e
iscc: plug memory leak on error pa
t
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-19
Sven
Verdoolaege
use silent make rules
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolae
g
e
b
a
rv
i
nok 0
.
33
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoola
e
g
e
iscc
.
c:
f
ix
t
ypo which w
o
uld p
r
ev
e
nt co
m
pilati
o
n in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sv
e
n
Verdoo
l
aege
update isl
to ver
s
i
o
n 0
.
06
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven
Ver
d
ool
a
eg
e
isl_pw_q
p
olynomial_
s
um: handle
e
xistentials in
n
on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sve
n
Verdoolaege
drop piplib su
b
mo
d
ule
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven V
e
rdoolae
g
e
st
o
p
u
sing
p
i
p
as LP solver
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
S
v
en Verdool
a
eg
e
doc
:
constraints no longer need t
o
b
e
s
pecifi
e
d in DNF
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoo
l
aege
iscc: parse l
i
sts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
S
ven Verdo
o
laege
a
d
d isl_list
_
add_obj
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven
Verdoola
e
ge
iscc
:
p
a
r
s
e boo
l
eans
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven
V
erdoolaege
i
s
cc: allow interrupt
i
on
o
f c
o
mputation from the keyboard
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-17
Sven Verdoolaege
avoid use of isl
_
ctx in
t
erna
l
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
Sven Verdool
a
eg
e
isl_obj_str: pr
i
nt
q
u
otes aroun
d
strin
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdoolaege
iscc: keep trac
k
of interme
d
ia
t
e results in interacti
v
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verd
o
olaege
iscc
:
a
dd pow
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sv
e
n
Verdo
o
laege
i
s
cc: add zip
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-11
S
v
e
n
Verdoolaeg
e
iscc: a
d
d d
e
lt
a
s_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
S
ven Verdoolaege
lexmi
n
:
assume unknowns
and pa
r
a
m
eters are no
n
-n
e
gative
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verd
o
olaege
lexmin
:
use isl to r
e
ad input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven V
e
rdoolaege
also pe
r
f
orm
lexmin check in absen
c
e of G
L
PK
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven
V
erdoolaege
p
olysig
n
: add isl-backed v
e
r
s
ion and use it by default
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
S
ven
V
erdoolaeg
e
update
isl-
p
olylib for fix in header f
i
le
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolae
g
e
upd
a
te isl for
c
hange in is
l
_
flow_get_no
_
source
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-24
Sven
Verdoo
l
a
ege
doc: docume
n
t is
l
m
odulo
n
o
tation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verd
o
olaege
Ma
k
efi
l
e
.
am:
put
N
TL CFLAGS after isl CFL
A
G
S
Signed-off-by:
Sven Verdoolaege
<verdoolaege@gamma.math.uni-magdeburg.de>
commit
|
commitdiff
|
tree
2011-01-23
Sven
Ver
d
oolaege
iscc: re
a
d
_line:
fi
x
return
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven V
e
r
d
oo
l
aege
evalue_isl
.
c: fix t
y
po
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Ver
d
o
o
l
aege
iscc:
add operations on int objects
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verd
o
olae
g
e
upd
a
te isl f
o
r
introduction of
i
n
t objects
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-22
Sven Verdoo
l
aege
add isl_basic_
s
et_car
d
and i
s
l_basic_map_card
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdool
a
eg
e
d
o
cument isl_unio
n
_set_apply_union_pw_qpoly
n
o
mial
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Ver
d
oolaege
remove pol
y
hedro
n
_
range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
S
v
e
n Verdoolae
g
e
remove p
o
lytope_m
i
n
imize ap
p
licatio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sve
n
Verd
o
olaege
Pol
y
he
d
ro
n
_Sample: use isl u
n
condi
t
iona
l
ly
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sv
e
n Verdoola
e
ge
remove
combin
e
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven V
e
r
d
oolaege
build libisl and libpol
y
l
ibgmp
befor
e
libi
s
l-pol
y
lib
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoola
e
ge
i
scc:
suppor
t
applica
t
i
on o
f
piec
e
wise quasipolynomi
a
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdo
o
laege
do
c
: fix docume
n
tation
of join of maps a
n
d folds
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven V
e
rdoo
l
a
e
ge
a
d
d isl_u
n
ion
_
set_apply_
u
nion_pw_qpolyno
m
ial
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
S
v
en Verdo
o
laege
update isl
for exp
o
rt of
isl_unio
n
_m
a
p_
f
rom_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
iscc:
a
dd wri
t
e operation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sve
n
Verdoolae
g
e
isc
c
:
optionally disable read o
p
eration
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-15
Sven V
e
rdoo
l
aege
doc: expla
i
n
comma ope
r
ator in
a
set
d
es
c
ripti
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
S
v
en
Verdoo
l
aeg
e
iscc: add
typeof operator
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sven V
e
rdool
a
ege
a
d
d i
s
l
_str_from_strin
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdo
o
laege
iscc
.
c: use C99 design
a
ted initializ
e
rs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdo
o
la
e
g
e
iscc: minor
i
m
prov
e
ment in
e
rror mess
a
ge
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-08
Sven Verdoolaeg
e
i
s
cc: a
d
d domain_map
and range_ma
p
o
p
erations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-08
Sven
V
erdoolaege
is
c
c: add "domain" and "ran
g
e"
synony
m
s f
o
r "dom" and
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
Sven Verdoolaege
update isl to version 0
.
05
.
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-30
Sven Verdoolaege
iscc:
d
on't allow code
g
enerat
i
o
n
on union sets of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-23
Sv
e
n
Verdoolaege
update isl to vers
i
on 0
.
05
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-01
S
ven Verdoola
e
ge
avoid use of isl_set
and
isl_map i
n
ternal
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-28
S
ven Verdoolaege
separat
e
out i
s
l interface
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-28
Sven V
e
rd
o
olaege
confi
g
ure
.
in
:
propagate
abso
l
ute isl
b
uilddir to subm
o
dule
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-20
Sven V
e
rdo
o
laege
update
isl
f
or ren
a
me of he
a
der files
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoola
e
g
e
eval
u
e
_
floor2fra
c
: don't assume co
e
fficients of floors
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sv
e
n
Verdoolaege
test_boun
d
: stop testing after pred
e
termined n
u
mber
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven
V
erdoolaege
barvinok
_
b
o
und: rewrite in C
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven V
e
r
d
o
olae
g
e
barvinok_{summate,bound}: take is
l
input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven V
e
rd
o
olaeg
e
t
e
s
t_bo
u
nd: switch to
i
s
l
representat
i
on
e
v
en earlier
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven V
e
r
d
oolaeg
e
test_bound: switch to isl
r
epresentation ea
r
lier
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoola
e
ge
iscc: add po
l
ynomia
l
appr
o
ximations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-11
S
v
en Verdo
o
l
a
ege
b
a
rv
i
nok_summate: rewrite in C
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-11
Sven Verdoolaege
barvinok_summa
t
e:
u
se isl interface
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-10
Sven Verdoolaege
bound
.
cc: drop dead
c
ode
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-07
Sven V
e
rdo
o
l
a
ege
doc: more informati
o
n abou
t
using sets an
d
maps
i
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-06
Sven Verdoolae
g
e
doc: up
d
ate some references
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-06
Sv
e
n Verdoo
l
ae
g
e
iscc: add pol
y
op
e
ratio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-03
Sven Verdoola
e
ge
iscc: add scan oper
a
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-01
Sven Verdoolaege
isl_pw_qpoly
n
o
mia
l
_s
u
m:
h
andle existentia
l
s in w
r
apped
.
.
.
commit
|
commitdiff
|
tree
2010-10-27
Sv
e
n Verdoolaege
update isl for renaming of isl_map_remove
commit
|
commitdiff
|
tree
2010-10-20
Sven Verdoolaege
version
.
c: show use of
C
LooG
commit
|
commitdiff
|
tree
2010-10-18
Sv
e
n Verdoolaege
doc: a bit more info on
iscc
commit
|
commitdiff
|
tree
2010-10-18
Sven Ve
r
d
oola
e
g
e
iscc: add
before
a
nd a
f
t
e
r operations
commit
|
commitdiff
|
tree
2010-10-18
S
ven Ver
d
o
o
laege
is
c
c
:
add
i
d
entity operat
i
on
commit
|
commitdiff
|
tree
next