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: accept empty lists
2011-07-05
Sven Verdoolaege
iscc: accep
t
empty
lists
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
S
v
en Verdoolaege
remov
e
e
value_spli
t
_pe
r
io
d
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven V
e
r
d
oolaege
drop ev
a
lue_convert applica
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdoolaeg
e
lexmin
.
c
c: add m
i
ss
i
ng
r
e
turn
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
S
v
e
n Verdoolaege
verif
y
.
c: a
d
d missing
retu
r
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdoo
l
aege
eva
l
ue
_
r
ead
.
c: stream_push_token: fix return type
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sve
n
Verdoolaege
evalu
e
_read
.
c: add missing
inc
l
ude
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven
Verdoolaege
eval
u
e_read
.
c: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdoolaege
i
s
l_obj_list_pri
n
t: pro
p
e
r
l
y retur
n
isl
_
p
r
i
nter
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdoolaege
isl_obj_list
.
h
:
use flex
array member
to
a
void
array
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdoola
e
ge
upd
a
te isl
for renaming of i
s
l_qpol
y
nomial_
i
s
_equa
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven V
e
rdoolaege
ba
r
vi
n
ok_summate: be more careful
a
bout spac
e
s
in which
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven V
e
rdo
o
la
e
g
e
summate
.
c
:
add m
i
ssing in
c
lude
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdoolaege
barvinok
.
cc:
a
dd missi
n
g include
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdoolaege
Change li
c
ense from GPL 2
.
0 to GPL 2
.
0
+
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-10
Sven
Verdoo
l
aege
eva
l
ue_isl
.
c: add m
i
ss
i
ng
i
ncl
u
d
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-10
Sve
n
Verdoolaeg
e
add cloog sub
m
o
d
ule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-10
Sven
V
erdoo
l
a
ege
up
d
ate
i
s
l
for cloog
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-10
Sven Verdoo
l
ae
g
e
is
l
_ob
j
_list
.
c: fi
x
typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-01
Sven Ve
r
dool
a
eg
e
iscc: turn on sh option when
calling
C
LooG
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven
Verdoolaege
evalu
e
_isl
.
c: av
o
id
u
s
e of i
s
l
_
d
i
v internal
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolae
g
e
update isl
for
isl_di
v
_get_
c
tx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven
V
erd
o
olaege
configu
r
e
.
a
c:
d
on't depen
d
o
n
automake 1
.
1
1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
ven Verdoolaege
is
c
c:
add
s
chedule and schedule_bands
oper
a
tio
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sve
n
Verdoolaege
iscc: add solutio
n
s oper
a
t
io
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verd
o
olaege
i
s
c
c: add coefficie
n
ts operation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
iscc:
a
dd l
i
ft operatio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaeg
e
iscc: perform assignm
e
nts even on error
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven
Verdoolaege
iscc: pl
u
g memory l
e
a
k on error path
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-19
Sven Verdoo
l
aege
use
s
ile
n
t make rule
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verd
o
olaege
b
a
r
v
i
nok 0
.
33
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
S
ve
n
Ver
d
oo
l
aege
iscc
.
c:
fix typo which w
o
uld pr
e
vent compi
l
a
tion i
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdool
a
ege
update isl
t
o versi
o
n 0
.
06
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Ve
r
dool
a
ege
i
s
l
_p
w
_qpol
y
no
m
ial_sum: handle existentials in
non
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Ver
d
ool
a
e
g
e
d
r
op piplib
s
ubmodule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven
Verdoolaege
stop using
p
ip as LP s
o
lver
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
d
oc: constraints
n
o
longe
r
need
to be specifi
e
d
i
n
D
NF
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
is
c
c
:
p
a
rse
lists
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdo
o
laege
a
d
d isl_li
s
t_add_ob
j
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sv
e
n
Ver
d
o
olaege
iscc: pars
e
booleans
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
S
ven Verdoo
l
aege
iscc: al
l
ow interruption
of
c
o
mputation from the keyboard
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-17
Sven Verdoola
e
g
e
avoid
use of isl_
c
tx internals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
Sven
Verdoolaege
isl_obj_st
r
:
p
r
i
nt quotes aroun
d
s
tring
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdoolaege
i
sc
c
: keep trac
k
o
f intermediate result
s
i
n int
e
r
active
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven V
e
r
d
ool
a
ege
iscc: add
p
ow
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
S
v
e
n V
e
r
d
o
o
laege
i
scc:
add zip
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-11
Sven V
e
rdoolaeg
e
iscc
:
add deltas_m
a
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
S
ven
V
erdoolaege
lex
m
in: assume unknowns and parame
t
ers
a
re non-ne
g
ative
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Ver
d
oolaege
le
x
min: u
s
e isl to read input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
S
v
en Verd
o
ol
a
ege
also perform lexmin check in
a
bsenc
e
of GLPK
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolae
g
e
poly
s
ign: ad
d
i
s
l-backed version a
n
d
u
se
it b
y
default
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sv
e
n Verdoolaege
update isl-po
l
y
lib for fix in
header
f
i
l
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sve
n
Verdool
a
e
g
e
upda
t
e isl for cha
n
ge in is
l
_flow_get_no_
s
ource
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-24
Sven Verdoolaege
doc
:
docu
m
ent isl modulo not
a
tio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven
V
erdoolaege
iscc
:
read_line: fix re
t
urn
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Ve
r
doolaege
e
v
a
l
ue_isl
.
c: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
is
c
c
: add operat
i
ons on
int objects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Ver
d
oolaeg
e
update isl for introduction of int
objects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
Sven Verdoolaege
add isl_basic_set_card
and isl_bas
i
c_map_card
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoola
e
ge
document isl_union_set_apply_u
n
i
o
n_pw_qpo
l
y
n
o
m
ial
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven V
e
rd
o
olaege
remove polyh
e
dron_
r
ange
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
remove polyto
p
e
_
minimi
z
e application
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven V
e
rdoolaege
Polyhedron_Sample: use is
l
unc
o
nditionally
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verd
o
ola
e
g
e
remove combine
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdool
a
ege
build
l
ibis
l
a
n
d
l
ibpolylibgmp be
f
ore libisl-polylib
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
S
v
en Ver
d
oolaege
iscc: support
a
p
p
lica
t
i
on of piecew
i
se quasipo
l
y
n
omial
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven V
e
r
d
o
olae
g
e
d
oc
:
fix document
a
tion of j
o
in of maps and folds
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven
Verdool
a
e
g
e
add
isl
_
union
_
set_apply_union_pw_qpolyn
o
mial
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
update isl for export of isl_u
n
i
o
n_map_from
_
range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Ve
r
doolaege
iscc:
ad
d
write operation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven V
e
rdoolaege
is
c
c: option
a
l
l
y disable re
a
d oper
a
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-15
S
v
en Verdoolaege
d
oc:
e
x
plain c
o
mma operator
i
n a set descri
p
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
S
ven Verdo
o
la
e
g
e
is
c
c: add
t
ypeof operator
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sve
n
Ver
d
oolaege
ad
d
is
l
_s
t
r
_
fr
o
m_string
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sven
Verdoolaege
iscc
.
c
: use C99 desi
g
na
t
ed initi
a
li
z
e
r
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdo
o
laeg
e
iscc
:
min
o
r improvement in error mes
s
age
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-08
Sven Verdoolaege
isc
c
: add do
m
ai
n
_map an
d
ran
g
e_ma
p
ope
r
at
i
ons
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-08
S
v
en Verdoola
e
g
e
iscc: add
"
domain" and "range" synony
m
s for "d
o
m
"
and
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
Sven
Verdo
o
laeg
e
u
p
d
a
te isl to version
0
.
0
5
.
1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-30
Sven Ver
d
oo
l
aege
iscc:
don
'
t allow
c
ode ge
n
e
ration on union sets of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-23
Sven Verd
o
olaege
update isl to version 0
.
05
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-01
Sven Verdoolaege
avoid use
o
f
isl_set
an
d
i
s
l_map internals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-28
Sven Verdoolae
g
e
separat
e
out isl
i
nterface
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-28
S
ven Verdool
a
e
g
e
configure
.
in: propaga
t
e absol
u
t
e isl b
u
ild
d
ir to submod
u
le
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-20
Sven Verdoo
l
aege
u
p
d
a
te is
l
for
renam
e
o
f
header
files
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sv
e
n Verdoolaege
evalu
e
_floor2
f
rac:
d
on't assume coefficien
t
s
of floors
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
S
ven Ve
r
doolaege
test_bound: stop testing a
f
t
e
r predetermined num
b
er
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sv
e
n
Verdoolaeg
e
barvinok_
b
ound
:
re
w
rite in C
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolae
g
e
ba
r
vi
n
ok_
{
summate,
b
ound}: take isl input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdo
o
laege
tes
t
_bound: swi
t
c
h
to isl re
p
resentation
eve
n
earlier
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sv
e
n
Verdoola
e
ge
tes
t
_boun
d
: switc
h
t
o
i
s
l representation earlier
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven
Ver
d
oolae
g
e
iscc: add polyno
m
i
a
l approximations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-11
Sven Verdoolaege
barvinok_s
u
mmate: rewrite in C
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-11
S
v
en
V
e
rdoolaege
barvinok_summate: us
e
isl in
t
erfac
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-10
Sven Verdoolaege
bound
.
cc: dr
o
p d
e
a
d
code
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-07
Sven Verdoolaege
d
oc: more informa
t
ion abou
t
using s
e
ts and m
a
ps in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-06
Sven Verdoolaege
doc
:
up
d
ate some references
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-06
Sven Verd
o
olaege
iscc:
a
dd p
o
ly operation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-03
Sven
V
erd
o
olaege
iscc: ad
d
scan operation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-01
S
ven Verd
o
olae
g
e
isl_pw_qpolynomial_sum: h
a
ndle e
x
istentials in
w
r
a
pped
.
.
.
commit
|
commitdiff
|
tree
next