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_neg
2011-02-18
Sven V
e
rdoolaege
a
d
d is
l
_basic_
s
et_neg
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-18
Sven
V
e
r
doola
e
g
e
add
i
sl_basic_set_flat_pro
d
uct
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-18
Sven Verdoolae
g
e
expor
t
i
s
l
_basic_map_flatten
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-18
Sven Verdoolaege
add is
l
_
ba
s
ic_ma
p
_
f
r
o
m_q
p
olynomial
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdoolaeg
e
isl_stre
a
m: support
\
<
n
ewline
>
line co
n
t
i
n
uation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdoolaeg
e
ad
d
isl_union_map_read_from_file
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdoolaege
i
s
l_stream_read_ma
p
: accept 'tr
u
e
' and 'fal
s
e' con
s
traints
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdoo
l
aege
i
sl
_
stream_read
_
map: allow ex
t
r
a ';' at
end of map
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
S
v
en Verd
o
ol
a
ege
isl
_
stre
a
m_
r
ead_map:
a
llow
n
egations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
S
ven Verdoolaege
isl_
s
t
rea
m
_
r
ead
_
map: allow existential quantification
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sven
Verdool
a
e
g
e
privatel
y
export isl_basic_map_add_
d
iv_co
n
straints_var
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven V
e
rdoolaeg
e
isl_
m
orph_basic_set: preserve
rationa
l
i
t
y of input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sve
n
Verdoolae
g
e
add isl_basic_set
_
is_ra
t
ional
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoola
e
ge
isl_
p
ri
n
ter_print_basic_map: explic
i
tly mark ra
t
ional
.
.
.
commit
|
commitdiff
|
tree
2011-02-13
Sven
Ver
d
oolaege
i
sl_stream_rea
d
_map: read rati
o
nal maps
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolaege
isl_bas
i
c_map_insert: preserve rationality of input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven
Verdoolaege
add isl_basic_
m
a
p
_set_rational
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolaege
i
sl
_
bas
i
c_map_fast_cmp: diffe
r
entiat
e
bet
w
een
r
ational
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoo
l
aege
is
l
_outp
u
t
.
c:
r
emove so
m
e
cod
e
duplicati
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolaeg
e
isl_pr
i
nter_pr
i
nt_basi
c
_
{set,map}:
d
on't start ne
w
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-12
S
ven Verdoolaeg
e
isl_stream_read_map
:
acc
e
pt '|' at s
t
art of
cons
t
raints
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-12
Sven Ver
d
oolaege
isl_s
t
r
e
am:
keep tra
c
k of textual representation of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-11
Sven
V
e
rdoolaege
isl_
i
nput
.
c: clean up read_disjuncts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-11
S
ven Verdoolaeg
e
isl_stream_rea
d
_m
a
p
:
accep
t
d
isjunc
t
i
ons within a con
j
unct
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-10
S
v
en
V
e
rdoolae
g
e
is
l
_c
o
nvex_
h
ull
.
c: explic
i
tly m
a
rk wr
a
pp
i
n
g lp pr
o
blem
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-10
S
v
en Verdoola
e
ge
isl_tab_min: micro-op
t
imiz
a
tion: postpone ta
k
i
n
g into
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Ve
r
d
o
o
laege
M
e
rg
e
bran
c
h 'maint'
commit
|
commitdiff
|
tree
2011-02-05
Sve
n
Ver
d
o
olaege
isl_t
a
b_add_ro
w
: add further explanati
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven
V
erd
o
olaege
i
sl
_
t
a
b
.
c: fix typos in comments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven
V
erdoolae
g
e
isl
_
t
ab_pip
.
c: c
o
rre
c
tly
d
etect non-negat
i
vity of
divs
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
S
v
en Verdoolaege
add test
commit
|
commitdiff
|
tree
2011-02-05
S
ven Ver
d
o
o
laeg
e
test
b
oth con
t
e
xt handl
i
ng mechanism
s
o
f isl_pip
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Ve
r
doolae
g
e
i
s
l_tab_is_equali
t
y: properly support "big
p
a
rameter
"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sv
e
n V
e
rdoolaege
isl_tab_pip
.
c: fix typo in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
S
v
en Verdo
o
laeg
e
isl_affine_hu
l
l
.
c: fix typos
i
n
comments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdo
o
l
aege
isl_union_map_compute_flow: ret
u
rn
a
cc
e
sses with no
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoo
l
aege
M
e
rge branch 'm
a
int'
commit
|
commitdiff
|
tree
2011-02-05
S
v
en
V
e
rdo
o
l
aege
i
sl_
u
nion_map
.
c
: inplace
:
pass dat
a
pointer to is
l
_hash_tabl
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-27
Sven Ve
r
doolaege
isl_dim_move
:
update para
m
eters of ne
s
te
d
spa
c
es
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-27
Sven V
e
rdool
a
eg
e
a
d
d isl_map_nat_u
n
iverse
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-27
Sven
V
e
r
doolaege
cl
e
an
u
p i
s
l_set_fro
m
_basic_s
e
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-27
Sven Ver
d
ool
a
ege
merge isl_bas
i
c_
s
et/isl_ba
s
ic_map
and isl_
s
et/isl
_
ma
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-26
S
ven V
e
r
d
oo
l
aege
r
e
name "o
m
ega"
transitive cl
o
sure
to "box
"
transitive
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
S
v
en
Ve
r
doolae
g
e
exp
o
rt isl_int_
o
b
j
_f
r
ee
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaeg
e
isl_vertic
e
s
.
c
:
fix
typos
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
isl_union
_
templ
.
c: fi
x
t
ypo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
isl_ma
p
_subt
r
act
.
c: n_non
_
r
e
d
u
ndant
:
propage isl_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
S
ven
Verd
o
olaege
isl_bernste
i
n
.
c:
fix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Ver
d
oolaege
add
isl_u
n
ion
_
p
w_
q
polynom
i
al_mul_isl_
i
nt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdool
a
ege
is
l
_stream_read_obj: rea
d
int objects
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
S
ven Verdoo
l
aege
add int o
b
jects for use in iscc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-22
Sven Verd
o
olaege
isl_basic_map_re
m
ove
_
divs:
fin
a
lize result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-22
Sve
n
V
e
rdoolaege
add isl_basic_set_ge
t
_tuple_
n
ame
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-22
Sven Verdoolaege
Merge branch
'maint'
commit
|
commitdiff
|
tree
2011-01-22
Sv
e
n Verdo
o
laege
isl_union_map_
s
ample: don't return
NUL
L
on empty input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-21
Sven Verd
o
olaege
isl_basic_map
_
set_tu
p
le_name: finalize r
e
s
u
lt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-21
Sven Verdoolaege
isl_trans
i
tive_closu
r
e
.
c: more an
o
nymize input m
a
p
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-21
Sven Verdoolaege
isl_basic_se
t
_factorizer: make sure gro
u
p inform
a
tion
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-19
Sv
e
n
V
erd
o
olaege
ad
d
isl_union
_
map_r
a
n
g
e_product
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-19
Sven
V
erdoolaege
do
c
: docume
n
t product funct
i
on
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-19
S
v
en
Verdoolae
g
e
ren
a
me isl_basic_set_prod
u
ct to isl_b
a
si
c
_set_list_pro
d
uct
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-18
Sven Verdoolaeg
e
isl_set_convex_h
u
ll:
o
ptionally use Four
i
e
r
-
Motzki
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
S
ve
n
Verdoolaege
i
s
l_b
a
sic_set_sample_point: exploit fac
t
orization if any
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
add isl_morph_vec
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
change pro
t
otype
o
f isl_vec_d
u
mp
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdo
o
laeg
e
ad
d
isl_printer
_
print
_
vec
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sve
n
Verdoolaege
add isl_union_set_apply_union_pw_qpolyno
m
ial_
f
old
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
S
v
en Ver
d
o
o
laeg
e
export isl_un
i
o
n
_
map_f
r
om_domain and
i
sl_
u
nion_map_f
r
om_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Ver
d
oolaege
isl_basic_map_int
e
r
sect_domain:
replac
e
o
pen
-
coded
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
S
v
en
V
erdoolaeg
e
i
s
l_stre
a
m_
r
ead
_
ma
p
:
accept modul
o
expr
e
ssio
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Ve
r
doolaege
isl
_
basi
c
_
map_insert:
don't simplify the resu
l
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven V
e
rdoolaege
M
e
rge b
r
an
c
h 'maint'
commit
|
commitdiff
|
tree
2011-01-16
Sve
n
Ver
d
oolaege
isl_b
a
sic
_
m
ap_from_co
n
straint_matrices
:
c
l
ear newly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sven
V
erdoolaege
isl_token_free: free string representation of ke
y
wo
r
ds
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
S
v
en Verd
o
olaege
isl_inpu
t
.
c: re
a
d_fa
c
tor:
d
rop u
n
expected identifier
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
S
ven Verdoolaege
isl_input
.
c:
ac
c
ept_af
f
i
ne_factor:
avoid double free
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-08
Tobias
G
rosser
Add isl_union_(set/
m
a
p)_dete
c
t_equalities
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-08
S
v
en Verdoola
e
ge
isl_stream_read
_
map: allow space names that happen
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-08
Sven Verdoolaege
isl_stream_next_token:
k
eep track of string
represe
n
tation
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven V
e
rd
o
ol
a
ege
add isl_basic_set_f
l
at
t
en
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sv
e
n
Verdoolaege
a
dd isl_uni
o
n_map_simple_hull
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
S
v
e
n Verdoolaege
Merge branch 'mai
n
t'
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sv
e
n Ver
d
o
olaege
a
d
d
is
l
_set_remove
_
u
nknown_di
v
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdool
a
ege
isl_ma
p
_is
_
s
u
bs
e
t: don't comput
e
di
v
s of m
i
nuend
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdoolaege
rename isl_map_is_singleton to
i
sl
_
m
ap_fa
s
t_
i
s
_
sin
g
leton
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven Ver
d
oolaege
add
i
sl_map_fast_is_si
n
gle_val
u
ed
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven Ver
d
oolaege
add
i
sl_qpolynomial_dum
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdoo
l
aege
e
x
p
ort
i
sl_
u
nion_set_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven
Verdoo
l
aege
isl_qpolynomial_add_on_
d
omain:
c
omput
e
gist with respect
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-06
Sv
e
n Verdoolaege
isl_union_map_coalesce and
isl_u
n
ion_map_comp
u
te_di
v
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-06
Sven V
e
rdoolaege
isl_basic_map_solve_lp: use
d
enomi
n
a
tor
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
S
ven Ver
d
oolaeg
e
Merg
e
com
m
i
t
'isl-0
.
0
5
.
1'
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
Sven Verdoolaege
isl
0
.
05
.
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
Sven Verdoolaege
i
s
l
_
tab_basic_map_partial_lexopt: fix
up sy
m
m
e
try det
e
ction
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
Sven Ver
d
oolaeg
e
isl
_
b
asic_map
_
u
n
i
v
e
r
se: fi
n
alize result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
S
ven
V
erdoolaege
i
s
l_s
e
q
.
h: allow incl
u
sion f
r
om
C
++
commit
|
commitdiff
|
tree
2010-12-31
Tobias Grosser
Add GDB module
t
ha
t
defines
a
n islprint comman
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-30
Sven V
e
rdoo
l
a
eg
e
r
eimple
m
en
t
isl_m
a
p_partial_lexopt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-30
S
v
en Ve
r
do
o
laege
isl_map: fix typos in
c
omments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-30
S
v
en Verdoolae
g
e
add some
m
ore isl_map_lexmin t
e
s
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next