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_map_is_single_valued
2010-06-04
Sv
e
n
Verd
o
olaege
a
d
d
i
sl_map_is_single_va
l
ued
commit
|
commitdiff
|
tree
2010-06-04
Sven Ve
r
doolaege
i
sl_ba
s
ic_
m
ap_foreach_constrai
n
t: make sure i
n
p
ut
has
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
Sven
V
erdoo
l
aege
is
l
_basic_map_
c
opy: mark dupli
c
at
e
d copy
as finalized
commit
|
commitdiff
|
tree
2010-06-03
Sven Ve
r
d
o
ola
e
g
e
isl_basic_set_lift: fi
n
a
l
ize res
u
l
t
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoolaege
is
l
_ba
s
i
c
_map_move_dims: a
l
ways
f
i
n
a
l
ize
r
esult
commit
|
commitdiff
|
tree
2010-06-03
S
ven
Verdoolaege
isl_basic_map_from_cons
t
raint: finalize r
e
sult
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
isl_
a
cce
s
s_info_compute_flow: hand
l
e
m
a
y
acc
e
ss
e
s
commit
|
commitdiff
|
tree
2010-05-31
Sven Verd
o
ola
e
ge
isl
_
acces
s
_info_com
p
ute_flow:
handle multi-valued sin
k
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven Ver
d
oola
e
ge
rem
o
ve some unused varia
b
les
commit
|
commitdiff
|
tree
2010-05-30
S
v
en Ver
d
o
o
l
aeg
e
fix so
m
e ic
c
warnings
commit
|
commitdiff
|
tree
2010-05-30
Sv
e
n Verd
o
o
l
aege
r
en
a
me isl_pw_q
p
olyno
m
ial_
m
ov
e
a
nd a
d
d
i
s
l_pw_qpo
l
ynomia
l
_f
o
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven
Verdoolaege
i
s
l_ctx: ke
e
p
trac
k
o
f user o
p
tions
commit
|
commitdiff
|
tree
2010-05-30
Sven
V
erdoolaege
improve
d
argument parsing
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoo
l
a
e
g
e
isl_opt
i
o
n
s
_parse: pri
n
t
he
l
p me
s
sag
e
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
a
d
d
isl_
b
o
und test application
commit
|
commitdiff
|
tree
2010-05-14
Sven Ve
r
doolae
g
e
add isl_
p
w_qpo
l
ynomial_boun
d
_range
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n
V
erdoolaege
add
isl_pw_q
p
olyno
m
i
a
l_fo
l
d_morph
commit
|
commitdiff
|
tree
2010-05-13
Sven Ve
r
doolaege
add rud
i
menta
r
y
i
sl_m
o
rph
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoola
e
ge
a
dd
i
sl
_
seq_set
commit
|
commitdiff
|
tree
2010-05-13
S
v
en
Verdoolaege
isl_
e
qualities
.
c: fix typo in
comment
commit
|
commitdiff
|
tree
2010-05-13
S
ven
V
erd
o
ola
e
g
e
a
d
d isl_mat_ins
e
rt_rows
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoo
l
a
e
ge
add isl
_
mat_no
r
malize
commit
|
commitdiff
|
tree
2010-05-13
Sven Ver
d
oolaege
a
dd is
l
_
mat_diagonal
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n
Ver
d
ool
a
ege
isl_ma
t
_lin_to_aff: fix
e
rror handl
i
ng
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Ver
d
oolaege
i
s
l_qpoly
n
omi
a
l_opt_on_domain: h
a
nd
l
e empty input
commit
|
commitdiff
|
tree
2010-05-13
S
ven
V
erdoolaege
isl_n
a
me_alloc:
f
ix er
r
or handlin
g
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add
i
s
l
_dim_offset
commit
|
commitdiff
|
tree
2010-05-13
Sven Ver
d
oolaege
isl_eq
u
alities
.
c: fix typos in comments
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
e
r
doo
l
aeg
e
a
d
d isl_pw_qpolynomial_fol
d
_covers
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
rdoolaege
ad
d
i
sl_qpolynomial_le_cst
commit
|
commitdiff
|
tree
2010-05-13
Sven Ve
r
doolaege
privately exp
o
rt
is
l
_set_i
s
_bo
u
nded
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdool
a
ege
add isl_set_
c
ount_upt
o
commit
|
commitdiff
|
tree
2010-05-13
Sven Verd
o
olaege
a
dd isl_
s
et_scan
commit
|
commitdiff
|
tree
2010-05-13
S
ven
V
erdoolaege
add isl_st
r
eam_read_pw
_
qp
o
lynomial
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_
q
polyn
o
mial_f
r
o
m
_t
e
rm
commit
|
commitdiff
|
tree
2010-05-13
Sven Ve
r
doolaege
ad
d
i
sl_qpolynomial_from_constrain
t
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_basic_set_fore
a
ch_bound_pai
r
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
erdo
o
l
a
e
g
e
add isl_qpolyno
m
ial_as_
p
o
lynomial_on_domai
n
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_qpolynomi
a
l_substitut
e
commit
|
commitdiff
|
tree
2010-05-13
Sven Verd
o
olaege
add isl_b
a
sic_set_dims_
g
et_sign
commit
|
commitdiff
|
tree
2010-05-04
Sven
Verdool
a
ege
isl_c
t
x: add zero
commit
|
commitdiff
|
tree
2010-05-04
Sven
V
erdo
o
laege
add is
l
_qpo
l
ynomial_neginft
y
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaeg
e
add isl_basic_set_
d
ro
p
commit
|
commitdiff
|
tree
2010-05-04
Sven
V
erdoolaege
isl_qpol
y
nomi
a
l_f
o
ld_opt_o
n
_domain: fix typo
commit
|
commitdiff
|
tree
2010-05-04
Sve
n
V
erdoolaege
isl_pw_*_eval
:
fix handling of em
p
ty inp
u
t
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoo
l
ae
g
e
add isl_basic_set_mov
e
_
dim
s
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
export isl_q
p
olynomial
_
sub
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
add isl_qpoly
n
omial_get_dim
commit
|
commitdiff
|
tree
2010-05-04
Sven Ver
d
oolaege
isl_map_transit
i
v
e
_closu
r
e
: coale
s
ce
i
n
p
ut b
e
fore checkin
g
.
.
.
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
add map_lex_*_first
commit
|
commitdiff
|
tree
2010-05-01
Sven Ver
d
o
olaege
isl_
m
ap_lex_le:
u
se one bas
i
c s
e
t le
s
s
in result
commit
|
commitdiff
|
tree
2010-05-01
Sv
e
n V
e
rdoolaege
is
l
_stream: accept
lexi
c
ograph
i
c operat
o
rs
commit
|
commitdiff
|
tree
2010-04-28
S
v
en Verdoolaege
isl_ma
p
_
t
ransi
t
ive_cl
o
s
u
re: chec
k
if inp
u
t is closed
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
S
v
e
n Verd
o
olaeg
e
add isl
_
printer_flush
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoo
l
aege
isl_map_rea
d
:
par
s
e par
a
metri
c
Omega input
commit
|
commitdiff
|
tree
2010-04-28
S
ven
V
e
rdoolaege
isl_
m
ap_read: fix t
y
po
commit
|
commitdiff
|
tree
2010-04-28
Sven
Verd
o
olaege
isl_con
v
ex_h
u
l
l
.
c
:
is_
b
ou
n
d
:
any
i
nequality is a bound
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoo
l
aege
isl_convex_hull
.
c: add_bounds: pr
o
pa
g
ate e
r
rors fr
o
m
.
.
.
commit
|
commitdiff
|
tree
2010-04-25
Sven Verdoolaege
document isl_map_r
e
ve
r
se
commit
|
commitdiff
|
tree
2010-04-24
Sven
V
e
rdoolae
g
e
isl_stream_next_token
:
t
e
rminate string tokens
commit
|
commitdiff
|
tree
2010-04-23
Sven Verd
o
olaege
isl_map_
t
r
ansit
i
ve_closure: treat equality a
s
pair
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven
V
erdoolae
g
e
i
sl_map_transitiv
e
_
c
lo
s
ur
e
, omega-lik
e
: on
l
y
use
?
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoola
e
ge
isl_map_t
r
ansiti
v
e_closure: use simp
l
e hull in omega
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
isl_map_transitive_closure: try
and compute closu
r
e
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
S
v
en Ver
d
o
olaege
isl_m
a
p_coalesce
:
all
o
w wrappi
n
g
i
n sets that sti
c
k
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoo
l
aege
isl_map_coalesce: allowing cutting e
q
ualities in
a
d
j
a
cent
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaeg
e
add some more c
o
alescing test
c
ases
commit
|
commitdiff
|
tree
2010-04-23
Sven
Ve
r
doolaege
isl
_
basic_map_gist: be
m
ore aggressiv
e
in
r
emoving
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
S
ven
Verdool
a
ege
isl_strea
m
:
accept
s
tring to
k
ens
commit
|
commitdiff
|
tree
2010-04-23
Sv
e
n
V
erd
o
ola
e
g
e
i
sl_t
a
b_rollback: r
e
store r
o
ws that ar
e
no
lo
n
ger ma
r
ked
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Ver
d
oo
l
aege
doc: docume
n
t sim
p
l
e
hull
commit
|
commitdiff
|
tree
2010-04-21
Sv
e
n Verd
o
olaege
do
c
:
e
mphasi
z
e that we are dealing with integer sets
commit
|
commitdiff
|
tree
2010-04-21
Sven
Ver
d
oolaege
i
s
l_transitive_closure
.
c: path_alon
g
_de
l
ta: only
a
void
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sve
n
V
erdool
a
ege
isl_map_transitive_closure: co
m
pu
t
e di
v
s of input
commit
|
commitdiff
|
tree
2010-04-21
S
v
e
n Verdoolaege
isl_map_compu
t
e
_divs: make sure result is gaussed an
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven
Verd
o
olaege
isl_printer
_
print_pw_qpolyno
m
ial: properly print
co
n
str
a
ints
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven
V
e
rdo
o
l
a
ege
isl_
p
i
p and isl_cat: terminate i
s
l_arg array with ISL_ARG_END
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdool
a
ege
doc: document setting and getting of dim
e
n
sion names
commit
|
commitdiff
|
tree
2010-04-19
Sven V
e
rdoolaege
doc: documen
t
*_get_d
i
m fun
c
tions
commit
|
commitdiff
|
tree
2010-04-19
S
v
en Verdo
o
lae
g
e
isl_map_con
v
ex_hull: handle no
n
full-dimension
a
l pairs
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoolaege
is
l
_convex_
h
ull
.
c: modulo_a
f
fine_hu
l
l: drop re
d
undant
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sv
e
n V
e
rdool
a
e
g
e
isl_convex_hul
l
.
c: co
n
v
e
x_
h
ull_pair
:
skip direction
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sven
V
erdo
o
laege
isl_printer_print_
b
asic_set: fix up print
i
ng to st
r
ing
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sven V
e
r
d
oolaege
add isl_set_n
e
g an
d
isl_set_sum
commit
|
commitdiff
|
tree
2010-04-16
Sven Verdoolaege
isl_t
r
ans
i
tiv
e
_closure
.
c: fix d
o
cum
e
ntatio
n
of con
s
truct_com
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Ve
r
doolae
g
e
isl_m
a
p_coa
l
e
s
ce: make sure r
e
sult still contains se
t
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven
Ve
r
doolaege
isl_map_transitive_clos
u
re: Floyd-Warshall: pr
o
perly
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven V
e
r
d
oolaege
isl_ma
p
_transi
t
iv
e
_closure: use Flo
y
d
-Warsh
a
ll o
n
disjoint
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven
Ve
r
d
o
olaege
isl_transitive_closu
r
e
.
c: ext
r
a
c
t out is
l
_set_o
v
er
l
aps
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolaege
isl_ma
p
_transiti
v
e_closu
r
e: projec
t
out length on each
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
S
ven Verdool
a
eg
e
i
sl_tr
a
nsitive_closure
.
c: const
r
uct_component: do
n
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoola
e
ge
i
s
l
_
map
_
t
r
ansitive_closur
e
: d
o
n
'
t
add le
n
gth parameter
commit
|
commitdiff
|
tree
2010-04-15
Sv
e
n
V
e
rdoolaege
doc: f
i
x typos
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoolaege
isl_set
_
g
i
st:
m
ake c
o
ntext argument an isl_set for
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven V
e
rdo
o
laege
i
s
l_map_
t
rans
i
tive_closu
r
e: coalesce i
n
put
m
ap
commit
|
commitdiff
|
tree
2010-04-13
S
v
en Verdo
o
laege
isl_transitive_closure
.
c: con
s
truct_c
o
mponent:
always
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoolaege
doc: c
i
te Omega li
b
r
a
ry docu
m
entation on computation
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
S
v
en V
e
rdoolaege
a
d
d isl_str
e
a
m_read_map
commit
|
commitdiff
|
tree
2010-04-13
S
v
en Verdoolaege
isl_arg
.
h
:
a
d
d
miss
i
n
g
inc
l
ude
commit
|
commitdiff
|
tree
2010-04-11
Sven
V
er
d
oola
e
ge
isl_basic_map_mo
v
e_
d
ims: nor
m
alize equalities
commit
|
commitdiff
|
tree
next