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
isl_basic_map_gist: prefer contraints without existentially quantified variables
2011-02-21
Sven
V
erdool
a
ege
isl_ba
s
i
c
_map
_
gist: prefer contraints without exis
t
e
n
tially
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-20
Sven Verd
o
olae
g
e
isl_basic_ma
p
_sor
t
_constra
i
nts: change
c
omparison routine
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-19
Sven Verdoolaege
isl_t
a
b_i
n
e
q
_type
:
classif
y
more con
s
traints as
being
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-19
S
v
en Ve
r
d
o
o
laege
isl_map_coalesce
:
be m
o
r
e rel
a
xed abou
t
multipl
e
equalities
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-18
Sve
n
V
e
r
d
oolae
g
e
a
dd
isl
_
b
asic_map_from
_
domain_a
n
d
_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-18
S
ven Verdoolaege
add isl_basic_se
t
_neg
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-18
Sven Verd
o
olaege
add is
l
_
b
asic_set_flat_produ
c
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-18
S
v
en
V
erdoolaege
export isl_
b
asic
_
map_flatten
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-18
Sve
n
Verdoo
l
aege
add isl_basic_ma
p
_from_
q
polynom
i
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdoo
l
aege
isl_
s
tream: su
p
port
\<ne
w
line>
line continu
a
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sven Ver
d
oolaege
a
dd isl_union
_
map_read_
f
ro
m
_
f
i
le
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdoo
l
aege
isl_stre
a
m
_read_map: accept 'true' and 'false
'
constraints
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
S
v
en Verdoolaege
isl
_
stream_read_map:
allo
w
extra '
;
' at end of map
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdoo
l
aeg
e
isl_stream_read
_
map: all
o
w n
e
gati
o
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdoolaege
isl_str
e
am_read_m
a
p: a
l
low existentia
l
quantifi
c
atio
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdoolaege
pr
i
vat
e
ly
export
isl_basic_map_add_di
v
_
constrain
t
s_var
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven Ve
r
d
oolaege
isl_morph_ba
s
ic_s
e
t: prese
r
ve ratio
n
a
l
i
ty of input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
S
ven Verdo
o
laege
add
isl_basic_
s
et_
i
s_rational
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolaege
isl_printer_
p
rint_
b
asic_ma
p
:
explicitly mark ra
t
ional
.
.
.
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolae
g
e
is
l
_
s
t
r
eam_read_map: read rati
o
nal maps
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
S
v
en Verdoolaege
isl_basic_map_insert: preserve
r
ation
a
lit
y
of i
n
put
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sv
e
n Verdoolaege
a
d
d i
s
l_
b
asic
_
map_set
_
ration
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven
Verdoolaege
isl_basic_map_fast_cmp: differentiate betw
e
en
r
ational
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolaege
is
l
_output
.
c: re
m
ove s
o
me code dupli
c
ation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
S
v
en Ve
r
doola
e
ge
is
l
_p
r
inter_print_bas
i
c_{set,map}: don't start new
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-12
Sven Ver
d
oolaege
isl_s
t
re
a
m_read_map: accept
'
|
'
at start of c
o
nstraints
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-12
Sven Verdoolaege
is
l
_
stream: keep track of textual r
e
presentation
of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-11
S
ven Verdo
o
laeg
e
isl_i
n
put
.
c: clean up read_disjun
c
ts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-11
S
v
e
n
V
erd
o
olaege
isl_str
e
am_read_map
:
accept
disjunctions with
i
n a conjunct
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-10
S
ven V
e
rdo
o
laege
isl_con
v
ex_hull
.
c: explici
t
l
y mark wrapping lp pro
b
le
m
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-10
Sv
e
n Verdool
a
ege
i
sl_tab_min
:
micr
o
-opti
m
i
z
ation: postpone taki
n
g into
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
S
ven V
e
rdoolaege
M
e
r
ge br
a
nch 'maint'
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
isl_t
a
b_
a
dd_row
:
add
fur
t
her explanat
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Ver
d
oolaege
isl_tab
.
c: fix
typos in co
m
ments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaeg
e
isl_tab_pip
.
c
:
correctl
y
detect no
n
-negativity
o
f di
v
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven
V
erdool
a
ege
add test
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
tes
t
both con
t
ext h
a
ndling mechanis
m
s of isl_pip
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
isl_
t
ab_is_equality: p
r
operly sup
p
ort "big par
a
m
eter"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verd
o
o
lae
g
e
isl_tab_pip
.
c: fix
t
yp
o
in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Ver
d
oolaege
isl_affi
n
e_hull
.
c
:
fix typos i
n
co
m
ments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoola
e
ge
is
l
_
union_map_compu
t
e_f
l
ow: return acce
s
s
es with
no
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Ve
r
doolaege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2011-02-05
S
ven Verdoo
l
aege
isl_un
i
on_map
.
c: inplace:
p
ass data pointer to isl_hash_tabl
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-27
Sven Ve
r
d
oolaege
is
l
_dim_mov
e
: update p
a
rameters of nested spaces
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-27
S
ven
V
erdoolaege
add isl_map_n
a
t_universe
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-27
Sven Verdoolaege
clean
u
p i
s
l_set_fr
o
m_basic_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-27
Sven Verdoolaege
m
e
r
g
e isl_ba
s
i
c
_
set/isl_basi
c
_map and isl_
s
et/is
l
_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-26
Sven
V
erdoolaege
rename "omega" transit
i
ve closure to "box" tr
a
nsiti
v
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
S
v
en Verd
o
olaege
ex
p
ort
isl
_
int
_
obj_free
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdo
o
laege
isl_vertices
.
c: fix typos
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
isl_union_templ
.
c:
f
i
x
t
y
po
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
isl_m
a
p_subtract
.
c:
n
_non
_
redunda
n
t: propage isl_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
S
ven Ver
d
oolaeg
e
i
s
l_bernstein
.
c:
fix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaeg
e
ad
d
isl_union_pw_qpolyn
o
mi
a
l
_
m
ul_i
s
l_int
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven
V
erdoolaege
isl_stream_read_obj: read in
t
objects
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdo
o
laege
a
dd int object
s
for use in iscc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-22
Sven
V
e
r
doolae
g
e
isl_basic_map
_
remov
e
_
d
ivs
:
finalize result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-22
Sve
n
Verd
o
olaege
add
isl_basic_set_get_tuple_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-22
Sven Ver
d
oo
l
aege
Mer
g
e branc
h
'
ma
i
nt'
commit
|
commitdiff
|
tree
2011-01-22
S
v
en Verdo
o
l
aege
i
s
l_union_map_sample: don't return NULL o
n
e
m
pty input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-21
Sv
e
n Verd
o
olaege
isl_b
a
sic_map_set_tuple_
n
am
e
:
f
inalize
r
esul
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-21
Sven Verdoola
e
ge
isl_t
r
ansiti
v
e
_
c
losure
.
c:
m
ore
anonymize
input ma
p
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-21
Sven Verdoolaeg
e
isl_basic_s
e
t_f
a
c
to
r
iz
e
r: make sure grou
p
information
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-19
Sven Ver
d
oolaeg
e
add isl_union_ma
p
_
range
_
product
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-19
Sven Ve
r
do
o
laege
doc: document pro
d
uct functions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-19
Sven V
e
rdoolaege
r
e
n
a
me isl_
b
asic_set_produ
c
t to isl_basic_se
t
_list_product
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-18
Sven V
e
rdoolaege
isl_set_convex_hull:
o
ptionall
y
use Fo
u
r
i
er
-
Motzkin
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaeg
e
i
s
l_basic_set_s
a
mple_point: ex
p
loit
f
ac
t
orizati
o
n if
a
ny
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Ve
r
doolaege
add isl_morph_vec
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoo
l
a
e
g
e
chang
e
prototype of is
l
_vec_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Ve
r
doolaege
add
isl_printer_pri
n
t_ve
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sve
n
Verd
o
olaege
add isl_union_se
t
_apply_
u
nion_
p
w_qpolynomial_fold
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven
V
erdoolaege
export isl_union_map_from_domain and isl_union_map_from_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
isl_ba
s
i
c_map_intersect_domai
n
: replace open-
c
oded
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
S
ven Ver
d
oolaege
isl_stream_read_ma
p
: accept modulo expressions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoo
l
aege
isl_
b
asic_map_insert: don't simplif
y
the resul
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaeg
e
M
e
rge branch 'mai
n
t'
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolae
g
e
isl_bas
i
c_map_f
r
om
_
constraint_matric
e
s: cl
e
ar
newly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdoola
e
ge
i
s
l_
t
oken_free: fre
e
string representat
i
on of
keywords
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sven Ver
d
ool
a
ege
isl
_
input
.
c: read_f
a
ctor: d
r
op unexpected identifier
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
S
ven Verdo
o
laege
is
l
_
inp
u
t
.
c:
accept_affine_factor: avoid do
u
ble free
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-08
Tobias
Gros
s
er
Add
isl_union_(set/map)_detect_equali
t
ies
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-08
Sv
e
n Verdo
o
laege
isl_stream_r
e
ad_ma
p
:
a
l
low space names
that happe
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-08
Sve
n
V
e
rdool
a
e
ge
isl_stream_n
e
xt_token:
k
eep
track of str
i
ng
r
epre
s
en
t
ation
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven
Ver
d
oolaege
ad
d
isl_basic_set_flatte
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
S
v
e
n Verdoo
l
aeg
e
a
d
d
isl_union_map_simpl
e
_h
u
ll
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdoola
e
ge
M
er
g
e
bra
n
ch 'maint'
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven V
e
rdoolae
g
e
a
d
d
isl_s
e
t
_remo
v
e
_
unknown_divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven V
e
rdool
a
ege
isl_ma
p
_is_subs
e
t: d
o
n't
c
o
mp
u
te divs of minuend
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven
Verdoolaege
ren
a
me is
l
_
map_
i
s
_sin
g
let
o
n to i
s
l
_
map_f
a
st
_
is_singleton
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdoo
l
aege
add isl_map_fast_is_single_
v
alued
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdool
a
e
g
e
a
d
d isl_qpolynomial_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
S
ven Ve
r
doola
e
ge
export isl_unio
n
_s
e
t
_
du
m
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
S
ven Verdoolaege
isl_qp
o
lynomial
_
add_o
n
_domain: compute gi
s
t with r
e
s
pect
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-06
Sven Verdool
a
ege
isl_union_ma
p
_coalesce and
isl_u
n
ion
_
map_co
m
pu
t
e_divs
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-06
S
v
e
n
Verdoola
e
ge
i
s
l_basic_map_solve_lp: use denom
i
nator
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
S
v
en Verdoolae
g
e
Merg
e
c
o
m
m
it
'is
l
-0
.
05
.
1'
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
Sven
Verdoo
l
aege
isl 0
.
05
.
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
Sven Verdoolaege
i
sl_t
a
b_ba
s
ic_map_parti
a
l_le
x
opt: fix up symmetr
y
det
e
ction
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
Sven Verdoolaeg
e
isl_basic
_
ma
p
_universe:
f
inaliz
e
r
e
sult
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next