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_morph_dom_dim and isl_morph_ran_dim
2010-06-12
Sven
V
erdoo
l
aege
a
dd i
s
l_morph_dom_di
m
and isl_m
o
rph_ran_dim
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
a
dd isl
_
basic_map_is_rational
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoo
l
aege
priva
t
el
y
ex
p
o
rt
i
sl
_
basic_set_sort_constrain
t
s
a
n
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
isl_tab_de
t
ect_implicit_
e
qu
a
lities: also detect ma
n
ifest
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
isl_tab: optionally only mark strictl
y
redundant ro
w
s
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
generalize
i
sl_pw_qp
o
lynomia
l
_
b
o
u
nd to isl_pw_qpolynomial_
f
o
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
lae
g
e
ex
t
ract
o
ut generic pa
r
t of is
l
_pw_q
p
oly
n
o
m
i
a
l_bound_range
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_p
w
_qpolynomia
l
_bo
u
nd_rang
e
: also set ex
a
c
t
ness
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
ad
d
isl_basic_set_factorizer
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
expo
r
t isl_pw_qpolynomial_fold_drop_dims
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
export
i
sl_qpolynomial_is_ze
r
o
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add is
l
_qpolynomial_co
e
ff
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laege
add
isl_qpolynomial_
f
rom_a
f
fine
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
ae
g
e
expor
t
isl_qpolynomial_add_dims
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
add isl_qpolynomial_homogenize
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n
Verdoolaege
add isl_qpo
l
ynomi
a
l_d
e
gree
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
rd
o
olaege
add isl_qpolyn
o
mial_insert_di
m
s
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdool
a
ege
a
d
d
isl_qpolyno
m
ial_dim
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n
Verdoolae
g
e
isl_ct
x
: add
t
wo
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
i
s
l_
t
ab_detect_
i
mp
l
icit_equali
t
ies: r
e
tu
r
n
in
t
eger
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erd
o
olaege
add isl_tab_sig
n
_of_
m
ax
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
isl
_
tab
_
select_facet: return
i
nt
in
s
tead of
isl_tab
*
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_basic_set_full_
c
ompression
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
p
riv
a
te
l
y expor
t
isl_pw_qpolynomial_morph
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_qpo
l
ynomial_fold_
f
oreach_qpolynom
i
al
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoo
l
aege
add isl
_
pw_qpolyn
o
mial_fol
d
_f
o
reach_lifte
d
_pi
e
ce
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n Verdoolaege
export isl_pw_q
p
o
ly
n
omial_fold_is_zero
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
privately export
i
s
l_mo
r
ph
_
alloc and isl_morph_
i
den
t
ity
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
add i
s
l_qpolynomial_fold_get
_
type
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
l
a
e
ge
e
xport isl_pw_qpolynomi
a
l_get_ctx
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoo
l
a
e
ge
add isl_ctx_
p
eek_options
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
isl_range
.
c
:
fix
typo in com
m
ent
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doo
l
aeg
e
export i
s
l_
s
et_is_boun
d
ed
commit
|
commitdiff
|
tree
2010-06-12
S
ven Ve
r
doo
l
aeg
e
isl_bound: p
l
ug memory leak
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoo
l
a
e
ge
fi
x
i
s
l
_qp
o
lynom
i
al_fo
l
d_dup
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
isl_pw_qpolyno
m
ial_bo
u
nd_ra
n
ge: fix removal of dims
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
add bound
_
test
.
sh to d
i
s
t
ribution
commit
|
commitdiff
|
tree
2010-06-11
Sven Verdool
a
ege
doc
:
docu
m
ent gist
o
perations
commit
|
commitdiff
|
tree
2010-06-04
Sven
Ver
d
oolaege
doc:
document isl_constraint_i
s
_
equality
commit
|
commitdiff
|
tree
2010-06-04
S
ven Verdo
o
lae
g
e
add isl_ma
p
_is_single_valu
e
d
commit
|
commitdiff
|
tree
2010-06-04
S
ven Verdoolaege
i
s
l_
b
asic_map_fo
r
e
a
c
h
_
c
o
nstraint: make sure
i
nput has
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
Sven V
e
rdool
a
ege
isl_basic_map_copy
:
mark duplicated copy as finalized
commit
|
commitdiff
|
tree
2010-06-03
Sven V
e
rdool
a
ege
i
s
l_bas
i
c_set_lift: final
i
ze result
commit
|
commitdiff
|
tree
2010-06-03
Sve
n
Verdo
o
laege
i
s
l
_
basic_map
_
move_dim
s
:
a
l
w
ays f
i
n
alize
r
esult
commit
|
commitdiff
|
tree
2010-06-03
Sven Ver
d
oolaeg
e
isl_basic_map_from_constra
i
nt
:
finali
z
e result
commit
|
commitdiff
|
tree
2010-06-01
Sve
n
Verdoola
e
g
e
i
sl_access_info_
c
o
mpute_flo
w
:
handle ma
y
access
e
s
commit
|
commitdiff
|
tree
2010-05-31
Sven
V
erdoolaege
isl_acces
s
_info_compute_fl
o
w
:
handle m
u
lti-valued
sin
k
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven Ve
r
doolaege
remove so
m
e unused variables
commit
|
commitdiff
|
tree
2010-05-30
Sven Ver
d
oolaege
fix some icc warnings
commit
|
commitdiff
|
tree
2010-05-30
Sve
n
Verd
o
o
laege
re
n
a
m
e i
s
l_pw_qpo
l
y
n
omial_move and
a
dd isl_pw
_
qpolynomial_f
o
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
S
ve
n
V
erdoolaege
isl_ctx: keep tr
a
ck of us
e
r options
commit
|
commitdiff
|
tree
2010-05-30
S
ven Verdoolaege
improved argu
m
ent parsing
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoo
l
aege
is
l
_op
t
ions_
p
arse: print help
message
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaeg
e
add isl_boun
d
test appl
i
catio
n
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdool
a
ege
a
d
d
isl_pw_qpolyno
m
ial
_
bound_range
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verdoolaeg
e
add isl_pw_qpolynomial_fold_mo
r
ph
commit
|
commitdiff
|
tree
2010-05-13
Sven
Ver
d
oolaege
add
rudimen
t
ar
y
isl_morph
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
rdoolaege
ad
d
isl_seq_set
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
i
sl_equali
t
ies
.
c: fix typo
i
n comment
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_mat_
i
nser
t
_rows
commit
|
commitdiff
|
tree
2010-05-13
Sven Verd
o
olaege
a
dd isl_mat_normalize
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verdoolaege
add isl_m
a
t_diagonal
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
is
l
_mat_lin_to_aff:
f
i
x
error handling
commit
|
commitdiff
|
tree
2010-05-13
S
v
en
Verdoolaege
is
l
_qpolynomial_o
p
t_on_d
o
m
ain: handle em
p
ty input
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verdoo
l
a
e
g
e
is
l
_name_alloc: f
i
x error handli
n
g
commit
|
commitdiff
|
tree
2010-05-13
S
ve
n
Verdoolaege
add i
s
l
_
dim_of
f
set
commit
|
commitdiff
|
tree
2010-05-13
S
v
en
Verdoola
e
ge
isl_equalities
.
c: fix typos in
c
o
m
ments
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_pw_qpolynomial_fold_c
o
vers
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verdoolaege
add
i
sl
_
qpolynomial_le_cst
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verdoolaege
pr
i
vately export isl_set_i
s
_bounded
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verdoolaege
add isl_set_count_upto
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Ver
d
oolaege
a
d
d isl_set_scan
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
erdoolaege
add isl_stream_read_p
w
_qpolynomial
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoola
e
ge
add isl_qpolynomial_from_ter
m
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_q
p
olyn
o
mial_from_constraint
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolae
g
e
add isl_basi
c
_set_foreach_bound_
p
air
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
a
d
d isl
_
qpolyn
o
mial_as_po
l
yn
o
mial_o
n
_domain
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdo
o
laege
add isl
_
qpolynomial_substitute
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdo
o
laege
add isl_basic_set_dims_get_sign
commit
|
commitdiff
|
tree
2010-05-04
S
ve
n
Ver
d
oolaege
isl
_
ctx: a
d
d zero
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
add isl_qpolynomial_neginf
t
y
commit
|
commitdiff
|
tree
2010-05-04
Sven
Verdoo
l
a
ege
add isl_basic
_
set_drop
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
i
sl_qpo
l
y
nom
i
al
_
fold_opt_on
_
domain: fi
x
typo
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
isl_pw
_
*_eval: fix handling o
f
empty in
p
ut
commit
|
commitdiff
|
tree
2010-05-04
Sven
V
e
rdoolaege
add isl_basic
_
s
e
t_move_dims
commit
|
commitdiff
|
tree
2010-05-04
Sven
V
erdo
o
laege
export isl_q
p
o
lyno
m
i
a
l_sub
commit
|
commitdiff
|
tree
2010-05-04
Sven V
e
r
d
oolaege
a
d
d
isl_qpolynomial_get_dim
commit
|
commitdiff
|
tree
2010-05-04
S
ven
V
erdoolaeg
e
i
sl_m
a
p
_
t
r
ansitive_cl
o
sure: coalesce input b
e
fore checking
.
.
.
commit
|
commitdiff
|
tree
2010-05-04
Sv
e
n Verdool
a
e
g
e
add map_lex_*_firs
t
commit
|
commitdiff
|
tree
2010-05-01
Sven Ve
r
doolaege
isl_map_lex_le: use one basic set less in result
commit
|
commitdiff
|
tree
2010-05-01
S
v
en
V
e
r
doola
e
ge
i
sl_stream:
accept lexicographic o
p
erators
commit
|
commitdiff
|
tree
2010-04-28
Sven Ver
d
oolaege
isl_map_
t
ransitive_
c
losure:
c
heck if
i
nput is
c
losed
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
a
dd is
l
_pri
n
ter_flush
commit
|
commitdiff
|
tree
2010-04-28
Sv
e
n Verdoo
l
aege
isl
_
map
_
read: par
s
e parametric Omega input
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdool
a
eg
e
isl_map_
r
ead: fix typo
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
isl_conv
e
x_hull
.
c: is_boun
d
: any inequality is a bound
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sv
e
n Verdoolaege
is
l
_convex_hull
.
c: add_bounds: pr
o
pagate err
o
rs from
.
.
.
commit
|
commitdiff
|
tree
2010-04-25
Sven Verdoolaege
docum
e
nt isl
_
map_reverse
commit
|
commitdiff
|
tree
2010-04-24
Sve
n
Verdoolaeg
e
isl_s
t
ream_next_
t
o
k
en: terminate string tokens
commit
|
commitdiff
|
tree
2010-04-23
Sve
n
Verdoolaege
isl_ma
p
_
transitive_closure: treat equ
a
l
ity a
s
p
ai
r
.
.
.
commit
|
commitdiff
|
tree
next