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
barvinok 0.33
2011-03-18
Sven Verdoolaege
b
arvinok 0
.
33
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
i
scc
.
c: fix typo wh
i
ch would
preven
t
compilati
o
n in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolae
g
e
update isl
t
o ve
r
sio
n
0
.
06
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
S
v
en Verdoolaege
isl_pw_qpolynomial_sum
:
h
andle
e
x
isten
t
ials i
n
non
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
S
v
en Verdoolaege
drop pip
l
ib sub
m
odule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Ver
d
o
olaege
stop using
pip a
s
LP solver
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven
V
erdoo
l
aege
d
oc
:
constraints no longer ne
e
d to be specified in
DNF
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolae
g
e
isc
c
:
par
s
e list
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven V
e
rdoolaege
add is
l
_list_ad
d
_ob
j
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven
V
e
r
doola
e
ge
iscc
:
parse booleans
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolae
g
e
iscc: allow
i
nterrupti
o
n of computation from th
e
keyboa
r
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-17
Sven
V
erdoolaeg
e
av
o
i
d
u
se
o
f
isl_c
t
x internals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
Sven Verd
o
olaege
isl_obj_str: p
r
i
n
t quotes
a
r
o
und string
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verd
o
o
laege
iscc: kee
p
track of inter
m
ediate results in intera
c
tiv
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdoolaege
iscc: add pow
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sve
n
Ve
r
d
o
olaege
iscc
:
add zip
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-11
S
v
en Verdool
a
ege
i
s
cc: add delta
s
_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
S
v
e
n V
e
rdoola
e
ge
lex
m
in: assu
m
e unknowns and p
a
r
a
meters are non-negative
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
lexmin
:
us
e
isl to read
input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
S
v
en Verdo
o
l
aege
also perform lexmin ch
e
ck in
absence of GLPK
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoo
l
aeg
e
polysig
n
: add isl-b
a
c
k
ed version
a
nd
u
se it by default
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
S
ven V
e
r
d
oola
e
ge
upd
a
te is
l
-po
l
y
lib
f
or fix in header file
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Ve
r
d
oolaege
update i
s
l for change
i
n isl_flow_get_no_source
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-24
Sven Verdoolaege
doc: documen
t
isl
modulo not
a
ti
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolae
g
e
is
c
c:
read_li
n
e: fix
return
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sv
e
n Ve
r
d
o
olaege
evalu
e
_
i
sl
.
c: fix
typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
S
ven Verdoolaege
iscc: add operations o
n
int objects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoola
e
ge
update isl for introduction of int objects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
S
v
e
n
Verdoolaege
a
d
d isl
_
basic_s
e
t_card and isl_basic_ma
p
_ca
r
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sv
e
n Verdoolae
g
e
document i
s
l_uni
o
n
_set_apply
_
u
n
ion_p
w
_qpoly
n
omial
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
S
v
e
n Ve
r
d
o
o
l
aege
rem
o
ve polyhedron_ran
g
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
S
v
en Verdoolaege
r
emov
e
po
l
ytope_minimize ap
p
l
icati
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven
Ver
d
oolaege
Polyhedron_Sample: use isl unconditi
o
nall
y
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaeg
e
r
emove combine
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
build libisl an
d
l
i
b
polylibgmp be
f
ore libisl-po
l
yl
i
b
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
i
s
cc: suppo
r
t applicati
o
n of
p
iece
w
ise quas
i
polyno
m
ial
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
S
v
en Verdoola
e
ge
doc:
f
ix documentation
o
f
j
o
in of
m
a
ps an
d
folds
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoola
e
ge
add isl_union_se
t
_a
p
p
l
y_union_pw_qpolyno
m
ial
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoo
l
aege
update is
l
for export of isl
_
uni
o
n_m
a
p_from_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdo
o
l
a
ege
iscc:
a
dd write oper
a
t
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
S
v
en
V
erdoolaege
iscc: o
p
tionally
d
isab
l
e r
e
a
d
opera
t
io
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-15
Sven Verdool
a
ege
doc: explain comma
op
e
r
ator in a set
d
escr
i
ption
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sven
V
e
r
doolaege
iscc: add typeof
o
p
erator
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sven
Verdoolae
g
e
add isl_str_fr
o
m_string
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdoolaege
iscc
.
c:
u
se C
9
9
designated initializers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sven
V
erdoola
e
ge
iscc: min
o
r improvement in erro
r
message
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-08
Sven Ve
r
doola
e
g
e
iscc: add domain_map and range_map ope
r
ations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-08
Sven Verdoolaege
i
s
cc: add "domain" and "range" synonyms
for "dom" and
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
Sven
Ver
d
o
olaege
u
p
date
i
sl t
o
version 0
.
05
.
1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-30
Sv
e
n Verdo
o
la
e
g
e
iscc
:
don't allow code
generatio
n
on
u
nion sets o
f
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-23
Sv
e
n
Verdoolaege
update isl to versio
n
0
.
05
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-01
Sve
n
V
e
r
dool
a
ege
a
void use of isl_set and i
s
l_
m
ap internals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-28
Sven Verdool
a
ege
s
e
p
arate out i
s
l interfac
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-28
Sve
n
Verdoolaege
c
o
nfigure
.
in: propagate
absolute isl buil
d
dir to su
b
module
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-20
Sven Verdoola
e
g
e
upda
t
e
isl for rename of
h
eader file
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Ve
r
dool
a
ege
evalu
e
_floo
r
2frac: don't
a
ssume coefficients of floors
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoola
e
ge
test_bo
u
nd: stop
t
esting after predetermined numb
e
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sv
e
n Ver
d
oolaege
barvinok_boun
d
:
rewrite in C
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sv
e
n
V
erdoolaege
ba
r
vin
o
k_{summ
a
t
e
,bound}: ta
k
e isl input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Ver
d
oolaege
test_
b
o
und
:
switch
t
o isl
re
p
resen
t
ation even earlier
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verd
o
o
laege
t
e
st_b
o
u
nd: swi
t
ch to isl
r
e
p
resentation earlier
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdo
o
laege
iscc: add polynomial ap
p
roximatio
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-11
Sven Verdool
a
ege
barvino
k
_su
m
mat
e
: rewri
t
e in
C
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-11
Sven Verdoo
l
aege
ba
r
vinok_s
u
mmat
e
:
use isl inte
r
f
ac
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-10
Sv
e
n Verdoola
e
g
e
bound
.
cc: drop dead c
o
de
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-07
Sven Verdoolaege
d
oc: mo
r
e informati
o
n abou
t
usi
n
g s
e
ts and maps i
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-06
Sven Verdo
o
la
e
g
e
doc: update some referen
c
es
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-06
Sven Verdoola
e
ge
iscc: a
d
d poly ope
r
a
t
i
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-03
Sven
V
e
rdoolaeg
e
i
scc
:
add scan operatio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-01
Sve
n
Verdool
a
ege
i
s
l_pw
_
q
p
olynomi
a
l_sum: handle existentials i
n
wra
p
ped
.
.
.
commit
|
commitdiff
|
tree
2010-10-27
Sven Verdool
a
ege
update i
s
l for
r
enaming of is
l
_map_remov
e
commit
|
commitdiff
|
tree
2010-10-20
Sven Ver
d
oolaege
vers
i
o
n
.
c: s
h
ow
u
se
o
f CLooG
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoolaege
d
o
c: a bit more info on iscc
commit
|
commitdiff
|
tree
2010-10-18
S
ven Verdoo
l
aege
iscc: add b
e
fore and after o
p
erations
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoolaege
i
s
c
c
: add identity operat
i
on
commit
|
commitdiff
|
tree
2010-10-18
Sven V
e
rdoolaege
i
s
c
c
: bre
a
k
o
u
t
off main loop when printer no lo
n
ger
.
.
.
commit
|
commitdiff
|
tree
2010-10-18
Sv
e
n Ve
r
doolaege
iscc
:
support extend
e
d
P
olyLib o
u
tput
f
ormat
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdool
a
ege
c
o
n
figure
.
in: perform check for
GMP support in
N
TL
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-10-11
Sven
V
erdoolaeg
e
iscc: add composition operation
o
n p
i
e
c
ewise q
u
asipolynomial
.
.
.
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
iscc: add dependence analysis op
e
rations
commit
|
commitdiff
|
tree
2010-10-11
Sven Ve
r
dool
a
ege
iscc: register
e
xtra keywords in generi
c
way
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
us
e
isl
t
o
perform "manu
a
l_co
u
nt"
commit
|
commitdiff
|
tree
2010-10-11
Sv
e
n Verdool
a
eg
e
a
l
low
b
uildin
g
withou
t
piplib
commit
|
commitdiff
|
tree
2010-10-11
Sven Ver
d
o
o
laege
Polyhedron_
R
e
d
uced_Basis:
o
ptionally use isl
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
fix depen
d
ence
o
n build isl
commit
|
commitdiff
|
tree
2010-10-11
Sve
n
Verdoolaege
is
l
_map_card: use
isl for factoriz
a
t
i
on
commit
|
commitdiff
|
tree
2010-09-14
Sve
n
Verdoolaege
is
l
_map_
c
ard: split dimension fiddlin
g
f
r
o
m conversion
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sven
Verdoolaege
isl_map_card: use isl
_
pw_q
p
olynomial
_
sum if request
e
d
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sven Verdoolae
g
e
barvinok 0
.
3
2
.
1
commit
|
commitdiff
|
tree
2010-09-13
Sven Verdo
o
laege
u
p
d
a
te isl
f
or fi
x
in
p
aram
e
ter
a
lig
n
me
n
t
commit
|
commitdiff
|
tree
2010-09-10
Sven V
e
rdoolaege
barvin
o
k 0
.
32
commit
|
commitdiff
|
tree
2010-09-10
Sven V
e
r
do
o
lae
g
e
isc
c
: add lexicographic
o
p
e
rators
commit
|
commitdiff
|
tree
2010-09-10
Sve
n
Ver
d
oolaege
u
p
date isl
t
o version
0
.
04
commit
|
commitdiff
|
tree
2010-09-07
S
v
en Verdoolaege
iscc: add "
s
ource" operation
commit
|
commitdiff
|
tree
2010-09-06
S
ven Ve
r
doolaege
i
s
c
c: add
s
upport for str
i
n
gs
commit
|
commitdiff
|
tree
2010-09-06
Sve
n
Verdoolaege
i
s
cc:
print error message o
n
use of un
k
n
o
w
n
i
d
entifier
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoolaege
iscc: su
p
p
o
r
t union sets in vertices oper
a
tion
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoolaege
add isl_li
s
t_concat
commit
|
commitdiff
|
tree
2010-09-05
Sven Verdoolaege
ba
r
vin
o
k_bound: u
s
e isl t
o
split periods
commit
|
commitdiff
|
tree
2010-09-05
Sven Verdo
o
laege
update isl for isl_pw_qpolynomial_split_periods
commit
|
commitdiff
|
tree
next