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_qpolynomial_insert_dims
2010-06-12
S
v
en V
e
rdoolaege
add isl_qpolynomial_insert_dims
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
a
dd is
l
_qpolynomia
l
_dim
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
i
s
l_ctx: add
t
wo
commit
|
commitdiff
|
tree
2010-06-12
S
v
en V
e
rdool
a
ege
isl
_
tab_detect_implicit_equalit
i
e
s
: retu
r
n integer
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
V
er
d
oolae
g
e
add isl_tab_sign_of_max
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
isl_tab_s
e
lect_facet: return int inst
e
ad of i
s
l
_
t
a
b
*
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
r
doolaege
add
i
sl_basic_s
e
t_full_compr
e
ssion
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdo
o
lae
g
e
privat
e
ly expo
r
t isl_pw_qpolynomial_morp
h
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
o
o
l
a
ege
add isl_qpol
y
nomial_fold_for
e
ach_qpolynomial
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
add
isl_pw_
q
poly
n
omial_fold_forea
c
h_lifted_p
i
ece
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
export is
l
_pw_
q
poly
n
o
m
ial_fo
l
d_is_zero
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
privately ex
p
ort isl_morph_alloc and isl_morph_identity
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add is
l
_qpolyno
m
ial
_
fol
d
_
g
e
t_type
commit
|
commitdiff
|
tree
2010-06-12
S
ven
V
erdoolaege
expo
r
t is
l
_
pw_qpol
y
n
o
mial_get_ctx
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
rd
o
olaege
add i
s
l_ctx_peek_o
p
tions
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
isl_ran
g
e
.
c
: fix t
y
po in comment
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
export is
l
_s
e
t_is_bo
u
nded
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
Verdoolaege
i
s
l_bound: plug memory leak
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
fi
x
i
s
l_qpolynom
i
a
l
_f
o
ld_dup
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
isl_pw_qpolyn
o
mi
a
l
_
bo
u
n
d
_
r
ang
e
: fix removal
o
f
dims
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Ve
r
doola
e
ge
add bound_t
e
st
.
s
h
t
o dist
r
ibution
commit
|
commitdiff
|
tree
2010-06-11
Sven Verdoolaege
doc: document
g
ist opera
t
ions
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdoolae
g
e
d
o
c:
d
ocument i
s
l_con
s
traint_is_equality
commit
|
commitdiff
|
tree
2010-06-04
S
v
en Verdoolaege
add
i
sl
_
m
ap_is_
s
ingle_valued
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdoolaege
isl_
b
a
s
ic
_
map_
f
ore
a
ch_constr
a
int: make
s
ure input has
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
Sven Ver
d
oolaege
isl_basic_map_co
p
y
:
mark d
u
p
l
i
c
at
e
d cop
y
as
f
ina
l
ized
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoolae
g
e
isl_basic_set_
l
ift:
finalize result
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoolaege
isl_basi
c
_map
_
move_dims: a
l
ways fin
a
lize resul
t
commit
|
commitdiff
|
tree
2010-06-03
Sve
n
Ve
r
doolaege
isl_basi
c
_map_from_c
o
nstraint: finalize result
commit
|
commitdiff
|
tree
2010-06-01
S
ven Verdoolaege
i
s
l
_
acce
s
s_info_co
m
pute_flow: handle may accesses
commit
|
commitdiff
|
tree
2010-05-31
Sven Ver
d
ool
a
ege
isl_ac
c
ess
_
info_compute_flow
:
h
a
ndle mul
t
i-valued sink
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven Verd
o
olaege
remove some u
n
used variables
commit
|
commitdiff
|
tree
2010-05-30
S
v
en Ve
r
doolaege
fix some ic
c
w
arnings
commit
|
commitdiff
|
tree
2010-05-30
S
v
en Verd
o
olaege
rename isl_
p
w_qpolynomial_move and add isl_pw_qpoly
n
omial_fo
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdool
a
ege
i
s
l_ctx: keep track of
us
e
r
opt
i
o
n
s
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoolaege
improved a
r
g
ument pa
r
sing
commit
|
commitdiff
|
tree
2010-05-15
Sve
n
Ver
d
oo
l
a
eg
e
isl_o
p
t
i
ons_parse: print
h
e
lp messag
e
commit
|
commitdiff
|
tree
2010-05-14
Sven Verd
o
olaege
ad
d
isl_boun
d
test appli
c
ation
commit
|
commitdiff
|
tree
2010-05-14
Sven V
e
rdoo
l
aege
add isl_pw_qpo
l
y
n
omial_bou
n
d_range
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_pw_qpo
l
ynomi
a
l_fold_morp
h
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add rudim
e
ntary i
s
l_
m
o
r
ph
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verdoolaeg
e
a
d
d isl_seq_set
commit
|
commitdiff
|
tree
2010-05-13
Sven Ve
r
doolaege
isl_equalities
.
c: fix typo
in comment
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
a
dd isl_mat
_
insert_r
o
ws
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdo
o
l
a
ege
add
isl_mat_no
r
mali
z
e
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoo
l
aege
a
d
d isl_mat_
d
i
a
gon
a
l
commit
|
commitdiff
|
tree
2010-05-13
Sven Ve
r
doolaege
i
s
l_mat_lin_to_aff: f
i
x error
handling
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdool
a
ege
isl_qpolynomial
_
opt_on_domain: handle
e
mpty input
commit
|
commitdiff
|
tree
2010-05-13
S
ve
n
Verdoolaege
isl_name_alloc: fix
e
rror h
a
ndling
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
erdoolaege
ad
d
isl_dim_of
f
set
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n
Verdoolaege
isl_e
q
ualities
.
c: fix ty
p
os in comments
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaeg
e
add
is
l
_pw_qpolynomial_fold
_
c
o
v
e
rs
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add
isl_qpolynomia
l
_le_cst
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verdoolaege
privately export isl_se
t
_
is_bo
u
nded
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Ve
r
doolaege
add isl_set_count_upto
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add
i
sl_set_s
c
an
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
erdoolaege
add isl
_
s
tream_
r
ead_pw_qpolynomial
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verdoolaege
add isl_
q
polynom
i
al_
f
rom_ter
m
commit
|
commitdiff
|
tree
2010-05-13
Sven Ve
r
dool
a
ege
ad
d
isl_qpolynomial_from_constraint
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verdoolaege
add isl_basic_s
e
t_foreach
_
b
o
und_pair
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verdoolaege
a
dd
is
l
_qpolynomial_as_polynomial_on
_
do
m
ain
commit
|
commitdiff
|
tree
2010-05-13
Sven Verd
o
olaege
a
dd i
s
l_qpolynomial_
s
ub
s
titute
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdo
o
laeg
e
a
d
d isl_basic_set
_
di
m
s
_get_
s
ign
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaeg
e
i
sl_ctx: a
d
d zer
o
commit
|
commitdiff
|
tree
2010-05-04
Sv
e
n
V
erdoolaege
add
i
sl_qpo
l
yn
o
m
ial_neginfty
commit
|
commitdiff
|
tree
2010-05-04
S
v
en Verdoolaege
a
dd isl_b
a
sic_set_drop
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoo
l
aege
is
l
_qpolynomia
l
_f
o
l
d_opt_on_domain
:
fix typ
o
commit
|
commitdiff
|
tree
2010-05-04
Sven
V
e
rdoolaege
isl_pw_*_eval: fix handling of empty input
commit
|
commitdiff
|
tree
2010-05-04
Sven
Verdoolae
g
e
add isl
_
b
as
i
c_se
t
_move_d
i
m
s
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
export
isl_qpo
l
ynomial_s
u
b
commit
|
commitdiff
|
tree
2010-05-04
S
v
en
V
erdo
o
laege
add isl_qpolynomia
l
_get_dim
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdool
a
eg
e
isl_map_tr
a
n
s
i
t
ive_closure: coalesce
input before c
h
ecking
.
.
.
commit
|
commitdiff
|
tree
2010-05-04
Sve
n
Verdoolaege
add
m
ap_lex_*_first
commit
|
commitdiff
|
tree
2010-05-01
S
ve
n
Ve
r
doolaege
isl_
m
ap_lex_le: use one basic set
l
ess in result
commit
|
commitdiff
|
tree
2010-05-01
Sven
V
e
rdo
o
laege
isl_stream: accept lexicographic operators
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdool
a
e
ge
isl_map_t
r
a
n
sitive
_
closure: check if input is clo
s
ed
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
S
v
en Verdoo
l
ae
g
e
add isl_prin
t
er_flush
commit
|
commitdiff
|
tree
2010-04-28
Sven V
e
rdoolae
g
e
isl_map_read:
p
a
rse param
e
tric
Om
e
ga input
commit
|
commitdiff
|
tree
2010-04-28
Sven V
e
r
d
ool
a
ege
isl_map
_
read: fix typo
commit
|
commitdiff
|
tree
2010-04-28
Sven
Verdoolaege
isl_co
n
vex
_
hull
.
c: is_bound: an
y
inequ
a
lity is
a b
o
u
n
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoola
e
ge
isl_convex_hull
.
c
:
add_boun
d
s: propagate erro
r
s from
.
.
.
commit
|
commitdiff
|
tree
2010-04-25
S
v
e
n
Verdoolaeg
e
docum
e
nt isl_map_r
e
verse
commit
|
commitdiff
|
tree
2010-04-24
Sve
n
Verdoolaeg
e
isl_st
r
eam_next_token: terminate st
r
i
ng
t
okens
commit
|
commitdiff
|
tree
2010-04-23
Sven Verd
o
ol
a
ege
isl_map_tra
n
sitive_closure: treat
e
qua
l
i
t
y as pair
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sv
e
n
Verdoolaeg
e
i
s
l
_
map_transitive_clos
u
re
,
omega-l
i
ke: o
n
ly use ?
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
is
l
_map_t
r
ansitive_closure: us
e
simple hull in omega
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Ver
d
oolaege
i
s
l_map_transitive
_
closure
:
try and com
p
ute closure
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verd
o
olaege
isl_m
a
p_
c
oalesce
:
al
l
ow wrappin
g
in sets that stick
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
S
v
e
n
Verdoolaege
i
s
l_map_coal
e
sce: allowi
n
g cutting eq
u
alities in
adjacent
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
S
ven Verdool
a
ege
add
some more coalescing
test cases
commit
|
commitdiff
|
tree
2010-04-23
Sven Ver
d
o
o
la
e
ge
isl_basic
_
map
_
gist: be more a
g
gressive in
r
e
moving
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven
V
e
rdoo
l
aege
isl_
s
tream: a
c
cept
string tokens
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdool
a
ege
isl_tab_rollback:
restore
r
ows t
h
at are no
l
on
g
er marked
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven
V
erdoolaege
doc: documen
t
simple hull
commit
|
commitdiff
|
tree
2010-04-21
Sve
n
Verdoolaege
doc: emph
a
size that w
e
are dealing wi
t
h
integ
e
r sets
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
i
s
l
_
transi
t
ive_
c
l
o
sur
e
.
c: path
_
alon
g
_delta:
o
nly avoid
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven
V
erdoo
l
aege
isl_map_
t
ransi
t
ive
_
c
l
osure: compute divs of inpu
t
commit
|
commitdiff
|
tree
2010-04-21
S
ven Verd
o
o
laege
i
s
l_ma
p
_co
m
pute
_
divs: make sure resu
l
t is gaussed and
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sve
n
Verdo
o
lae
g
e
isl
_
printer
_
print
_
pw_qpo
l
ynomial: properly pri
n
t
constraints
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdo
o
laege
isl_pip an
d
isl_cat
:
terminate i
s
l
_arg array wi
t
h
I
S
L
_ARG_END
commit
|
commitdiff
|
tree
next