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 support for recent clangs
2011-03-18
Sven Verdoolaeg
e
drop piplib submodule
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
S
v
en Verdoolaege
stop us
i
ng pip a
s
LP solver
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sve
n
Ver
d
oolae
g
e
doc: constraints no l
o
n
ger need to be
specif
i
ed in DNF
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven
V
erdoolaege
isc
c
:
p
arse lists
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven
V
erdoolaege
add isl_list
_
add_o
b
j
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
is
c
c: parse booleans
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Ve
r
d
o
o
laeg
e
is
c
c: allow in
t
erru
p
tion
o
f
c
o
m
putati
o
n fr
o
m the
k
eyboar
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-17
Sven Verdoolaege
avoid use of isl
_
ctx in
t
ernals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
Sve
n
V
e
rdo
o
laege
isl_obj_str: prin
t
q
uotes ar
o
und string
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
S
ve
n
Verdoolaege
iscc: keep tr
a
ck of intermediate results in interactive
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
S
ve
n
Verdoolaeg
e
iscc: add pow
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
S
ven
V
erdoolaege
is
c
c:
a
dd z
i
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-11
Sven Verdoo
l
aege
iscc: add de
l
tas
_
map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven
Verdool
a
ege
lexm
i
n:
ass
u
m
e
unk
n
owns
and paramete
r
s are no
n
-neg
a
tive
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sv
e
n Ver
d
o
o
laege
lexmi
n
: us
e
isl
t
o
rea
d
input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven
Verdo
o
l
aege
a
lso perform lexmin check in
abs
e
nce of GLPK
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
S
ven Verd
o
olae
g
e
pol
y
sign: add
isl-b
a
cked v
e
r
sion and use it by
defau
l
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaeg
e
update isl
-
poly
l
ib
f
or fix in
header file
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoo
l
a
ege
u
pdat
e
i
s
l for change in isl_flo
w
_get_no_source
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-24
Sven Verdo
o
laege
doc:
document isl
modulo n
o
tation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sv
e
n
Verdo
o
laege
Makefile
.
a
m:
put NTL CFLAGS afte
r
isl CFL
A
GS
Signed-off-by:
Sven Verdoolaege
<verdoolaege@gamma.math.uni-magdeburg.de>
commit
|
commitdiff
|
tree
2011-01-23
Sven Ver
d
o
o
la
e
ge
iscc: read_
l
ine: fix return
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
evalue_
i
sl
.
c:
fix
ty
p
o
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdo
o
laeg
e
i
s
cc
:
a
d
d
operations on
i
nt
o
b
j
ec
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
update isl for int
r
oduction of int ob
j
ects
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-22
Sven Verdoolaege
add isl_basic_set_card and isl_basic_
m
ap_card
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
d
o
cument isl_union_set_ap
p
ly_uni
o
n_pw_qpolyno
m
i
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
remov
e
polyhedro
n
_ra
n
ge
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
S
ven Verdoolaeg
e
remove p
o
lyt
o
pe_mini
m
i
z
e app
l
ication
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
Polyh
e
dron
_
S
a
m
ple: use
isl unconditi
o
nally
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
S
ven Ve
r
doolaege
remove combine
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven
Ver
d
oo
l
ae
g
e
bui
l
d libis
l
and libp
o
ly
l
ibgm
p
before libisl-po
l
ylib
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolae
g
e
i
s
cc:
su
p
port
application of piecewise
quasipolynomial
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven
V
e
r
do
o
laege
doc: fix documentation of
j
oin of maps and
f
olds
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sve
n
Verdoolaege
add isl_union_set_ap
p
ly_u
n
ion_
p
w_
q
polynomi
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdo
o
laege
update isl for export o
f
is
l
_un
i
o
n_map
_
from_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
iscc: add write operation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
S
v
en Verdoolaege
i
scc: opt
i
onally dis
a
ble read operat
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-15
S
v
en Verdoolaege
doc: explain comm
a
op
e
rator in a
s
e
t
description
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdoolaege
iscc:
a
d
d
typeof o
p
erator
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
S
ven Ver
d
o
o
l
aege
add isl_str_
f
rom_string
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sven V
e
rdoolaege
iscc
.
c: use C9
9
designated
i
nitializ
e
rs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sven Ver
d
oo
l
aege
iscc: minor im
p
ro
v
ement in
e
rror message
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-08
Sve
n
Verdoolaege
iscc: add
domain_map
a
n
d range_
m
ap operations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-08
Sven Verdool
a
eg
e
iscc: add
"
dom
a
in"
a
nd
"range" synonyms for "dom" and
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
Sven Verdoolaege
u
p
da
t
e isl to
v
ersio
n
0
.
05
.
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-30
S
ven Verdool
a
ege
i
s
c
c
: don't allow code genera
t
ion on
union sets of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-23
Sven V
e
rdoolaege
update isl to versio
n
0
.
05
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-01
S
ve
n
Verdoolaege
avoi
d
use
of isl_set a
n
d
isl_map
internals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-28
Sven Verdoolaege
separate out i
s
l interface
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-28
S
ven Ve
r
doolaege
configure
.
in: propagate
a
b
solu
t
e
i
s
l builddir to submod
u
le
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-20
Sven Verdoo
l
a
ege
update isl
f
o
r
r
e
n
a
me of header fil
e
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaege
evalu
e
_floor
2
frac:
d
on
'
t assum
e
coe
f
fic
i
ents
of flo
o
r
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaege
t
e
st_bound:
s
top testi
n
g after predetermined numbe
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaege
barvinok_bound
:
rew
r
ite in C
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
S
ven Verdoolaege
barvinok_{su
m
m
a
te,bound}: take isl input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaege
test_bou
n
d:
s
witch
to isl repr
e
sen
t
ation even ear
l
ier
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven
Verdoolaege
tes
t
_bound
:
s
w
itch to isl representa
t
ion earlier
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
S
ven Verdoolaeg
e
iscc:
add pol
y
nom
i
a
l
approximations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-11
Sven Ver
d
oolaege
b
a
rvinok_
s
um
m
a
t
e: rewrite in C
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-11
Sven Verdoolaege
b
arvinok_su
m
mat
e
: use isl inte
r
fa
c
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-10
Sven V
e
rd
o
olaege
bound
.
cc: dro
p
dead code
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-07
S
v
e
n Verdoolae
g
e
doc: more information about using sets and maps i
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-06
Sven
V
er
d
oolaege
d
o
c
:
update some ref
e
re
n
ce
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-06
Sven Verd
o
olaege
iscc: add pol
y
operati
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-03
S
v
en
V
erd
o
olaeg
e
iscc:
add
s
can operation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-01
Sven Ver
d
oolaege
isl_pw_qp
o
l
y
nomial_
s
um: handle
existentials
i
n
wrapped
.
.
.
commit
|
commitdiff
|
tree
2010-10-27
Sven Verdoolaege
u
pdat
e
isl for renam
i
ng of isl_map_
r
em
o
ve
commit
|
commitdiff
|
tree
2010-10-20
Sv
e
n Verd
o
olaege
version
.
c: show use of
C
LooG
commit
|
commitdiff
|
tree
2010-10-18
S
v
en Ver
d
oo
l
aege
doc
:
a bit more info on iscc
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoolaege
iscc: add befor
e
and after op
e
rations
commit
|
commitdiff
|
tree
2010-10-18
Sven Ve
r
d
o
olaege
isc
c
:
ad
d
identi
t
y oper
a
tio
n
commit
|
commitdiff
|
tree
2010-10-18
Sven Verd
o
ol
a
ege
iscc
:
break out off main
l
oop when printe
r
no l
o
nger
.
.
.
commit
|
commitdiff
|
tree
2010-10-18
S
v
en Verdoolaege
i
s
cc: suppo
r
t extende
d
PolyLib output form
a
t
commit
|
commitdiff
|
tree
2010-10-18
S
v
en Verdoolaege
configure
.
in: perform chec
k
for GMP support
in NTL
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
isl_Polyhedron_S
a
mple: add missing ini
t
ialization
commit
|
commitdiff
|
tree
2010-10-11
Sven Verd
o
olaege
i
s
c
c
:
a
d
d compositi
o
n oper
a
tion on
p
i
e
cewise quasipolynomial
.
.
.
commit
|
commitdiff
|
tree
2010-10-11
Sven V
e
rdoolaege
isc
c
: add dependence a
n
aly
s
is operatio
n
s
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
iscc: r
e
gister
extra keywo
r
ds in
g
en
e
ric way
commit
|
commitdiff
|
tree
2010-10-11
Sven V
e
rdoolaege
u
s
e
i
sl to perfor
m
"manual_
c
o
u
n
t"
commit
|
commitdiff
|
tree
2010-10-11
Sven Ver
d
oolaege
allow bui
l
ding withou
t
piplib
commit
|
commitdiff
|
tree
2010-10-11
S
v
en Verdoolaege
Polyhedron_Reduced_Basis:
o
p
tionally use
i
sl
commit
|
commitdiff
|
tree
2010-10-11
Sv
e
n Verdoolaege
fix dependence o
n
build isl
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaeg
e
i
s
l
_
map_card: use
i
sl for f
a
ctoriza
t
ion
commit
|
commitdiff
|
tree
2010-09-14
Sv
e
n
Verdoolaege
i
s
l_map_card: split di
m
ensi
o
n fiddling
f
rom conver
s
ion
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sv
e
n Verdoolaege
isl_m
a
p
_card:
use isl_pw_qpolynomial_sum if r
e
qu
e
ste
d
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
S
ven Ve
r
doolaege
barv
i
n
o
k 0
.
32
.
1
commit
|
commitdiff
|
tree
2010-09-13
Sven
Ve
r
doo
l
a
e
ge
u
p
d
ate isl for fix in pa
r
ameter alignment
commit
|
commitdiff
|
tree
2010-09-10
Sve
n
Ver
d
oolaege
barvinok
0
.
32
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdoolaege
iscc: add l
e
xicographic o
p
erat
o
rs
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdoolaege
upd
a
t
e
i
sl to version 0
.
0
4
commit
|
commitdiff
|
tree
2010-09-07
Sven Verdoolaege
is
c
c:
add
"
s
ource" operation
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoolaege
iscc: a
d
d
support for str
i
ngs
commit
|
commitdiff
|
tree
2010-09-06
Sve
n
Ve
r
doola
e
ge
i
scc: prin
t
error messa
g
e
o
n use
o
f unknown
ident
i
fier
commit
|
commitdiff
|
tree
2010-09-06
S
v
e
n
V
erdoolaege
is
c
c: s
u
pport union set
s
in ve
r
tice
s
o
peration
commit
|
commitdiff
|
tree
2010-09-06
Sve
n
Ver
d
oolaege
add isl_
l
is
t
_concat
commit
|
commitdiff
|
tree
2010-09-05
Sven Verdoolaege
barvi
n
ok_bound: us
e
isl to sp
l
i
t
perio
d
s
commit
|
commitdiff
|
tree
2010-09-05
Sven Ve
r
doolae
g
e
update isl for isl_pw
_
qp
o
lynomial_spli
t
_perio
d
s
commit
|
commitdiff
|
tree
2010-08-31
Sven Verdoolaege
do
c
:
mark PolyLib
in
t
erface
o
bsolescent
commit
|
commitdiff
|
tree
2010-08-31
Sve
n
Verdoolaege
M
a
kefile
.
a
m:
d
rop refe
r
enc
e
s to ob
s
olete @bv_barvinok_bo
u
nd@
commit
|
commitdiff
|
tree
next