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_range.c: fix typo in comment
2010-06-12
Sven Verdoolaege
isl_range
.
c:
fix typo i
n
com
m
ent
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
export isl_set_is_boun
d
ed
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_bound: plug memory leak
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
f
ix is
l
_qpolynom
i
al_fold_dup
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
isl_pw_qpolynomial_bound_r
a
n
g
e:
f
ix removal o
f
dims
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
l
aege
add bound_t
e
st
.
sh to
d
istribution
commit
|
commitdiff
|
tree
2010-06-11
Sve
n
V
e
rdoolaege
doc:
document gist operat
i
on
s
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdo
o
laege
doc:
d
ocu
m
e
n
t isl_constraint_is_eq
u
ali
t
y
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdo
o
lae
g
e
add isl_map_is_si
n
gl
e
_va
l
ued
commit
|
commitdiff
|
tree
2010-06-04
Sv
e
n Ver
d
oolaege
is
l
_b
a
sic_map_
f
oreach_constraint: make sure input ha
s
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoolaege
isl_b
a
s
i
c_m
a
p_copy: mark duplicated copy as finalized
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdo
o
l
a
ege
isl_
b
as
i
c_set_lift: finalize re
s
ult
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoolaege
isl
_
basic_map_move_dims: always finalize r
e
su
l
t
commit
|
commitdiff
|
tree
2010-06-03
S
v
e
n
Verdoo
l
a
e
ge
isl_basic_ma
p
_from_constraint: finalize r
e
sult
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoola
e
ge
i
sl_access_info_compute_fl
o
w: handle may acces
s
es
commit
|
commitdiff
|
tree
2010-05-31
S
ven Verdoo
l
a
ege
isl_access_info
_
compute_flow: hand
l
e multi-v
a
lued sink
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoolaege
r
emove
s
ome unused variable
s
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoolaege
fix some icc warnings
commit
|
commitdiff
|
tree
2010-05-30
Sven
V
erdool
a
ege
rename isl
_
pw
_
qpo
l
y
no
m
ial_move
and add isl_pw_qpolynomial_f
o
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
S
v
en Verd
o
olaege
isl_ctx: keep tr
a
c
k of user
options
commit
|
commitdiff
|
tree
2010-05-30
Sven
Ver
d
o
o
laege
impr
o
ved argume
n
t parsing
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
isl_options_parse: print help messa
g
e
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdo
o
laeg
e
add isl
_
boun
d
te
s
t application
commit
|
commitdiff
|
tree
2010-05-14
S
v
en
Ver
d
oolaege
add i
s
l_pw_qpo
l
ynomial_bound_range
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_pw_qpolyno
m
ial_fo
l
d_morph
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
rdoolaege
add rudimenta
r
y isl_morph
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verdoolaege
add isl_seq_set
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verdoolaege
isl_equalities
.
c: fix typ
o
in comme
n
t
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n V
e
rdoo
l
a
ege
a
d
d is
l
_mat_
i
nsert_ro
w
s
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Verd
o
ol
a
ege
add isl_mat_normalize
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Verdo
o
la
e
ge
add
i
s
l_mat_d
i
agonal
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdool
a
eg
e
isl_mat_lin_to_aff: fix error
h
an
d
ling
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verdo
o
laeg
e
isl_qpolynomial_op
t
_o
n
_
domain: handle empty input
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
isl
_
nam
e
_all
o
c: fix error handling
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
a
dd is
l
_dim_
o
f
f
set
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoo
l
aege
isl
_
equalities
.
c: fix typos in co
m
ment
s
commit
|
commitdiff
|
tree
2010-05-13
S
v
en
V
erdoolaege
add isl_pw_qpolynomial_fold_covers
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdo
o
lae
g
e
add isl_qpo
l
ynomial_l
e
_
cst
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoo
l
aeg
e
priva
t
ely exp
o
rt isl_set_i
s
_bound
e
d
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdool
a
eg
e
a
d
d
isl_s
e
t_co
u
nt
_
upt
o
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_set_s
c
an
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Ver
d
oolaeg
e
add
isl_stream_read_pw_qp
o
lynomial
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
ad
d
isl_
q
polynomial_from_term
commit
|
commitdiff
|
tree
2010-05-13
S
v
en
V
erdo
o
laege
add isl_qpo
l
ynomial_from_
c
on
s
trai
n
t
commit
|
commitdiff
|
tree
2010-05-13
Sven Verd
o
olaege
a
d
d isl_basic_s
e
t
_foreac
h
_b
o
u
nd_pa
i
r
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Ver
d
oolaeg
e
add
isl_qpolynom
i
al_as_polynomial_on_domain
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verdoolaege
add isl_qpol
y
n
omia
l
_su
b
stitute
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add is
l
_basic_set_dim
s
_get_sign
commit
|
commitdiff
|
tree
2010-05-04
Sve
n
Verdoola
e
ge
isl_c
t
x:
add zero
commit
|
commitdiff
|
tree
2010-05-04
Sven
V
erdoolaege
add isl_
q
pol
y
nomial_neginfty
commit
|
commitdiff
|
tree
2010-05-04
Sven V
e
rdoolaege
add isl_
b
asic_set_drop
commit
|
commitdiff
|
tree
2010-05-04
Sven Verd
o
ola
e
g
e
isl_q
p
olynomial_f
o
ld_opt_on_domain: fix typo
commit
|
commitdiff
|
tree
2010-05-04
Sv
e
n Verdoolaege
isl_pw_*_eval
:
fix handling of e
m
pty input
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdo
o
la
e
ge
add isl_basic_set_move_d
i
ms
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
export isl_qpolynomial_sub
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoola
e
g
e
add
i
s
l
_qpolynomial
_
get_d
i
m
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
isl_map_tra
n
sitive_closure:
c
oale
s
ce in
p
ut before checking
.
.
.
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
ad
d
m
ap_lex_*_f
i
r
st
commit
|
commitdiff
|
tree
2010-05-01
Sven Ve
r
doolaege
i
s
l_map_lex_le: use one basic set less in
r
e
sult
commit
|
commitdiff
|
tree
2010-05-01
S
v
en V
e
rdoola
e
ge
isl_
s
tream: acc
e
p
t lexicographic
operators
commit
|
commitdiff
|
tree
2010-04-28
Sven
Verdoolaege
isl_map_transitive_c
l
osure: c
h
eck if input is c
l
o
s
ed
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
add isl
_
print
e
r_fl
u
s
h
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
i
sl
_
map_read: parse
para
m
etric Ome
g
a i
n
p
u
t
commit
|
commitdiff
|
tree
2010-04-28
Sven
Verdo
o
l
a
ege
isl_map_read: fix ty
p
o
commit
|
commitdiff
|
tree
2010-04-28
Sven Ve
r
doolaege
isl
_
convex_h
u
ll
.
c:
i
s_bound: an
y
inequality is a bound
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
S
ven
Verdool
a
ege
isl_convex_hull
.
c
:
add
_
bounds: pr
o
pagate errors
f
rom
.
.
.
commit
|
commitdiff
|
tree
2010-04-25
S
v
e
n
Verdoolaege
document
i
sl_
m
a
p
_r
e
v
erse
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoo
l
aege
i
s
l_stream_ne
x
t_token: termin
a
t
e
s
tring tokens
commit
|
commitdiff
|
tree
2010-04-23
S
v
e
n
Verdoo
l
aege
i
s
l_map_transitive_cl
o
sure
:
t
reat
equal
i
t
y as p
a
ir
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sve
n
Verd
o
o
l
aege
isl_map_tran
s
it
i
ve_closure, omega-like:
o
nly
u
se ?
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaeg
e
isl_
m
ap_trans
i
tive_
c
losure: us
e
simple hull i
n
omega
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
isl_map_t
r
a
n
sit
i
v
e_closur
e
: tr
y
a
n
d compute cl
o
sure
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verd
o
o
laege
isl_map_c
o
ale
s
ce
:
al
l
ow wrapp
i
ng in sets tha
t
stick
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
S
ve
n
Verdoola
e
ge
isl_m
a
p_coalesce: allowing cutting equalities in adjacent
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sv
e
n
V
e
rdoo
l
a
e
ge
add some more coalescing test cases
commit
|
commitdiff
|
tree
2010-04-23
Sven
Verdoolaeg
e
isl
_
basic_ma
p
_gi
s
t
:
be more aggressi
v
e
i
n remo
v
ing
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
S
ven Ver
d
oolaege
isl_stream: a
c
cept string
tok
e
n
s
commit
|
commitdiff
|
tree
2010-04-23
Sve
n
Verdool
a
eg
e
i
s
l_tab_rollback
:
restore rows that are
no l
o
nger marked
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Ve
r
dool
a
ege
doc: docu
m
ent simp
l
e hull
commit
|
commitdiff
|
tree
2010-04-21
Sven
Ve
r
doolaege
doc:
e
m
p
hasize
t
hat we are de
a
lin
g
with
integer sets
commit
|
commitdiff
|
tree
2010-04-21
S
v
e
n Verdool
a
eg
e
isl_
t
ransit
i
ve_clo
s
ur
e
.
c: path_along_delta: only avoid
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sv
e
n Ve
r
dool
a
ege
isl_ma
p
_
t
r
ansitive_cl
o
sure: compute divs
o
f
input
commit
|
commitdiff
|
tree
2010-04-21
Sven Ver
d
oo
l
aege
isl_m
a
p_comput
e
_
divs: make sure re
s
ul
t
i
s gaussed
and
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven V
e
rdoola
e
g
e
i
sl_p
r
int
e
r_pri
n
t_
p
w_q
p
o
l
yn
o
mial
:
properly print constraints
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
S
v
en Ver
d
o
o
laeg
e
isl_pip and
isl
_
cat: term
i
na
t
e
i
s
l_arg
array wit
h
ISL_ARG_EN
D
commit
|
commitdiff
|
tree
2010-04-19
Sven
Verdoo
l
aege
doc: d
o
c
u
ment
setting
and g
e
tting of dimension
names
commit
|
commitdiff
|
tree
2010-04-19
S
v
en
V
e
rdoolaege
d
oc: d
o
cument
*
_g
e
t_dim f
u
n
c
tion
s
commit
|
commitdiff
|
tree
2010-04-19
Sven Ver
d
oolaege
isl_map_convex_hull: handle non f
u
ll-dimension
a
l
pai
r
s
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoolaeg
e
isl_convex_
h
ull
.
c: modulo_af
f
ine_hull
:
drop
r
edundant
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven V
e
r
d
oolaege
isl_
c
onv
e
x_hul
l
.
c: conv
e
x_hull_pair: skip d
i
rection
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sven Verdoolaege
isl_p
r
inter_print_basic_s
e
t: f
i
x up printing to string
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sven Verdoolaege
add isl_set_ne
g
and isl
_
se
t
_sum
commit
|
commitdiff
|
tree
2010-04-16
S
v
en Verdoolaege
isl_transiti
v
e
_
closure
.
c: fix documentation of co
n
st
r
uct_com
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sve
n
Verdoolaeg
e
isl_map_coalesce:
m
a
ke
s
ure resu
l
t still contains set
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven
Ve
r
doo
l
aege
i
s
l_map_tra
n
sitive_closure: Floyd-Warshall: prope
r
ly
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
S
ven
Verdoolaege
isl_map_transitiv
e
_
c
losur
e
:
use
F
loyd-Warshall on
disjo
i
n
t
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
S
v
en Verdoola
e
ge
isl_t
r
ansitive_
c
losure
.
c: extract out isl_set_overlap
s
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolaege
isl_map_tran
s
itive_clos
u
re: project out length on e
a
c
h
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolae
g
e
i
sl_tr
a
nsitive_closure
.
c: con
s
truct_com
p
onent: don
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
S
v
en Verdoolaege
isl
_
map_transitive_closure: don't add length parame
t
er
commit
|
commitdiff
|
tree
next