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_stream_read_obj: read reductions
2010-06-12
Sven Ve
r
doolaege
a
dd isl_basic_set_factorizer
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
export isl
_
pw_qpolynom
i
al_fold_dro
p
_dims
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doo
l
aege
export isl_qpolynomial_is_
z
er
o
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
eg
e
ad
d
isl_qp
o
lynomia
l
_c
o
eff
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Ve
r
doolaege
a
dd isl_
q
poly
n
omial_from_af
f
ine
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
export i
s
l_q
p
olyn
o
mi
a
l_add_dims
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_qpolynomial_hom
o
genize
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add is
l
_qpolyn
o
mial_degree
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
r
d
ool
a
e
g
e
ad
d
isl_qpolynomial_insert_dims
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
o
laeg
e
add isl
_
qpoly
n
omial_d
i
m
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
i
s
l_ctx: add
t
w
o
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdo
o
l
a
ege
isl
_
tab_detect_
i
mpli
c
it
_
equalities: ret
u
rn integer
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
v
en V
e
r
dool
a
e
g
e
add isl_tab_sign_of_max
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aege
isl_tab_select_facet: return int instead of isl_tab *
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
a
d
d isl_basi
c
_set_ful
l
_compression
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aege
priv
a
tely expor
t
isl_pw
_
qpolyn
o
mia
l
_mo
r
ph
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verd
o
o
laege
add isl_qpolynomi
a
l_
f
old_foreach_qpolynomia
l
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
add
is
l
_
p
w_qpoly
n
omial_fold_fo
r
e
a
ch_lifted_piece
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
export isl_
p
w
_qpolynomial_fold_is_z
e
ro
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aege
privately export
isl_morph_alloc and
i
sl_
m
or
p
h_identity
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolae
g
e
add isl_
q
polyno
m
ial_fo
l
d_get_type
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
ex
p
ort i
s
l_p
w
_qpo
l
y
n
omial_get_ctx
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
add
isl_ctx_peek_options
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolae
g
e
isl_range
.
c: fix ty
p
o in
c
o
m
ment
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
expor
t
isl_set_is_bounded
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_bo
u
n
d:
plug
m
emory le
a
k
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
lae
g
e
fix isl_qpolynom
i
al_fold_dup
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
isl_pw_qp
o
lynom
i
al_
b
ound
_
r
a
n
ge: fix removal of dims
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
a
ege
add bound_test
.
sh to distr
i
bution
commit
|
commitdiff
|
tree
2010-06-11
S
v
en
V
erdoolaege
doc: document gi
s
t operatio
n
s
commit
|
commitdiff
|
tree
2010-06-04
Sven Ve
r
d
oolaege
d
o
c: d
o
cume
n
t isl_co
n
strain
t
_is_equality
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdool
a
ege
add isl_map_
i
s_single_valued
commit
|
commitdiff
|
tree
2010-06-04
Sve
n
Verdoolaege
isl_basic_map_foreach_constr
a
int:
m
a
k
e
sure in
p
u
t
has
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
Sven Verd
o
o
la
e
ge
isl_basi
c
_map_copy: mark dupl
i
cated co
p
y
as fi
n
alized
commit
|
commitdiff
|
tree
2010-06-03
Sv
e
n Verdoolaege
isl_b
a
sic_set_lift:
fina
l
i
z
e result
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdool
a
e
ge
i
s
l_basic_map_move_dims: alway
s
finalize resul
t
commit
|
commitdiff
|
tree
2010-06-03
Sven Verd
o
olaeg
e
i
sl_
b
asic_map_from_constraint: finalize re
s
u
l
t
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoola
e
ge
isl_access_info
_
compute_flow: handl
e
may
a
ccesses
commit
|
commitdiff
|
tree
2010-05-31
Sv
e
n Ve
r
doolaege
is
l
_acc
e
ss_info_comp
u
t
e
_flow
:
ha
n
dle m
u
l
ti
-
valued si
n
k
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven
Verd
o
ol
a
ege
remove some
u
nu
s
ed variables
commit
|
commitdiff
|
tree
2010-05-30
Sven
V
erd
o
o
l
aege
fix some i
c
c
w
ar
n
ings
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoola
e
ge
r
e
name i
s
l
_pw_qpolynomia
l
_move and add isl_pw_qpolynomial_fo
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoolaege
isl_ctx: keep track of user
o
p
tion
s
commit
|
commitdiff
|
tree
2010-05-30
Sven
Verdoolaege
improved a
r
gument parsing
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoo
l
aege
isl_opti
o
ns_pars
e
:
p
r
in
t
help message
commit
|
commitdiff
|
tree
2010-05-14
Sven V
e
r
do
o
laege
add isl_
b
o
und test applicati
o
n
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdool
a
ege
ad
d
isl_pw_qpolyno
m
ial_bound_range
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verdool
a
ege
add isl_pw_qpolynom
i
al_f
o
ld_morph
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add rudimentary
isl_morph
commit
|
commitdiff
|
tree
2010-05-13
S
v
e
n Ve
r
doo
l
aege
add
isl_seq_set
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
erdoola
e
g
e
is
l
_equalitie
s
.
c: f
i
x typo in comment
commit
|
commitdiff
|
tree
2010-05-13
S
v
e
n Ver
d
oolaege
add isl_mat_insert_rows
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verdoolaeg
e
add i
s
l_mat
_
no
r
m
a
lize
commit
|
commitdiff
|
tree
2010-05-13
Sven Ver
d
oo
l
aege
add
i
sl_mat_diagon
a
l
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Verdoola
e
g
e
isl_mat_l
i
n
_to_af
f
: fix e
r
ror handli
n
g
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
rdoolaege
is
l
_qpolyno
m
ial_
o
pt_on_domain
:
handle empty
input
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verdoolaege
isl_name
_
alloc: fix
e
rror ha
n
dli
n
g
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolae
g
e
a
d
d isl_di
m
_o
f
fset
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoo
l
aege
isl_equalities
.
c: fix typos in
c
omments
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_pw_qpolynomi
a
l_fold_
c
overs
commit
|
commitdiff
|
tree
2010-05-13
S
v
e
n
Verdoolaege
ad
d
isl_qpolyn
o
mial_le_cst
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
p
rivately
e
x
por
t
isl_set_is
_
boun
d
ed
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
r
doolaege
add isl_set_count_upto
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoo
l
aege
add i
s
l_set_
s
c
an
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdool
a
ege
add isl_stream_re
a
d
_
pw_qpolynomial
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verdoolaege
add
i
sl_qpolyn
o
mial_from_te
r
m
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoo
l
aege
add isl_
q
p
o
lynomial_
f
rom_c
o
n
straint
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verdoola
e
ge
add isl_basic_
s
et_foreach_b
o
und_pair
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
rdo
o
laege
add i
s
l_
q
polynomial
_
as_polyno
m
i
a
l_
o
n_
d
oma
i
n
commit
|
commitdiff
|
tree
2010-05-13
S
v
en
Verdoo
l
aege
a
d
d
isl_qpolynomi
a
l_substitute
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
e
rdo
o
laege
add isl_basic_
s
et_dims_get_sign
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
is
l
_ctx:
add ze
r
o
commit
|
commitdiff
|
tree
2010-05-04
Sven Ver
d
o
o
la
e
g
e
a
dd isl_qpolyn
o
mia
l
_neginft
y
commit
|
commitdiff
|
tree
2010-05-04
Sven
Verdoolaege
add isl_basic_
s
et_dro
p
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdo
o
laege
isl_qpolynomial
_
fold_opt_on_domain:
fix
t
ypo
commit
|
commitdiff
|
tree
2010-05-04
Sven
V
erdoolaege
isl_pw_
*
_eva
l
: f
i
x ha
n
dlin
g
of empty
i
n
p
ut
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
a
dd isl_basic_se
t
_move_dims
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
ex
p
o
rt isl_qp
o
lynomi
a
l_
s
ub
commit
|
commitdiff
|
tree
2010-05-04
Sven
V
erdoolaege
add
i
s
l
_qpolynomial_get_dim
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaeg
e
isl_map_transiti
v
e_closure: coalesce input befor
e
checking
.
.
.
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
add map_lex_*_f
i
rs
t
commit
|
commitdiff
|
tree
2010-05-01
S
ven Ve
r
doolaege
isl
_
map_lex
_
le: us
e
on
e
basic set
l
ess
in result
commit
|
commitdiff
|
tree
2010-05-01
Sven
Verdoolaege
isl_stream: accept lexicogra
p
hic operators
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
isl_map_tr
a
nsitive_clos
u
re: check if
input is closed
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdo
o
lae
g
e
add isl_
p
rinter_flush
commit
|
commitdiff
|
tree
2010-04-28
Sven Ver
d
o
olaeg
e
isl_
m
ap_re
a
d
: parse parametric Omega inp
u
t
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoola
e
ge
is
l
_map_r
e
ad: f
i
x typo
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
i
s
l_convex_hu
l
l
.
c
: is_
b
ound
:
any inequality is a bound
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
is
l
_c
o
nvex_hull
.
c: a
d
d_b
o
unds: p
r
opagate errors from
.
.
.
commit
|
commitdiff
|
tree
2010-04-25
Sven Verdoo
l
aege
doc
u
me
n
t isl_map_reverse
commit
|
commitdiff
|
tree
2010-04-24
Sv
e
n Verdool
a
ege
isl
_
stream_next
_
token: terminate
s
tring tokens
commit
|
commitdiff
|
tree
2010-04-23
Sven Verd
o
olaege
isl_ma
p
_transitive_c
l
osure: treat equality as pair
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
i
sl_
m
ap_t
r
a
nsi
t
i
v
e_cl
o
sure, omega
-
like: only
u
se ?
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sv
e
n Verdoola
e
g
e
isl_map_transitive_c
l
osure: use simple hu
l
l in omega
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
S
ven Verdoolaege
isl_m
a
p_transitive_closure: try and comput
e
closur
e
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
S
ven Verdoolaege
i
sl_map_
c
oalesce:
allow wrapping in se
t
s
that
sti
c
k
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
S
ven
V
erdoolaege
isl
_
map_coalesce: al
l
owi
n
g cu
t
ti
n
g equa
l
iti
e
s in
a
djacen
t
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoola
e
ge
add
s
ome more coale
s
cing test
c
ases
commit
|
commitdiff
|
tree
2010-04-23
S
v
en Ve
r
dool
a
e
ge
isl_
b
a
s
ic
_
map_gist: be more aggressive
i
n removi
n
g
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoola
e
ge
isl_strea
m
: accept stri
n
g tokens
commit
|
commitdiff
|
tree
next