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
avoid NULL pointer exception in isl_basic_map_n_*
2010-06-04
Sven Verdoolae
g
e
add isl_map_is_single_v
a
l
ued
commit
|
commitdiff
|
tree
2010-06-04
Sven
Verdoola
e
ge
isl_basic_
m
ap_forea
c
h_constraint: make sure
input has
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
S
ven Verdoolaege
isl_basic_map_copy:
m
ark duplicat
e
d
c
opy
as fi
n
al
i
zed
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoolaege
isl_basic_
s
et_lift: finalize result
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdo
o
l
a
e
ge
is
l
_basic_map_
m
ove_dims: always
f
inalize result
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoolaege
isl_basi
c
_map_from_con
s
tr
a
int: final
i
ze
r
esult
commit
|
commitdiff
|
tree
2010-06-01
Sve
n
V
erdool
a
e
g
e
i
s
l
_access_inf
o
_compu
t
e
_
f
l
ow: han
d
le may accesses
commit
|
commitdiff
|
tree
2010-05-31
Sven Verdoolaeg
e
isl_access_
i
nfo_compute_flow
:
handle multi-v
a
lued s
i
nk
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sve
n
Verdo
o
laege
remove some unused variables
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoolaege
rename
i
sl_pw_qpolynom
i
a
l
_
move an
d
add isl
_
pw_qpolynomial_fo
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sv
e
n Verdoolae
g
e
is
l
_ctx: keep
t
rac
k
of user o
p
tions
commit
|
commitdiff
|
tree
2010-05-30
S
ven Verdoolaege
improv
e
d argument
parsing
commit
|
commitdiff
|
tree
2010-05-15
S
v
en
V
erdoo
l
aege
isl_options_parse: pri
n
t help me
s
sage
commit
|
commitdiff
|
tree
2010-05-14
Sven Ver
d
oola
e
ge
add i
s
l_bound test application
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n Verdoolaege
a
dd isl_pw_
q
p
o
lynomia
l
_
b
ound_range
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
e
r
d
oo
l
aege
add isl_pw
_
q
po
l
ynomial_
f
ol
d
_
morph
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verdoolaege
add rudime
n
tary
i
sl_morph
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_seq_set
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
erd
o
o
laege
isl_equalities
.
c: fix ty
p
o
i
n
c
om
m
ent
commit
|
commitdiff
|
tree
2010-05-13
Sven Ver
d
o
o
la
e
ge
add isl_mat_insert_rows
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verdoolaege
add isl_mat_norma
l
i
z
e
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoo
l
a
e
ge
add i
s
l_m
a
t_diago
n
a
l
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verdo
o
lae
g
e
isl_mat_lin_to_aff: fix
e
rror handling
commit
|
commitdiff
|
tree
2010-05-13
Sven
Ver
d
oola
e
ge
i
s
l_qpolynomial
_
o
p
t_on_domai
n
: ha
n
dle empty i
n
put
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verdoolaege
i
sl_
n
ame_alloc: fix error han
d
l
i
n
g
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdool
a
eg
e
a
d
d isl
_
dim_offset
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verdoola
e
g
e
isl_
e
qualities
.
c
:
fix t
y
p
o
s in comments
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_pw_qpolynomial_fold_co
v
e
r
s
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add
i
sl_qpoly
n
omial_le_cst
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
privately export isl
_
set_is_
b
o
u
n
ded
commit
|
commitdiff
|
tree
2010-05-13
Sven Ve
r
doolaege
add isl_set_count_upt
o
commit
|
commitdiff
|
tree
2010-05-13
Sven Ver
d
oolae
g
e
add
i
sl_set
_
scan
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Ver
d
oolaege
add
i
s
l
_stream_read_pw_qpolynomial
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_q
p
o
lyn
o
mi
a
l_from_term
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Verdoolae
g
e
add isl_q
p
olynomial_from_constraint
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl
_
basic_set_foreach_bound_pai
r
commit
|
commitdiff
|
tree
2010-05-13
S
ven Ve
r
d
o
olaeg
e
a
d
d
isl_qpolynomial_as_polynomia
l
_on_
d
om
a
in
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl
_
qpolynom
i
a
l
_substitute
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
erd
o
olaeg
e
add isl_basic_set_dims_
g
e
t_sig
n
commit
|
commitdiff
|
tree
2010-05-04
S
ven Verdoolaege
isl
_
c
t
x:
a
dd zero
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaeg
e
add i
s
l_qpolynomial_
n
egin
f
ty
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
add
i
sl_ba
s
ic_
s
et_drop
commit
|
commitdiff
|
tree
2010-05-04
Sven Ver
d
oolae
g
e
isl_qpolynomi
a
l
_
fold
_
opt_on_
d
omai
n
:
fix typo
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoola
e
ge
isl_pw_*_eval: fix handlin
g
of e
m
pty
input
commit
|
commitdiff
|
tree
2010-05-04
Sven
Verdoolaege
add isl_basic
_
set_move_dims
commit
|
commitdiff
|
tree
2010-05-04
Sven
V
e
rd
o
olaege
export isl_q
p
olynomial_sub
commit
|
commitdiff
|
tree
2010-05-04
Sven Ver
d
o
o
laege
add isl_qpolynomial_get_dim
commit
|
commitdiff
|
tree
2010-05-04
Sven V
e
rdo
o
laege
isl_m
a
p_tr
a
nsitive_closure:
coalesce input bef
o
re che
c
king
.
.
.
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
add map_lex_*_fir
s
t
commit
|
commitdiff
|
tree
2010-05-01
Sven
V
erdoolaege
isl_map_lex_l
e
: us
e
one basi
c
s
e
t
le
s
s
i
n result
commit
|
commitdiff
|
tree
2010-05-01
Sv
e
n Verdoola
e
ge
i
sl_stream: a
c
cept lexi
c
ographic operators
commit
|
commitdiff
|
tree
2010-04-28
S
ven Verdool
a
ege
isl_map_transitive_closur
e
: check if
i
nput is clos
e
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdo
o
laege
add isl_printer_flush
commit
|
commitdiff
|
tree
2010-04-28
S
v
en Verdoolae
g
e
isl_map_read
:
parse parametr
i
c
O
mega input
commit
|
commitdiff
|
tree
2010-04-28
Sven
V
erdoolae
g
e
isl_map
_
read: fix typo
commit
|
commitdiff
|
tree
2010-04-28
Sven
V
er
d
o
o
laege
isl_convex
_
hull
.
c
:
is_bound: any i
n
equality is a b
o
u
nd
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sve
n
Ver
d
o
o
laege
isl_con
v
e
x_
h
ull
.
c: add
_
bo
u
nds: propagate errors from
.
.
.
commit
|
commitdiff
|
tree
2010-04-25
Sven Verdoolaege
document
is
l
_map_
r
everse
commit
|
commitdiff
|
tree
2010-04-24
Sv
e
n Verdool
a
ege
isl_stream_next_token: terminate strin
g
tokens
commit
|
commitdiff
|
tree
2010-04-23
Sven Ve
r
doolaeg
e
isl_map_transitive_
c
losure: t
r
eat
e
quality as pair
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven V
e
rdoolaege
isl_map_transitive_cl
o
sure,
o
mega-l
i
ke: only use
?
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdo
o
laege
isl
_
map_t
r
a
nsitive_closure: use
sim
p
le
h
u
l
l in omega
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sv
e
n Ve
r
d
oola
e
g
e
isl_map_trans
i
tiv
e
_closure: try and com
p
ute closure
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sv
e
n
Verdo
o
laege
isl_map_coa
l
esce
:
allow wrapp
i
ng in s
e
ts that stick
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdool
a
ege
is
l
_
map_coales
c
e
: allowing c
u
tting equ
a
li
t
i
es in adjacent
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Ver
d
oolaege
add some more c
o
ales
c
i
ng
test cases
commit
|
commitdiff
|
tree
2010-04-23
Sven Ver
d
ool
a
ege
isl_b
a
sic_map_g
i
st:
b
e
more
a
g
gressive in removing
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
isl_st
r
eam: accept str
i
ng
tokens
commit
|
commitdiff
|
tree
2010-04-23
Sven Verd
o
olaege
isl_tab_rollb
a
c
k: restore row
s
that are n
o
longe
r
ma
r
ked
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdool
a
ege
doc: d
o
c
u
ment simpl
e
hull
commit
|
commitdiff
|
tree
2010-04-21
S
ven Verd
o
ol
a
ege
doc:
e
mph
a
siz
e
that we are de
a
ling with integer sets
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
i
s
l_transitive_clos
u
r
e
.
c:
p
a
th_along_d
e
lta:
o
nly
avoi
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
S
v
en
V
e
rdoolaege
isl
_
map_transitive_closure: com
p
u
t
e divs of inp
u
t
commit
|
commitdiff
|
tree
2010-04-21
Sven V
e
r
d
oolaeg
e
i
s
l_map_c
o
mpute_d
i
vs: make
s
ure
r
es
u
lt is gaussed and
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
S
v
en Ve
r
doolaege
i
s
l_printer_pr
i
nt_pw_qpolynomial: pro
p
erly print cons
t
rai
n
ts
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
S
v
en Verdoolaege
i
s
l
_
p
ip and isl_cat: terminate is
l
_arg
array with ISL_ARG_END
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdo
o
l
a
ege
d
oc: d
o
cument set
t
i
n
g
an
d
g
etting of dimension n
a
mes
commit
|
commitdiff
|
tree
2010-04-19
S
v
en Verdoolae
g
e
doc: document *_ge
t
_dim fun
c
tions
commit
|
commitdiff
|
tree
2010-04-19
Sven V
e
rdoolaege
isl_m
a
p_convex_hull: handle
n
on full-dime
n
siona
l
pairs
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
S
ven Verd
o
olaeg
e
isl_conv
e
x_hull
.
c: modul
o
_
affin
e
_
h
u
ll: drop redundant
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sve
n
Verdoolaege
isl_con
v
ex_hu
l
l
.
c: conv
e
x_hull
_
pair: s
k
ip directi
o
n
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sv
e
n V
e
r
d
oolaege
isl_prin
t
er_print_basic_set: fix
u
p
printing to s
t
ri
n
g
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sven
V
erd
o
olaege
add isl_set_neg an
d
isl_
s
e
t_sum
commit
|
commitdiff
|
tree
2010-04-16
Sven Ver
d
oolaege
i
s
l_transit
i
ve_closure
.
c: fix documentat
i
on of
constru
c
t_c
o
m
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Ve
r
doolaege
isl_map_coalesce: m
a
ke sure r
e
sult
s
t
ill contains set
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sve
n
Verdoolaege
isl_map_tr
a
n
siti
v
e_clos
u
re: Floyd-Warshall: p
r
operly
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven V
e
r
doo
l
aege
isl_map_tran
s
itive_closure: us
e
F
loyd-Warshall on disjoint
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sv
e
n
Verdoo
l
aege
isl_transit
i
ve_closure
.
c: extract out isl_set_o
v
erlaps
commit
|
commitdiff
|
tree
2010-04-15
Sven
Verd
o
olaege
isl_m
a
p
_
transiti
v
e_clo
s
u
re
:
project out length on each
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sv
e
n Verd
o
olaege
isl_tr
a
nsitive_closure
.
c:
construc
t
_component: don
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolaege
isl_map_transitive_
c
losure: don't add length param
e
ter
commit
|
commitdiff
|
tree
2010-04-15
Sv
e
n Verdoolaeg
e
d
oc: fix t
y
pos
commit
|
commitdiff
|
tree
2010-04-13
Sve
n
V
e
rdo
o
l
aege
isl_set_gi
s
t: make cont
e
xt argumen
t
a
n
i
s
l_set
f
or
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven Verd
o
o
laege
is
l
_m
a
p_transitive_cl
o
sure: coalesce
i
n
p
ut map
commit
|
commitdiff
|
tree
2010-04-13
S
ven
V
erdoolaege
isl_t
r
ansitive_clo
s
ure
.
c: cons
t
r
u
c
t
_component
:
al
w
ays
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven Verd
o
ola
e
ge
doc
:
cite Omega
library d
o
cumentat
i
on
o
n co
m
putation
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
S
v
en Verdoola
e
ge
add isl_s
t
re
a
m_read_map
commit
|
commitdiff
|
tree
2010-04-13
Sven Ver
d
oolae
g
e
is
l
_a
r
g
.
h
:
add
m
i
ssing include
commit
|
commitdiff
|
tree
2010-04-11
Sven Verd
o
olaege
isl_basi
c
_
m
a
p_mov
e
_dim
s
:
n
ormalize equalities
commit
|
commitdiff
|
tree
2010-04-11
S
v
e
n
Ver
d
oo
l
ae
g
e
rena
m
e is
l
_map
_
move to i
s
l_map
_
m
o
ve_dims
commit
|
commitdiff
|
tree
next