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: turn on sh option when calling CLooG
2011-06-01
Sven Verd
o
olaege
i
s
cc: turn on sh
o
p
tion
when
c
alli
n
g C
L
o
oG
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven
V
e
rdoolaege
evalue_isl
.
c: avoid use
of isl_div internals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
S
ven
Verdoolaeg
e
update isl for
i
sl_div_g
e
t_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
configure
.
ac: d
o
n't depen
d
on autom
a
k
e
1
.
1
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sv
e
n Verdo
o
la
e
ge
iscc: a
d
d
sche
d
ule
a
nd schedule_ban
d
s operations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ve
r
d
oo
l
aege
iscc:
a
d
d s
o
lutions
operation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
is
c
c:
a
d
d
coefficients
o
per
a
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven V
e
rdoolaege
iscc: ad
d
lif
t
operation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdo
o
laege
is
c
c: perform assignments even on error
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
iscc: plug m
e
mo
r
y l
e
ak on error path
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-19
S
ven Ver
d
oola
e
ge
use silent make rules
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven V
e
rdoolaege
barvinok 0
.
33
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaeg
e
iscc
.
c: fi
x
typo
w
hich wo
u
l
d pr
e
vent compilation in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven
V
erdoo
l
aege
update isl to version 0
.
06
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdool
a
ege
i
s
l_
p
w
_qpolynomial_sum:
h
an
d
l
e
exis
t
e
ntials i
n
n
o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
drop pi
p
li
b
sub
m
odule
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
stop us
i
ng
pi
p
as LP solver
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Ve
r
do
o
laege
doc: constraints no longer need to be speci
f
i
e
d
i
n
D
N
F
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven
Ve
r
do
o
laeg
e
iscc: parse li
s
ts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
a
d
d isl_list
_
add_obj
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sve
n
Verdoola
e
ge
i
s
cc: parse bool
e
an
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
iscc: allow
interruption of computa
t
ion from the keyboard
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-17
Sven V
e
rdo
o
l
a
ege
a
v
oid use of isl_ctx
inter
n
als
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
S
ven Verd
o
olaege
isl_obj_
s
t
r: print q
u
otes aro
u
nd string
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdoolaeg
e
iscc: k
e
e
p
t
rack of intermediat
e
results
i
n
int
e
ractive
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdoolaege
iscc: ad
d
pow
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven
Verdoolaege
i
scc: add zip
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-11
Sven
V
erdoolaege
iscc
:
add d
e
ltas_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdool
a
ege
lexmin:
assume
u
nknowns and parameters are
n
on-negative
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sve
n
Verdoolaege
lexmin
:
us
e
isl to
r
e
a
d
input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
als
o
perfor
m
lexmin c
h
e
c
k
in absence
o
f GL
P
K
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
polysi
g
n: add isl-backed version a
n
d use it
by default
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven
Verdoola
e
ge
upda
t
e isl-polylib for fix
i
n hea
d
e
r file
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
S
v
en Verdoolaege
u
pdate isl
for change i
n
i
sl_flow_get_no_s
o
urc
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-24
S
ven Verdoolaege
doc:
document is
l
mo
d
u
l
o notation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
S
v
e
n Verdoolae
g
e
M
a
kefile
.
am:
p
ut NTL CFLAGS after is
l
CFLAGS
Signed-off-by:
Sven Verdoolaege
<verdoolaege@gamma.math.uni-magdeburg.de>
commit
|
commitdiff
|
tree
2011-01-23
Sv
e
n Ve
r
doolaeg
e
i
s
c
c
:
read_lin
e
: fi
x
return
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven
V
erdoolaege
evalue_isl
.
c:
f
ix
t
ypo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Ve
r
dool
a
e
g
e
i
s
cc:
a
d
d
operations on int objects
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven
V
e
rdoo
l
a
ege
up
d
ate isl fo
r
i
n
t
r
o
d
u
c
t
ion of int ob
j
ects
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-22
Sven Ve
r
doo
l
a
e
ge
add isl_basic_set_car
d
a
n
d isl
_
basic_map_card
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdo
o
laege
document isl_union_set_apply_unio
n
_pw_qpol
y
nomial
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
r
emo
v
e polyhedron_r
a
ng
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verd
o
olae
g
e
remove polytope_minimi
z
e a
p
plication
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sve
n
Verdoolaege
Polyhed
r
on_Sampl
e
: use isl unc
o
n
d
itionally
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven
Verdo
o
laege
remove comb
i
ne
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Ve
r
do
o
laege
b
uild lib
i
sl
a
nd li
b
pol
y
libgmp before libi
s
l-polylib
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdool
a
ege
iscc: support
a
pplication of piecewise quasipolynom
i
al
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
S
v
e
n
V
e
rdoo
l
aeg
e
doc: fix documentatio
n
of join
o
f m
a
p
s
and folds
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verd
o
o
l
aege
add isl_unio
n
_set_app
l
y_u
n
ion_pw_qpolynomia
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
update isl fo
r
expo
r
t of
i
sl_uni
o
n_map_from_
r
ange
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdo
o
laege
isc
c
: add write operation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven
V
e
rdoo
l
aege
iscc
:
o
ptionally
disable read operation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-15
Sven
V
e
r
doo
l
aege
do
c
:
e
x
plain comma operator
i
n a set de
s
cri
p
t
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
S
v
en Ver
d
oolaege
iscc: add t
y
peof op
e
rat
o
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sven Ver
d
o
olaege
add isl_str_fro
m
_
s
tring
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sven V
e
rdoolaege
iscc
.
c: use C9
9
d
e
signa
t
ed i
n
itializers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sven Ve
r
doolaege
iscc: minor improv
e
m
e
n
t
in error message
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-08
S
v
en Verdoolaege
is
c
c: add domain_map
a
nd ran
g
e_map opera
t
i
ons
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-08
Sven
V
erdoolaeg
e
iscc: add "domain" and "range" syn
o
nym
s
fo
r
"
d
o
m" and
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
Sven Verdoolaege
update isl to version 0
.
0
5
.
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-30
Sven
Verdoolaege
iscc
:
don't a
l
l
o
w code
gene
r
a
t
ion
on union sets
o
f
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-23
Sven Ver
d
ool
a
ege
u
pdate isl to version 0
.
05
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-01
Sven Verdoo
l
aege
avoid
u
se of
isl_set
an
d
isl
_
map internals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-28
Sve
n
V
erdool
a
ege
separate ou
t
i
s
l interfac
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-28
Sv
e
n
Verdoola
e
g
e
c
o
n
figure
.
i
n: propag
a
te absolu
t
e isl builddir to sub
m
odule
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-20
Sve
n
Verdoolaege
update i
s
l f
o
r ren
a
me
o
f
header
f
iles
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
S
ve
n
Ver
d
oo
l
aege
evalue
_
f
loor2frac: don't
a
ssume coefficient
s
of f
l
oors
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoola
e
ge
test
_
bound: stop
t
esting a
f
ter predete
r
mined number
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sve
n
Verd
o
olaege
b
a
rvinok_bo
u
nd
:
r
ewri
t
e in C
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaege
bar
v
inok_{summate,bound}: tak
e
isl input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sv
e
n
V
erdoolaege
t
e
st_boun
d
:
s
w
itch to isl
representation
e
v
en e
a
rlier
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaege
test_b
o
und: switch
to isl re
p
r
esentatio
n
earlier
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolae
g
e
iscc
:
ad
d
pol
y
nom
i
al approximations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-11
S
ven Verdoolaeg
e
b
a
rvinok_summate: r
e
write
i
n C
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-11
Sven Verdool
a
e
ge
barvinok
_
summate: use isl inte
r
face
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-10
Sven V
e
rdoolaege
bound
.
cc: drop dead
c
od
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-07
Sven Verd
o
olaege
d
o
c: more information ab
o
ut u
s
ing sets and maps in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-06
Sven Verdool
a
e
ge
doc
:
update
some references
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-06
Sven
V
erdoolae
g
e
iscc
:
add poly operati
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-03
Sven V
e
rd
o
olaege
iscc: add scan op
e
r
ati
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-01
S
ven V
e
rdoolaege
isl_
p
w_qpolynom
i
al_sum: handle existentials
i
n
wr
a
p
p
ed
.
.
.
commit
|
commitdiff
|
tree
2010-10-27
S
ven
Verdoolaege
u
pdate isl for r
e
naming o
f
is
l
_
map_remove
commit
|
commitdiff
|
tree
2010-10-20
Sve
n
Verdoo
l
ae
g
e
version
.
c: s
h
ow use
of CLooG
commit
|
commitdiff
|
tree
2010-10-18
Sve
n
Verdoola
e
ge
doc: a
bi
t
mor
e
info
on
iscc
commit
|
commitdiff
|
tree
2010-10-18
Sven
V
erdoolaege
isc
c
: add before a
n
d after
o
pe
r
at
i
ons
commit
|
commitdiff
|
tree
2010-10-18
Sv
e
n Verdool
a
ege
iscc: a
d
d id
e
ntity operation
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoolaege
iscc:
b
reak out off ma
i
n loo
p
when
p
rinter
no longer
.
.
.
commit
|
commitdiff
|
tree
2010-10-18
Sve
n
Verdo
o
l
a
e
ge
is
c
c: s
u
p
p
ort e
x
t
ende
d
PolyLib output format
commit
|
commitdiff
|
tree
2010-10-18
Sven
V
erd
o
olaege
co
n
figur
e
.
in: perform check
for GMP support
i
n NTL
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-10-11
Sv
e
n Verdoolae
g
e
isl_Polyhedron_Sample: add missing
initializat
i
on
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
i
s
cc: add composition operation on piecewise quasipo
l
yn
o
mial
.
.
.
commit
|
commitdiff
|
tree
2010-10-11
Sven
Verd
o
olaege
iscc: add dependence an
a
lys
i
s
operations
commit
|
commitdiff
|
tree
2010-10-11
Sven Ve
r
doola
e
ge
isc
c
: re
g
ister
e
xtra k
e
ywords in generi
c
way
commit
|
commitdiff
|
tree
2010-10-11
Sven V
e
rdool
a
eg
e
u
se is
l
to perform "manu
a
l_count"
commit
|
commitdiff
|
tree
2010-10-11
Sv
e
n Verdoolaege
a
l
l
ow buil
d
ing without piplib
commit
|
commitdiff
|
tree
2010-10-11
Sven V
e
rdoolaege
P
o
ly
h
edr
o
n_Reduced_B
a
s
is: opti
o
nally use isl
commit
|
commitdiff
|
tree
2010-10-11
Sven Ve
r
doolae
g
e
fix d
e
p
e
ndence
o
n build isl
commit
|
commitdiff
|
tree
2010-10-11
Sven
Ve
r
doolaege
is
l
_map_
c
a
r
d
:
use isl
for facto
r
ization
commit
|
commitdiff
|
tree
2010-09-14
S
v
en Ver
d
o
o
l
aege
isl_map
_
c
a
rd: split di
m
ension fiddl
i
n
g from
c
o
nv
e
rsion
.
.
.
commit
|
commitdiff
|
tree
next