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_basic_map_project_out: avoid NULL pointer dereference
2010-06-12
Sven V
e
rd
o
olaege
add is
l
_qpo
l
ynomial
_
coeff
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
add isl_qpo
l
ynomial_from_af
f
ine
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
exp
o
r
t isl_qpo
l
y
nom
i
al_add
_
dims
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
er
d
oolaege
a
dd isl_qpol
y
nomial_homogenize
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
ad
d
isl_qpolynomial_d
e
g
ree
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
a
d
d isl_qp
o
lyno
m
ial_insert_dims
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
V
erdool
a
ege
add
i
sl_qpo
l
yno
m
i
al_dim
commit
|
commitdiff
|
tree
2010-06-12
S
ven
Verdo
o
laege
isl
_
ctx: add two
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
isl
_
t
a
b
_
detect_implicit_
e
quali
t
i
es: ret
u
rn
int
e
ger
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
add
i
sl
_
tab_sign_of_max
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
Verdoolaege
i
sl_ta
b
_se
l
ect_facet: return int in
s
t
e
ad of
isl_tab *
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
add isl_basic_set_full_compression
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
privatel
y
export
isl_pw_qp
o
ly
n
om
i
al_morp
h
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
add
i
sl_qpolynom
i
al
_
f
old_fore
a
ch_qpolynomial
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
add isl_pw_
q
polynomial
_
f
o
ld_foreach_li
f
ted_piece
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolae
g
e
export isl_
p
w_qpolyn
o
mial_fold_is_zero
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
o
laeg
e
privately export i
s
l_
m
orph_alloc and
i
s
l_morph
_
identity
commit
|
commitdiff
|
tree
2010-06-12
S
ven V
e
rdoolae
g
e
a
d
d isl_qp
o
lynomial_fol
d
_get_type
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
export isl_pw_qpolynomial_get
_
ctx
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_ctx_peek_options
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
isl_range
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
ex
p
ort isl_set
_
is_bou
n
de
d
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Ve
r
doolae
g
e
isl_bo
u
nd:
plug mem
o
ry l
e
ak
commit
|
commitdiff
|
tree
2010-06-12
S
v
en
Ve
r
doo
l
aege
fix isl_qpolynomial_fo
l
d_du
p
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
isl_pw_qpo
l
ynomi
a
l_bound_range: f
i
x
r
emoval
o
f dim
s
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
add bound_tes
t
.
s
h to dis
t
ribut
i
o
n
commit
|
commitdiff
|
tree
2010-06-11
Sv
e
n Verd
o
ola
e
ge
doc: docu
m
ent
g
i
s
t
operations
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdoolaege
doc: document isl_
c
ons
t
rai
n
t
_
is_equality
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdoolaege
a
dd isl_map_
i
s_single
_
v
a
lued
commit
|
commitdiff
|
tree
2010-06-04
Sve
n
V
erdoolaege
isl
_
basic_map_foreach_co
n
stra
i
nt
:
make sure input has
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
Sven
V
erdoolaege
isl_b
a
sic_map_c
o
p
y: ma
r
k dupl
i
c
a
ted copy a
s
finalized
commit
|
commitdiff
|
tree
2010-06-03
Sv
e
n
V
e
r
doolaege
i
s
l
_basic_
s
et_lift: f
i
na
l
i
ze res
u
lt
commit
|
commitdiff
|
tree
2010-06-03
Sv
e
n V
e
rdoolaege
i
sl_basic_map_move_dims
:
al
w
a
y
s
final
i
ze result
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoola
e
ge
isl
_
basic
_
map_f
r
o
m
_
c
o
nstraint: finaliz
e
resu
l
t
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoola
e
ge
isl_access
_
inf
o
_com
p
ute_flow: handl
e
may accesses
commit
|
commitdiff
|
tree
2010-05-31
Sven Verd
o
o
laege
i
s
l_access_info_comp
u
te_flow:
h
andle mult
i
-val
u
ed
sink
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven
Ve
r
doolaege
remove some unused variables
commit
|
commitdiff
|
tree
2010-05-30
Sve
n
Verdoo
l
aege
rename isl_pw_
q
polynom
i
al
_
mo
v
e and
a
dd
i
sl_
p
w_qpolynomial_fo
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdo
o
laege
isl_ctx: keep trac
k
of user options
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoolaege
improved argument parsing
commit
|
commitdiff
|
tree
2010-05-15
Sven
V
erdool
a
eg
e
isl_op
t
ions_parse: print hel
p
messag
e
commit
|
commitdiff
|
tree
2010-05-14
Sven Ver
d
oolae
g
e
add
i
sl_bound tes
t
application
commit
|
commitdiff
|
tree
2010-05-14
S
ven Verdo
o
l
a
ege
add
isl_pw_qpolynom
i
al_bou
n
d_ra
n
g
e
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
erdoo
l
aege
add
is
l
_pw_qpolynomial_fold_morph
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
erdoolaege
a
dd ru
d
imentary i
s
l_
m
orph
commit
|
commitdiff
|
tree
2010-05-13
S
v
en
Verdo
o
laege
ad
d
isl
_
s
e
q_se
t
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
isl_equalit
i
e
s
.
c
:
fix typo in
comment
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolae
g
e
add
is
l
_mat_insert_rows
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
e
r
d
o
o
laege
add
isl_mat_
n
o
r
malize
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verdoolaege
add is
l
_m
a
t_diagona
l
commit
|
commitdiff
|
tree
2010-05-13
Sven Ve
r
doolaege
isl_mat_lin_to_af
f
: fix er
r
or
ha
n
d
ling
commit
|
commitdiff
|
tree
2010-05-13
Sven Verd
o
olae
g
e
i
s
l
_q
p
olynomial_opt_on
_
d
om
a
in: handle
e
mpty i
n
put
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n V
e
rdoolaege
isl_name_alloc: fix error handling
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoo
l
aege
add isl_dim_offset
commit
|
commitdiff
|
tree
2010-05-13
S
ve
n
Ver
d
oolaege
isl_equalitie
s
.
c
:
fix ty
p
o
s in comments
commit
|
commitdiff
|
tree
2010-05-13
Sven Verd
o
olae
g
e
add isl_
p
w
_qpo
l
ynomia
l
_fold_co
v
ers
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Verdoolae
g
e
add isl
_
qpolynomi
a
l
_le_c
s
t
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
pr
i
vately export isl
_
set_is_b
o
unded
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verdoolaege
ad
d
i
s
l
_set_count_upto
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
V
e
rdo
o
l
a
e
g
e
add
isl_set_scan
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_stre
a
m_re
a
d_
p
w_qpo
l
ynomial
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Ve
r
doolaege
add
i
sl_qpolynomial_from_
t
erm
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_qpolynomial
_
from_constraint
commit
|
commitdiff
|
tree
2010-05-13
S
ven V
e
rdoolaege
add isl_basic
_
set_fo
r
each_b
o
un
d
_pair
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
erdoolaege
add is
l
_qpolyn
o
mia
l
_
as_p
o
lynomial_on_dom
a
i
n
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoola
e
ge
a
d
d
isl_qpolynomial_substit
u
te
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add i
s
l_b
a
sic_set_dims_get_
s
ign
commit
|
commitdiff
|
tree
2010-05-04
Sven Verd
o
olaeg
e
isl_ctx: add
ze
r
o
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
a
dd isl_qpoly
n
om
i
al_neginfty
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoo
l
ae
g
e
add
i
sl_basic_set_
d
rop
commit
|
commitdiff
|
tree
2010-05-04
S
ven Ve
r
d
o
olaege
isl_qpolynomial_fol
d
_
op
t
_on_domain:
fix typo
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
isl_pw_*_eval: fix handling of empty input
commit
|
commitdiff
|
tree
2010-05-04
Sven
V
er
d
oolaege
add isl_basic_
s
et_move_
d
i
m
s
commit
|
commitdiff
|
tree
2010-05-04
Sv
e
n Verdoolaeg
e
ex
p
ort isl_
q
p
o
lynomial_sub
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
add isl_qpolyno
m
ial
_
g
e
t_dim
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
i
sl_map_
t
r
ansitive_closure: coalesce i
n
put before chec
k
in
g
.
.
.
commit
|
commitdiff
|
tree
2010-05-04
Sve
n
Verdoolaege
add map_
l
ex
_
*_
f
irst
commit
|
commitdiff
|
tree
2010-05-01
Sven Verdoolaege
isl_map_lex_le:
u
s
e
o
n
e
basic set less in result
commit
|
commitdiff
|
tree
2010-05-01
Sven V
e
rd
o
olaeg
e
isl
_
stre
a
m
: accept lexi
c
ogr
a
phic operators
commit
|
commitdiff
|
tree
2010-04-28
Sv
e
n Verdo
o
lae
g
e
isl_map_transitive_closure: ch
e
ck if input is c
l
osed
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven Ver
d
oolaege
add is
l
_printer_flush
commit
|
commitdiff
|
tree
2010-04-28
Sven Ver
d
oolaege
isl_m
a
p
_read: pa
r
s
e param
e
t
r
i
c
Omega in
p
ut
commit
|
commitdiff
|
tree
2010-04-28
S
v
e
n
Verdoolaege
isl_ma
p
_read
:
f
i
x typo
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
isl_convex_hull
.
c: is_
b
ound:
a
ny inequality is
a
bo
u
n
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
i
s
l_conve
x
_hull
.
c: add_bo
u
nds: pr
o
pagat
e
errors from
.
.
.
commit
|
commitdiff
|
tree
2010-04-25
Sven Ve
r
doolaege
d
ocum
e
nt isl_ma
p
_reverse
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoolaege
i
sl_s
t
re
a
m
_
next_token:
t
ermin
a
te stri
n
g to
k
ens
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
isl_map_
t
r
an
s
i
tive
_
c
losure:
trea
t
equal
i
ty
a
s pair
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
isl_
m
ap_t
r
a
n
sitive_closur
e
, omega-like:
onl
y
us
e
?
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verd
o
ol
a
ege
isl_ma
p
_trans
i
tive_
c
losure: use simple hull in ome
g
a
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven
V
erdo
o
la
e
g
e
isl_map_transitive_closure: try
a
n
d
comput
e
closure
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoo
l
a
e
ge
isl_map_coalesce:
a
l
low wr
a
pping in sets that s
t
ic
k
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdo
o
laege
isl
_
m
a
p_coalesce: allowing cutting e
q
ualiti
e
s in adjacen
t
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verd
o
ol
a
eg
e
add some more coalesci
n
g
test cases
commit
|
commitdiff
|
tree
2010-04-23
Sv
e
n Ve
r
doolaege
isl_basi
c
_map_gist: be more aggressive in
removing
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sv
e
n Verdoolaege
isl_stream: accept
string tokens
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
is
l
_ta
b
_rol
l
b
a
ck: restore
r
ows that
a
re no longe
r
marked
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
doc:
d
ocum
e
nt simple h
u
ll
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoola
e
g
e
doc: emphasize tha
t
we
a
r
e dealin
g
with
integer
s
e
ts
commit
|
commitdiff
|
tree
2010-04-21
S
ven Verdoolaeg
e
isl
_
t
r
a
n
sitive_closur
e
.
c
:
path_a
l
ong_delta: only avoid
.
.
.
commit
|
commitdiff
|
tree
next