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
evalue_isl.c: add missing include
2011-06-10
Sven V
e
rdoolaege
eva
l
u
e_
i
s
l
.
c: ad
d
missing
include
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-10
S
v
e
n
Verdo
o
laege
add cloog submodule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-10
S
v
en V
e
rdoolaege
update isl for cloog
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-10
Sven Verdoolaege
isl_obj_list
.
c: fix t
y
po
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-01
Sven Ve
r
do
o
laege
iscc: turn on
s
h option when calling CLooG
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven
Ve
r
do
o
laege
evalue
_
i
sl
.
c: avoid
u
se of
isl_d
i
v int
e
rnals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaeg
e
upd
a
te
i
sl for isl_div_get_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Ve
r
doolaege
co
n
f
igure
.
ac: do
n
'
t depe
n
d
on autom
a
ke 1
.
11
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
iscc: add sched
u
l
e and schedul
e
_bands op
e
ra
t
i
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ve
r
doo
l
aege
iscc:
a
d
d sol
u
ti
o
ns operat
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
ve
n
Verdo
o
lae
g
e
iscc: add coeffic
i
ents operation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sv
e
n Verdoola
e
ge
iscc:
a
d
d
lif
t
ope
r
a
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
i
sc
c
: pe
r
form assi
g
n
m
ents e
v
en
on error
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
v
e
n
V
erdo
o
laege
iscc: plug memory leak
on er
r
o
r path
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
Ver
d
oolaege
barvinok
0
.
33
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven V
e
rd
o
olaege
is
c
c
.
c:
fix typ
o
which would prevent co
m
pil
a
tion
i
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sve
n
Verdoolaege
update isl to version 0
.
06
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Ver
d
o
o
la
e
ge
isl_pw_qp
o
lynomial_sum: handle exi
s
tentials in
n
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
drop piplib submod
u
le
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoola
e
g
e
stop
u
sing pip as
L
P solver
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verd
o
olaege
doc: constra
i
nts n
o
longe
r
need to
b
e s
p
ecified i
n
DNF
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
S
ven Verdoolaege
iscc: parse lis
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
add
i
sl_list_add_obj
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
S
ven Verdoolaege
i
scc: parse boolean
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
is
c
c:
al
l
ow interru
p
t
ion of com
p
utation from the keyboard
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-17
Sven
V
erdo
o
laeg
e
avoid
use of isl_c
t
x
i
n
ternal
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
S
v
en Verdoola
e
ge
i
s
l_obj_
s
tr:
pr
i
nt
q
uot
e
s around str
i
ng
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven
V
erdool
a
ege
iscc: keep
t
rack of intermediate resu
l
ts in i
n
tera
c
tive
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
S
ven
V
erdoo
l
a
e
g
e
i
s
c
c: add pow
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdoo
l
ae
g
e
iscc: ad
d
zip
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-11
Sven Verdoolaege
iscc: add
deltas_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sv
e
n
Verdoolaege
lexmin: assume unk
n
owns and parameters are non-negative
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
l
exmin: use isl t
o
read input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
S
v
en Ve
r
do
o
laege
also p
e
rform lexm
i
n check i
n
ab
s
ence of GLPK
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sve
n
Verd
o
o
l
aege
poly
s
ig
n
: add is
l
-backe
d
v
ersion an
d
use it by default
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven V
e
rdoolae
g
e
update isl-polylib f
o
r fix in header
f
ile
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
S
ven Verdoolaege
update isl fo
r
cha
n
ge in
i
sl_flow_get_no_sourc
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-24
Sven V
e
rdoolaege
doc: docu
m
e
nt isl modulo n
o
tati
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sve
n
Verdoolaege
i
s
cc
:
re
a
d_l
i
ne
:
fix r
e
turn
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
S
ven Verdoolaege
evalue_isl
.
c: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sv
e
n
Verd
o
o
l
aege
i
s
cc: ad
d
operation
s
on int
o
bjects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven V
e
rdoolaege
upda
t
e isl
fo
r
in
t
roduction of int obj
e
cts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
Sven Verdoolaege
add isl_bas
i
c_set_card
and
isl
_
ba
s
i
c_map_ca
r
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verd
o
o
l
a
e
ge
docum
e
n
t
isl
_
union_set_apply
_
union_p
w
_qpo
l
y
n
omi
a
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolae
g
e
remove polyhedron_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolae
g
e
remo
v
e poly
t
ope_minimize application
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
Polyhedron
_
Sample: use isl unconditionally
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verd
o
olaeg
e
remove combi
n
e
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Ve
r
d
o
ol
a
e
ge
build l
i
bisl
and libpolylibgmp
b
efore
li
b
i
s
l-po
l
ylib
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
i
s
cc: supp
o
rt application o
f
p
iecewise qua
s
ipol
y
nomial
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
S
ven
Ve
r
doolaege
doc: fix
d
o
c
u
m
e
ntation
o
f join of maps and
folds
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
a
dd isl_union_set_apply_union_p
w
_qpolynomial
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
u
p
d
ate
i
sl fo
r
export of isl_uni
o
n
_
map_from_ran
g
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
S
ven Verdoolaege
iscc:
add
w
rite oper
a
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Ve
r
doolaege
iscc: opt
i
onally di
s
a
b
le read o
p
eration
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-15
Sven Verdoolaege
doc: expl
a
in comma operator in
a set desc
r
iption
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sven
Verdoolaege
iscc: add typeof o
p
erator
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdoolaeg
e
add isl_str_from_s
t
ring
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdoola
e
g
e
iscc
.
c: u
s
e
C
99 designated ini
t
ial
i
zers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sven Ve
r
doolaege
iscc: minor improveme
n
t in error messa
g
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-08
Sve
n
V
e
r
doolaege
i
scc: add doma
i
n_
m
ap
a
n
d range_map operations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-08
Sven Verdoolaege
i
scc:
a
dd "domain
"
and "range" s
y
n
o
n
yms
f
or
"
do
m
" and
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
Sven Verdoolaege
update isl to versi
o
n
0
.
05
.
1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-30
Sven Ve
r
d
oolaege
iscc:
d
on't allow code
g
ener
a
tion on union sets of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-23
Sve
n
Ve
r
doolae
g
e
update is
l
to ve
r
sion 0
.
0
5
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-01
Sven Verdoola
e
ge
avoid use of
isl_set and isl_map internal
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-28
Sven Verdoola
e
ge
separate out isl interface
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-28
Sven Verdoolaege
config
u
re
.
in
:
propagate absolu
t
e
i
sl builddir to submodule
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-20
Sven Verd
o
olaege
update isl for ren
a
me of header file
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
S
v
en Ve
r
doolaege
eval
u
e_floor2frac: don
'
t assume coefficients of floors
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sv
e
n Ver
d
oolaege
test_bound: st
o
p
testin
g
after predeter
m
ined
n
umb
e
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sv
e
n
Verdoolae
g
e
barvinok_bound: rewrite in C
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Ve
r
d
oolaege
ba
r
vinok_{summate,b
o
und}
:
ta
k
e isl input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven
Verdoo
l
aege
test_
b
ou
n
d: switch to isl representation
even earlier
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaeg
e
test_bound: switch to isl
r
epresen
t
ation earlier
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaege
iscc: ad
d
pol
y
n
o
mial approximations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-11
Sve
n
V
erdoolaege
barvinok_su
m
m
ate: rewri
t
e in C
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-11
S
ven V
e
r
d
o
o
laege
barvinok_su
m
mate
:
use isl i
n
t
e
r
face
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-10
S
ven Verdoolaeg
e
bound
.
cc: d
r
op dead
c
ode
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-07
Sven Verdo
o
lae
g
e
doc: more information abo
u
t
usin
g
sets and maps in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-06
Sven V
e
rdoo
l
a
e
g
e
doc: upda
t
e some
r
efer
e
nces
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-06
Sven
V
erdoolaege
iscc: add poly
o
p
er
a
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-03
Sven
V
erdoolaege
is
c
c: add scan operatio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-01
Sven
V
e
r
doolaege
is
l
_pw_qp
o
l
ynomial_
s
um:
handle
e
xistentials in w
r
a
p
ped
.
.
.
commit
|
commitdiff
|
tree
2010-10-27
Sven Ver
d
oolaege
update isl f
o
r r
e
na
m
i
ng of isl_map_remove
commit
|
commitdiff
|
tree
2010-10-20
S
ven Verdoolaeg
e
version
.
c:
show
use of CLooG
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoolaege
doc:
a
bit more info
on isc
c
commit
|
commitdiff
|
tree
2010-10-18
Sven V
e
rdoolaege
isc
c
: add befor
e
and a
f
te
r
operations
commit
|
commitdiff
|
tree
2010-10-18
Sve
n
Verdo
o
la
e
ge
is
c
c
: add
i
d
e
n
tity oper
a
tio
n
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoola
e
ge
iscc
:
brea
k
out o
f
f main loop when printe
r
no longer
.
.
.
commit
|
commitdiff
|
tree
2010-10-18
S
v
e
n
V
e
r
dool
a
ege
iscc: support e
x
ten
d
ed Poly
L
i
b
output format
commit
|
commitdiff
|
tree
2010-10-18
Sve
n
Ve
r
doolaege
conf
i
gure
.
in: per
f
orm check for
G
MP supp
o
rt in NTL
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-10-11
Sv
e
n Verdoo
l
aege
i
s
cc
:
add
c
ompos
i
tion operation on pi
e
c
ewise quasi
p
olynomial
.
.
.
commit
|
commitdiff
|
tree
2010-10-11
Sve
n
Ver
d
oolaege
isc
c
: add
d
epende
n
ce
a
n
al
y
s
is operations
commit
|
commitdiff
|
tree
2010-10-11
S
v
en V
e
rdoolaege
i
s
cc: r
e
gist
e
r
extra keywo
r
d
s in generic way
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaeg
e
use
i
sl
to per
f
orm "manual_cou
n
t"
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdool
a
ege
allow building
w
itho
u
t
piplib
commit
|
commitdiff
|
tree
2010-10-11
Sven
V
erdoolaeg
e
Poly
h
edron_Reduced_Basis
:
o
p
t
i
o
nall
y
use isl
commit
|
commitdiff
|
tree
2010-10-11
S
v
en V
e
rdoolaege
fix
dependence on build isl
commit
|
commitdiff
|
tree
next