repo.or.cz
/
barvinok
/
uuh.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
isl_obj_list.c: fix typo
2011-06-10
Sven
V
e
rdo
o
l
a
ege
isl_obj_list
.
c: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-01
Sve
n
Verdoolaeg
e
isc
c
: turn o
n
s
h op
t
ion
w
hen calling CLo
o
G
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven V
e
rdoolaege
evalue_isl
.
c: avoid
u
s
e
of isl_div internals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sve
n
Verdoola
e
g
e
u
pdate
i
sl for isl_div_get_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
S
ven Ve
r
doo
l
a
ege
c
o
nfigure
.
a
c
: don
'
t depend on aut
o
make 1
.
11
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven
V
erdoolaege
is
c
c: add schedule and schedu
l
e_bands operations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verd
o
olaege
iscc: add
solutions operation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdo
o
l
a
e
g
e
iscc
:
add
c
o
e
fficients
operati
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven
V
erdoolae
g
e
iscc: a
d
d lif
t
op
e
ration
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
isc
c
: perform assi
g
nments
e
v
en on error
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sve
n
Verdoo
l
ae
g
e
iscc:
p
lug
m
em
o
r
y
l
e
ak on error
p
ath
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-19
Sv
e
n Verdoolaege
use silent m
a
ke
rul
e
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolae
g
e
bar
v
inok
0
.
33
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdo
o
laege
iscc
.
c: fi
x
typo which
w
ou
l
d prevent
compilation
i
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Ve
r
dool
a
ege
u
pdate
isl to version 0
.
06
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verd
o
olaege
isl_
p
w_qpolynomial_sum: handle existen
t
i
a
l
s in no
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
drop
p
iplib
s
ubmodule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
stop u
s
i
n
g pip as LP solver
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Ve
r
do
o
l
aege
doc
:
cons
t
raints no
l
on
g
e
r
n
eed to be specified in DNF
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
S
v
en Verdoolaege
iscc: parse lists
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdool
a
ege
add isl_list_add
_
obj
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven
Verdoolaege
iscc:
p
arse
booleans
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
S
v
e
n
V
erdoo
l
aege
iscc
:
allow interruption o
f
computation from
t
he
k
eyboard
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-17
Sven
Verdoolaege
a
void use of isl_ctx internals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
S
ven Verdoo
l
aege
is
l
_obj_str: prin
t
q
u
otes
around stri
n
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven V
e
r
d
oolaege
iscc: keep track of intermediate
r
es
u
lt
s
in in
t
eractive
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sve
n
Verdoolae
g
e
i
s
c
c
:
ad
d
pow
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sve
n
Ve
r
doolaege
i
s
cc: a
d
d zip
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-11
Sven Verdoo
l
aeg
e
i
scc:
add deltas_
m
ap
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven V
e
r
d
oolaege
l
e
xmin: a
s
sume unknowns a
n
d pa
r
ameters are non-nega
t
ive
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
l
e
xmin:
u
se i
s
l
t
o
r
ead input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdool
a
ege
also perform
l
exmin
check in absence of
GLPK
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
S
v
en Verdoolaege
polysi
g
n: add
i
sl-backed version and u
s
e
it by default
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
S
ven Verdoolaege
upda
t
e isl-polylib
for fix in h
e
ader fil
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Ver
d
oolaege
update is
l
for change in isl_flow_
g
et_no_sour
c
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-24
Sven Verdoo
l
aege
doc: document isl modulo notati
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sve
n
Verdoolaege
is
c
c: read_line: f
i
x
r
e
t
u
rn
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verd
o
o
l
aege
e
v
a
lue_isl
.
c: fi
x
typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoola
e
ge
isc
c
: add oper
a
t
i
ons on int objects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven
Ve
r
doolaege
update i
s
l fo
r
introduction of
int objects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
Sven
Verdo
o
lae
g
e
a
d
d
isl_basic_set_card and is
l
_
b
a
si
c
_map_card
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verd
o
olaege
d
o
cument
i
sl_union_set_
a
pply_union_pw_qpolynomi
a
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
S
v
en Ver
d
o
olaeg
e
re
m
ove polyhedron_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven
V
erdoolaege
remove
poly
t
ope_m
i
nimize a
p
p
licatio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdool
a
e
g
e
Polyhedron_Sample: use is
l
unco
n
di
t
ionally
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
S
ven Verdoolaege
remo
v
e combine
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sve
n
Verdo
o
laeg
e
buil
d
li
b
isl and
libpolylibgmp bef
o
re libi
s
l-polylib
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
iscc: supp
o
rt
a
ppli
c
ation
of piec
e
wi
s
e quasipolynom
i
al
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoo
l
a
e
ge
d
o
c: fix documentatio
n
of
j
o
in of m
a
p
s a
n
d
folds
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verd
o
olaege
add isl_union_set_apply_union_p
w
_qpol
y
no
m
ial
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaeg
e
upd
a
te isl
f
or
e
xport
of isl_
u
nio
n
_map_from_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
S
ve
n
Verdoolaege
iscc: add wr
i
te o
p
eration
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sv
e
n
V
e
rdoolaege
iscc: optionally di
s
able rea
d
operat
i
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-15
Sven Ver
d
oolaege
do
c
: explain co
m
ma opera
t
or
in a set de
s
c
r
iption
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sven
V
er
d
oolaege
iscc: add
ty
p
eof opera
t
or
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdoolaege
add
i
sl_str_f
r
om_s
t
ring
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdoolaege
i
s
cc
.
c: use
C99 designated
initializers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdoolaege
iscc: minor impr
o
v
ement i
n
e
r
ror mes
s
age
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-08
Sven Verdoola
e
ge
iscc: add d
o
main_map and ran
g
e_map ope
r
atio
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-08
Sven Ver
d
oolaege
is
c
c: add "d
o
mai
n
" and "range" synonyms for "dom" a
n
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
Sven Verdool
a
ege
up
d
ate isl to version 0
.
0
5
.
1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-30
S
v
e
n Verdoolaege
is
c
c: don't allow c
o
de genera
t
ion on
union set
s
of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-23
Sven Verdoola
e
ge
update
isl to version 0
.
05
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-01
Sven Verdo
o
l
a
e
ge
avoid use of i
s
l
_set and isl_map inte
r
nals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-28
Sven V
e
r
doolaege
s
eparate out
i
sl int
e
rface
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-28
Sv
e
n Verd
o
o
l
a
e
ge
co
n
fig
u
re
.
in:
p
r
opagate absolute isl buil
d
d
i
r to
submodule
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-20
Sven Ve
r
doolaege
u
pdate isl fo
r
r
enam
e
of header files
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
S
v
en Verdoolaege
evalue_floor
2
frac:
d
o
n
't
assume coefficients of floors
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaege
test_bound: stop testi
n
g
aft
e
r predetermined number
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Ve
r
doolaege
barvinok_bound: re
w
ri
t
e i
n
C
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven V
e
rdoolaege
barvinok_{summate,bou
n
d}: take isl input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven
Verdoolaege
tes
t
_bound: swit
c
h
t
o i
s
l
r
epre
s
entation e
v
en earli
e
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaege
test_b
o
und: switch to isl represent
a
t
ion
earlie
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sv
e
n Verdoolaege
iscc: add polynomial approx
i
matio
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-11
Sve
n
Verdoolaege
barvinok_summat
e
: r
e
w
r
ite in C
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-11
Sven Verdoolaege
barvi
n
ok_sum
m
ate: use isl int
e
rfa
c
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-10
Sve
n
Verdool
a
ege
bound
.
c
c
: drop
de
a
d
cod
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-07
Sven
Ve
r
doo
l
aege
doc: more information about u
s
ing sets
a
nd maps
in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-06
Sven
Ve
r
doolaege
doc: update some refer
e
nces
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-06
Sve
n
Verdoolaege
iscc: add poly o
p
eration
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-03
Sve
n
Verdoolaege
iscc: add scan operatio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-01
Sven
V
er
d
o
o
l
a
ege
isl_pw_qp
o
l
y
n
o
m
ial_sum: handle exist
e
ntials in wrapped
.
.
.
commit
|
commitdiff
|
tree
2010-10-27
Sven Verd
o
ol
a
ege
u
pdate isl fo
r
r
e
nami
n
g of isl
_
map_remove
commit
|
commitdiff
|
tree
2010-10-20
Sven V
e
rdool
a
ege
version
.
c: sh
o
w use of CLooG
commit
|
commitdiff
|
tree
2010-10-18
Sven Ve
r
d
oolaege
do
c
: a
bit more info
o
n iscc
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoolaege
iscc
:
add befor
e
and after operat
i
ons
commit
|
commitdiff
|
tree
2010-10-18
S
ve
n
Verd
o
ola
e
g
e
is
c
c:
add identity operation
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoolaege
i
s
cc:
break out off
main loop when printer no longe
r
.
.
.
commit
|
commitdiff
|
tree
2010-10-18
Sven
V
erdoola
e
ge
iscc: support exte
n
ded PolyLib output format
commit
|
commitdiff
|
tree
2010-10-18
Sv
e
n
Verdoolaege
con
f
i
gure
.
in: perform c
h
e
c
k for
GMP suppor
t
in NTL
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
iscc: ad
d
c
omposi
t
ion
o
perati
o
n on piecewise quasi
p
oly
n
o
m
ial
.
.
.
commit
|
commitdiff
|
tree
2010-10-11
Sven
V
erdoola
e
ge
iscc: add
dep
e
ndence ana
l
y
sis operations
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
is
c
c: re
g
ister extr
a
keywords in generic wa
y
commit
|
commitdiff
|
tree
2010-10-11
S
v
en Verd
o
olaege
use isl
to perfor
m
"m
a
nual_
c
ount"
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
allow b
u
il
d
ing withou
t
pipl
i
b
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolae
g
e
Polyhedron_R
e
d
u
ced_Basis: opti
o
n
ally use
isl
commit
|
commitdiff
|
tree
2010-10-11
Sven Verd
o
olaege
fi
x
dep
e
n
dence on bui
l
d isl
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdo
o
laege
isl_ma
p
_card
:
use is
l
for factorization
commit
|
commitdiff
|
tree
2010-09-14
S
ven Verdoolae
g
e
i
s
l_map_card: sp
l
it dimension fiddlin
g
from conversion
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sven Verdoolaege
isl_map_card: use
isl_pw_qpoly
n
omial_sum i
f
r
equest
e
d
.
.
.
commit
|
commitdiff
|
tree
next
