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_qpolynomial_fold_fold_on_domain
2010-06-12
Sven Ve
r
doola
e
g
e
privately export isl_qpolynomia
l
_fold_fold_o
n
_do
m
ain
commit
|
commitdiff
|
tree
2010-06-12
S
ven Ve
r
doolaege
add
i
s
l_pw_qpolynomia
l
_fol
d
_fo
r
each_piec
e
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
add
p
a
ra
m
etric vert
e
x enumeration
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
r
doolaege
add isl_morph_do
m
_dim and isl_morph_ran_dim
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
add
i
sl_
b
asic_map_
i
s_rati
o
nal
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
privately export is
l
_b
a
sic_set_sort_c
o
nstraints and
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoola
e
ge
isl_ta
b
_detect_imp
l
icit_eq
u
alities: also de
t
ec
t
manifest
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
v
en
Verdoolaege
isl_tab: optionally on
l
y
mark strict
l
y redund
a
n
t rows
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdool
a
e
ge
generalize isl_pw_qpo
l
ynomial_bound to isl_
p
w_qpolynomial_fo
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
ex
t
ract out generic part of isl_pw_q
p
olynomial_bound_rang
e
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verd
o
olaege
isl_pw_qpolynomial_bou
n
d
_range: also set
e
x
a
c
tness
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdool
a
ege
add is
l
_b
a
sic_set
_
f
a
cto
r
ize
r
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
r
d
oolaege
expor
t
isl_pw_qpoly
n
omia
l
_f
o
ld_drop_dims
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
o
laege
ex
p
ort isl_qpol
y
nomial_
i
s_zer
o
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaeg
e
add i
s
l_qpolynomial_coeff
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laeg
e
add isl_qp
o
lynomial_from
_
a
ffine
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
expor
t
isl_qpolynomial_add_dim
s
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoo
l
ae
g
e
a
dd
isl_qpolynomial_homogenize
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
ad
d
i
sl_qpolynomial_deg
r
e
e
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add is
l
_qpolyno
m
ia
l
_insert_
d
ims
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoo
l
a
ege
add isl_qpolynomial
_
dim
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolae
g
e
isl_ctx
:
add two
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
is
l
_t
a
b_detect_implicit_equalities: r
e
turn integer
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olae
g
e
add isl_ta
b
_
s
ign_of_max
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoo
l
aege
is
l
_tab_s
e
lect_fa
c
et: return int instead of
i
sl_tab *
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laege
add
isl_basic_set_full_c
o
m
pression
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
privately export isl_pw_qpolynomial_morph
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoo
l
aege
add isl_qpoly
n
omial_fold_fore
a
ch_qpolyn
o
mial
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verd
o
olaege
a
dd
isl_pw_qpolynomial_fold_foreach_lif
t
ed_piece
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
ex
p
o
r
t isl_pw
_
q
po
l
ynomial_
f
old_is_zero
commit
|
commitdiff
|
tree
2010-06-12
S
ven Ver
d
o
olaege
privately export i
s
l_mo
r
ph_alloc a
n
d i
s
l_morph_i
d
entit
y
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
a
d
d
isl_
q
polynomia
l
_fold_
g
et_type
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oo
l
aeg
e
ex
p
o
rt is
l
_pw_qpolynomial_ge
t
_ctx
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
a
dd
isl_ctx_peek_options
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
isl_range
.
c
: fix typo in comm
e
nt
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
o
l
aege
exp
o
rt isl_set_i
s
_bo
u
n
d
ed
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
e
ge
isl_boun
d
:
plug memory leak
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
fix isl_qpolynomial_fold_dup
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aeg
e
i
sl_pw
_
qp
o
lynomial_bound_range: fix rem
o
val of dims
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
o
la
e
ge
add bou
n
d_test
.
sh to distribution
commit
|
commitdiff
|
tree
2010-06-11
S
v
en Verdoolaege
doc:
d
o
c
ument gist operati
o
ns
commit
|
commitdiff
|
tree
2010-06-04
Sven
Verdoolaege
doc: docu
m
ent is
l
_c
o
nstrai
n
t_is_eq
u
ality
commit
|
commitdiff
|
tree
2010-06-04
S
v
e
n
Verdoolaege
add
i
sl_map_is_sin
g
le_valued
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdoolaege
isl_basic_
m
ap_
f
oreach
_
constraint: make sure
in
p
ut has
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoolaege
isl
_
basic_
m
ap_copy: m
a
rk duplicated copy as finalize
d
commit
|
commitdiff
|
tree
2010-06-03
Sven Ver
d
o
o
l
aege
i
sl_b
a
s
i
c
_
s
et_lift: final
i
ze result
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoolaege
isl_basic_map_move_dims:
always
finalize result
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoo
l
aeg
e
isl_basic_
m
ap
_
fr
o
m_constraint:
f
i
n
aliz
e
result
commit
|
commitdiff
|
tree
2010-06-01
Sve
n
V
erdool
a
eg
e
i
s
l_ac
c
ess
_
i
nfo
_
c
o
m
p
ute_f
l
ow:
handle may
a
ccess
e
s
commit
|
commitdiff
|
tree
2010-05-31
Sven
Verdo
o
laege
isl_
a
ccess_info_
c
ompute_flow:
h
andle
m
ulti-value
d
sink
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven Ve
r
do
o
l
aege
remove some unuse
d
v
a
riab
l
es
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoo
l
aege
fix some icc warn
i
ngs
commit
|
commitdiff
|
tree
2010-05-30
Sven Ver
d
oolaeg
e
rename isl_
p
w_qpoly
n
omial_move and add isl_pw_qpolynomial_fo
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sve
n
Verdoo
l
aege
isl_ctx: keep trac
k
of
u
s
er
o
ptions
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoolaege
impr
o
ved argument parsing
commit
|
commitdiff
|
tree
2010-05-15
Sv
e
n Verdoolaege
isl_o
p
tions
_
parse: print help messa
g
e
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdool
a
eg
e
add isl_bound te
s
t application
commit
|
commitdiff
|
tree
2010-05-14
S
v
en
Verdoolaeg
e
add isl_pw_qpolynomial_bound_ra
n
ge
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verdoolaege
add
isl_pw_qpolyn
o
mial_fo
l
d_morp
h
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verdoolaege
add rudimentary isl_morp
h
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdool
a
ege
ad
d
isl_seq
_
set
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
er
d
oolaege
isl_equalities
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
rdoolaege
a
d
d is
l
_
mat_insert_r
o
ws
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_mat_normalize
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Verdoolaege
add isl_mat_diagonal
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
isl_
m
at_lin_to_af
f
:
f
ix erro
r
handling
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
V
e
rdoolae
g
e
isl_qpolynomia
l
_opt_o
n
_domain: handle
e
mpty inpu
t
commit
|
commitdiff
|
tree
2010-05-13
Sven
Ver
d
ool
a
ege
isl_name_
a
lloc: fix e
r
ror han
d
ling
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolae
g
e
ad
d
isl
_
dim_offset
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolae
g
e
i
s
l_equalities
.
c: fix
t
ypos in co
m
ments
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Ver
d
oolaege
add isl_pw_q
p
o
l
yn
o
m
ial_fold_covers
commit
|
commitdiff
|
tree
2010-05-13
Sven Ve
r
do
o
laege
add i
s
l_qpol
y
nomial_
l
e_cst
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoola
e
g
e
privately ex
p
or
t
isl_set_
i
s
_b
o
unded
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verdoolaege
add
isl_set_cou
n
t
_upto
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Ve
r
do
o
la
e
g
e
add isl_
s
et_
s
can
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolae
g
e
ad
d
isl_stream_
r
ead_pw_qpolynomial
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verdoolaege
add isl_qpolynomial_from_
t
erm
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verdoolaege
add i
s
l
_
qpolynomial_from_constra
i
nt
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verdoolaege
add isl_basic_set_foreac
h
_bound_pa
i
r
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
erdoolaege
add isl_qpolynomi
a
l_as_polynomial_on_domai
n
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
erd
o
ol
a
ege
add isl_qp
o
lynomia
l
_substitute
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Ver
d
oo
l
ae
g
e
add isl_basic_set_dims
_
get_sign
commit
|
commitdiff
|
tree
2010-05-04
Sven V
e
rdoolaege
isl_ctx: add zero
commit
|
commitdiff
|
tree
2010-05-04
Sven Ve
r
doolaege
a
d
d isl_qpolynom
i
al_neginfty
commit
|
commitdiff
|
tree
2010-05-04
Sven
Verdoolaege
ad
d
isl_bas
i
c_set_dro
p
commit
|
commitdiff
|
tree
2010-05-04
Sven
V
e
rdoolaeg
e
i
sl_qpolyno
m
ial_fold_opt
_
o
n
_domain
:
fix typo
commit
|
commitdiff
|
tree
2010-05-04
S
ve
n
Verdoolaeg
e
isl_pw_*_eval:
f
ix handlin
g
o
f empty in
p
ut
commit
|
commitdiff
|
tree
2010-05-04
S
ven Verdoolaege
a
dd
isl
_
basic_set_move_di
m
s
commit
|
commitdiff
|
tree
2010-05-04
Sv
e
n Verdoolaege
export isl_qpoly
n
o
mi
a
l_sub
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoo
l
aeg
e
add
isl_qpol
y
nomial_get_d
i
m
commit
|
commitdiff
|
tree
2010-05-04
Sven
Verdoolaege
isl_
m
ap_transitive_closure: co
a
lesce input before ch
e
cking
.
.
.
commit
|
commitdiff
|
tree
2010-05-04
Sven Ve
r
d
oo
l
aege
add map_lex_*_first
commit
|
commitdiff
|
tree
2010-05-01
Sven
Verdoola
e
ge
isl_map
_
le
x
_le: use
one basic
se
t
l
e
ss in result
commit
|
commitdiff
|
tree
2010-05-01
Sve
n
Verdoo
l
aege
is
l
_
strea
m
: acc
e
pt le
x
icographi
c
operators
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdool
a
ege
i
sl_map_tran
s
itive_closure: check
i
f input is c
l
osed
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
add
i
sl_printer
_
flus
h
commit
|
commitdiff
|
tree
2010-04-28
Sven V
e
rdoolaege
is
l
_map_
r
ead: parse parametric
Omega input
commit
|
commitdiff
|
tree
2010-04-28
Sv
e
n Verdoolaege
isl_map_rea
d
: fix typo
commit
|
commitdiff
|
tree
2010-04-28
Sve
n
Verdoolaege
isl_conve
x
_hull
.
c: is_b
o
und:
a
n
y inequalit
y
is
a
bound
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
S
v
en Ve
r
doolaege
i
sl_con
v
ex_hull
.
c: add_bounds: propagate er
r
o
r
s
from
.
.
.
commit
|
commitdiff
|
tree
next