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
S
v
en V
e
rdoola
e
ge
barvino
k
0
.
33
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Ver
d
o
olaege
iscc
.
c: fix typo which w
o
uld
prevent compilati
o
n in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sv
e
n
V
erdool
a
eg
e
update isl to version
0
.
06
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
isl
_
pw_qpolynomial_su
m
:
h
andle existenti
a
ls in
n
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sve
n
Verdool
a
ege
drop piplib submodule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven
V
erdoo
l
aege
sto
p
using pip as LP solver
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sv
e
n Verdool
a
ege
doc: constraints no l
o
nger need to be sp
e
c
if
i
ed in DNF
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Ver
d
oolaege
iscc: parse
l
ists
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaeg
e
ad
d
isl_list_add_obj
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sv
e
n
V
e
r
dool
a
ege
i
s
cc: parse booleans
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
iscc: allow in
t
errup
t
i
o
n of
c
omputation from the k
e
yboard
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-17
Sv
e
n
V
erdo
o
laege
a
void u
s
e
o
f isl_ct
x
inter
n
als
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
Sven Ve
r
doo
l
aege
isl_obj_str: print quot
e
s
around string
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verd
o
olaege
iscc:
keep t
r
ack o
f
intermedi
a
te
resu
l
ts in interac
t
i
v
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdoolaeg
e
is
c
c
:
add pow
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven V
e
r
d
o
olaege
isc
c
: add zip
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-11
S
v
e
n Verdoolaege
i
sc
c
:
a
d
d
deltas
_
m
ap
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven V
e
rdoolaege
lexmin: assume unknowns and parameters a
r
e non-nega
t
iv
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
S
v
e
n
Ve
r
dool
a
eg
e
le
x
min: use isl to read i
n
put
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sv
e
n Verdoolaege
also perfo
r
m lexmin check in absence of GLPK
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
polysign
:
add isl-b
a
cked version and
u
se it by default
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven V
e
rdo
o
l
a
ege
update isl-polylib
f
or f
i
x in header
file
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolae
g
e
upd
a
te isl for change in isl_flow_get_no_source
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-24
Sv
e
n
V
erdoolaeg
e
d
o
c: document isl modulo notation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
S
ven Ve
r
doolaege
i
s
cc: r
e
ad_line: fix
r
etu
r
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Ver
d
o
o
laeg
e
e
v
a
lue_i
s
l
.
c: fix t
y
p
o
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
S
ven V
e
rdoolaege
i
s
cc: add
operations on int
objects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdo
o
laege
u
pd
a
te isl for
i
ntroduction of int objects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
Sve
n
Ve
r
d
oo
l
ae
g
e
a
d
d isl_
b
asic_set_card and isl_bas
i
c_map_card
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoo
l
aeg
e
document is
l
_union_set_apply_
u
nion_pw_qpolynomi
a
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
remove polyhedron_ran
g
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verd
o
o
l
aege
remove pol
y
t
ope_minimize application
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
Polyhedron_Sample: use isl unconditio
n
ally
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
S
ven
Verdool
a
ege
remove c
o
mbine
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdo
o
laege
build libis
l
and
l
ibpolylibgmp before li
b
is
l
-
p
olylib
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdool
a
ege
iscc:
support appl
i
cat
i
on
o
f piecewise quasipolynomial
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verd
o
o
laege
d
oc: fix do
c
ument
a
tion of
join of maps a
n
d folds
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
S
ven Verd
o
o
laege
add isl_unio
n
_set_apply_union_pw_
q
polynomial
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verd
o
olaege
upda
t
e i
s
l for export of isl_union_map_from_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Ver
d
oo
l
a
e
ge
iscc: ad
d
write ope
r
ation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
i
s
cc: optionally disable read
operat
i
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-15
Sven Verdoolaege
do
c
: e
x
plain
comma operator in a
s
e
t description
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdoolaege
isc
c
: a
d
d
ty
p
eof op
e
rator
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdo
o
laege
add
isl_s
t
r_from_string
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
S
ven Verdoo
l
a
ege
i
s
cc
.
c: use C99 design
a
ted initializ
e
r
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdoolaege
iscc
:
min
o
r improvement in er
r
or mess
a
ge
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-08
Sve
n
V
e
r
doolaege
iscc: add doma
i
n_map a
n
d range_map
o
perations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-08
Sven V
e
rdo
o
laege
iscc: add "domain"
a
n
d "range
"
s
ynonyms
f
o
r
"
dom" and
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
Sven Verd
o
ola
e
ge
up
d
a
t
e
i
s
l to version 0
.
0
5
.
1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-30
S
v
en
Verdoo
l
ae
g
e
is
c
c: don't allow c
o
de
g
ene
r
ation on union sets of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-23
Sven Verdoola
e
g
e
u
p
date
i
sl to version
0
.
05
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-01
Sve
n
Verdoolae
g
e
avoid use of
isl_set a
n
d isl_map
internal
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-28
Sve
n
Verdoolaege
separate out isl interface
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-28
Sv
e
n Verdoolaege
configure
.
in: propagat
e
absolute isl builddir t
o
submodule
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-20
Sve
n
Verdoolae
g
e
update isl for rena
m
e of hea
d
er files
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sve
n
Verdoolaege
evalue_
f
loor2fra
c
:
d
o
n
'
t
assume coefficient
s
of floors
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoo
l
aege
test_bound: s
t
op testing after predetermined numb
e
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaege
bar
v
inok_bound:
r
e
w
r
i
t
e in C
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaeg
e
barv
i
nok_{
s
umma
t
e,boun
d
}: take i
s
l
input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sv
e
n Verd
o
olaege
test_b
o
und: switch to i
s
l r
e
pr
e
sentation ev
e
n earlier
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sv
e
n Verdoolaeg
e
test_bound: switch
to isl representa
t
ion earlier
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoo
l
aege
iscc: add poly
n
omial approximations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-11
Sven
V
erdool
a
ege
barvinok_summate: rewrite in C
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-11
Sven Verdoolaege
barv
i
nok_summ
a
te: u
s
e
i
sl inter
f
ace
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-10
Sven Ve
r
doolaege
bound
.
cc: d
r
o
p
dead cod
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-07
S
v
en Verdoolaege
d
oc: more information abo
u
t using
s
e
ts and maps
in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-06
Sven V
e
rdoolae
g
e
doc: up
d
ate
some
r
eferences
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-06
S
ven Ver
d
oolaege
iscc:
a
dd poly operation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-03
Sven Verdoolaege
i
s
cc: add s
c
a
n operatio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-01
S
ven Verdoolaeg
e
isl_pw_
q
po
l
ynomial_sum: h
a
n
d
le existentials in wr
a
pped
.
.
.
commit
|
commitdiff
|
tree
2010-10-27
Sven Verd
o
olaege
update
isl
for renaming of i
s
l_map_remove
commit
|
commitdiff
|
tree
2010-10-20
Sven Verdoolaege
ve
r
sion
.
c
:
show use of CLooG
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoola
e
ge
d
oc:
a
bit m
o
re
i
nfo on iscc
commit
|
commitdiff
|
tree
2010-10-18
S
v
en Verdoolaege
iscc: add
before and
a
fter operations
commit
|
commitdiff
|
tree
2010-10-18
Sven Ve
r
dool
a
ege
iscc:
a
d
d ident
i
ty o
p
e
r
ation
commit
|
commitdiff
|
tree
2010-10-18
S
v
en
Ve
r
do
o
laege
isc
c
: break out
o
ff
m
ain lo
o
p when printer n
o
longer
.
.
.
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoolaege
is
c
c: suppo
r
t exten
d
ed PolyLib output format
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoo
l
aege
co
n
f
i
g
ure
.
i
n
:
p
erform
ch
e
c
k for GMP support i
n
NTL
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-10-11
Sven
Ver
d
oola
e
ge
is
c
c: add comp
o
sition oper
a
tio
n
on
piecewise quasipolynomial
.
.
.
commit
|
commitdiff
|
tree
2010-10-11
S
ve
n
Ver
d
oolaege
iscc: add depe
n
den
c
e anal
y
sis op
e
rations
commit
|
commitdiff
|
tree
2010-10-11
Sven
Ver
d
oo
l
aege
i
scc:
r
egister extra
keywords i
n
generic way
commit
|
commitdiff
|
tree
2010-10-11
Sven
Verdoolaege
u
s
e isl to perform "m
a
nual_count"
commit
|
commitdiff
|
tree
2010-10-11
Sv
e
n
Verd
o
olaeg
e
allo
w
building
w
i
t
h
o
ut piplib
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdo
o
l
a
ege
Polyhed
r
on_Re
d
u
c
e
d_Basis: opt
i
onally u
s
e isl
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdo
o
laege
fix
d
ependence on build isl
commit
|
commitdiff
|
tree
2010-10-11
Sven
Verdoo
l
aege
i
s
l_map_card:
u
s
e isl for facto
r
ization
commit
|
commitdiff
|
tree
2010-09-14
Sven Verdoolaege
isl_map_ca
r
d: split
dimen
s
ion fiddling fr
o
m
c
onv
e
rsion
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sven Verd
o
olaege
isl_ma
p
_
c
ard: use isl_pw_
q
poly
n
omial_sum if requested
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sven Verdoo
l
aege
barvinok 0
.
32
.
1
commit
|
commitdiff
|
tree
2010-09-13
Sven
Verdoolaege
upd
a
te isl for
f
ix in
p
aramet
e
r
alignment
commit
|
commitdiff
|
tree
2010-09-10
Sven
V
erdoolaeg
e
barvinok 0
.
32
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdoolaege
i
s
cc:
a
dd lexic
o
g
r
ap
h
ic operato
r
s
commit
|
commitdiff
|
tree
2010-09-10
Sven Ve
r
dool
a
eg
e
update isl to versi
o
n 0
.
0
4
commit
|
commitdiff
|
tree
2010-09-07
Sven Verdoolaege
i
s
cc: add
"sourc
e
" o
p
eration
commit
|
commitdiff
|
tree
2010-09-06
Sven V
e
rdoolaege
is
c
c: add support for
s
trings
commit
|
commitdiff
|
tree
2010-09-06
Sven
V
e
rdoo
l
aege
iscc: print error message on
u
se of u
n
k
nown identi
f
ie
r
commit
|
commitdiff
|
tree
2010-09-06
Sve
n
Verd
o
o
laege
iscc: support union sets
i
n vertices
ope
r
a
t
ion
commit
|
commitdiff
|
tree
2010-09-06
Sv
e
n Verdoolaeg
e
a
d
d is
l
_li
s
t
_
concat
commit
|
commitdiff
|
tree
2010-09-05
Sven
Verd
o
ol
a
ege
barvinok_bound: use isl to
split periods
commit
|
commitdiff
|
tree
2010-09-05
Sv
e
n
V
e
rdo
o
l
aege
update isl for
i
sl_pw_qp
o
lynomial_split_perio
d
s
commit
|
commitdiff
|
tree
next