repo.or.cz
/
isl.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
add isl_basic_set_offset
2011-04-21
Sven Verdoola
e
ge
add isl_basic_set_off
s
et
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoola
e
ge
change isl_m
a
t_sub_alloc
p
rototype
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
v
e
n Verdoolaege
make isl_ma
t
_sub_* function
s
private
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
v
en
V
e
r
doolaege
add isl_vec_
g
et_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoo
l
aege
add
i
sl_mat_ini
t
ial_non_zero_cols
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven
V
e
r
doolaege
add isl_
m
at_set_e
l
em
e
nt_si
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven
V
erdo
o
laege
add i
s
l
_basic_
s
e
t
_add_constrain
t
s_dim_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ver
d
o
o
laege
add isl_dim
_
map_rang
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven
Verd
o
olaege
isl_dim_map: allow signed mapping
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
isl_dim
_
m
a
p:
e
xt
r
ac
t
from isl_map
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sv
e
n Verdoolaege
ch
a
ng
e
prot
o
type of isl_ta
b
_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sve
n
Ve
r
doolae
g
e
a
d
d isl_map_remove_divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
v
e
n Ve
r
doolaege
doc: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
ven Verdoo
l
aege
doc: ad
d
a n
o
te on the accuracy o
f
our approximation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sve
n
Verdoolaege
a
dd isl_union_set
_
coeffic
i
ents and isl_union_
s
e
t
_solutions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-19
Sven Verdoolaege
add
i
sl_union_set_l
i
ft
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-19
Sven Ver
d
oolaege
M
e
r
g
e branch 'maint'
commit
|
commitdiff
|
tree
2011-04-19
Sven Verdoolaege
isl_tab: alway free saved
basis undo record
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-19
Sven Verdoolaege
make
s
ure
d
estination for G
D
B module ex
i
sts be
f
or
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-19
Sven V
e
rdoolae
g
e
isl_
t
ab_
p
ip
.
c
: add_lex
m
in_eq: remove misg
u
ide
d
opt
i
m
iza
t
i
ons
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-11
Sven Verdool
a
ege
isl_basic_map_lexm
i
n
: turn o
f
f equali
t
y d
e
t
e
ction
on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-11
Sven Ver
d
oolaege
use silent make rules
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-11
Sven Verdoolaege
i
s
l_stream_read_
m
a
p
: fix ha
n
dli
n
g of
d
ivs in tuples
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-11
S
v
e
n
Verdo
o
l
aege
isl_m
a
t_left_hermite: plug m
e
mory
l
ea
k
on
error p
a
th
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-11
Sven Verdool
a
ege
plug memory l
e
ak in is
l
_
mat_
p
roduc
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdool
a
ege
isl
0
.
06
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven
V
erdoolaege
doc: add so
m
e implement
a
ti
o
n d
e
tails on para
m
etric
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
S
ven Verdoo
l
a
e
g
e
is
l
_
lp
.
c: avo
i
d
c
la
n
g warning
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verd
o
olaege
isl_stre
a
m_read_map:
a
c
cept floord an
d
cei
l
d
expressi
o
ns
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
isl_stream_read_m
a
p: accept min
a
nd max expression
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven
Verd
o
olaege
isl_stream_read_ma
p
:
prope
r
ly read nested
d
ivs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sve
n
Verdoolaege
isl_stream_r
e
ad_
m
ap: treat di
v
s
as outpu
t
variables
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdo
o
l
a
ege
isl_map_c
o
a
lesce
:
plug mem
o
ry
l
eak on er
r
or pat
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verd
o
olaege
isl_mat_
e
xtend: avoid
memory le
a
k when re
a
ll
o
c fails
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
S
v
en Verdoola
e
ge
isl_basic_m
a
p_
o
verlyin
g
_set: avo
i
d memory leak when
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Ver
d
oolaege
isl_stream_getc: avo
i
d memory
l
eak when realloc fails
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sv
e
n
V
erdoolaege
ru
d
i
m
e
ntary support for asynch
r
onous termi
n
ation of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-16
Sven Verdoolaege
hide isl_ctx internals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
Sven Verdo
o
laeg
e
is
l
_vec_rea
d
_from_file: drop inpu
t
_format
a
rgume
n
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
S
v
en Verdoolaege
isl_map
.
c: drop unused er
r
or label
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
Sven
V
erdoolaege
i
sl_input
.
c
:
drop unu
s
e
d
e
r
ror label
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
S
v
en Verdoolaege
r
e
spe
c
t DESTDIR when installing isl
.
p
y
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdoolaege
i
sl_
s
tream: accept "$" t
o
ken
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven
V
erd
o
olaege
add isl_un
i
on_map_power
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven
V
erd
o
olaege
change isl_map_
p
ower
in
t
erface
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdoo
l
aege
add i
s
l_uni
o
n
_
map_zip
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdoo
l
aege
add pri
v
ate isl_basic_m
a
p_swap
_
vars
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-10
S
v
en Verdoolaege
add isl_un
i
on
_
map_del
t
as_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-10
Sven
V
erdoolae
g
e
Merge branch '
m
aint'
commit
|
commitdiff
|
tree
2011-03-10
S
ve
n
Verdoolaeg
e
i
s
l_map_deltas: don't copy flags f
r
om input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-05
Sven Verdoolaege
isl_
s
tream
_
read_map
:
accept c
o
nsta
n
t expressions of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-05
Sv
e
n V
e
rd
o
o
laege
isl_stream:
a
ccept "/\
"
and "\/" as alter
n
ativ
e
s for
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-05
Sven Verdoolaege
isl_stream: only quote newline using '\'
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-05
Sven
V
e
r
doolaege
isl_stream: maintain
private u
n
get
c
buffer
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-02
S
v
en Verdoolaege
isl_
s
e
t
_lifting: si
m
p
l
ify and finalize result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-02
Sven Verdoo
l
aege
doc: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-02
Sve
n
Ve
r
d
oolaege
doc: dro
p
long
ou
t
dated note on transi
t
ive c
l
osures
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-01
Sven V
e
rdoola
e
ge
add isl_basic_set_get_
d
i
m_
n
ame
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-25
Sve
n
Verdoola
e
g
e
i
sl_map_identity: take dimension specification o
f
ma
p
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-25
Sven Verd
o
olaege
re
n
ame
isl
_
dim_map to
i
s
l_dim_map_from_s
e
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-25
S
v
en Verdoolae
g
e
transit
i
ve
c
losure: pr
o
j
ec
t
out parame
t
ers whe
n
a
n
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sven Verdoolaege
privately export isl_basic_set_
r
ese
t
_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sve
n
Verdoola
e
ge
isl_set
_
lift:
preserve structure of
space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sven
V
e
r
d
oo
l
aeg
e
i
s
l_pw_qpolynomial_bound: hand
l
e co
m
bination o
f
w
rapping
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sven Verdoolaege
isl_
t
ab_pip
.
c: fix typo in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sven Verd
o
o
l
a
ege
isl_tab:
c
he
c
k f
o
r obviously
empty t
a
bleau
s
aft
e
r discoveri
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sven
Verdoolaege
isl
_
bas
i
c_map_gi
s
t:
p
refer contrain
t
s without existen
t
ially
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-20
Sven
Verdoolae
g
e
isl
_
basic_map_sort_const
r
a
i
nts:
c
hange compa
r
ison routine
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-19
S
v
en Verdoolaege
isl_tab_ineq_type:
c
lassif
y
m
ore
c
onstraints as bein
g
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-19
Sven Verdoolaege
is
l
_
m
ap_coalesce: be
mo
r
e re
l
axed about multiple equalities
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
Sven Verdo
o
laege
add isl_b
a
sic
_
map_from_
d
omain_and_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
Sven
V
e
r
d
oola
e
ge
a
d
d isl_basic_s
e
t_ne
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
Sven Verdoo
l
aege
add
i
sl_basic_set_flat_pro
d
u
ct
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
Sven V
e
r
d
oolaege
export isl_b
a
sic_map_f
l
atten
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
Sven Ve
r
d
oolaege
add isl_ba
s
ic_map_from_
q
polyn
o
mia
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sv
e
n Verdoolaege
is
l
_stream: support
\<
n
ewline> lin
e
continuation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdoolaege
a
d
d isl_union_map_
r
ead_
f
rom_fi
l
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven Ver
d
oo
l
ae
g
e
i
s
l_st
r
eam
_
rea
d
_
map: accept 'tr
u
e
'
an
d
'false' constraints
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven V
e
rdoo
l
aege
isl_stream_re
a
d_map: allo
w
extra ';' at end of map
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdo
o
laege
i
sl_stream_read_map: all
o
w negati
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven
V
erdoolaege
isl_s
t
r
e
am_rea
d
_map:
a
llow existenti
a
l quantification
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdoola
e
ge
privately export isl_basic_map_ad
d
_
d
i
v_constraints_var
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven
V
erdoolaege
isl_morph_basic_set:
pres
e
rve rational
i
ty of input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolaege
add
is
l
_bas
i
c_set_is_
r
ational
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven V
e
rdoo
l
aege
isl_printer_p
r
i
nt_basic_ma
p
:
e
xp
l
i
citly
mark ra
t
i
onal
.
.
.
commit
|
commitdiff
|
tree
2011-02-13
S
ven Verdo
o
laege
isl
_
stream_re
a
d_map: read
rational maps
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoola
e
ge
i
s
l
_ba
s
ic_ma
p
_insert
:
preser
v
e
r
ationa
l
it
y
of inp
u
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sv
e
n Verdoola
e
g
e
add isl_ba
s
ic_m
a
p_set_rationa
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven
V
e
rdoolaege
is
l
_basic_map_
f
ast_cmp: diffe
r
entiate between ration
a
l
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Ve
r
doolaege
isl_output
.
c: rem
o
v
e so
m
e code duplicati
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sve
n
Ve
r
d
o
olaeg
e
i
s
l_printer_print_b
a
sic_{set,map
}
:
don
'
t start new
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-12
Sven Verdoolaege
isl_stream_read
_
map: accept
'|' a
t
s
t
art of c
o
nstraints
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-12
Sve
n
Ve
r
doolaege
isl_st
r
eam: keep tr
a
c
k
of textual representation o
f
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-11
S
v
e
n V
e
rdoolaege
isl_inpu
t
.
c
: clea
n
up
r
e
a
d_disjun
c
ts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-11
S
v
en Ve
r
doolaege
isl_stream_read_
m
ap: accept disjunctions
w
ithi
n
a conjunct
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-10
Sven Verdoolaege
isl_convex_hull
.
c: e
x
p
lici
t
ly mark
wrap
p
ing lp problem
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-10
Sv
e
n Ver
d
oolaege
isl_t
a
b_min: micro-optimiza
t
io
n
: pos
t
pone taking into
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2011-02-05
Sven Ver
d
o
o
laege
isl_t
a
b_a
d
d
_
r
ow
:
add further exp
l
anatio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven V
e
rdoola
e
ge
i
sl_tab
.
c:
f
i
x typos in comments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next