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
util.c: manual_count: use isl_val
2011-04-21
Sven V
e
rdoo
l
aeg
e
iscc: perfo
r
m
assign
m
ents even on err
o
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sv
e
n Verdoolae
g
e
iscc: plug memor
y
leak on
e
rror path
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-19
Sven Verd
o
olaege
use
si
l
ent
ma
k
e rules
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven
Verdool
a
ege
b
arvi
n
o
k 0
.
33
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven V
e
rdoolaege
iscc
.
c: fix typo which
w
ould
p
r
event compilat
i
o
n
i
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
S
v
en Ver
d
o
o
laege
u
p
date isl
t
o v
e
rsion
0
.
06
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoola
e
ge
isl_pw_qpolynomial_sum: handle existentials in non
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
S
v
en Verdoolaege
drop piplib sub
m
odule
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
S
v
en Verdool
a
e
ge
stop us
i
ng pip as LP sol
v
er
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
S
v
en
Verdoolae
g
e
d
oc
:
constraints no longer n
e
ed to be specified in DNF
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
S
ven Ve
r
doo
l
a
ege
iscc: parse lists
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoola
e
ge
add isl_list_add_obj
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven
Verdoolaege
iscc: pars
e
booleans
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven
Ve
r
do
o
laege
iscc: allow interrupt
i
on of comput
a
tion from the keyb
o
ard
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-17
Sven Verdool
a
e
g
e
av
o
id
use
o
f
is
l
_ctx internals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
Sven Verdoolae
g
e
isl_ob
j
_str: pri
n
t quotes
a
round string
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdoolaege
isc
c
: keep
track of intermed
i
ate
r
esults
in
i
n
t
eractive
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sve
n
Ve
r
doolae
g
e
iscc: add pow
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdoolae
g
e
iscc:
a
dd
z
ip
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-11
Sve
n
Verdo
o
laege
iscc: add delt
a
s_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sv
e
n V
e
rdoolaege
lexmin: assu
m
e unknowns and parameters are non-negative
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sve
n
Verdoo
l
ae
g
e
lexmin: u
s
e isl to read in
p
ut
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
also
per
f
orm le
x
min check in ab
s
ence of GLPK
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
po
l
ysign: add isl-backed version an
d
use it by
d
efault
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoola
e
ge
update i
s
l-polyl
i
b
f
o
r fix
in header fil
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoola
e
ge
update isl for change
i
n isl_flow_get_
n
o_sourc
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-24
S
v
e
n
V
erdo
o
la
e
ge
doc: document isl modulo
notatio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
Makefile
.
am: put NTL CFLAGS af
t
er i
s
l
C
FLAGS
Signed-off-by:
Sven Verdoolaege
<verdoolaege@gamma.math.uni-magdeburg.de>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
iscc: read_line: fi
x
ret
u
r
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdool
a
ege
e
v
alue_isl
.
c
: fix
typ
o
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoola
e
g
e
iscc: add o
p
e
r
a
t
i
ons
on i
n
t
o
b
jects
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
S
v
en Verdoolaege
u
pdate isl for i
n
tr
o
duction of int objec
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-22
Sven Verdoolaege
ad
d
isl_basic_set_
c
a
r
d an
d
isl_basic_map_card
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdool
a
ege
do
c
u
m
ent
i
sl_union_set_apply_uni
o
n_pw_q
p
olynomial
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven
V
erdoolaege
remove
p
o
l
yhe
d
ron_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
remove polytope_
m
inim
i
ze appl
i
cation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
P
o
l
yh
e
d
r
on
_
S
a
mple: us
e
isl uncondit
i
on
a
ll
y
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
remov
e
co
m
bine
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdo
o
laege
build libisl and libp
o
lylibgmp
be
f
o
re libisl-p
o
l
y
lib
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
S
v
en Verdool
a
ege
i
scc:
s
upport application of pie
c
ewise
q
uasipolynomial
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
S
v
en
V
erdool
a
ege
d
o
c: fix
documentati
o
n of join of m
a
ps and folds
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
S
v
en Verdoola
e
ge
a
dd
isl_
u
nion_
s
e
t_apply_
u
nion_pw_qp
o
lynomial
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
u
pdat
e
isl for
e
xpo
r
t of isl_
u
ni
o
n_map_from_
r
a
nge
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Ver
d
ool
a
ege
iscc:
add write o
p
e
r
a
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven
V
erd
o
olaege
iscc: option
a
lly d
i
sable read
o
p
eration
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-15
S
ven Verdoo
l
aege
doc: ex
p
lain comm
a
o
per
a
t
or in a set descri
p
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdoolaege
i
s
cc: add
typeo
f
operator
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sven
V
erdoolaege
add isl_str_from_string
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sv
e
n
Verdoolaege
i
scc
.
c:
u
s
e
C
9
9 d
e
sig
n
ated initializers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sven V
e
rdoolaege
isc
c
:
min
o
r improvement in error
me
s
sage
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-08
Sven Verdoolaege
is
c
c
:
add
d
omai
n
_
map and r
a
nge_map opera
t
ions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-08
Sve
n
Verdoolaege
iscc: add
"d
o
main" and "ra
n
ge
"
syno
n
yms fo
r
"do
m
" an
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
S
v
e
n V
e
rdoolaege
u
pdate
i
s
l to version 0
.
05
.
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-30
Sve
n
Ver
d
oolaege
iscc: don't
allow cod
e
gen
e
r
ation on union sets
of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-23
Sven Verdoolaege
update isl to version 0
.
0
5
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-01
Sve
n
V
erdo
o
laege
avoid use of isl_s
e
t and isl_map inter
n
als
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-28
S
v
en Verdool
a
ege
separate out isl interface
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-28
S
v
en Verdoolaege
c
onfigure
.
in
:
propaga
t
e
ab
s
olute isl
b
uilddir to submodule
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-20
Sven
V
erdoolaege
update is
l
for rename of header file
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
S
ven
V
erdoolae
g
e
evalue_floor2frac
:
don't assume
c
oefficients of floors
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaege
t
e
st_bound: stop t
e
s
ting after
predet
e
rmined nu
m
b
e
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Ve
r
d
oo
l
aege
barvino
k
_
bo
u
n
d
:
rewrite in C
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verd
o
ol
a
ege
barvinok_{summate,bound}: t
a
ke
i
sl inp
u
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
S
ven Verdool
a
e
ge
test_bo
u
nd: switc
h
t
o isl representat
i
on even earlier
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Ve
r
d
o
olaege
tes
t
_bound: switch to isl rep
r
e
sentat
i
on earlier
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoo
l
aege
isc
c
:
add polyn
o
mi
a
l appr
o
ximation
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-11
Sven Ver
d
oolaege
barvinok_summate: rewrite
i
n
C
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-11
Sven Verdoolaege
barvi
n
o
k_
s
ummate: use isl i
n
terf
a
ce
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-10
Sve
n
Verdoolaeg
e
b
ound
.
cc: dro
p
dead
c
o
de
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-07
Sven Verdoo
l
aege
doc: more in
f
ormation abo
u
t using sets a
n
d ma
p
s in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-06
Sven Verdoola
e
ge
doc: update some references
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-06
S
ven Verdoola
e
ge
i
s
cc: add
poly ope
r
ation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-03
Sven Verd
o
olaege
is
c
c
: a
d
d s
c
an operation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-01
Sven
Verdoolaege
isl_pw_qpo
l
ynomial_sum: handle existenti
a
l
s
i
n
wrapped
.
.
.
commit
|
commitdiff
|
tree
2010-10-27
Sven
V
e
r
dool
a
e
g
e
update isl for renaming o
f
isl_
m
ap_remove
commit
|
commitdiff
|
tree
2010-10-20
S
v
en Verdool
a
ege
vers
i
on
.
c:
s
ho
w
u
s
e of CLooG
commit
|
commitdiff
|
tree
2010-10-18
Sv
e
n
Verdo
o
l
aege
d
o
c
:
a
b
it mor
e
in
f
o on iscc
commit
|
commitdiff
|
tree
2010-10-18
S
ve
n
Verdoolaege
i
scc:
add
b
efo
r
e
a
nd
a
f
ter operatio
n
s
commit
|
commitdiff
|
tree
2010-10-18
Sven Verd
o
olaege
iscc
:
ad
d
i
dentity operati
o
n
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoolaege
iscc: brea
k
out of
f
main loop when print
e
r no
longer
.
.
.
commit
|
commitdiff
|
tree
2010-10-18
Sven
V
e
r
d
oolaege
iscc: support exte
n
ded PolyLib output f
o
rmat
commit
|
commitdiff
|
tree
2010-10-18
Sven
V
e
rdoola
e
ge
configure
.
i
n
:
per
f
or
m
c
heck
for GMP support in NTL
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-10-11
S
ven Verdo
o
laege
i
sl_Polyhedron_Sample: add missing initial
i
zation
commit
|
commitdiff
|
tree
2010-10-11
S
ven Verdoo
l
aege
iscc: ad
d
composi
t
ion
o
peration on piecewise quasipolynomial
.
.
.
commit
|
commitdiff
|
tree
2010-10-11
S
v
e
n
Verdoolaege
iscc:
add dependence analysis oper
a
tions
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdo
o
laege
iscc: reg
i
ster
extra keywords in g
e
ner
i
c
way
commit
|
commitdiff
|
tree
2010-10-11
Sv
e
n Ver
d
oola
e
g
e
use i
s
l
t
o perform "manu
a
l_count
"
commit
|
commitdiff
|
tree
2010-10-11
S
v
en Ve
r
doola
e
g
e
allow build
i
n
g
without piplib
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoola
e
g
e
Polyhedr
o
n_Reduced
_
Basis
:
optionally
u
s
e
isl
commit
|
commitdiff
|
tree
2010-10-11
Sv
e
n V
e
rdoolaeg
e
fix de
p
endence on build i
s
l
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
isl
_
map_card: use isl for facto
r
iza
t
ion
commit
|
commitdiff
|
tree
2010-09-14
Sve
n
Ver
d
o
olaege
isl_map_car
d
: split di
m
e
nsion fiddling from
c
onversion
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sve
n
Verdoola
e
ge
isl_map_car
d
:
use
isl_pw_
q
pol
y
nomial_sum if requested
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sven V
e
rdo
o
laege
b
arvi
n
o
k
0
.
3
2
.
1
commit
|
commitdiff
|
tree
2010-09-13
Sven Verdoolaege
updat
e
i
s
l
for fix in
paramete
r
a
l
i
g
nme
n
t
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdoola
e
ge
b
ar
v
inok 0
.
32
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdoolaege
i
scc: add
l
e
xicographic operator
s
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdoo
l
aeg
e
upda
t
e isl to ve
r
sion 0
.
04
commit
|
commitdiff
|
tree
2010-09-07
Sve
n
V
erdoolaege
i
scc: add "source" operation
commit
|
commitdiff
|
tree
2010-09-06
S
v
en Verdoo
l
aege
isc
c
:
add su
p
port for s
t
r
ings
commit
|
commitdiff
|
tree
next