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_basic_map_is_rational
2010-06-12
Sven
Ve
r
d
o
olaege
add isl_basic_map_is_rationa
l
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
er
d
oo
l
aege
pri
v
ately export isl_basic
_
s
et_s
o
rt_con
s
t
rain
t
s and
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
isl_tab
_
d
etect_implicit_equ
a
l
i
ties: also dete
c
t manifest
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
dool
a
ege
is
l
_tab: opti
o
nally only mark strictly redundant rows
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdo
o
laeg
e
generalize
i
sl_pw_qpoly
n
omial_bound
t
o is
l
_pw_qpolynomi
a
l_
f
o
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
extract out generic part of isl_pw_qpolyn
o
mial_
b
ound_r
a
nge
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_pw_q
p
o
lynomial_bound_ra
n
ge: also s
e
t exactness
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aege
a
dd isl_basic_set_
f
actoriz
e
r
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdo
o
laege
export isl_pw_qpolynomial_fold
_
drop_di
m
s
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
export isl
_
qpo
l
ynomi
a
l_is_zero
commit
|
commitdiff
|
tree
2010-06-12
S
ven Ver
d
oolaege
add isl_qp
o
lyno
m
ial_
c
oeff
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
rdoolaege
add isl_qpolynomial_from_affine
commit
|
commitdiff
|
tree
2010-06-12
S
ven
Verdoolaege
export isl_qpolynomial_add_dims
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoola
e
g
e
ad
d
i
s
l_qpolynomial_ho
m
o
gen
i
ze
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
r
doolaege
a
dd isl_qpo
l
yn
o
mial_degree
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
add isl_qpo
l
ynomi
a
l_insert_dims
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaeg
e
add is
l
_qpolynomia
l
_dim
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
is
l
_ctx:
a
dd two
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
isl_tab_detect_impli
c
it_equa
l
ities: return int
e
ge
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdool
a
ege
add i
s
l_ta
b
_sign
_
of_max
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
isl_tab_select
_
f
a
cet: return int
i
nst
e
ad of
i
s
l
_ta
b
*
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_basi
c
_set_f
u
ll_compression
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
p
r
ivately export isl_pw_
q
polynomial_mor
p
h
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
add isl_qpolyno
m
ial_
f
old_foreach_qpolynomial
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl
_
pw
_
qpolynomial_
f
old_for
e
ach_lif
t
e
d_piece
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
export isl_
p
w
_
qpolynomi
a
l
_fold_
i
s_
z
ero
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n V
e
rdoolaege
privately export isl_m
o
rph_a
l
loc and isl_morph_identity
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolae
g
e
add isl_qpolynomial_fold_get_ty
p
e
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
export is
l
_pw_
q
pol
y
n
o
mial_get_ctx
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Ve
r
d
o
olaege
a
dd
i
sl_ctx_peek_op
t
ions
commit
|
commitdiff
|
tree
2010-06-12
S
ven Ve
r
dool
a
ege
isl
_
range
.
c:
fix typ
o
in commen
t
commit
|
commitdiff
|
tree
2010-06-12
Sven
Ver
d
oolaeg
e
export is
l
_
s
et_is_bounded
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_bound: plug
m
emory lea
k
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
f
ix isl_q
p
olynomia
l
_fo
l
d_dup
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
isl_
p
w_qpolynom
i
al_
b
ound_range: fi
x
removal of
d
ims
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
Verdoolaege
add bou
n
d
_
t
est
.
sh to distribu
t
i
on
commit
|
commitdiff
|
tree
2010-06-11
Sven
V
er
d
ool
a
ege
do
c
: d
o
cu
m
ent gi
s
t operations
commit
|
commitdiff
|
tree
2010-06-04
Sve
n
V
e
r
d
oolaege
d
o
c
:
docu
m
ent isl_constraint_is_eq
u
ality
commit
|
commitdiff
|
tree
2010-06-04
S
v
en Verdoolaege
add is
l
_map_is_si
n
gle_valued
commit
|
commitdiff
|
tree
2010-06-04
S
v
en Verdoolaeg
e
isl_basi
c
_map_foreach_
c
onstraint
:
make sure input has
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
Sven Ver
d
oolaege
isl_basic
_
map_copy: m
a
rk dupli
c
ated copy as finalized
commit
|
commitdiff
|
tree
2010-06-03
Sven
V
e
rdoo
l
aege
isl_b
a
sic_set_lift: finalize resul
t
commit
|
commitdiff
|
tree
2010-06-03
S
v
en Verdoolaege
isl_basi
c
_map
_
m
o
v
e
_dim
s
: always fin
a
l
i
ze resul
t
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdo
o
laeg
e
i
sl_basic_
m
a
p
_f
r
om_constraint: finalize result
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
isl_acces
s
_i
n
fo_c
o
mput
e
_flow: handle may accesses
commit
|
commitdiff
|
tree
2010-05-31
S
v
en Ver
d
oolaege
i
s
l
_acce
s
s_info_compute_flow: handle mu
l
ti-val
u
ed si
n
k
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven Verd
o
o
l
aege
remo
v
e some
unused var
i
a
b
le
s
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoolaege
fix some icc warnings
commit
|
commitdiff
|
tree
2010-05-30
S
ven
Verdoolae
g
e
r
e
na
m
e isl_pw_qpolyn
o
mial_
m
ove and add isl_pw_qp
o
lynomial_fo
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven
V
erdoolaege
isl_ctx: ke
e
p
t
ra
c
k o
f
u
ser op
t
ions
commit
|
commitdiff
|
tree
2010-05-30
Sven
V
e
rdoolaege
impro
v
e
d
a
rgument parsing
commit
|
commitdiff
|
tree
2010-05-15
Sven
Verdoolae
g
e
isl_options_pars
e
: print h
e
lp me
s
sage
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
add isl_bound test app
l
i
c
ation
commit
|
commitdiff
|
tree
2010-05-14
Sven
V
erdoola
e
ge
add isl
_
p
w
_qpolynom
i
al_bound_r
a
n
ge
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add is
l
_pw_qpolyn
o
mial_fold
_
morph
commit
|
commitdiff
|
tree
2010-05-13
S
ven
V
erdoolaege
add rudimentary isl_mo
r
ph
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_seq_set
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
i
s
l_equalit
i
es
.
c: f
i
x
typo in commen
t
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdool
a
ege
add isl_m
a
t_insert_rows
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdo
o
laege
add
isl_mat_normaliz
e
commit
|
commitdiff
|
tree
2010-05-13
S
v
en
Verdoolaege
add i
s
l_mat_diago
n
al
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verdoolaege
isl_mat
_
lin_
t
o_aff: fix error handling
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
isl_
q
polynomial_opt_on_domain: ha
n
d
le empty input
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
i
s
l_na
m
e_al
l
o
c
:
fix
error handling
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verdoolaege
a
dd is
l
_dim_offset
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
i
sl_equalities
.
c: fix ty
p
os i
n
c
o
mments
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add i
s
l_pw_qpolynomi
a
l_
f
old_
c
o
v
ers
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
V
e
rd
o
olaege
add isl_qpol
y
nomial_le_cst
commit
|
commitdiff
|
tree
2010-05-13
S
v
en
Verdoolaege
privately e
x
po
r
t
isl_se
t
_is_bounded
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Verdoolaeg
e
add isl_set_count_upto
commit
|
commitdiff
|
tree
2010-05-13
S
v
e
n Verdoolaege
a
dd isl_
s
et_scan
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
erdoola
e
ge
add isl_st
r
eam_read_pw_qpoly
n
om
i
al
commit
|
commitdiff
|
tree
2010-05-13
Sven Ve
r
doolaege
add isl_
q
polynomial_fr
o
m_term
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verd
o
olaege
add isl_q
p
olynomial_from_constrai
n
t
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoola
e
ge
add isl_basic_set_f
o
r
e
ach_bound_pair
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdool
a
ege
ad
d
isl
_
qpolynomi
a
l_as_polynomial_on
_
domain
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verdoolaege
add isl_qpol
y
no
m
ial_substitute
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verdoolaege
add isl_basic_set_dims_get_sign
commit
|
commitdiff
|
tree
2010-05-04
Sven Ver
d
oolaege
isl
_
c
t
x: add
zero
commit
|
commitdiff
|
tree
2010-05-04
Sv
e
n Verdoolaege
add isl_qpolyn
o
mial_n
e
ginfty
commit
|
commitdiff
|
tree
2010-05-04
Sv
e
n Verd
o
ola
e
ge
a
d
d isl_basi
c
_set_drop
commit
|
commitdiff
|
tree
2010-05-04
Sv
e
n Verdoolaege
isl_qp
o
lynomial_fold_op
t
_on
_
domain: fix typo
commit
|
commitdiff
|
tree
2010-05-04
Sven V
e
rdoolaege
is
l
_pw
_
*_eval: fi
x
h
a
ndling o
f
empty in
p
ut
commit
|
commitdiff
|
tree
2010-05-04
Sv
e
n Verd
o
olaege
add i
s
l_
b
asic_se
t
_m
o
v
e_dims
commit
|
commitdiff
|
tree
2010-05-04
Sven
V
erdoolaege
expor
t
isl_qpolynomial_sub
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
add isl_qpolynomial_get
_
dim
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdo
o
laege
isl_map_transitive_
c
los
u
re: coalesce in
p
ut be
f
o
re checkin
g
.
.
.
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
add map_lex_*_first
commit
|
commitdiff
|
tree
2010-05-01
Sv
e
n Verdo
o
laege
isl_ma
p
_
l
e
x_le: use one basi
c
set
l
e
ss
in result
commit
|
commitdiff
|
tree
2010-05-01
Sven Ver
d
oolaege
isl_stream:
a
c
cept lex
i
cograph
i
c operators
commit
|
commitdiff
|
tree
2010-04-28
Sven V
e
rdoola
e
ge
i
sl_map_
t
ran
s
iti
v
e_closure: ch
e
ck if input is
c
losed
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
ad
d
i
sl_printer_flush
commit
|
commitdiff
|
tree
2010-04-28
Sven Ver
d
oolaege
isl_map_read: parse param
e
tr
i
c
Omega input
commit
|
commitdiff
|
tree
2010-04-28
Sve
n
Verdo
o
laege
i
s
l_map_read: fix typo
commit
|
commitdiff
|
tree
2010-04-28
Sven Ver
d
o
olaege
isl_conv
e
x_hull
.
c:
is
_
bound:
a
n
y inequality is a bound
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
S
v
en Verdoo
l
aege
isl_convex_hul
l
.
c
:
a
d
d_bounds: propagate erro
r
s from
.
.
.
commit
|
commitdiff
|
tree
2010-04-25
S
v
en Ve
r
doolaege
d
ocument isl_map_r
e
verse
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdool
a
ege
i
sl_str
e
am_next_token
:
ter
m
inate str
i
ng
tokens
commit
|
commitdiff
|
tree
2010-04-23
Sven
V
erdool
a
ege
isl_map_tr
a
nsit
i
ve_c
l
osu
r
e: treat equa
l
i
ty as pair
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
S
v
en
Ve
r
doolaeg
e
isl_m
a
p_transitive_closure, omega
-
like: only use ?
.
.
.
commit
|
commitdiff
|
tree
next