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
isl_pw_qpolynomial_sum: handle existentials in non-wrapped domains again
2011-03-18
Sven
V
e
rdo
o
l
a
e
g
e
isl_pw_qpolynomial_s
u
m
: handle ex
i
s
tentials
i
n
n
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Ve
r
dool
a
ege
drop piplib
submo
d
ule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdo
o
laege
stop using pip as LP sol
v
e
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
S
ven Verd
o
olaege
doc: c
o
n
str
a
in
t
s no lo
n
ger
n
eed to be sp
e
c
i
fied in D
N
F
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Ve
r
d
o
olaege
iscc: par
s
e l
i
sts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sv
e
n Verdo
o
laege
add isl_list_ad
d
_obj
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
iscc
:
parse boolea
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
i
s
c
c: allo
w
interruption of comp
u
tation f
r
o
m
the keyboard
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-17
Sven Verdo
o
laege
avoid
use
o
f
isl_c
t
x internals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
S
ve
n
Verdoolaege
isl_obj_
s
tr: prin
t
quotes around string
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven
V
erdoolaege
is
c
c: k
e
ep
t
rack
o
f inter
m
edi
a
te
r
es
u
lts in i
n
t
e
ra
c
tive
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven V
e
rdoolae
g
e
iscc: add
p
ow
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven V
e
r
doolaege
iscc: add zip
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-11
Sven Verdoo
l
aege
i
s
c
c: add deltas_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
lexmin
:
assume unk
n
owns and parame
t
ers are non-negative
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verd
o
ol
a
ege
l
e
xm
i
n: use isl to read
input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Ver
d
oolaege
also perf
o
rm lex
m
in chec
k
in a
b
s
ence of GLPK
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven
V
erdoolaege
polysign
:
add isl-backed version and use it by defau
l
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Ver
d
oolaege
u
pdate isl-
p
olylib
fo
r
fix
i
n he
a
der file
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaeg
e
update
i
sl for ch
a
nge in isl_flow_get
_
no_s
o
u
r
ce
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-24
S
v
en Ver
d
oolaege
doc: document isl modulo
no
t
ati
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
iscc:
read_l
i
ne: fix return
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
S
ven Verdoolaege
ev
a
lue_isl
.
c: fi
x
t
y
po
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoo
l
a
ege
iscc: add operations on int objects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
S
ven
Verdoo
l
a
ege
updat
e
is
l
for introduction of int objects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
Sven Verdool
a
e
ge
add isl_basic_set_card
and isl_ba
s
ic_
m
ap_car
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
do
c
ume
n
t isl_union
_
set_apply_union_pw_qpolynomial
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
S
ven V
e
rdoolaege
remove po
l
y
h
edron_r
a
nge
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
S
ven Verd
o
olaege
remove polytope_mini
m
ize
a
pplicat
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoo
l
aege
P
olyhedron_Sample: use is
l
u
n
condit
i
onally
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdo
o
laege
remove c
o
mbin
e
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoo
l
aege
b
uild libisl and libpol
y
libgmp before libisl-po
l
ylib
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoo
l
aege
iscc: support application of
p
iecewi
s
e quasipolynomia
l
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
doc:
fix documentati
o
n of
j
oin of m
a
ps and folds
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven
Ve
r
doolaege
a
dd isl
_
union_
s
et_
a
pply_union_pw_qpo
l
yno
m
ial
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdool
a
ege
upd
a
te isl
f
or export
o
f isl_
u
nion_map_from_ran
g
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdo
o
l
aege
i
s
cc: add wri
t
e operat
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Ve
r
doo
l
aege
isc
c
:
option
a
lly disabl
e
r
e
a
d
operation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-15
Sv
e
n Verdoolaege
doc: explain comma o
p
er
a
tor in
a
set description
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sve
n
Verdoolaege
is
c
c: add
typeof operator
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdoolaege
add isl_st
r
_from
_
s
tring
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
S
v
e
n Verdool
a
e
g
e
is
c
c
.
c: use C99 design
a
t
ed initializers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sven V
e
rdoolae
g
e
i
s
c
c: min
o
r improvem
e
nt in
error
m
essage
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-08
Sv
e
n
Verd
o
o
l
aege
iscc:
ad
d
doma
i
n_map an
d
ra
n
ge_map operation
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-08
Sven Verd
o
o
la
e
ge
iscc: add "do
m
a
i
n" and "
r
a
n
ge" synonyms for "
d
om
"
and
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
Sven Verdoolaege
up
d
ate isl
t
o version 0
.
0
5
.
1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-30
Sven Verdoolaege
iscc: d
o
n
'
t
a
ll
o
w c
o
de generati
o
n
o
n unio
n
sets o
f
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-23
Sve
n
Verdoolaege
up
d
ate isl to version
0
.
0
5
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-01
S
v
en
Ver
d
o
o
laege
avoid use of isl_se
t
and isl_map internals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-28
Sven Verdool
a
e
g
e
s
e
parate out is
l
interfac
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-28
Sven Verdo
o
laege
configure
.
in: propaga
t
e absolute isl
builddir to submodule
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-20
S
v
en Verdool
a
eg
e
update isl
for
r
en
a
me
o
f head
e
r
f
i
le
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven
Verd
o
olaege
e
v
alue_floor2frac: don't assu
m
e coefficients
o
f floors
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Ve
r
doolaege
test_bound: st
o
p testi
n
g
after p
r
edet
e
r
m
ined number
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaege
b
a
rvinok_bound: rewrite
i
n C
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaege
bar
v
ino
k
_{summate,bound}: take is
l
input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaege
te
s
t_b
o
und:
s
witch to isl rep
r
esentation
ev
e
n earlier
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven
V
erdool
a
ege
te
s
t_bound:
s
witch
to isl representation earlier
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolae
g
e
iscc: add polynomi
a
l
a
pproximations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-11
Sven
V
erdoola
e
g
e
barvinok_s
u
mma
t
e: re
w
r
ite in C
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-11
Sv
e
n Ver
d
o
olaege
barvinok_sum
m
ate:
use is
l
i
n
terface
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-10
S
v
e
n Ve
r
doolaege
bound
.
cc: drop dead code
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-07
S
ven Verdoolaege
doc: more in
f
ormation
a
bout using sets and map
s
in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-06
Sv
e
n Verd
o
olaege
doc: upd
a
t
e
some
r
eferences
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-06
Sven Verdoolaege
i
scc: add poly ope
r
a
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-03
Sven Verdo
o
lae
g
e
iscc:
a
dd s
c
a
n
ope
r
a
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-01
Sven Verdoolaege
i
s
l_pw_qpolynomial_sum: han
d
le existent
i
als in w
r
apped
.
.
.
commit
|
commitdiff
|
tree
2010-10-27
Sven Ve
r
doolaege
u
p
d
a
t
e
i
sl for renaming
o
f isl_map_r
e
m
o
ve
commit
|
commitdiff
|
tree
2010-10-20
Sven Verdoolaege
version
.
c:
show use of CLo
o
G
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoolaege
doc: a bit more info on iscc
commit
|
commitdiff
|
tree
2010-10-18
Sven Verd
o
olaege
iscc:
a
d
d before and aft
e
r o
p
era
t
ions
commit
|
commitdiff
|
tree
2010-10-18
Sven V
e
rdool
a
ege
is
c
c: add identity ope
r
ation
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoo
l
aege
iscc: break out
o
ff
main
l
oop
when print
e
r
no
l
onger
.
.
.
commit
|
commitdiff
|
tree
2010-10-18
S
ven Ve
r
doolaege
i
scc: support
e
x
tended Pol
y
Lib output for
m
at
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdool
a
ege
configur
e
.
in:
per
f
orm
check for
GMP su
p
port in NTL
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-10-11
S
ven Verdoolaege
iscc:
add composition operation o
n
piecew
i
se quas
i
p
o
lynomial
.
.
.
commit
|
commitdiff
|
tree
2010-10-11
Sven
Verd
o
o
laege
iscc:
add dependence ana
l
ysis o
p
erat
i
on
s
commit
|
commitdiff
|
tree
2010-10-11
Sve
n
V
erdoo
l
aege
iscc: regis
t
er
e
xtr
a
keywords in generic way
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdool
a
ege
use isl to perform "
m
a
n
ual_coun
t
"
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaeg
e
a
l
l
o
w building without piplib
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaeg
e
Pol
y
hedron_Reduc
e
d_Basis: o
p
tio
n
ally use isl
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolae
g
e
fix
dependence on build is
l
commit
|
commitdiff
|
tree
2010-10-11
S
ven Verdoolaege
is
l
_
m
ap_car
d
: use
i
sl fo
r
fac
t
orization
commit
|
commitdiff
|
tree
2010-09-14
Sven Verdo
o
laege
isl_map_card:
s
plit dimension fiddling fr
o
m conversion
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sven V
e
rdoo
l
aege
isl_map_card: use isl_
p
w_
q
p
olyn
o
mial_sum
i
f reques
t
ed
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sven Verdoola
e
ge
barv
i
nok 0
.
32
.
1
commit
|
commitdiff
|
tree
2010-09-13
Sven Verdoolaege
u
pdate
i
sl for fi
x
in parame
t
er alignment
commit
|
commitdiff
|
tree
2010-09-10
Sven
V
erdoolaege
barvinok 0
.
32
commit
|
commitdiff
|
tree
2010-09-10
S
ve
n
Ver
d
oo
l
aege
i
scc: add le
x
ico
g
raph
i
c
o
perato
r
s
commit
|
commitdiff
|
tree
2010-09-10
S
v
en
Verd
o
o
l
ae
g
e
update isl to
v
e
rsion 0
.
0
4
commit
|
commitdiff
|
tree
2010-09-07
Sven
V
erd
o
olaege
i
scc: add "s
o
urc
e
" oper
a
tion
commit
|
commitdiff
|
tree
2010-09-06
Sv
e
n Verdoolaege
i
s
cc: ad
d
support fo
r
s
trings
commit
|
commitdiff
|
tree
2010-09-06
Sv
e
n Verdoolaege
i
s
cc: print
e
rror
m
essage o
n
us
e
of
u
nknown identifier
commit
|
commitdiff
|
tree
2010-09-06
Sv
e
n Verdoolaege
iscc: support
u
nion set
s
in ver
t
ices operation
commit
|
commitdiff
|
tree
2010-09-06
Sven Verd
o
o
l
aege
add isl_list_concat
commit
|
commitdiff
|
tree
2010-09-05
Sven Verdoolaeg
e
ba
r
vinok_
b
ou
n
d: use isl to split periods
commit
|
commitdiff
|
tree
2010-09-05
S
ven Verdoola
e
ge
update is
l
f
o
r
i
sl_pw_qpoly
n
omial_sp
l
i
t_periods
commit
|
commitdiff
|
tree
2010-08-31
Sven
V
e
r
doolaege
do
c
: mar
k
PolyLib inte
r
face
o
bs
o
l
e
scent
commit
|
commitdiff
|
tree
2010-08-31
S
v
en Verdoo
l
aege
Makefile
.
a
m: dro
p
references to obsolete @bv_ba
r
vino
k
_bound
@
commit
|
commitdiff
|
tree
2010-08-31
S
ven Verdoolaege
evalue_
c
onvert
.
cc
:
evalue_print_isl: p
r
int end-
o
f-
l
ine
commit
|
commitdiff
|
tree
next
