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 Verdoolaege
a
d
d isl_basic_map_s
e
t_
r
ational
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sv
e
n
Ve
r
doolaege
isl_bas
i
c_
m
ap_fast_cmp:
dif
f
erentiate between
r
ationa
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven
V
erdoola
e
ge
isl_o
u
tput
.
c: remo
v
e some cod
e
duplicatio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdool
a
ege
is
l
_
printer_p
r
int_basic_{set,map}
:
don't start
n
e
w
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-12
Sven Ve
r
do
o
laege
isl_stream_read_map: acce
p
t
'|' at start of co
n
s
traint
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-12
Sv
e
n Verdoolae
g
e
isl_s
t
ream: kee
p
t
rack of textual representation of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-11
Sven Verdoo
l
ae
g
e
isl_input
.
c: clea
n
up re
a
d_disju
n
cts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-11
Sven Verdo
o
laege
is
l
_
s
tream_read_map: accept disjunctions
w
ithin a conjunc
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-10
Sven V
e
rdoolaege
isl_
c
onvex_hull
.
c: explicitly mark
w
rapping
lp pr
o
blem
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-10
Sven Verdoolaege
isl_tab_m
i
n: micro-op
t
i
miza
t
ion: postpone taking into
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Ve
r
doolaege
Merge branch 'm
a
int
'
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
isl_tab_a
d
d
_
r
ow:
a
dd further explanatio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
i
s
l_tab
.
c
:
fix typos in
c
o
mments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolae
g
e
isl_
t
ab_pip
.
c: correctly dete
c
t non-negativ
i
ty of
divs
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sv
e
n
V
e
rdo
o
l
a
ege
add test
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdo
o
laeg
e
test both context handling mechanisms of
isl_pip
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Ver
d
o
o
laege
isl_tab_is_equ
a
lity: p
r
operly
support "big parameter"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
S
v
en Verdoolaege
isl_tab_pip
.
c: fix
t
ypo in c
o
mm
e
nt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoola
e
ge
isl_affine
_
hull
.
c: fix ty
p
os in comme
n
ts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sve
n
Verdoo
l
ae
g
e
i
s
l_uni
o
n_map_c
o
mp
u
te_f
l
ow: return acce
s
ses with no
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolae
g
e
Merge
bran
c
h 'maint'
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
isl_union_ma
p
.
c
: inplace
:
p
a
ss dat
a
pointer to isl
_
hash_tabl
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-27
S
v
en Verdoolaege
isl_dim_m
o
ve: u
p
date para
m
ete
r
s of nested spaces
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-27
Sven
Verdoolaege
add isl_map_na
t
_universe
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-27
Sv
e
n Verdoolaege
c
l
ean up
isl_set_from_basic_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-27
Sven Verdoolaege
merge
isl_ba
s
i
c
_set/isl_basic_map and i
s
l_set/is
l
_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-26
Sven Verdo
o
lae
g
e
r
e
name "
o
mega" transitiv
e
clos
u
re to
"box" transitiv
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
export isl_int_obj_free
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sv
e
n Verdoolaege
isl_vertices
.
c: fix typos
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven V
e
rd
o
olaege
i
sl_un
i
on_
t
emp
l
.
c: fi
x
typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven V
e
rdoolaege
isl_map_
s
u
b
t
ra
c
t
.
c: n_non_r
e
d
u
n
d
ant: propage
i
sl_
c
tx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoo
l
ae
g
e
isl_be
r
nst
e
i
n
.
c
:
f
ix typ
o
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
add isl_union_pw_qpolyn
o
mia
l
_
m
ul_i
s
l
_
int
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven
Verdool
a
ege
isl_stre
a
m_read_obj:
read int objects
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolae
g
e
add i
n
t
objects for
us
e
in
iscc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-22
Sven
Verd
o
olaege
isl_bas
i
c_map_remove_divs: fi
n
a
lize result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-22
Sven V
e
rd
o
olae
g
e
add isl_
b
as
i
c_
s
et
_
get_tuple_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-22
Sve
n
V
erdoolae
g
e
Merge br
a
nch 'maint'
commit
|
commitdiff
|
tree
2011-01-22
Sven
V
erdo
o
laege
isl_union_map_sam
p
l
e
: don't re
t
urn
NUL
L
o
n empty inpu
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-21
S
v
en Ver
d
oolaege
isl_basic
_
map_
s
et_tup
l
e_
n
ame: f
i
nalize result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-21
Sven Verdoolae
g
e
isl_transitive_closur
e
.
c
: more anonymize input
m
a
p
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-21
Sven Verdoola
e
ge
isl_basic_set_factoriz
e
r
: make sure group i
n
formati
o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-19
Sv
e
n
Verdool
a
ege
add
isl_union
_
map_range_product
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-19
Sven Ve
r
doolaege
doc: document pro
d
uct functions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-19
Sven Verd
o
olaege
renam
e
isl_basic_set_product to
i
sl_basic_set_lis
t
_product
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-18
S
ven V
e
rdoolaege
i
s
l_s
e
t
_
convex_hull:
optionally use Fourier-Motzk
i
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdo
o
laege
isl
_
b
asic_
s
et_sample
_
point
:
exploit
f
actor
i
zation if any
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaeg
e
add is
l
_
morph
_
vec
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
S
v
en V
e
rdoolaeg
e
cha
n
ge pro
t
otype of isl_vec_
d
ump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
S
v
en Verdoolaege
add isl_
p
rinter_print_vec
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sve
n
Verdoo
l
aege
add
isl_union_
s
et_a
p
ply_union
_
pw_qpolynomi
a
l_fold
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Ver
d
ool
a
ege
e
xport
isl_union_map_from_
d
omain and isl_u
n
ion_
m
ap_from_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven
Verdo
o
laege
i
s
l_
b
asic
_
map_intersect_d
o
main: repl
a
ce open-coded
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven
V
erdoolaege
i
s
l_stream_r
e
ad
_
map: acce
p
t m
o
du
l
o
expressi
o
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
i
s
l_basic_map_in
s
ert
:
don't simplify the
result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
S
ven Verdoolae
g
e
Me
r
ge
branch 'm
a
int'
commit
|
commitdiff
|
tree
2011-01-16
S
v
e
n Verdoolaege
isl_
b
asic_ma
p
_from_
c
onstraint
_
matrices
:
clear newly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdoo
l
aege
isl_t
o
ken_free: free strin
g
repr
e
senta
t
io
n
of keywords
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sv
e
n Verdoolaeg
e
isl_input
.
c: read_
f
act
o
r: drop une
x
pected identi
f
ier
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sven
V
erdoolae
g
e
isl_input
.
c: accep
t
_affine_factor: avoid doubl
e
f
r
ee
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-08
S
v
e
n Verdoolaege
i
s
l_
s
tream_read_
m
ap: allow space names that happ
e
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-08
Sven Verdoolaege
isl_
s
tream_next_token
:
keep track of stri
n
g represe
n
tation
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdoola
e
g
e
add isl
_
ba
s
ic
_
s
e
t_flatten
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
S
ven Verdoolaege
a
dd i
s
l_union_map_simp
l
e_hull
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdoolaege
Merge branch 'main
t
'
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdoolaege
a
dd i
s
l_
s
e
t
_r
e
move_
u
n
known
_
d
ivs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven Ve
r
do
o
laege
isl_map_is
_
subs
e
t: d
o
n't compute d
i
vs of minue
n
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdoolaege
rena
m
e isl
_
map_
i
s_s
i
ngleton
to
isl_
m
ap_fast_is_si
n
gleton
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdoola
e
ge
add isl_map
_
fast_is_sin
g
le
_
v
alu
e
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdoolaege
add
isl_qpolynomial_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven
Verd
o
o
laege
exp
o
rt isl_union_set_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdoolaege
isl_
q
p
olyn
o
mial_add_
o
n_domain: compute
g
i
st
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
sc
e
a
nd is
l
_
u
ni
o
n_map_compute_d
i
vs
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-06
Sv
e
n Verdoolae
g
e
isl_b
a
sic_map_solv
e
_lp:
u
se denom
i
n
a
t
or
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
Sv
e
n
V
e
r
d
oolaege
Merge commit 'is
l
-0
.
05
.
1
'
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
Sven
Ver
d
ool
a
ege
isl 0
.
0
5
.
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
Sv
e
n V
e
rd
o
olae
g
e
isl_tab_basic_m
a
p_p
a
r
tial_lexopt: f
i
x
up symmetr
y
d
e
tecti
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
Sven Verdoolaege
i
s
l_ba
s
ic_map_u
n
ivers
e
: finalize result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
Sven Verdool
a
eg
e
isl_seq
.
h:
a
llow inclu
s
i
on from C
+
+
commit
|
commitdiff
|
tree
2010-12-30
Sven Ve
r
doolaege
reim
p
lem
e
nt isl_ma
p
_partial_lexopt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-30
Sven Verd
o
olaege
isl_map: fix typos
i
n comments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-30
Sve
n
Verdool
a
ege
add som
e
mo
r
e is
l
_map_l
e
xmin tests
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
S
ven Verdoo
l
aege
add
i
sl_qpolynomia
l
_
a
dd_isl_in
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdoolaege
add isl_
p
w
_
qpol
y
nomial_fold_dum
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sven
V
erdoolaege
add isl_pw_qpolynomial_dum
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
S
ven Verd
o
o
l
aege
add isl_qpolynom
i
a
l
_fo
l
d_
d
ump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
S
v
en Verdoolaege
add isl_qpolynomi
a
l_fold_ge
t
_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdoolaege
isl_prin
t
er_print_qpolynomia
l
_fold: support C f
o
r
mat
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sven V
e
rdo
o
lae
g
e
e
xport isl_printer_p
r
int_qpo
l
ynomial_
f
old
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdo
o
laege
export
i
sl_u
n
ion_map_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sven Ve
r
doolaege
add isl_{set,map}_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdoolaege
add isl_ba
s
i
c
_{set,m
a
p
}_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdool
a
e
ge
i
s
l_pri
n
t
e
r
_
print_ba
s
i
c
_{set,map}
:
don't print newline
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdoolae
g
e
ren
a
m
e
isl
_
*
_
d
u
mp to isl_*_
p
r
i
nt_internal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-27
S
v
e
n Verd
o
olaeg
e
make isl/point
.
h self-conta
i
ned
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-23
Sven Ve
r
doolaege
isl 0
.
05
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-22
Sven Ve
r
d
oolaege
isl
_
printer_
p
r
int_basic_map: plug me
m
ory leak on
e
rro
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-22
Sven Verdoo
l
aege
isl_d
i
m_
s
et_name:
p
lu
g
memory lea
k
when ov
e
rw
r
iting
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-18
Sven Verdoo
l
aege
isl_tab_basic_map_partial_lexopt: de
t
ect and exploit
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-18
Sven Verdoolaeg
e
isl_ta
b
_
pip
.
c:
fix
t
ypos in comme
n
ts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next