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 Verdoo
l
aege
add isl_basic
_
set_ne
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
Sve
n
Verd
o
olaege
a
d
d
isl_bas
i
c_set
_
flat_prod
u
ct
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
Sve
n
Verdool
a
ege
ex
p
ort isl_
b
asic_map_flatt
e
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
Sve
n
Verdoolaege
add isl_basic_ma
p
_from_qpol
y
nomial
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sv
e
n Verdoolaege
isl_st
r
eam: support \<newline> line continuati
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdoolae
g
e
add isl_union_map
_
r
e
ad_from_file
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
S
ven Verdoolaege
i
sl
_
s
tream_read
_
map: accept 'true'
and 'false
'
constraints
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven Ver
d
oo
l
aege
i
s
l
_str
e
am_read_map: a
l
low extra ';'
a
t end
o
f
map
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sv
e
n Verdoolaege
isl
_
strea
m
_read_map: allow negations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
S
v
e
n
V
erdoolaege
isl_stream_read_map:
allow existential quantification
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
S
v
en Verdoolaege
privately
e
xport isl_basic_ma
p
_ad
d
_di
v
_
constrai
n
ts_va
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven
V
erdoo
l
aege
isl_morph
_
bas
i
c_set: preser
v
e rationality o
f
input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sve
n
Verdoolaege
a
d
d is
l
_basic_se
t
_is_r
a
tio
n
al
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven V
e
rdoolaege
isl_print
e
r_p
r
int
_
b
asi
c
_map: explicitly mark
r
ational
.
.
.
commit
|
commitdiff
|
tree
2011-02-13
Sven V
e
rdo
o
laege
i
s
l_stream_read_m
a
p:
r
ead rational
map
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdool
a
ege
isl_basic_m
a
p
_insert: preserve ratio
n
ality of input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolaeg
e
add isl_basic_map_set_rationa
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Ver
d
oolaege
isl_basi
c
_map_fast_cmp: d
i
ffere
n
tiate betwe
e
n ration
a
l
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven V
e
rd
o
olaege
i
s
l
_
output
.
c: re
m
o
v
e
some co
d
e duplication
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven V
e
r
doo
l
aege
isl_printer_print_basic_{set,map}: don't star
t
new
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-12
Sven Verdoolaege
i
s
l
_stre
a
m_r
e
a
d
_
m
ap: accept '|' at st
a
r
t
of constraints
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-12
Sven
V
e
r
d
o
olaege
isl
_
stream: keep track of textual
r
e
presen
t
atio
n
of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-11
Sven V
e
rd
o
olaege
isl_input
.
c: clean up
read_disjunct
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-11
Sven Verdoolaege
isl_st
r
e
am_rea
d
_map
:
accept
disjunctions within a
c
onjunct
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-10
Sven V
e
rdoolaege
isl_
c
onvex_h
u
ll
.
c
: explicitly mark wrapp
i
ng lp proble
m
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-10
S
v
en Verdoolaege
i
s
l
_
t
ab_min: micro
-
optimization: postpone ta
k
ing i
n
to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
S
v
en Verdoolaege
Merge br
a
nch 'maint'
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
isl_ta
b
_add_row: add fur
t
her explanati
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven
Verdoolaege
i
sl_ta
b
.
c:
f
ix typos in
commen
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven V
e
rdoolaege
isl_tab
_
p
ip
.
c: correctly
d
etect non-negativit
y
of
d
iv
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
S
ven V
e
rdool
a
ege
add test
commit
|
commitdiff
|
tree
2011-02-05
S
v
en
V
er
d
oola
e
ge
test both con
t
e
x
t handling
mechanisms of isl_pip
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoola
e
ge
isl_ta
b
_is_eq
u
ali
t
y: proper
l
y sup
p
o
r
t "big pa
r
a
meter"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoola
e
ge
isl_ta
b
_pip
.
c
: fix typo
in co
m
ment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sv
e
n Verdoolaege
isl
_
af
f
ine_hull
.
c: fix
t
ypo
s
i
n
c
o
mments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven V
e
rd
o
olae
g
e
isl_union_map_compute
_
flow: return access
e
s with no
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sve
n
Verdoolaege
Merge
branch 'mai
n
t'
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
isl_u
n
ion_map
.
c
:
i
n
pla
c
e: pass
d
a
t
a p
o
in
t
er
to isl_hash_tab
l
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
S
v
e
n Verdoo
l
aege
i
s
l
_
d
i
m_move:
u
pdate p
a
rame
t
ers of
n
e
s
ted
space
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
Sv
e
n V
e
rdoolaege
a
d
d isl_map_nat_universe
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
Sven
V
er
d
oo
l
aege
clean u
p
is
l
_set
_
from_
b
asic_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
Sven Ve
r
doolaege
mer
g
e
isl_basic_set/isl_basic_ma
p
and isl_set/isl_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-26
Sven Verdoo
l
aege
r
e
n
a
me "omega"
t
r
an
s
i
t
ive closure to "box" tran
s
itive
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven V
e
rdoola
e
ge
export isl_int_obj_
f
r
ee
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoo
l
aege
isl_ve
r
tices
.
c
:
fix
t
ypos
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verd
o
olaege
isl_union_tem
p
l
.
c: fix ty
p
o
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Ver
d
oolaege
i
s
l_m
a
p_subtract
.
c: n
_
non_redun
d
ant: propag
e
isl_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Ve
r
doolaege
i
s
l
_be
r
n
stei
n
.
c: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sv
e
n Verdoola
e
g
e
add isl_union_pw_q
p
o
l
ynomial_mul_
i
s
l
_
int
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaeg
e
isl_stream_read
_
o
bj: re
a
d in
t
objects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verd
o
olae
g
e
add
i
nt obj
e
cts for us
e
in iscc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
S
v
e
n Verd
o
ola
e
g
e
isl_
b
asic
_
map_remove_divs
:
f
in
a
lize resul
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
Sven Verdoolaeg
e
add isl_basic
_
set_get_tuple_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
Sven Verdoola
e
ge
M
e
rge branc
h
'maint
'
commit
|
commitdiff
|
tree
2011-01-22
S
ven Ver
d
ool
a
ege
isl_union_map_sample: don't retu
r
n NULL on emp
t
y i
n
put
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-21
Sven
Verdoolaege
i
sl_basic_
m
ap_set
_
tuple_name: fina
l
ize res
u
lt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-21
Sven Ve
r
dool
a
eg
e
isl_transitive_closur
e
.
c: more anonymize
input
m
ap
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-21
Sven
V
erdoolaege
isl_basic_set
_
facto
r
ize
r
:
ma
k
e sure group information
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-19
Sven Verdoolaege
add
i
sl
_
u
nion_map
_
ra
n
ge_product
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-19
Sven Verdool
a
ege
doc
:
document product functions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-19
Sven Ver
d
oolaege
re
n
a
me i
s
l_basic_set
_
pr
o
duct
to
i
sl_b
a
sic
_
set_list_
p
ro
d
uct
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-18
S
v
en
Verdoolaege
isl_set
_
convex_hull: optio
n
ally
use Fou
r
ier
-
Motzk
i
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
S
ven Verdo
o
laege
isl_basic_set_s
a
mple_point: exploi
t
fac
t
orization if
any
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven V
e
rdoolaege
a
dd isl
_
mor
p
h_ve
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Ver
d
oolaege
ch
a
nge prototype of isl
_
v
ec_dum
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Ve
r
doolaege
add isl_
p
rinter_print_vec
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
add isl_union_set_ap
p
ly_union_pw_qpolynomial
_
f
old
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven V
e
rdool
a
eg
e
expo
r
t 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
S
v
en Verdoolaege
isl_basic_map_inte
r
sec
t
_domain:
r
epla
c
e open-coded
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
i
s
l
_
stream_read_map: ac
c
ept
modul
o
expressions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven
V
erdoo
l
a
e
g
e
isl_b
a
sic_map_in
s
e
rt: don't simplify the
resu
l
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaeg
e
M
erge branch 'maint'
commit
|
commitdiff
|
tree
2011-01-16
Sven Verd
o
o
laege
is
l
_basic_
m
ap_from_constr
a
i
n
t_matrices: c
l
ear newly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
S
v
en
V
erdoolaege
isl_to
k
en_free: free
s
t
r
ing rep
r
esen
t
a
tion o
f
keywords
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
S
ven Verdoolaege
isl_
i
nput
.
c
: read_fact
o
r: drop unexpected identifier
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdoolaege
isl
_
i
n
put
.
c
:
a
ccept_a
f
fine_
f
actor: avo
i
d d
o
uble
f
ree
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-08
S
v
en V
e
rd
o
olaege
isl_stream_rea
d
_map: a
l
low
s
pace names that happen
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-08
Sv
e
n
V
erdoolaeg
e
isl_stream_n
e
x
t
_token: keep track
of string rep
r
e
s
e
n
tation
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven
Verdoo
l
aeg
e
ad
d
isl_
b
asic_set_fla
t
ten
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdoola
e
ge
add isl_union_map
_
simple_hull
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sve
n
Verdoolaege
Merge branch 'maint'
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sv
e
n
Ver
d
oolaege
add
i
sl_se
t
_
remove_unknown_
d
i
v
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
S
v
e
n Verdoolae
g
e
i
sl_map
_
is_subs
e
t: don't com
p
ute divs of
minuend
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sve
n
Verdoolaeg
e
rename isl_map_is_sin
g
leton to isl_
m
ap_fast_i
s
_
si
n
gleton
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven
V
e
r
doolaege
add
i
sl
_
map_fast_is
_
single_valued
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
S
v
en Verdoolaege
add i
s
l_qpolynomial_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdool
a
ege
export
i
sl
_
union_set_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdool
a
ege
isl_q
p
olynomial_add_on_do
m
ai
n
:
compute
g
ist with
respec
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-06
Sven V
e
rdoola
e
g
e
isl_u
n
ion_m
a
p
_
co
a
lesce an
d
isl_un
i
on_ma
p
_
comput
e
_divs
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-06
Sven Verd
o
o
laege
isl
_
basic
_
map_solve_lp: use den
o
min
a
t
o
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
Sve
n
Verdoolaege
Merge
c
o
mm
i
t
'isl-0
.
05
.
1'
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
Sven Verdoolaege
i
sl 0
.
0
5
.
1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
Sven Verdoolaege
isl_
t
ab_
b
asic_map_partial_
l
e
xopt: fix up symm
e
try d
e
t
e
c
t
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
Sven Verdo
o
laege
i
sl_bas
i
c
_m
a
p_u
n
iv
e
rse: fin
a
lize result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
Sven Verdoolaege
isl_seq
.
h: allo
w
in
c
lusion fr
o
m C
+
+
commit
|
commitdiff
|
tree
2010-12-30
Sven Ver
d
oo
l
aege
reimplement
i
sl_map_pa
r
tial_lexo
p
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-30
Sven
V
erdoolaeg
e
isl_m
a
p: fix typos in
c
o
m
m
e
nts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-30
Sven Ve
r
doolaege
add som
e
more isl_m
a
p
_
lexmin
t
ests
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sve
n
Verd
o
olaege
add isl_qpol
y
n
o
m
ial_ad
d
_isl_
i
nt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven
V
erdoolaege
a
d
d isl_pw_qpolyn
o
mia
l
_
f
o
ld
_
d
ump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next