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
update isl for change in isl_basic_set_read_from_file
2011-09-16
Sven
Verdoolaege
update
isl fo
r
change in isl_basic_set_read_from_file
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-16
Sven V
e
rdoola
e
ge
upd
a
te cloo
g
for inc
l
ude fix
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
Sven Verdoo
l
aege
update isl f
o
r remov
a
l of
isl_div
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
Sven Verdoola
e
ge
u
pdate isl
for change in isl_{in,}equality_alloc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
Sven Verdo
o
laege
update pet
f
or
compatib
i
lity with recent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-07
Sven
Verdoolaege
u
p
dat
e
isl-polyli
b
fo
r
include path
ordering issue
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-05
Sven Ver
d
oolaeg
e
upd
a
te isl f
o
r change
i
n
s
pa
c
e
of isl_pw_* objects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-05
Sven V
e
rdoola
e
ge
up
d
at
e
isl for explicit parameter sp
a
c
e
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-05
Sven Verdo
o
l
a
ege
iscc: pro
p
erly
h
andle appl
i
ca
t
ions
o
f functions on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-05
Sven
V
erdo
o
lae
g
e
isl_union_set_app
l
y_union_pw_qpo
l
ynomial: explicitl
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoolaege
isl_pw_qpolynomial_sum
:
simplify constructi
o
n
o
f
target
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoolaeg
e
isl_set_card: explici
t
ly project result onto pa
r
ameter
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
S
v
en Ver
d
oolaege
bar
v
inok_summate
.
c: verify_point: e
x
pl
i
citly
project
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
S
ven Verd
o
olaege
t
e
s
t_bo
u
n
d
.
c: avo
i
d u
s
e
o
f undocu
m
ented isl_set_remo
v
e
_
d
im
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Ve
r
dool
a
e
g
e
is
l
_b
a
sic_set_lattice_w
i
dth: c
o
mpute
corr
e
ct
space
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sve
n
Verdoo
l
aege
u
p
date
i
sl
for
i
sl
_
p
w
_qpol
y
nomial_proj
e
ct_doma
i
n_on_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven
V
e
rdoolae
g
e
update clo
o
g
for not using
u
ndocu
m
ented isl_set_extend
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Ve
r
doolaege
update isl-polyl
i
b for renam
e
of isl_dim to isl
_
space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sve
n
V
e
rdool
a
e
g
e
update isl for ren
a
me of isl
_
dim to isl_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoolaege
upd
a
te isl-polylib for som
e
fixes
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verd
o
olae
g
e
update pe
t
for use o
f
isl_map_h
a
s_tuple_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sve
n
V
e
rdool
a
ege
update isl for isl_ma
p
_has
_
tuple_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven
V
e
rdoolaege
upda
t
e
isl f
o
r rename
of isl_map_in
s
ert
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
S
ven Verdool
a
eg
e
updat
e
isl for change in isl_af
f
_f
l
oor
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoolae
g
e
update p
e
t f
o
r compatibility with l
a
t
est clang
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
S
v
e
n Verdo
o
l
a
e
ge
u
p
date i
s
l for fix in isl_map
_
intersect_
p
a
r
ams
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-22
Sven Verdoo
l
ae
g
e
iscc: add parse_file op
e
ration
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-22
Sven Verdoolaege
ad
d
p
et s
u
bmo
d
ule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-22
S
v
en Verdoolaege
u
pdate
i
sl for pet
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-22
Sven V
e
rdoolaege
privately
e
xport isl
_
str_fr
e
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-22
Sven Verdoolaege
iscc: only pr
i
n
t
v
alid
results
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-14
S
ven Verdoolaege
barvinok 0
.
3
4
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-14
Sven Verdoolae
g
e
update clo
o
g to version 0
.
16
.
3
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-13
Sven Verdoolaege
upda
t
e isl to version
0
.
07
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-10
S
v
en Verdo
o
laege
aut
o
gen
.
s
h
:
r
eplace superpr
o
ject part by call
to auto
r
eco
n
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-10
Sven Ve
r
do
o
laege
conf
i
gure
.
ac: use n
o
n-d
e
precated for
m
of
AM
_
I
N
IT_AU
T
OMAKE
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-10
S
ven Ve
r
d
oola
e
ge
rename
configure
.
in to c
o
nfigure
.
ac
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-10
Sven Verdoolaege
up
d
ate cloog
for not depending on internal re
p
rese
n
a
tion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sv
e
n
V
erdool
a
ege
t
e
st: use i
s
l int
e
rface for te
s
ting
lattice widths
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdool
a
ege
iscc: add
l
attice_width op
e
r
ation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdoolaeg
e
i
s
cc: repl
a
ce sche
d
u
le_bands by schedu
l
e
_
f
orest
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
S
v
en Ver
d
oolaege
update isl for fix in isl_sch
e
dule inte
r
face
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven
Verdoolaege
upd
a
te cloog for addition of missing inc
l
ude
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdoo
l
aeg
e
iscc: accept empty
lists
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdoolaege
remove eval
u
e_split_per
i
ods
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdool
a
ege
drop evalue_convert appl
i
cati
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven
V
erdoolaege
lexmin
.
cc: ad
d
miss
i
ng
r
eturn
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
S
ven Verdoolae
g
e
veri
f
y
.
c: a
d
d missing retur
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven
V
erdoolaege
eval
u
e
_read
.
c
:
s
tream_push_token: fix return type
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdoo
l
ae
g
e
e
v
al
u
e_read
.
c
: add mis
s
ing include
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sve
n
Verd
o
olaege
e
v
al
u
e_read
.
c: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
S
v
e
n Verdoola
e
ge
isl_
o
b
j
_list_print: prop
e
rly return
isl_printer
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven V
e
r
d
o
o
laege
isl_obj_list
.
h: use fle
x
arr
a
y
m
ember to avoid arr
a
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sve
n
V
erdoolaege
u
p
date isl
f
or renami
n
g
of isl_qpolyno
m
ial_is_equal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven
Verdoolae
g
e
barvi
n
ok_summ
a
te:
be m
o
re careful about s
p
ace
s
in
w
hich
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
S
v
e
n
Verdoolaege
summate
.
c: ad
d
mi
s
s
i
n
g
include
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven
Verdoolae
g
e
barvin
o
k
.
cc: add missing inc
l
ude
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdoolaege
C
hange li
c
ense from GPL
2
.
0 t
o
GPL
2
.
0
+
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-10
S
v
en
Verdoolaege
eval
u
e_isl
.
c: a
d
d m
i
ssi
n
g
include
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-10
Sven V
e
rd
o
ola
e
ge
add cloog
s
ubmodule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-10
Sv
e
n Verdoolaege
u
p
da
t
e
isl for
cloog
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-10
Sven Verdool
a
ege
isl
_
o
b
j_list
.
c: f
i
x typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-01
Sven Verdoolaege
isc
c
: turn on sh option when calling CLooG
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven V
e
rdoolaege
evalue_isl
.
c: avo
i
d use of isl
_
div intern
a
l
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
update isl for
i
sl_div_get_ct
x
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
configure
.
a
c
: do
n
'
t
d
epend on aut
o
make 1
.
11
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven
V
erdoolae
g
e
iscc:
ad
d
sch
e
du
l
e and sche
d
u
le_b
a
nds operat
i
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven V
e
r
d
ool
a
ege
iscc: add sol
u
tions opera
t
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
iscc: add coeffici
e
nts opera
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven
V
erdo
o
laege
iscc: add lift operation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
iscc: perform
assig
n
m
e
nts
e
v
e
n on error
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
v
en Ver
d
oolaege
iscc:
p
lug m
e
mo
r
y leak on e
r
ror p
a
th
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-19
Sve
n
Verdoolaege
use
sil
e
nt mak
e
rules
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sve
n
Verdoolaege
barvinok 0
.
33
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven V
e
rd
o
ola
e
ge
iscc
.
c: fix typo whi
c
h
w
ould
p
re
v
ent
compilati
o
n in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
u
p
date isl to version 0
.
06
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoo
l
aege
isl
_
pw_qpolyno
m
ial_sum:
ha
n
d
l
e
existen
t
ia
l
s in non
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
drop piplib sub
m
odul
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
stop
u
s
i
ng pip as
L
P
sol
v
er
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven
V
erdoolaege
doc: const
r
aints no
l
o
n
ger n
e
ed to be specifi
e
d
i
n DNF
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
S
v
en Verdool
a
ege
iscc: parse lists
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
ad
d
isl_list_ad
d
_obj
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdool
a
e
g
e
iscc: parse bo
o
lean
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sve
n
Verdoola
e
ge
iscc: all
o
w interr
u
ption of compu
t
ation from the keyboard
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-17
S
v
en Verdoolaege
avo
i
d
us
e
of isl_ctx internals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
Sven Verdoolaege
isl_obj_str:
print
q
u
ot
e
s around string
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven
V
erdo
o
l
a
ege
is
c
c: keep track o
f
in
t
ermediate results i
n
inte
r
acti
v
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven
V
erd
o
olaege
i
scc: add po
w
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
S
v
e
n Verd
o
olaege
iscc: ad
d
z
ip
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-11
Sven Verdoo
l
aege
iscc: add de
l
tas
_
ma
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
S
ven Verdoolaege
l
e
xmin: assume unknowns and parameters are non-negative
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sve
n
Verd
o
ola
e
ge
lexmin: use isl to
r
e
ad inp
u
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Ve
r
doolaege
also perform le
x
m
i
n ch
e
ck in absenc
e
of
GLPK
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdo
o
l
a
e
g
e
polysign: add i
s
l
-
backed v
e
rsion and use it by de
f
a
ult
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sv
e
n Verdoola
e
g
e
update isl-polylib for fi
x
in header
fil
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Ve
r
doolaege
up
d
ate isl for cha
n
ge in i
s
l_flow
_
get_n
o
_
s
ource
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-24
Sven Verdoolaeg
e
doc: d
o
cument isl m
o
dulo notatio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
S
ven Verdoolaege
iscc
:
read_line: fix
r
eturn
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdo
o
la
e
g
e
evalue_isl
.
c: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
iscc:
a
dd o
p
era
t
io
n
s on int objects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next