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
stop using pip as LP solver
2011-03-18
S
v
en Ve
r
d
oolaege
stop using pip as
L
P
s
olver
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven
V
erdoolaege
d
o
c: constraints no longer need to be specified in DNF
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sv
e
n Verdoolaege
i
scc:
p
a
rse lists
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
add isl_list_add_obj
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sv
e
n Verdoo
l
aege
iscc: parse bo
o
l
e
ans
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sve
n
Ver
d
o
o
laege
is
c
c: allow interruption o
f
computation
f
rom
t
he ke
y
b
o
ard
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-17
S
ven Verdoolaege
a
void use of isl_ctx
i
n
t
ernals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
Sv
e
n
V
e
r
doola
e
ge
isl_obj_str: pri
n
t quotes around str
i
ng
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven
Ve
r
doolaege
iscc:
k
e
ep track of
i
n
term
e
diate resul
t
s in interactive
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven Ve
r
doolaege
iscc: add pow
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verd
o
olaege
is
c
c: add zi
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-11
Sven Verdoola
e
ge
isc
c
: a
d
d delta
s
_m
a
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolae
g
e
lexmin: assume
u
nknow
n
s and pa
r
a
m
e
ters are
n
on-nega
t
ive
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdo
o
la
e
ge
lexmi
n
: u
s
e isl
t
o read inp
u
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven V
e
r
d
oo
l
aege
als
o
perform l
e
xmin check in absence o
f
G
L
PK
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdo
o
laege
pol
y
sign
:
add isl-backed
version and
u
se it by
d
e
f
a
ult
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoola
e
ge
upda
t
e i
s
l-poly
l
ib for
f
ix
i
n header file
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
S
v
e
n Verdoolaeg
e
update isl
for c
h
ange in isl
_
flow_get_no_sou
r
ce
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-24
Sv
e
n Verdoolaege
doc:
document isl mo
d
ulo notati
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoo
l
aege
Makefile
.
a
m: put NTL CFLAGS afte
r
i
s
l CFLAGS
Signed-off-by:
Sven Verdoolaege
<verdoolaege@gamma.math.uni-magdeburg.de>
commit
|
commitdiff
|
tree
2011-01-23
Sven
V
erdoolaege
iscc: read_li
n
e: fix
return
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven
Ver
d
o
olaege
evalue_isl
.
c: fix ty
p
o
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Ver
d
o
o
la
e
ge
iscc:
a
dd opera
t
ions on int objects
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdool
a
ege
update isl fo
r
i
nt
r
odu
c
t
ion of int objects
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-22
S
v
e
n Ver
d
ool
a
e
g
e
add isl_bas
i
c_set_c
a
rd
and isl_basic_map_car
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdo
o
laege
d
o
cument
i
sl_uni
o
n_set_apply_unio
n
_
p
w
_
qpol
y
nomi
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Ver
d
oolaege
remove p
o
lyhedron_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
S
v
en Verdoolaege
remove
p
olyt
o
p
e
_minimize application
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sve
n
Ver
d
oolaege
Polyhed
r
on_Samp
l
e: use isl unco
n
di
t
ional
l
y
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sve
n
V
e
r
doo
l
aege
r
e
move combine
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Ve
r
do
o
laege
build libisl
a
n
d libpolyl
i
bgmp
b
efore libisl
-
polylib
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolae
g
e
isc
c
:
suppor
t
ap
p
l
i
ca
t
ion of
p
iecew
i
se
q
uasipoly
n
omial
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdo
o
laege
doc:
f
ix documentati
o
n of join
of
maps and fold
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
a
dd
i
s
l
_union_s
e
t
_appl
y
_union
_
pw
_
q
p
olynomial
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Ve
r
d
oo
l
aege
update isl for expor
t
of isl_
u
ni
o
n_ma
p
_fr
o
m
_
r
ang
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
S
ven
Verd
o
ol
a
e
g
e
iscc: a
d
d wri
t
e operation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven
V
erd
o
olaege
iscc: o
p
t
i
ona
l
ly disable read
opera
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-15
Sven Verdoolaege
doc:
e
xp
l
ain comma operator in a set description
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sve
n
Verdo
o
laege
iscc: add typeof o
p
erator
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
S
v
en
V
e
r
d
o
olaege
a
d
d isl_str_from_string
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sven
V
erdool
a
ege
is
c
c
.
c: use C99 designated i
n
itializers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdoo
l
a
e
g
e
i
s
cc:
minor im
p
rovement in error message
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-08
Sven Ver
d
oolaege
i
s
c
c
: add
doma
i
n
_map and r
a
nge
_
map operations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-08
Sv
e
n
V
erd
o
olae
g
e
iscc: add "domain" and "range"
s
ynonyms for "dom" and
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
Sven Verdoola
e
g
e
update i
s
l
to version 0
.
05
.
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-30
Sven
Verdoo
l
ae
g
e
iscc:
d
on't allow code gen
e
r
a
tion
on un
i
on se
t
s of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-23
Sve
n
Verd
o
olaege
updat
e
i
sl to ver
s
ion 0
.
05
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-01
Sve
n
Verdoolaeg
e
avoi
d
use of isl
_
set
a
nd isl_map intern
a
ls
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-28
Sven Verd
o
o
laege
separa
t
e
out is
l
interface
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-28
Sven Verdoo
l
a
e
ge
configure
.
in: pr
o
pagate absol
u
t
e
i
s
l builddir to
s
ubmodule
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-20
Sven
V
e
rd
o
o
l
aege
update is
l
for r
e
nam
e
of header files
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sv
e
n
V
erdoolaege
e
v
al
u
e
_floor2fra
c
:
don't assume coefficients of
f
l
oo
r
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sv
e
n
V
e
r
d
oola
e
ge
test_bo
u
nd: stop
testing afte
r
pre
d
etermined number
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
S
v
e
n
Verd
o
o
laege
barvinok_bound: r
e
write in C
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven V
e
rdoo
l
aege
bar
v
i
n
ok_
{
summate,bound}: take isl i
n
put
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sv
e
n
Verdoolae
g
e
test_bound:
s
witch to isl repre
s
en
t
ation eve
n
ear
l
ier
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Ve
r
doolaege
test_bound:
switc
h
t
o isl representation earlie
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
S
v
en
V
erdoolaege
iscc:
add pol
y
n
o
mial app
r
oximations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-11
Sven Verdoolaege
barvinok_su
m
mat
e
: rewrite in C
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-11
Sven Verdoolae
g
e
b
a
rvinok_sum
m
ate:
u
s
e
isl in
t
erfa
c
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-10
Sven Verdoolaege
bound
.
c
c
: drop dead code
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-07
Sven Verdoolaege
doc: more
i
n
formation ab
o
ut using sets and maps i
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-06
Sven Verdoolaeg
e
doc: upda
t
e
s
ome ref
e
r
e
nces
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-06
Sven Verdoolaege
iscc: add poly operatio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-03
Sven
V
erdoolaege
iscc
:
ad
d
scan o
p
erat
i
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-01
S
ven Verdoo
l
a
e
ge
isl_pw_qpol
y
nomial_su
m
: handle exist
e
ntia
l
s in w
r
apped
.
.
.
commit
|
commitdiff
|
tree
2010-10-27
Sve
n
Verdoolaege
u
pd
a
te i
s
l for renaming o
f
isl_map
_
remove
commit
|
commitdiff
|
tree
2010-10-20
Sven Verdoolaege
version
.
c:
s
how
use of CLooG
commit
|
commitdiff
|
tree
2010-10-18
S
ven Verdoolaege
doc: a bit more
i
nfo on i
s
cc
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoolaege
i
s
cc: add
b
efore and after ope
r
atio
n
s
commit
|
commitdiff
|
tree
2010-10-18
Sv
e
n Verdoolaege
iscc: ad
d
identity operation
commit
|
commitdiff
|
tree
2010-10-18
Sven Ve
r
doolaeg
e
iscc: break out off main l
o
o
p
when p
r
inter no long
e
r
.
.
.
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoolaeg
e
iscc: supp
o
rt e
x
tended
P
olyLib output format
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoolaege
configur
e
.
in:
perf
o
rm check for GMP
s
uppo
r
t in NTL
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-10-11
Sv
e
n
Verdoolaege
isl_Polyhedron_Samp
l
e
:
add
missing
i
nitiali
z
ation
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
iscc:
a
dd compos
i
tion o
p
erat
i
on on piecewise
quasipolynomia
l
.
.
.
commit
|
commitdiff
|
tree
2010-10-11
Sven V
e
rdoolaege
isc
c
: add depen
d
e
n
ce
a
nal
y
sis operations
commit
|
commitdiff
|
tree
2010-10-11
Sven Ve
r
dool
a
ege
i
s
cc
:
register ext
r
a ke
y
w
ords in ge
n
eric way
commit
|
commitdiff
|
tree
2010-10-11
Sve
n
Verdoolaege
u
s
e
i
sl t
o
perfo
r
m "man
u
al_cou
n
t"
commit
|
commitdiff
|
tree
2010-10-11
Sven
V
er
d
oolae
g
e
allow building witho
u
t pi
p
lib
commit
|
commitdiff
|
tree
2010-10-11
Sv
e
n
V
erdoola
e
g
e
P
o
lyhedro
n
_Reduced_Basis: optionally use is
l
commit
|
commitdiff
|
tree
2010-10-11
S
v
en Verdoolaege
fix dependence o
n
b
u
i
l
d isl
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
isl_map_card: us
e
isl
for fa
c
t
o
rization
commit
|
commitdiff
|
tree
2010-09-14
Sven Verdoolaege
isl_map_
c
ard
:
spli
t
dimension fiddling from con
v
er
s
i
on
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sven
Verdoolaege
i
s
l_map_car
d
: use isl_p
w
_qpolynomial_sum i
f
req
u
ested
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
S
ven Verdoolaege
bar
v
in
o
k
0
.
32
.
1
commit
|
commitdiff
|
tree
2010-09-13
Sv
e
n
Verdoolaege
update
i
sl
f
or
fix in para
m
eter
a
l
ignme
n
t
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdoolaege
barvinok 0
.
32
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdoolaege
iscc:
a
dd lexicographic
operator
s
commit
|
commitdiff
|
tree
2010-09-10
Sven V
e
rdo
o
laege
update
i
sl
t
o version 0
.
04
commit
|
commitdiff
|
tree
2010-09-07
S
ven Verdoola
e
ge
iscc: add
"
sourc
e
" o
p
erat
i
on
commit
|
commitdiff
|
tree
2010-09-06
Sv
e
n Ver
d
oolaege
iscc: add su
p
por
t
for st
r
ings
commit
|
commitdiff
|
tree
2010-09-06
Sv
e
n
V
e
r
d
o
olaege
iscc: print erro
r
me
s
sag
e
o
n
use of unknown identifier
commit
|
commitdiff
|
tree
2010-09-06
Sve
n
Verdoo
l
aege
iscc
:
support un
i
o
n
s
e
ts i
n
v
e
rtices operati
o
n
commit
|
commitdiff
|
tree
2010-09-06
Sven Ver
d
oolae
g
e
add i
s
l_
l
ist_concat
commit
|
commitdiff
|
tree
2010-09-05
Sven Ver
d
oolaege
barvinok_bound: u
s
e isl to
s
p
l
it per
i
ods
commit
|
commitdiff
|
tree
2010-09-05
Sven Verdoola
e
ge
u
p
da
t
e i
s
l fo
r
isl_pw_q
p
olynomial_split_periods
commit
|
commitdiff
|
tree
2010-08-31
Sven Verdo
o
lae
g
e
d
oc: m
a
rk Pol
y
Lib interface obsolescent
commit
|
commitdiff
|
tree
2010-08-31
Sven Verdoolaege
Makefi
l
e
.
am:
drop r
e
fer
e
nc
e
s to obsolete @bv_bar
v
i
n
ok_bou
n
d@
commit
|
commitdiff
|
tree
2010-08-31
Sve
n
V
erdoolaege
e
v
a
l
ue_con
v
ert
.
cc: evalue_pri
n
t_isl: print end-of-line
commit
|
commitdiff
|
tree
next