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
privately export isl_morph_alloc and isl_morph_identity
2010-06-12
Sven Verdoolaege
privately expo
r
t
i
s
l
_
morph
_
a
l
l
o
c
and isl_morph_id
e
ntity
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
a
d
d isl_qpolynomial_fold_
g
et_type
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
e
x
port isl_pw_qpolyno
m
ial_get_ctx
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
add isl_ctx_peek_options
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verd
o
ol
a
e
ge
isl_range
.
c: fix typ
o
in com
m
ent
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Ve
r
doolaege
export isl_set_is_bounded
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaeg
e
isl_bo
u
nd:
plug mem
o
ry leak
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
fi
x
i
sl_q
p
o
lynomi
a
l_fo
l
d
_
dup
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
e
ge
isl_pw
_
qpo
l
y
nom
i
al_bound
_
range: fix
r
emoval of dims
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
add bound_
t
est
.
sh to
distrib
u
ti
o
n
commit
|
commitdiff
|
tree
2010-06-11
S
v
en Verdoolaege
doc
:
docu
m
ent gi
s
t
operations
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdoolaeg
e
doc: document i
s
l_const
r
aint
_
is_equality
commit
|
commitdiff
|
tree
2010-06-04
S
v
en Verdoo
l
a
e
ge
add
i
sl_
m
ap_is_s
i
ngle_valued
commit
|
commitdiff
|
tree
2010-06-04
S
v
en
Verdoola
e
ge
is
l
_
b
a
s
i
c_map_foreach_constraint: make sure input has
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoolaege
is
l
_basic_map
_
copy:
m
ark du
p
l
i
cated
c
opy as finalized
commit
|
commitdiff
|
tree
2010-06-03
Sven Ver
d
oo
l
aege
i
sl_basic_set_lift: finalize
result
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoo
l
aege
isl_b
a
sic_map
_
move_dims: alw
a
ys fin
a
liz
e
res
u
lt
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoolae
g
e
isl_basic_m
a
p_from_cons
t
raint: finalize result
commit
|
commitdiff
|
tree
2010-06-01
Sven Ve
r
doola
e
ge
is
l
_
a
c
cess_info_comp
u
te_flow
:
handl
e
may accesses
commit
|
commitdiff
|
tree
2010-05-31
Sven Ve
r
doolaege
isl_acc
e
ss_info_co
m
pu
t
e_fl
o
w:
handle mult
i
-valued sin
k
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven
Verdoolaege
remove some unused variables
commit
|
commitdiff
|
tree
2010-05-30
Sven Ver
d
oolaege
fix so
m
e icc warnings
commit
|
commitdiff
|
tree
2010-05-30
S
ven Verdoola
e
ge
r
e
na
m
e isl_pw
_
qpolyn
o
mial_move and
a
dd isl_pw_qpolyno
m
ial_fo
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
S
v
en
Verdoolaege
isl_ctx: kee
p
tra
c
k of user options
commit
|
commitdiff
|
tree
2010-05-30
S
v
en
V
er
d
oolaeg
e
i
m
proved argument parsing
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
is
l
_op
t
ions
_
parse:
p
rint
h
elp messa
g
e
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
add i
s
l_
b
ound
test application
commit
|
commitdiff
|
tree
2010-05-14
Sven V
e
rdoolaege
add isl_pw_qpolyn
o
m
i
al_bound_range
commit
|
commitdiff
|
tree
2010-05-13
Sven Ver
d
oolaeg
e
a
d
d isl_pw_qp
o
lynomial_fold_morph
commit
|
commitdiff
|
tree
2010-05-13
Sven Ver
d
o
o
laege
add rudimentary is
l
_morph
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verdoolaege
add isl_seq_set
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
erdoolaege
isl_equalitie
s
.
c:
f
ix typo i
n
commen
t
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verdoolaege
ad
d
isl_mat
_
insert_rows
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_m
a
t_normali
z
e
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_mat_
d
iag
o
nal
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
isl
_
mat_lin
_
to_aff: fix error handling
commit
|
commitdiff
|
tree
2010-05-13
Sven Ver
d
oolaege
isl
_
qpolynomial_op
t
_on_domai
n
: handl
e
empty in
p
ut
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
is
l
_
n
ame_
a
lloc: fix error handling
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add is
l
_dim_offset
commit
|
commitdiff
|
tree
2010-05-13
S
v
en
V
e
r
doolaege
isl
_
equa
l
ities
.
c
: fix typos in comments
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
rdoolaege
add i
s
l_
p
w_qpolynomial_fold_covers
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdool
a
ege
add isl_qpo
l
y
n
omial_le_cst
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Verdoolaege
p
rivately export isl_set
_
is_boun
d
ed
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Ve
r
doolae
g
e
add
i
s
l_set_count
_
upto
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoo
l
aege
add
i
s
l
_
s
et_scan
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdo
o
laege
add isl_stream_read
_
p
w
_qpoly
n
o
mi
a
l
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verdool
a
eg
e
add isl_qpolynomial_fr
o
m_ter
m
commit
|
commitdiff
|
tree
2010-05-13
Sven Ver
d
oolaege
add
isl_
q
po
l
y
nomial_fro
m
_
c
onstraint
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verdoo
l
aege
add isl_basic_set_foreach_bound_
p
air
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
rdoolaeg
e
add i
s
l_qpolyno
m
ial_as_polyn
o
mia
l
_on_domain
commit
|
commitdiff
|
tree
2010-05-13
Sven Verd
o
olaege
add isl_
q
p
o
l
ynomial_s
u
bstitute
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
erdoolaege
add isl_basic_set_
d
ims_ge
t
_
s
ign
commit
|
commitdiff
|
tree
2010-05-04
Sven Ver
d
oolaege
is
l
_
ctx: add
ze
r
o
commit
|
commitdiff
|
tree
2010-05-04
S
ve
n
Verdo
o
laeg
e
add isl_qpolynomial_neginfty
commit
|
commitdiff
|
tree
2010-05-04
Sven
V
erdoolaege
add isl_basic_
s
et_drop
commit
|
commitdiff
|
tree
2010-05-04
Sven
V
erdoolaeg
e
i
sl_
q
p
o
lynomial_f
o
ld_
o
pt
_
o
n
_domain: fix
t
ypo
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
isl_pw_*_eval: fix handlin
g
of empt
y
input
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
add i
s
l
_
ba
s
i
c
_set_mo
v
e_d
i
m
s
commit
|
commitdiff
|
tree
2010-05-04
Sven
V
e
r
doolaege
e
x
po
r
t
is
l
_
q
pol
y
nomial_sub
commit
|
commitdiff
|
tree
2010-05-04
Sven V
e
r
d
o
olaege
add isl
_
qpo
l
ynomial_get_dim
commit
|
commitdiff
|
tree
2010-05-04
Sven Ver
d
oolaege
isl_ma
p
_transitive_closure: coalesce input before ch
e
cking
.
.
.
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
add ma
p
_lex_*
_
fir
s
t
commit
|
commitdiff
|
tree
2010-05-01
Sven Verdoolaeg
e
isl
_
map_lex_le: u
s
e one basic set less in
r
esult
commit
|
commitdiff
|
tree
2010-05-01
Sven Verdoolaege
isl
_
stream: accept lexicographic operators
commit
|
commitdiff
|
tree
2010-04-28
Sven Ver
d
oolaeg
e
isl_map_transitive_closur
e
: che
c
k
i
f input i
s
closed
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven
V
e
rdoo
l
aege
add
i
sl_p
r
inter
_
f
l
u
s
h
commit
|
commitdiff
|
tree
2010-04-28
S
ven V
e
rdool
a
e
ge
isl_map
_
read: parse
parametr
i
c Omega i
n
put
commit
|
commitdiff
|
tree
2010-04-28
S
v
en Verdoolaege
isl_map_read: fix typ
o
commit
|
commitdiff
|
tree
2010-04-28
S
ven Verdool
a
ege
isl_con
v
ex_h
u
ll
.
c:
is_
b
ound:
a
ny inequality is
a b
o
und
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sve
n
Verdoolaege
isl_con
v
ex_hull
.
c
:
add
_
bounds: propa
g
ate
e
r
ro
r
s from
.
.
.
commit
|
commitdiff
|
tree
2010-04-25
Sven Verdo
o
laege
docum
e
nt isl_map_rever
s
e
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoo
l
aege
is
l
_s
t
ream_next_token: terminate string
tokens
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
isl_map_tra
n
si
t
ive_cl
o
s
ure: treat equality as pa
i
r
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoola
e
ge
isl_map_tran
s
itive_clo
s
ure,
o
m
ega-like: only use ?
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sve
n
Ve
r
doolaege
isl_map_transitive
_
closure
:
use
si
m
ple hull in omega
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
S
v
en Verdoo
l
a
e
ge
isl_map_tran
s
i
tive_clos
u
re: try and comput
e
closure
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdool
a
ege
isl_map_coa
l
esce
:
allo
w
wrapp
i
ng in sets t
h
at stic
k
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sv
e
n Verdoolaege
isl_ma
p
_coales
c
e:
a
llowing cutting e
q
ua
l
ities in adjacent
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
add som
e
mo
r
e coa
l
escing te
s
t
cases
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoola
e
ge
isl_basic_map_gist: be more aggressive in removing
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
isl_strea
m
:
acce
p
t string
token
s
commit
|
commitdiff
|
tree
2010-04-23
S
v
en Ve
r
d
ool
a
ege
isl_tab_rollba
c
k: restore rows that are no long
e
r
marke
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven V
e
rd
o
olaege
doc: d
o
cumen
t
s
imple
hull
commit
|
commitdiff
|
tree
2010-04-21
S
v
en Verdoola
e
ge
d
o
c
:
emphas
i
ze
t
hat we
are dealing w
i
th integer sets
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
isl_tran
s
itive_closure
.
c: pat
h
_alon
g
_del
t
a
:
only avoi
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Ver
d
ool
a
ege
i
s
l_map
_
t
r
ansitive_closure: compute
d
iv
s
of input
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoo
l
aege
isl_map_compute_divs:
m
ak
e
sure result is
gaussed and
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
S
ven Verdoolaege
isl_prin
t
er_prin
t
_pw_qp
o
lynomial: properly print constraints
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sve
n
Verdoolaege
isl
_
p
i
p and isl_cat
:
terminate i
s
l
_arg array with
I
S
L
_ARG_END
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdool
a
ege
doc: document setting and
g
etting o
f
di
m
ension names
commit
|
commitdiff
|
tree
2010-04-19
Sven Ver
d
oolaege
do
c
: doc
u
ment
*_get_dim func
t
ions
commit
|
commitdiff
|
tree
2010-04-19
Sven
Ve
r
dool
a
ege
isl_map_
c
onvex_hull: handle non full-dimensional pairs
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
S
v
en Verdoolaege
isl_convex_hul
l
.
c: modulo_affine_h
u
ll: drop redundant
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdo
o
laege
i
sl_convex_hul
l
.
c:
c
onvex_hull_pair: ski
p
direction
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sven
Verd
o
o
l
aege
isl_printer_print_bas
i
c_set: f
i
x u
p
printing to string
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sven Verd
o
olaeg
e
add isl_set_neg and isl_se
t
_
s
um
commit
|
commitdiff
|
tree
2010-04-16
S
v
en Verdoolaege
i
sl_t
r
ansitive_clo
s
u
re
.
c
:
fi
x
documen
t
ati
o
n o
f
construct_com
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sv
e
n
Verdoolaege
isl_map_coal
e
sce: ma
k
e sure result still cont
a
ins s
e
t
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolaege
is
l
_map_transitiv
e
_cl
o
sure: Floyd-War
s
hall:
p
roperly
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven
V
erdoolae
g
e
isl
_
ma
p
_tra
n
sit
i
ve_closur
e
: use Floyd
-
Warshall on disjoint
.
.
.
commit
|
commitdiff
|
tree
next