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_map.c: drop unused error label
2011-03-15
Sven Verdoolaege
i
s
l_map
.
c:
drop unused error lab
e
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
Sven Verdoolaege
isl_inp
u
t
.
c: dro
p
unused err
o
r la
b
el
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
Sven Verdoolaege
resp
e
ct
D
ESTDIR when installing isl
.
py
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdoolaege
isl_s
t
re
a
m:
a
ccept "$" token
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven Ve
r
doolaege
add i
s
l
_
u
nion_map
_
power
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdoolae
g
e
c
h
an
g
e i
s
l_map
_
power in
t
e
r
f
ace
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdoolaege
add isl_
u
nion_ma
p
_zip
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdoolaege
add
p
rivate isl_basic_map_s
w
ap
_
vars
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-10
Sven Verdoolaege
a
d
d is
l
_union_map
_
deltas_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-10
Sven Verdoola
e
ge
Merge branch 'mai
n
t'
commit
|
commitdiff
|
tree
2011-03-10
Sven V
e
rdoolaege
is
l
_map_
d
eltas
:
don't copy flags from i
n
put
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-05
S
ven V
e
rdoola
e
ge
isl_strea
m
_r
e
ad_map: acce
p
t co
n
s
tant
e
xpressions
of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-05
Sven Verdoolaege
isl_stre
a
m
:
accept "/\" and "\/" as
a
lternatives f
o
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-05
Sven V
e
rdo
o
lae
g
e
i
s
l_stream: only quote new
l
in
e
using '\
'
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-05
S
ven
Verdoolaege
isl_str
e
am: m
a
intain private u
n
getc buffer
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-02
Sv
e
n Ver
d
oolaege
isl_set_
l
ifting: simplify and finalize
result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-02
Sven Verdool
a
ege
doc: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-02
Sven Verdoolaege
do
c
: drop
long outdated note on transit
i
ve c
l
osures
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-01
Sven Verd
o
ol
a
ege
a
dd isl_basi
c
_se
t
_get_d
i
m_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-25
Sven Verdoolaege
i
sl
_
map_ide
n
tity: take dimension speci
f
ication of m
a
p
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-25
Sven Verd
o
olaege
r
e
name isl_
d
im_map to isl_dim_
m
ap_from_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-25
Sven Verdoolaege
transitive
closu
r
e: project ou
t
parameters when an
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
S
ven Verdoolaege
pr
i
va
t
el
y
e
xpo
r
t isl_bas
i
c
_
set_reset_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sven
V
erdoolaege
i
sl_set_lift:
p
r
eserve struct
u
re
o
f spac
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sven Ve
r
dool
a
ege
i
sl_
p
w_qpolynomial_bound: ha
n
dle com
b
i
nation of wra
p
pin
g
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sv
e
n Verd
o
ola
e
g
e
i
s
l_ta
b
_pip
.
c: fix typo in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sven
V
erd
o
o
l
aege
isl_tab: check fo
r
obviously emp
t
y
ta
b
leaus after discoverin
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sven Verdoola
e
ge
isl_basic_map_gist: p
r
efer contraints
wit
h
out existentially
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-20
Sven Verd
o
olaeg
e
is
l
_ba
s
ic_map_sort_constr
a
ints:
c
hange c
o
m
p
arison routine
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-19
Sven V
e
rdool
a
ege
isl_t
a
b_ineq_typ
e
: clas
s
if
y
more constrai
n
ts
as being
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-19
Sven Verdoolaege
i
s
l_
m
ap_coa
l
esc
e
: be more r
e
laxed about multiple equalities
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
Sv
e
n
Verdoolaege
add i
s
l
_
b
a
s
ic_map_from_do
m
ai
n
_a
n
d_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
S
ven
V
er
d
oo
l
aege
add
i
sl_bas
i
c_s
e
t_neg
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
Sven Ver
d
oolaege
add i
s
l_basic_set_flat_pr
o
duct
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
Sve
n
Verdoo
l
a
e
ge
expo
r
t isl_basic
_
map_fl
a
tten
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
Sve
n
Verdo
o
laege
a
dd is
l
_b
a
sic_m
a
p_fr
o
m_qpolynomial
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
S
v
en
V
erdoolaege
isl_stream
:
support \<ne
w
line> line
c
ontinuation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdoo
l
aege
ad
d
isl_union_
m
ap_read_from_file
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdo
o
laege
i
s
l
_
s
t
ream_read_ma
p
: a
c
cept 'true' and
'fals
e
' constrain
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdoolaege
i
s
l_s
t
re
a
m_rea
d
_map: allow e
x
tra ';' at
e
nd of
map
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdoolaege
isl_strea
m
_
read_map: allow negatio
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sv
e
n Verdool
a
ege
isl_stream_read_
m
a
p
: al
l
ow existential quantificatio
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdoolaege
privately export i
s
l_b
a
s
ic_map_add_di
v
_co
n
straints_var
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolaeg
e
isl_morph_basic_
s
et: preserve r
a
tional
i
t
y
of input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdo
o
laege
a
dd isl_basic_set_is_r
a
tional
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
S
v
en Verdool
a
ege
isl_
p
rinte
r
_print_bas
i
c_map: explicitly m
a
r
k
rational
.
.
.
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolaege
isl_stream_read_map: r
e
a
d
rationa
l
maps
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
S
ve
n
Verdoolaege
isl_basic_map_insert: pr
e
serve r
a
tio
n
a
li
t
y of
in
p
ut
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
S
v
en
Verdoolaeg
e
add isl_basic_map_set_rational
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdool
a
e
ge
isl_bas
i
c_map_fast_cmp:
d
ifferentiate bet
w
een rational
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolae
g
e
isl_output
.
c: remove some code duplication
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
S
v
en Ve
r
d
oolaege
i
s
l_printer_
p
rint_ba
s
ic_{set,map}: do
n
't
start
new
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-12
Sven Ve
r
d
o
olaege
isl_stream
_
read_ma
p
:
accept '|' at s
t
art of
constraints
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-12
S
v
en Verdoolaege
isl_stream: keep track of
text
u
a
l rep
r
e
sentat
i
o
n
of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-11
Sven Verd
o
o
l
aeg
e
isl_input
.
c: clean up read_disjuncts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-11
Sven
V
erd
o
olaege
isl_str
e
am_read_map: acc
e
pt
d
isjunct
i
o
n
s within a conjunct
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-10
Sven Verdoolaege
isl_con
v
ex_
h
ull
.
c
:
expl
i
citly m
a
r
k
w
rapping lp problem
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-10
S
ven
Verdoolaege
isl_tab_mi
n
:
m
icro
-
opt
i
mizatio
n
: postpone taki
n
g in
t
o
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
Mer
g
e branch 'maint'
commit
|
commitdiff
|
tree
2011-02-05
S
v
en
Ver
d
o
o
l
aege
isl_tab_
a
dd_ro
w
: add further exp
l
anation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
S
v
en Verdoolaeg
e
isl_tab
.
c: fix t
y
pos in comme
n
ts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven
V
erdoolae
g
e
isl
_
tab
_
p
i
p
.
c: correctly detect non-negativity of d
i
vs
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven
V
erdoolaege
a
d
d test
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
test both c
o
nt
e
xt handl
i
ng mechanisms
o
f
isl_pip
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdo
o
laege
isl_
t
ab_is_equality: p
r
operly
support "b
i
g
param
e
ter"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sv
e
n Verdoolaege
isl_tab
_
p
ip
.
c:
f
i
x
typo in
c
omment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Ver
d
oolaege
isl_
a
f
f
ine_hull
.
c
:
fix t
y
pos
in comments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaeg
e
isl_union_map_co
m
p
u
te_fl
o
w: return ac
c
esses with no
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
S
ven Verdoolaeg
e
M
e
r
ge br
a
nch
'
maint'
commit
|
commitdiff
|
tree
2011-02-05
Sven
V
erdoolaege
isl_
u
nion
_
map
.
c: inpl
a
ce: pass data poi
n
ter to isl
_
has
h
_
t
abl
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
Sven V
e
rdoolaege
isl_
d
im_m
o
ve
:
update para
m
e
ters of nes
t
e
d
spaces
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
Sven Verdoolaege
add isl_ma
p
_nat
_
universe
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
Sve
n
Verdoo
l
a
ege
clean
up isl_s
e
t_from_basic_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
S
v
en
V
erdo
o
laege
merge is
l
_basic_set/isl_ba
s
ic_map and isl_set/isl_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-26
Sven
V
erdoolaege
r
e
name
"
omega"
transitive
c
l
osure
t
o "bo
x
"
t
ransitive
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
S
ven
V
erd
o
olae
g
e
export isl_int_obj_
f
ree
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Ver
d
oo
l
a
e
ge
isl
_
vertices
.
c: fix
typos
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven V
e
rdoolaege
is
l
_union_
t
e
m
p
l
.
c: f
i
x typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verd
o
o
laege
isl_map_sub
t
ract
.
c: n_non_redundan
t
: propage isl_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoola
e
ge
isl_ber
n
stei
n
.
c: fix
t
ypo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
S
v
e
n Verdoolaege
add
i
sl_union_pw_q
p
olynomial_mu
l
_i
s
l_int
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolae
g
e
isl_stream_read_obj: re
a
d
i
nt objects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven V
e
rd
o
olaeg
e
add int object
s
f
o
r use i
n
iscc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
Sven
V
erdoolaege
isl_basi
c
_map_r
e
move_div
s
: finalize resul
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
Sven Verd
o
ola
e
ge
ad
d
i
s
l_basic_set_g
e
t_t
u
pl
e
_name
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
Sven V
e
rdoolaege
isl_union_map_sample: don't retur
n
NULL
on empty
input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-21
Sven
V
e
r
d
o
olaege
isl_basic_map_set_tuple_name: finalize r
e
s
u
lt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-21
S
ven Verdoolae
g
e
isl_trans
i
tive_closur
e
.
c:
m
or
e
anonymize
input
map
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-21
S
v
e
n
V
erdo
o
laege
isl_basic_set_factoriz
e
r
:
ma
k
e
sure group information
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-19
S
v
en Ver
d
o
olaege
add is
l
_union_map_range_produ
c
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-19
Sven Verd
o
olaege
doc
:
document
p
r
o
d
uct
function
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-19
Sven Verdo
o
laege
r
ename isl_basic_set_product
to
i
sl_ba
s
i
c_set_l
i
st_p
r
oduct
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-18
Sven Ve
r
doola
e
ge
isl_set_
c
onvex_hu
l
l: optiona
l
l
y use Fourier-Motzkin
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven
Verdoolaege
isl_basic_
s
et
_
sample_point: exp
l
oit
f
actorizati
o
n
i
f an
y
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Ver
d
oo
l
ae
g
e
add isl_morp
h
_
v
e
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoola
e
ge
change p
r
ototype of is
l
_
v
ec_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sve
n
Verd
o
olaege
add isl_printer_print_vec
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sv
e
n Verdo
o
laege
a
d
d isl_union_set_apply_union_
p
w_q
p
o
lynomial_fol
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
export isl_unio
n
_
map_fr
o
m_domain and isl_union_
m
ap_f
r
om_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next