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
barvinok 0.33
2011-03-18
Sven Verdo
o
la
e
ge
b
arvinok 0
.
33
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sv
e
n Verdoolaege
iscc
.
c:
f
ix
ty
p
o
w
hich
w
ould pr
e
ve
n
t compilation i
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
u
p
date is
l
to
v
ersion
0
.
06
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoo
l
aege
isl_pw_qpolynomia
l
_sum: handle exist
e
ntials in non
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdool
a
ege
drop pi
p
lib
submo
d
ule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sv
e
n Verdoolaege
stop u
s
ing pip
a
s LP solver
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sve
n
Verdoolaege
doc: constraints no long
e
r need to be
s
pe
c
ifie
d
i
n
DNF
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
iscc: pa
r
se
l
ists
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sve
n
Verdoolaege
add isl_list_add_obj
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
iscc
:
p
ar
s
e booleans
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
iscc:
al
l
ow interruption o
f
com
p
uta
t
i
o
n from the keyboard
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-17
S
ven Verdoo
l
aege
a
v
o
i
d use of isl_ctx internals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
Sven Ve
r
doola
e
g
e
isl_obj_
s
tr
:
pri
n
t quotes around string
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdoolaege
iscc: keep track of intermediate r
e
sults in in
t
erac
t
ive
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdoolae
g
e
iscc: add po
w
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven Ver
d
oolaege
iscc:
a
dd zip
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-11
Sven Verd
o
olae
g
e
i
s
cc: add deltas_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdo
o
laege
lexm
i
n
: assum
e
unknowns and parameters
ar
e
n
o
n-negative
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
S
ven
V
erdoolaege
lexmin: use is
l
to read
i
npu
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolae
g
e
also perfo
r
m lexmin
c
h
e
ck
i
n
a
b
sence of GLPK
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
polysign: ad
d
isl-
b
acked versio
n
and use it
b
y default
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sv
e
n V
e
r
doolaege
upd
a
te i
s
l-polylib for fix in header file
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
upda
t
e isl for change in isl_f
l
ow_get_n
o
_source
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-24
S
v
en Ve
r
doolaege
doc: documen
t
isl m
o
dulo notation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven
Verdo
o
l
a
e
g
e
iscc: read_line: f
i
x retur
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sve
n
Verdoolaege
evalue_isl
.
c: fi
x
t
ypo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
S
ven Verdoolaege
iscc:
a
dd operations on
int o
b
jects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Ve
r
dool
a
ege
u
pda
t
e isl f
o
r introduction of int ob
j
ect
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
S
ven Verd
o
olaege
add isl_basic
_
set_car
d
and isl_basic
_
m
a
p_ca
r
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolae
g
e
document isl_union_set_a
p
ply_un
i
o
n_
p
w_qpoly
n
o
mial
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
remo
v
e polyhedron
_
range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
remove
p
o
l
y
top
e
_minimize app
l
ication
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sve
n
Verdo
o
lae
g
e
Polyhedron_Sample: use isl u
n
cond
i
t
i
onally
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
S
ven
V
e
r
doolaege
remove combi
n
e
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sv
e
n Ver
d
oolaege
bu
i
ld li
b
isl and l
i
bpolylibgmp before l
i
bisl-polylib
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sve
n
Verdoolaege
is
c
c: support appl
i
ca
t
ion o
f
piecewis
e
qua
s
ipolyno
m
ial
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
d
o
c: fix documenta
t
ion of
j
oin o
f
map
s
and folds
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoola
e
ge
add isl_
u
nion_set_app
l
y_uni
o
n_pw_q
p
olynomial
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolae
g
e
updat
e
isl for
e
x
po
r
t of isl_union_
m
ap_from_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoo
l
aege
iscc: add write op
e
r
a
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
S
v
en Ve
r
doolaege
is
c
c: optionally disable read opera
t
i
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-15
S
v
en Verdoolaege
doc
:
explain c
o
m
m
a operator i
n
a set
d
escr
i
pt
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verd
o
olaege
iscc: add
typeof op
e
rator
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdo
o
l
a
e
ge
add isl_str_from_stri
n
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdo
o
laege
iscc
.
c: use C99 designated initialize
r
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
S
ven Ver
d
oola
e
ge
isc
c
: m
i
nor impr
o
vemen
t
in error mess
a
g
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-08
Sven Verdoo
l
aege
iscc: a
d
d domain_ma
p
and range
_
map operations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-08
Sven Verdoolaeg
e
iscc: add "domain" a
n
d "ran
g
e
"
synony
m
s for "dom" an
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
Sven Verdool
a
e
g
e
updat
e
isl
t
o
version 0
.
05
.
1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-30
Sven Verdo
o
laege
isc
c
: don't a
l
low c
o
de
g
e
n
eration on un
i
o
n set
s
of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-23
Sven Verdoolaege
update isl to version
0
.
05
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-01
Sv
e
n Verdo
o
laege
a
v
o
id use
o
f i
s
l_set
a
nd
i
s
l_map in
t
ernals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-28
Sven
Verdoolaege
se
p
arate out isl
interface
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-28
S
ven Verd
o
olaege
co
n
figure
.
in:
prop
a
ga
t
e absolute isl bui
l
ddir to s
u
bmodule
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-20
Sven
V
erdoola
e
g
e
upda
t
e i
s
l for re
n
ame of
h
eader files
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaege
evalue_floor
2
frac: don'
t
assume
c
o
e
ffici
e
nts of floo
r
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdo
o
l
aege
tes
t
_bound: stop testing a
f
ter pr
e
determined n
u
mber
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaege
barvinok_bou
n
d: rewrite in
C
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaege
b
ar
v
inok_{summate,bound}: t
a
ke isl input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
S
ven Verdoola
e
g
e
test
_
bound: switch
t
o isl
r
epresent
a
tion ev
e
n earlier
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaege
test_bound: swi
t
ch
to isl represent
a
tion earlie
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verd
o
o
l
aege
iscc: add polynomial approxim
a
t
ions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-11
Sven Verdoolaege
barv
i
n
ok_su
m
mate:
r
ewrite in C
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-11
S
ven
V
erdoolaege
barvinok_summate: use isl inter
f
ac
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-10
S
v
en Ve
r
doolaege
bound
.
cc: drop dead
co
d
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-07
S
v
en Verdoolaeg
e
doc:
m
ore in
f
ormation about usi
n
g
sets and maps in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-06
Sven Verdoolaege
doc: update some references
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-06
S
ven Ver
d
oolae
g
e
iscc: add poly operation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-03
Sven V
e
rdo
o
lae
g
e
iscc: ad
d
scan op
e
ration
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-01
Sven
V
e
r
d
o
o
laege
isl_pw_
q
polynomial_sum: h
a
ndle
e
xistenti
a
ls i
n
w
r
ap
p
ed
.
.
.
commit
|
commitdiff
|
tree
2010-10-27
Sven Verdo
o
l
aege
update isl for ren
a
min
g
of isl
_
map_r
e
move
commit
|
commitdiff
|
tree
2010-10-20
S
v
e
n V
e
rdoola
e
ge
v
e
r
s
ion
.
c: show use of
C
LooG
commit
|
commitdiff
|
tree
2010-10-18
Sv
e
n
V
erdoo
l
aege
doc:
a bit m
o
re info
o
n iscc
commit
|
commitdiff
|
tree
2010-10-18
Sven
Verd
o
olaege
is
c
c: add befo
r
e
a
nd a
f
te
r
o
p
eratio
n
s
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoola
e
ge
is
c
c: add i
d
entity operat
i
on
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdool
a
ege
iscc: break out of
f
m
a
in loop when
printer no l
o
nger
.
.
.
commit
|
commitdiff
|
tree
2010-10-18
Sven Verd
o
olaege
iscc: suppor
t
extende
d
PolyLib output
f
or
m
at
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdo
o
la
e
ge
configure
.
i
n: perf
o
rm check f
o
r GMP support in NTL
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-10-11
S
v
en Verdoolae
g
e
iscc: add compositio
n
ope
r
ati
o
n on
p
ie
c
e
w
i
se quasipoly
n
omial
.
.
.
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
iscc:
a
d
d
d
epe
n
dence analysis ope
r
ations
commit
|
commitdiff
|
tree
2010-10-11
Sven Ver
d
oolaege
iscc: register extr
a
k
ey
w
ords in generic way
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolae
g
e
use isl to perform "manua
l
_count"
commit
|
commitdiff
|
tree
2010-10-11
Sven V
e
r
d
oolaege
a
l
low bu
i
ldi
n
g without pi
p
lib
commit
|
commitdiff
|
tree
2010-10-11
Sven Verd
o
olaege
Pol
y
hedron_Reduced_Bas
i
s: optionall
y
use
i
sl
commit
|
commitdiff
|
tree
2010-10-11
S
ven Verdoolaege
fix de
p
en
d
ence on build isl
commit
|
commitdiff
|
tree
2010-10-11
Sve
n
Verdoolaege
isl_map_card:
use is
l
for fact
o
rization
commit
|
commitdiff
|
tree
2010-09-14
S
ven Verdoolaege
isl_m
a
p_card: split dimen
s
ion fidd
l
ing fr
o
m
c
o
n
version
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sve
n
V
e
r
d
o
olae
g
e
i
sl_map_ca
r
d: use is
l
_pw_qpolynomial_sum
i
f requeste
d
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sv
e
n
Verdoolaege
barvinok 0
.
32
.
1
commit
|
commitdiff
|
tree
2010-09-13
Sven Verdoolaege
updat
e
isl f
o
r fix in parameter alignment
commit
|
commitdiff
|
tree
2010-09-10
Sv
e
n
V
erdo
o
l
aeg
e
barvino
k
0
.
3
2
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdoo
l
a
e
ge
iscc: a
d
d lexic
o
graphic
operators
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdoolaege
upda
t
e isl to version 0
.
04
commit
|
commitdiff
|
tree
2010-09-07
Sven Verdoolaege
isc
c
: add "s
o
urce" o
p
eration
commit
|
commitdiff
|
tree
2010-09-06
Sv
e
n Verdoolaege
i
scc
:
add support for st
r
i
ng
s
commit
|
commitdiff
|
tree
2010-09-06
Sv
e
n
V
erdo
o
laege
is
c
c: pri
n
t err
o
r message
o
n u
s
e of unknown ident
i
fier
commit
|
commitdiff
|
tree
2010-09-06
Sv
e
n Verdoola
e
ge
isc
c
: su
p
p
ort union sets in vertices operation
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoolaege
add i
s
l_l
i
st_concat
commit
|
commitdiff
|
tree
2010-09-05
Sve
n
Verdoo
l
aege
bar
v
inok_bound: use isl to
s
plit
period
s
commit
|
commitdiff
|
tree
2010-09-05
Sven Verdoolae
g
e
up
d
a
te is
l
f
or isl_pw_qpolynomial_spl
i
t_p
e
rio
d
s
commit
|
commitdiff
|
tree
next