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_map_set_rational
2011-02-13
Sven
Verd
o
o
l
aege
add
i
sl_basic_map_set_ration
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven
V
erdoolaege
isl_basic_map
_
f
ast_cmp: differenti
a
te between
rational
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sv
e
n Verdoolaege
isl_outpu
t
.
c: remove some code duplication
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
S
v
e
n
Ver
d
oo
l
aege
isl_pr
i
nter_print
_
basic_{s
e
t
,
map}: don't star
t
new
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-12
Sve
n
Verdoolaege
isl
_
stre
a
m_r
e
ad_map: accept '|' at start
of constraints
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-12
Sv
e
n Ver
d
oolaege
isl_stream:
k
eep track of textual repr
e
s
e
nt
a
t
i
on
of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-11
Sven Verdoolaege
isl_input
.
c: c
l
ean
u
p re
a
d_
d
isju
n
cts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-11
Sven
Verdoolaege
isl_stream_read_ma
p
: a
c
cep
t
disjunctions w
i
thin a c
o
njunct
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-10
Sven Verdoo
l
aege
isl_convex_hu
l
l
.
c: explicitly mark
w
ra
p
pi
n
g
lp pr
o
blem
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-10
Sven Verdool
a
ege
isl_tab_min: micro-opt
i
mization: pos
t
pone takin
g
i
n
to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
S
ven
Verdoolaeg
e
Merge
branch 'maint'
commit
|
commitdiff
|
tree
2011-02-05
Sven Ver
d
oolaege
i
sl_tab_
a
dd_row: add further exp
l
anation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
isl_tab
.
c: fix typos in comments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven
Verdoolaege
isl_tab_pip
.
c: correctl
y
detect non-negativity of divs
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven
Verd
o
ola
e
ge
add
t
est
commit
|
commitdiff
|
tree
2011-02-05
Sv
e
n Verd
o
ol
a
e
g
e
test both co
n
text
h
andli
n
g m
e
ch
a
nis
m
s o
f
isl_pip
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdo
o
l
a
ege
isl
_
tab_is_equality: p
r
o
p
er
l
y support "big paramete
r
"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
isl_
t
ab_pip
.
c
: fix typo in comm
e
n
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven
V
erdoolaege
isl_affine
_
h
ul
l
.
c
: fix t
y
pos in co
m
ments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaeg
e
isl_union_map_
c
ompute
_
flow: return accesses w
i
th no
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolae
g
e
Me
r
ge b
r
an
c
h 'maint'
commit
|
commitdiff
|
tree
2011-02-05
S
ven Verdoolaeg
e
isl_
u
ni
o
n_map
.
c: in
p
lace: pa
s
s da
t
a
p
o
i
n
te
r
to isl_hash_tabl
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-27
Sven
Ver
d
oolaege
isl_dim_move: upda
t
e para
m
eters of nested spaces
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-27
Sven Verdoolaege
a
d
d isl_m
a
p_nat_universe
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-27
Sven Verdoolaege
c
l
e
an up isl
_
set_from_ba
s
ic_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-27
Sven Ver
d
oolaege
m
e
rge isl_basic_set/
i
sl_basic_
m
ap and
i
s
l
_set/isl_m
a
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-26
S
v
en
V
erdoolaege
rename "
o
meg
a
" transi
t
ive clos
u
re to
"box" transitive
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sv
e
n V
e
r
doolaege
export isl_int_obj_free
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
S
v
en Ver
d
oolaege
i
s
l_vertices
.
c: fix typos
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Ve
r
doolaege
isl_union_t
e
mpl
.
c: fix ty
p
o
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven
V
e
rdoolaege
isl_m
a
p_sub
t
ract
.
c: n_n
o
n_re
d
undant: propage is
l
_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
isl_b
e
rnstein
.
c: fix t
y
po
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Ve
r
dool
a
ege
add isl_unio
n
_pw_qpoly
n
omial_mul_isl_in
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
isl_str
e
am_read_obj: read int objects
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
S
v
en Verdoola
e
ge
a
dd
int objects for use in iscc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-22
Sven
V
erdoolae
g
e
isl_basic_map_r
e
move_divs: finalize result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-22
Sve
n
Verdoola
e
ge
ad
d
isl_basic_set_get_
t
uple_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-22
Sven Verdoolaege
Merge
b
ranch 'main
t
'
commit
|
commitdiff
|
tree
2011-01-22
Sven
V
erdoola
e
g
e
isl_
u
nion_map_s
a
m
p
le: don't r
e
turn NUL
L
on empty
i
npu
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-21
S
v
e
n
V
erdo
o
laege
i
sl_basic_ma
p
_s
e
t_tuple_name
:
f
in
a
li
z
e result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-21
Sve
n
Ve
r
doolaege
isl_transitive
_
closure
.
c: m
o
r
e
anonym
i
ze input map
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-21
Sven
Verdoolaege
i
sl_basi
c
_
s
e
t
_
factorize
r
:
make
s
ure group informa
t
i
on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-19
Sven Verdo
o
l
aege
add
i
sl_u
n
ion_
m
ap_
r
ange_p
r
oduct
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-19
Sven Verdoolaege
doc:
document p
r
oduc
t
functi
o
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-19
Sve
n
Verdoolaege
r
e
n
a
me isl_ba
s
ic_se
t
_product to
isl_basic_set_list_product
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-18
Sven
Verd
o
o
l
aege
i
s
l_set_convex_
h
ull:
opti
o
nally
u
se F
o
urier-Motzkin
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sve
n
Verd
o
olaege
is
l
_ba
s
ic_set_sample
_
point:
exploit facto
r
i
zation if any
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sve
n
Verd
o
olae
g
e
add isl_morph_vec
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
c
hange prototype of isl_vec_du
m
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
S
v
e
n
Ve
r
doolae
g
e
add isl_pri
n
ter_pri
n
t_vec
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verd
o
olaege
add isl
_
union_s
e
t_
a
pply_union_
p
w_qpolyn
o
mial_fold
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sv
e
n V
e
rdoolaege
export isl
_
u
n
ion_map_from_doma
i
n
and is
l
_union_map_from_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Ve
r
d
o
olae
g
e
i
s
l
_basic_
m
ap_interse
c
t_domain: replace open-coded
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
isl_stream_read_map: acce
p
t modulo
e
xpre
s
sions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven
V
erdoolaege
i
sl_basic_map_inse
r
t
:
do
n
't simplify
the re
s
ult
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven V
e
rdoolaege
Merge
b
ranc
h
'maint'
commit
|
commitdiff
|
tree
2011-01-16
S
v
en Verdo
o
laege
isl_b
a
sic_m
a
p_from_con
s
traint_matr
i
ces:
c
lear newly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdoolaege
i
s
l
_
t
oken_free: free s
t
r
i
ng representation of keywords
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sven Ver
d
oo
l
ae
g
e
isl
_
input
.
c: read_fa
c
to
r
: dr
o
p unexpected identifier
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sven Ve
r
doolae
g
e
i
s
l
_
in
p
ut
.
c: accept_
a
ffine_factor: avoid double free
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-08
T
o
bias Grosser
Add isl
_
union_(
s
et/map)_dete
c
t_equalities
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-08
Sven Verdoolae
g
e
isl_stream_read
_
map:
allow s
p
a
c
e
names
t
h
a
t
h
a
ppen
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-08
Sven V
e
rdoolae
g
e
isl_s
t
re
a
m_ne
x
t_token: k
e
ep track of string
r
epr
e
sentation
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
S
v
en V
e
rdoolaege
add isl
_
basic_s
e
t_flatten
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdoolaege
add isl_u
n
i
o
n_
m
ap_simple_h
u
l
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdoolaege
Merge branc
h
'
maint'
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
S
v
en Verdool
a
ege
a
dd
isl_s
e
t_
r
emove_unk
n
own_
d
ivs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sve
n
Verdo
o
laeg
e
isl_m
a
p_is_subse
t
: don'
t
compute divs of minuend
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdoolae
g
e
rena
m
e is
l
_map_i
s
_sin
g
leton
to isl_map_fa
s
t_is_singl
e
ton
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdoolaege
add isl_map_fast_is_single_valued
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
S
v
en Verdoolaege
ad
d
isl_qpolynom
i
a
l_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven
V
erdoo
l
aege
ex
p
ort i
s
l
_union_s
e
t
_
du
m
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdoolaeg
e
isl
_
qpolynomia
l
_add_on_domain: com
p
ute gist with resp
e
ct
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-06
Sven Verdoolaege
isl_union_map_coal
e
sce
a
nd isl_union_map_com
p
u
te_divs
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-06
Sven Verdo
o
lae
g
e
isl
_
basic_map_solve_lp: use
denomi
n
a
tor
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
Sven Ver
d
oolae
g
e
M
e
rge commit 'i
s
l-0
.
05
.
1'
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
Sv
e
n Ve
r
doolaege
isl 0
.
05
.
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
Sven Verdoolaege
i
s
l_tab_
b
asic_
m
ap_partial_lexopt: fix u
p
symmetry detec
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
Sv
e
n
V
e
rdool
a
e
ge
isl_basic_map_uni
v
erse: f
i
nalize resu
l
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
S
ven Verdo
o
laege
isl_seq
.
h: all
o
w inclusio
n
from
C
++
commit
|
commitdiff
|
tree
2010-12-31
T
o
bias Gr
o
sser
A
d
d
GDB modul
e
th
a
t defines an
islprin
t
co
m
mand
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-30
Sven Ver
d
o
o
laege
reimplem
e
nt isl_ma
p
_pa
r
tial_lexopt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-30
S
ven V
e
rdoolaege
is
l
_map: fix
typos in commen
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-30
Sven Verdoolaege
add some mor
e
isl_map_
l
exmin
t
ests
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sve
n
Verd
o
ol
a
ege
add isl_qpoly
n
o
mial_add
_
isl_int
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
S
ven Verdoolaege
add
isl_pw_qpolynomia
l
_fold_d
u
m
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sven Ve
r
doolaeg
e
add isl
_
pw_qpolynomial_
d
ump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
S
v
en Verdoolaege
add isl_qpolynomial_f
o
ld_
d
ump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdoola
e
ge
add isl_qpolynomial_fold_get_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdoola
e
ge
isl_
p
rinte
r
_print
_
qpolyn
o
mial_fold: support C format
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sven Ve
r
doolaege
export isl_print
e
r_print_qpolynomial_fo
l
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sv
e
n Verdool
a
ege
export is
l
_union_map
_
dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sven
V
e
r
d
oolaege
add isl_
{
set,map}_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdool
a
ege
a
d
d isl_basic_{set,map}_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verd
o
olaege
isl_printer_print_b
a
sic_{set,map}: don't print
newl
i
ne
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sve
n
Verdoola
e
ge
ren
a
me is
l
_*_du
m
p to i
s
l_*_
p
rin
t
_in
t
e
r
nal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-27
Sven
V
erdoolaege
make
i
sl/
p
oint
.
h self-contained
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-23
Sven V
e
rdoolaege
i
sl 0
.
0
5
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-22
Sven Verd
o
ol
a
ege
i
sl_
p
rint
e
r
_print_basic
_
map: plug memory l
e
ak on error
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-22
Sven Verdoolaeg
e
isl_
d
i
m
_
set_name: pl
u
g memory le
a
k
when overwriting
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next