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: add pow
2011-03-12
Sven
V
e
rdoola
e
ge
iscc
:
add p
o
w
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdoo
l
aege
iscc: add
zi
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-11
Sven Verdoolaege
iscc: add deltas_ma
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
S
v
en Verdoolaege
l
exmin: assu
m
e un
k
nowns and parameters are
n
on-negat
i
ve
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sve
n
Verdoolaege
lexmin: use i
s
l to read inpu
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven V
e
rdoolaege
a
l
so
p
e
r
form lexmin
c
heck in a
b
sence of
G
LPK
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sv
e
n Verdoolaeg
e
polysign
:
add
is
l
-backed ver
s
ion an
d
use it by defa
u
lt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Ver
d
o
olaege
u
pdate isl-
p
olylib
for fix in header file
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
upda
t
e isl
for change in isl_flow_get_no_sou
r
ce
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-24
Sven Verdoolaege
doc: doc
u
ment isl m
o
dulo notation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven
Verdo
o
laege
iscc: read
_
l
ine: f
i
x
r
eturn
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaeg
e
e
value_isl
.
c: fix t
y
po
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdool
a
ege
iscc: add opera
t
ions o
n
int objects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sv
e
n Verdoolaeg
e
update is
l
fo
r
introduction
o
f in
t
ob
j
ects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
Sven Verdoolaege
add
i
sl_basic_
s
et_card an
d
isl_basi
c
_map_card
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Ver
d
oo
l
a
e
g
e
document is
l
_
u
n
i
on
_
s
et
_
a
p
pl
y
_union
_
pw_qpolynomial
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven V
e
rdoolaege
remove polyhedron_r
a
ng
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
remove
polytope_minimize appli
c
ation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
Poly
h
edron_Sample
:
use isl unc
o
ndi
t
i
o
nally
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sv
e
n Verdool
a
ege
r
e
move c
o
mb
i
ne
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
S
v
e
n Verdoo
l
a
e
ge
build
l
ibisl an
d
lib
p
olylibgmp
b
efore libisl-pol
y
lib
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verd
o
olaege
is
c
c: sup
p
ort applicatio
n
of piecewise quasipolynomial
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven V
e
rdoolaege
doc:
fix
d
ocumentati
o
n of joi
n
of maps and
folds
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven V
e
rdoolae
g
e
add isl_
u
nion_set_app
l
y_union_pw_qpolynomial
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
upd
a
te isl
f
or export
of isl_union_map_f
r
om_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
i
sc
c
: add write
operation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoo
l
aege
is
c
c: optio
n
al
l
y
d
i
s
a
ble read
o
peration
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-15
Sven Verdoo
l
aege
doc
:
explain co
m
m
a o
p
erator in a
s
et description
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdoolaege
iscc: add t
y
p
e
of oper
a
t
or
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdoolaege
add isl_s
t
r_fr
o
m_strin
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sv
e
n Verd
o
o
l
aeg
e
iscc
.
c: use C99 de
s
ignate
d
in
i
tia
l
i
z
ers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdoolaege
iscc:
m
inor improv
e
m
ent in err
o
r messag
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-08
Sven
V
e
r
dool
a
ege
is
c
c:
add domain_
m
ap
a
n
d range_map operations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-08
Sven Ve
r
doolaege
iscc: add "doma
i
n" an
d
"
r
an
g
e" synonyms f
o
r "do
m
" and
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
Sven Verdoolaege
upd
a
te isl to ver
s
i
o
n
0
.
05
.
1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-30
Sv
e
n
Ve
r
dool
a
ege
iscc: do
n
't allow code ge
n
eration on union s
e
ts o
f
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-23
Sven Ver
d
oolae
g
e
update i
s
l to version 0
.
05
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-01
Sven V
e
rdoolaege
a
void
use of isl_set and isl
_
map in
t
e
rn
a
ls
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-28
Sven Verdoolaege
separate
o
ut isl inte
r
f
a
ce
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-28
Sven Verdoo
l
a
e
ge
configure
.
in: propagate abs
o
lute
isl builddir t
o
subm
o
du
l
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-20
Sven V
e
rdoolaege
up
d
a
te isl
f
or re
n
ame of h
e
ader
f
iles
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaeg
e
evalue_floor2
f
r
ac: don
'
t
assume coefficients o
f
floor
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaege
test_bound:
s
to
p
tes
t
i
n
g
after predetermined nu
m
b
e
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaege
barvi
n
ok_bound: rewrite
i
n C
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven V
e
rdoolaeg
e
ba
r
vinok_{summa
t
e,bound}: take
isl inpu
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
S
v
en Verdoolaeg
e
test_bound: switch to
i
sl re
p
resent
a
tion
even earlier
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaege
test_bo
u
nd: sw
i
tch to
isl
r
e
presentat
i
on earlier
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaege
iscc:
a
dd
p
olynomial
approx
i
mations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-11
Sv
e
n
V
erdoolaege
b
arvin
o
k_summate: r
e
wr
i
te in C
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-11
Sv
e
n
Ve
r
doolaege
b
a
rvinok_summat
e
: use i
s
l i
n
ter
f
ace
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-10
Sven Verd
o
olaege
bo
u
nd
.
cc:
drop de
a
d
c
o
de
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-07
Sven Verdoolaege
d
oc
:
more i
n
format
i
on about using set
s
a
n
d maps in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-06
Sven Verdo
o
laege
doc: update some ref
e
ren
c
es
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-06
Sven
Verdoola
e
ge
i
s
cc:
a
dd poly opera
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-03
Sv
e
n Verdo
o
laege
is
c
c
: add sc
a
n
operation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-01
Sv
e
n Verdoolaege
isl_pw_qpolynomial_sum: ha
n
dle existentials in wrapped
.
.
.
commit
|
commitdiff
|
tree
2010-10-27
Sven Verdool
a
ege
update i
s
l for ren
a
m
ing of isl_map_remove
commit
|
commitdiff
|
tree
2010-10-20
Sv
e
n
Verdoo
l
aege
v
ersion
.
c
:
sh
o
w
u
se of CL
o
oG
commit
|
commitdiff
|
tree
2010-10-18
Sv
e
n Verdo
o
laege
doc:
a
b
i
t more info on iscc
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdool
a
e
g
e
iscc: add before a
n
d
a
fter operations
commit
|
commitdiff
|
tree
2010-10-18
Sven Ve
r
doolaeg
e
iscc:
a
dd i
d
en
t
i
ty opera
t
ion
commit
|
commitdiff
|
tree
2010-10-18
Sven V
e
rdoolaege
isc
c
: b
r
eak out
o
ff
m
ain loo
p
when printer no longe
r
.
.
.
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdo
o
laege
iscc:
sup
p
ort extended PolyLib
outp
u
t form
a
t
commit
|
commitdiff
|
tree
2010-10-18
Sven Ver
d
o
olaege
config
u
re
.
in: perfo
r
m check for GMP support i
n
N
T
L
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-10-11
S
v
en Verdo
o
laege
iscc:
ad
d
compo
s
it
i
on operation on piecew
i
se quasipo
l
yno
m
ia
l
.
.
.
commit
|
commitdiff
|
tree
2010-10-11
S
v
en Verdoolaege
i
s
c
c: add d
e
pendence analysis operations
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdool
a
ege
iscc:
r
egister
extra keywords i
n
generic way
commit
|
commitdiff
|
tree
2010-10-11
Sven Ve
r
doolaeg
e
use isl to perform "
m
anual_count"
commit
|
commitdiff
|
tree
2010-10-11
S
ven Verdoolaege
allow building without piplib
commit
|
commitdiff
|
tree
2010-10-11
Sven Verd
o
olaege
Polyhed
r
on_Reduce
d
_Basis: opti
o
nally u
s
e i
s
l
commit
|
commitdiff
|
tree
2010-10-11
Sven Verd
o
olaeg
e
fix depend
e
nce on
b
uild isl
commit
|
commitdiff
|
tree
2010-10-11
Sv
e
n Verdoolaege
isl_
m
a
p
_card: use isl for factor
i
za
t
ion
commit
|
commitdiff
|
tree
2010-09-14
Sven Ve
r
doolaege
isl
_
map_ca
r
d: split dimension
f
iddling f
r
om conversi
o
n
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
S
v
en Verdoolaege
is
l
_
map_card: us
e
isl_pw_qpolynomial_sum if requested
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sven Ver
d
o
o
l
aeg
e
barvi
n
ok 0
.
3
2
.
1
commit
|
commitdiff
|
tree
2010-09-13
Sven
Ver
d
oolaege
u
pdate
i
sl
f
or f
i
x in par
a
meter alignment
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdoolaege
barvino
k
0
.
32
commit
|
commitdiff
|
tree
2010-09-10
S
v
e
n Verd
o
olaeg
e
iscc: add lexicographic
o
perators
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdoo
l
aege
u
pdate isl to version
0
.
04
commit
|
commitdiff
|
tree
2010-09-07
Sve
n
Verdo
o
laege
iscc:
a
dd
"
s
o
u
rce" operation
commit
|
commitdiff
|
tree
2010-09-06
Sve
n
Verdo
o
laege
iscc: add suppor
t
for strings
commit
|
commitdiff
|
tree
2010-09-06
Sven Ver
d
oolaege
iscc: print err
o
r
m
essage on
u
se o
f
un
k
nown i
d
entifier
commit
|
commitdiff
|
tree
2010-09-06
Sven V
e
rdoolaege
iscc: su
p
por
t
uni
o
n sets in vertices opera
t
ion
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoolaege
add
i
s
l_
l
ist_concat
commit
|
commitdiff
|
tree
2010-09-05
Sven Verdoolaege
ba
r
vino
k
_bound: use isl t
o
split
periods
commit
|
commitdiff
|
tree
2010-09-05
Sven Ve
r
do
o
laege
u
pdate
isl for i
s
l
_
pw_qpolyn
o
mia
l
_split_per
i
o
ds
commit
|
commitdiff
|
tree
2010-08-31
Sven
Verdoola
e
ge
doc: m
a
rk Pol
y
Lib
interface obsolesc
e
nt
commit
|
commitdiff
|
tree
2010-08-31
Sven Verdoolaege
Makef
i
le
.
am
:
d
rop refere
n
ces to obsole
t
e @b
v
_bar
v
i
nok_bound@
commit
|
commitdiff
|
tree
2010-08-31
Sven Verdoolaege
evalu
e
_convert
.
c
c
: ev
a
lue_pr
i
nt_
i
sl
:
print
end-
o
f
-
li
n
e
commit
|
commitdiff
|
tree
2010-08-30
Sven Verdoolaege
iscc
:
a
ll
o
w
c
oercion
of binary lis
t
into fir
s
t
elem
e
nt
commit
|
commitdiff
|
tree
2010-08-28
S
v
en Verdoolaeg
e
barvin
o
k_bound: conve
r
t to is
l
_pw_qpolynomial
o
nce
commit
|
commitdiff
|
tree
2010-08-28
Sven Verdool
a
ege
barvinok_b
o
u
n
d: use isl to split o
n
domain size
commit
|
commitdiff
|
tree
2010-08-26
Sv
e
n Verdo
o
l
aege
se
t
se
n
sible defaults w
i
th
-
-polyn
o
mial
-
a
p
proximation
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven
Verdoola
e
ge
i
sl_pw_qpolynomial_sum:
r
eus
e
b
a
rvinok_opt
i
ons if av
a
i
l
able
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Ve
r
doolaege
isl_map
_
card: reuse
b
arvino
k
_options
i
f a
v
ailable in
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sv
e
n Ve
r
doolae
g
e
u
pd
a
t
e
isl
for aligning parameters of
u
nion arguments
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdool
a
e
g
e
iscc
:
add "join" ope
r
a
t
ion on folds
commit
|
commitdiff
|
tree
2010-08-18
Sve
n
Verdoolaege
iscc: add "join" op
e
ratio
n
on maps an
d
folds
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoola
e
ge
iscc: supp
o
rt add
i
tion on a pa
i
r
of a fold and a quasipolyn
o
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaeg
e
update is
l
fo
r
adding types to isl_{union_,}pw_q
p
ol
y
nom
i
a
l_
f
olds
commit
|
commitdiff
|
tree
next