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
iscc: use isl_ctx_parse_options
2011-07-05
Sven
V
erdoo
l
aege
C
han
g
e
license from GPL 2
.
0 to GPL 2
.
0+
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-10
Sven Verdo
o
laege
evalu
e
_isl
.
c: ad
d
missing inclu
d
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-10
Sven Verdoolaege
add cl
o
og submodule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-10
S
v
e
n
V
erdoolaege
update isl for cl
o
o
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-10
Sven Ver
d
oolaege
i
s
l
_
obj_list
.
c
: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-01
S
ven Verdoolaege
i
s
cc: t
u
rn on
sh o
p
tio
n
when
calling CLooG
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Ve
r
doo
l
aege
evalue_isl
.
c
:
avoid us
e
of isl_div
i
nternals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Ve
r
d
oolaege
update isl
f
or
isl_d
i
v_g
e
t_
c
tx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sv
e
n Verdoolaege
con
f
igure
.
ac:
don't dep
e
nd on automake 1
.
11
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sve
n
Verdoolaege
i
scc: add
s
chedule and
s
c
hedule_bands op
e
rati
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
ven Verdoolaege
iscc: add solutio
n
s operation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
i
s
c
c: ad
d
c
o
e
fficient
s
o
p
eration
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
isc
c
: add
l
ift ope
r
ation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven V
e
rdoolaege
iscc: perf
o
rm assignments even on er
r
or
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sve
n
Ve
r
do
o
l
a
eg
e
iscc: plug memory l
e
ak on error path
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-19
Sv
e
n Verdoolaege
use s
i
l
e
nt make rules
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
barvinok 0
.
3
3
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Ve
r
doolaege
is
c
c
.
c: fi
x
typo w
h
ich would pre
v
en
t
compilation i
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdo
o
laege
u
p
d
a
te isl
t
o version 0
.
06
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verd
o
ol
a
ege
i
s
l_pw_qp
o
lynom
i
a
l_sum
:
h
a
n
d
le e
x
i
s
tentials in non
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven
Verdoolaege
drop
p
iplib submodule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven
Verdool
a
e
g
e
stop
u
sing
pip a
s
L
P
solver
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Ver
d
oo
l
aege
do
c
: c
o
nstr
a
ints no lon
g
er need to be specified in DNF
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sve
n
Ve
r
doolaeg
e
isc
c
: parse lists
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven
Verdoolaege
add isl_list_
a
dd_obj
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Ver
d
oolaege
i
sc
c
:
p
arse
b
ooleans
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
S
v
e
n Verdool
a
ege
iscc: allow interruption of co
m
p
utation from the keybo
a
rd
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-17
Sven
Verdoolaege
avoid use o
f
i
sl_c
t
x
intern
a
l
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
Sven Verdo
o
l
aege
isl_obj_str: print
q
uotes around string
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verd
o
olaege
iscc: keep track of
i
n
t
e
rmediate
r
esults in inte
r
active
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
S
v
en Verd
o
o
l
a
ege
i
s
cc: ad
d
pow
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven
Verdoolaege
iscc: add zip
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-11
Sven Verdoolaege
iscc: add
d
elt
a
s_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
S
v
en Verd
o
olaege
lexmin: assu
m
e unknow
n
s
a
nd
p
arameters
ar
e
non
-
n
e
g
a
ti
v
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven
V
er
d
oolaege
lexmin: us
e
is
l
to re
a
d
i
nput
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoo
l
a
e
ge
also perform lexmin check
i
n absence of GLP
K
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaeg
e
polysign: add
isl-b
a
cke
d
v
e
rs
i
on and u
s
e i
t
by default
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Ver
d
oolaege
update i
s
l-polylib f
o
r
fix in he
a
der file
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdo
o
laege
upda
t
e
i
s
l f
o
r chan
g
e in isl_flow_
g
et_no_source
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-24
Sven Verdo
o
la
e
ge
d
o
c
:
d
ocument isl mod
u
lo notation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
is
c
c:
read_line: fix return
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven
Verdoolaege
ev
a
lue_
i
sl
.
c
: fix
typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Ver
d
oolaege
iscc: add operations on int objects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
S
ven Ve
r
d
o
olaege
upda
t
e isl for introduction of i
n
t objects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
Sven
V
erdoolaege
add isl
_
basic_set_card a
n
d isl_ba
s
ic_map_card
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven
V
erdoolaeg
e
doc
u
ment i
s
l
_unio
n
_
set_a
p
pl
y
_uni
o
n_pw_qpolynomial
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Ver
d
o
ola
e
ge
remove polyhedron_rang
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sve
n
Verdoolaeg
e
remove polytope
_
mi
n
imize
application
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven
V
e
r
do
o
l
aege
Polyh
e
dron
_
Sample: use isl uncon
d
itional
l
y
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
re
m
ove combi
n
e
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
S
ven Ver
d
oolae
g
e
bui
l
d lib
i
sl a
n
d lib
p
o
lylib
g
mp before libisl-
p
olylib
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
S
v
e
n Verdo
o
laege
iscc:
s
upport ap
p
lic
a
tion of piecewise quasip
o
lynomial
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
S
ven Verdoola
e
g
e
doc:
f
ix
d
ocume
n
t
a
tio
n
of join
o
f maps and folds
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven
V
erdoolaege
add is
l
_union_
s
et_appl
y
_union
_
p
w
_
q
polynom
i
al
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
update
isl for ex
p
o
r
t of isl_uni
o
n_map_fr
o
m_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
iscc: add write operati
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Ve
r
doolaeg
e
iscc: optio
n
ally disable read oper
a
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-15
Sven
V
erdoolaege
doc: e
x
plain comma o
p
erator in a
set
d
escription
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sven V
e
r
doolaege
isc
c
: add
typeof operat
o
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdoolaege
ad
d
isl_st
r
_from_string
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdool
a
ege
iscc
.
c: use
C
99 designate
d
initializers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sven Ver
d
oolaege
iscc: minor impr
o
v
e
ment in error message
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-08
Sven Verdool
a
ege
iscc: add domain_map and ra
n
ge_map operations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-08
Sven Verd
o
olaege
i
s
cc: add "domain" and
"
range" synonym
s
for "dom" an
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
Sven Verdoolaege
update
i
sl to ver
s
ion
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 allow co
d
e
g
eneratio
n
o
n
un
i
on sets
o
f
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-23
S
v
en
V
erdoolaege
update isl to version 0
.
05
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-01
S
v
e
n
Verd
o
olaege
avoid use of isl_set a
n
d isl_map int
e
rnals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-28
S
ve
n
V
e
r
doola
e
ge
s
eparate out isl
interface
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-28
S
v
en V
e
rdoolaege
con
f
i
gure
.
in: propagate a
b
s
o
lut
e
isl build
d
ir t
o
submodule
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-20
Sven V
e
rdo
o
l
aege
u
pdate i
s
l for
rename of
h
eader fil
e
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
S
ven Verdoolaege
evalue_
f
lo
o
r2
f
rac: do
n
't assume coefficients of floor
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sv
e
n
Verd
o
olae
g
e
test_bo
u
nd: stop testing af
t
er pre
d
etermined number
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaege
barvinok_bound: rewr
i
te in C
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
S
v
en Verdoo
l
aege
b
arvinok
_
{s
u
mmate,bound}:
t
ak
e
isl
i
nput
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaege
tes
t
_bound: switch to
isl
r
epresent
a
ti
o
n even earl
i
er
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
S
v
en Verdoolaege
test_bound:
s
w
i
tc
h
to isl r
e
presentation earlier
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sve
n
V
erdoolaege
is
c
c: add p
o
lynomial approxim
a
tions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-11
Sven Verdoolaege
ba
r
v
inok_s
u
mma
t
e
: rew
r
i
t
e in C
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-11
Sven V
e
r
d
o
olae
g
e
bar
v
in
o
k_summate: use isl interface
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-10
Sv
e
n V
e
rdoolaege
bound
.
cc: drop dead code
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-07
Sve
n
Verdoolaege
doc
:
more information ab
o
ut using sets and
maps
in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-06
S
ven Verdoolaege
doc: update some references
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-06
S
ven Verdo
o
lae
g
e
i
scc: add
p
oly
operation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-03
Sven Verdoolaeg
e
i
s
c
c
:
add sc
a
n oper
a
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-01
Sv
e
n
V
erdoolaege
isl_pw_qpolynomial_su
m
:
h
and
l
e existentials in wra
p
ped
.
.
.
commit
|
commitdiff
|
tree
2010-10-27
Sve
n
V
e
rdoolaege
update isl for re
n
aming
of isl_ma
p
_remove
commit
|
commitdiff
|
tree
2010-10-20
Sven Verdoolaege
versio
n
.
c:
s
how use of CLooG
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoolaege
d
o
c: a bit m
o
re info on iscc
commit
|
commitdiff
|
tree
2010-10-18
Sve
n
V
e
rdoola
e
ge
i
s
c
c
:
add before a
n
d a
f
ter operations
commit
|
commitdiff
|
tree
2010-10-18
Sve
n
Verdoolae
g
e
i
scc: a
d
d i
d
entity operation
commit
|
commitdiff
|
tree
2010-10-18
Sve
n
Verdoolaege
iscc: break out off main loop
w
hen printer no lo
n
g
er
.
.
.
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoo
l
aege
iscc: suppo
r
t exten
d
ed
PolyL
i
b output format
commit
|
commitdiff
|
tree
2010-10-18
S
v
e
n
V
e
rdool
a
e
g
e
config
u
re
.
in: p
e
rform check
for GMP sup
p
o
rt
i
n
NTL
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
iscc:
a
dd composition operatio
n
on piece
w
i
se quasipolynomial
.
.
.
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
iscc: add dependence
a
nalys
i
s operations
commit
|
commitdiff
|
tree
2010-10-11
Sven Ver
d
oolaeg
e
i
s
c
c
: re
g
ister ext
r
a
keywords
i
n generic way
commit
|
commitdiff
|
tree
2010-10-11
Sv
e
n Verdoolaege
u
s
e
isl to perfo
r
m
"
manu
a
l
_
co
u
nt"
commit
|
commitdiff
|
tree
2010-10-11
Sven
V
erdoolaege
allow building wi
t
h
ou
t
pipli
b
commit
|
commitdiff
|
tree
2010-10-11
Sven Verd
o
olaege
Pol
y
hedron_Reduced_Basis: op
t
i
o
n
ally
u
se isl
commit
|
commitdiff
|
tree
next