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_map_simplify.c: eliminate_divs_ineq: avoid NULL pointer dereference
2010-05-30
S
v
en Verdoolaege
r
e
move so
m
e unused variab
l
es
commit
|
commitdiff
|
tree
2010-05-30
Sven Ver
d
oola
e
ge
fix som
e
ic
c
w
a
r
nings
commit
|
commitdiff
|
tree
2010-05-30
Sv
e
n Verd
o
olaege
renam
e
isl_pw_qpol
y
nomi
a
l
_
m
ove and
a
dd isl_pw_q
p
olyn
o
mial_f
o
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
S
ve
n
Verdoolaege
i
s
l_ctx:
keep track of us
e
r option
s
commit
|
commitdiff
|
tree
2010-05-30
Sven V
e
r
d
o
olae
g
e
im
p
roved argu
m
ent par
s
ing
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
isl_options_par
s
e
: print help
message
commit
|
commitdiff
|
tree
2010-05-14
S
v
en Verdoolaege
a
dd i
s
l_bound te
s
t
app
l
ication
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
add isl_pw_qpolynomia
l
_bo
u
nd_range
commit
|
commitdiff
|
tree
2010-05-13
Sven Verd
o
olaege
a
dd
i
sl_pw_qpolynomial
_
fold_morph
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verdoolaege
a
d
d rudimentary isl_morph
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verdool
a
ege
ad
d
isl_seq_set
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
erdoolaeg
e
isl_equaliti
e
s
.
c: fix
t
ypo in comment
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Verdoolaege
add isl_m
a
t
_
i
n
sert_rows
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolae
g
e
add
isl_mat_no
r
maliz
e
commit
|
commitdiff
|
tree
2010-05-13
S
v
en V
e
rdo
o
l
a
ege
add
i
s
l_ma
t
_d
i
ago
n
a
l
commit
|
commitdiff
|
tree
2010-05-13
S
ven Ver
d
o
olae
g
e
isl
_
mat_lin_to_aff: fix error handlin
g
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
is
l
_qp
o
lynomial_
o
pt_on_domai
n
: handle empty input
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
isl_name_alloc: fix error han
d
l
ing
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verdo
o
laege
add
i
sl_d
i
m_o
f
fset
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdo
o
laege
i
sl_equalities
.
c
:
f
ix typ
o
s in comments
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verdoolaege
a
d
d i
s
l_pw_qpolyno
m
i
a
l_fold_cove
r
s
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoola
e
ge
ad
d
isl
_
q
p
olynomial_le_cst
commit
|
commitdiff
|
tree
2010-05-13
Sven Ve
r
doolaege
p
r
i
v
a
tely export isl_set_is_bound
e
d
commit
|
commitdiff
|
tree
2010-05-13
S
ven Ve
r
doolaege
add
isl_set
_
count_upto
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
a
d
d
isl_set_scan
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add
i
sl_s
t
ream_read_
p
w_qpolynomial
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verd
o
ol
a
ege
add isl_qpolynomial_
f
rom_term
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
erdoolaege
a
d
d is
l
_qp
o
lynomi
a
l
_
from_co
n
str
a
int
commit
|
commitdiff
|
tree
2010-05-13
Sven Ve
r
d
o
olaege
add i
s
l_b
a
sic_set_forea
c
h
_bo
u
n
d
_pair
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
erdoolaege
add isl_qpolyn
o
mial_as_
p
olyn
o
mial_on_domai
n
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdool
a
ege
add isl_qpolyn
o
mial_substit
u
te
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verdoola
e
ge
add
i
sl_basic_se
t
_d
i
ms_get_s
i
g
n
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaeg
e
isl_ctx: add zero
commit
|
commitdiff
|
tree
2010-05-04
Sven Verd
o
o
laege
add isl_qpolyn
o
mial
_
n
eginfty
commit
|
commitdiff
|
tree
2010-05-04
Sv
e
n Verd
o
olaege
add
i
sl_basi
c
_set_drop
commit
|
commitdiff
|
tree
2010-05-04
Sven
V
e
rdo
o
laege
isl_qpolyn
o
mial_fold_opt_on_d
o
main: fix typo
commit
|
commitdiff
|
tree
2010-05-04
S
v
en Verdoolaege
isl_
p
w_*_eval: fix
h
andl
i
ng
o
f
e
m
pty input
commit
|
commitdiff
|
tree
2010-05-04
Sven V
e
rdo
o
l
a
e
ge
add
i
sl_basic_set_move_dim
s
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
export i
s
l_qpolynomi
a
l
_
sub
commit
|
commitdiff
|
tree
2010-05-04
Sven Verd
o
olaege
a
d
d i
s
l_qpo
l
yno
m
ial_get_dim
commit
|
commitdiff
|
tree
2010-05-04
Sven
Verdoolaege
isl_m
a
p_
t
ransit
i
ve_closure: co
a
lesce input befo
r
e che
c
k
i
ng
.
.
.
commit
|
commitdiff
|
tree
2010-05-04
S
v
en Verdoola
e
ge
a
dd map_lex
_
*_first
commit
|
commitdiff
|
tree
2010-05-01
Sven Ve
r
d
oolaege
i
sl_map_lex_le: use one
b
asic set less in
re
s
ul
t
commit
|
commitdiff
|
tree
2010-05-01
Sven
V
e
r
doolaege
isl_st
r
eam: accept lexicogra
p
hic operato
r
s
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
isl_map_trans
i
tive_
c
losure:
check if i
n
put is closed
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sve
n
Verdoo
l
aege
add isl_printe
r
_f
l
ush
commit
|
commitdiff
|
tree
2010-04-28
S
v
en Verdo
o
laege
isl_map_
r
e
a
d
: parse par
a
metric Omeg
a
input
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
isl_ma
p
_read: fix typo
commit
|
commitdiff
|
tree
2010-04-28
S
ven Ve
r
doolaege
isl_convex_hu
l
l
.
c: i
s
_bound:
any inequality
i
s
a
bo
u
nd
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
isl_co
n
vex_hull
.
c
:
add_bounds: propagate errors f
r
om
.
.
.
commit
|
commitdiff
|
tree
2010-04-25
Sv
e
n
Ve
r
d
ool
a
ege
docum
e
nt
i
s
l_map_reverse
commit
|
commitdiff
|
tree
2010-04-24
S
v
e
n
Verdoola
e
ge
i
s
l_
s
t
r
e
am_ne
x
t_token: termi
n
ate string token
s
commit
|
commitdiff
|
tree
2010-04-23
S
v
en
Verdoolaege
isl_m
a
p_transitive_closure: treat equa
l
ity as pair
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdo
o
laege
is
l
_
m
ap_transi
t
ive_c
l
os
u
re, om
e
ga-like: only use ?
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdo
o
laege
i
sl_map
_
transitive_c
l
osure: use sim
p
le hull
i
n omega
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoola
e
ge
isl_map_tr
a
nsitive_closure: try and compute closure
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdool
a
ege
isl_m
a
p_coa
l
es
c
e:
a
llow wra
p
ping
in sets that stick
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
S
v
en
Ver
d
o
o
laege
isl_map_
c
o
a
le
s
ce:
a
l
lowing cuttin
g
eq
u
alities in adj
a
c
ent
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdo
o
lae
g
e
a
d
d som
e
more coale
s
cin
g
test cases
commit
|
commitdiff
|
tree
2010-04-23
Sv
e
n Verdoolaege
is
l
_
b
asic
_
map_gi
s
t:
be more a
g
gr
e
ssive in removing
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sve
n
Verdoolae
g
e
isl_st
r
eam: ac
c
ept st
r
ing tok
e
ns
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaeg
e
i
s
l_tab_rollback: restore rows that are
no lo
n
ger marked
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
doc: d
o
cument
simple
h
ull
commit
|
commitdiff
|
tree
2010-04-21
Sven
V
erdoo
l
aege
doc:
emphasize
t
h
a
t
we are dea
l
i
n
g
with in
t
eger s
e
ts
commit
|
commitdiff
|
tree
2010-04-21
Sve
n
V
e
rdoo
l
aege
isl_transitive
_
closure
.
c:
path_along_delta:
only avoid
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
isl
_
m
ap_t
r
an
s
itiv
e
_c
l
osure: compute divs o
f
i
nput
commit
|
commitdiff
|
tree
2010-04-21
S
v
en
V
erdoolae
g
e
isl_
m
ap_c
o
mpute_divs:
m
ake su
r
e result is gaussed and
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
S
ven
Ver
d
oola
e
ge
isl_pri
n
t
er
_
p
rint_pw_qp
o
l
ynomial:
p
roperly prin
t
constr
a
in
t
s
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven
V
e
r
doolaeg
e
isl_pip
a
nd
isl
_
cat: term
i
nate
isl_arg
a
rray wit
h
I
S
L_A
R
G_END
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoolaege
do
c
:
do
c
u
m
ent set
t
in
g
and getting
of
d
imension
nam
e
s
commit
|
commitdiff
|
tree
2010-04-19
S
ven Verdoola
e
ge
doc
:
d
o
cument *_get
_
dim
f
uncti
o
ns
commit
|
commitdiff
|
tree
2010-04-19
Sven Ve
r
d
o
o
l
a
ege
isl_map_convex_hull: handle no
n
ful
l
-dimensional pairs
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sv
e
n Verdoola
e
ge
isl_convex_
h
u
l
l
.
c
: modu
l
o_
a
ffine_hull
:
drop redundant
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven
V
erdoolaeg
e
i
s
l_convex_hull
.
c
:
convex_hull_pair:
s
k
i
p
d
ir
e
ct
i
on
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sv
e
n
V
erdoolaege
isl_
p
rinter
_
print_basic_set: fix up pri
n
ting to string
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sven Verdo
o
l
a
ege
a
d
d isl_set_neg a
n
d
i
sl_set
_
su
m
commit
|
commitdiff
|
tree
2010-04-16
S
ven Ver
d
oolaege
isl_transit
i
ve_closur
e
.
c:
fix documentation
of construct_com
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdool
a
ege
isl_map_coalesce: make
sure result still contains set
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
S
v
en
V
e
rd
o
o
l
a
ege
isl_map_transiti
v
e
_
clo
s
ure:
Floy
d
-Warshall: properly
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sv
e
n Verd
o
olaege
isl_
m
ap_transitive_closure: use
Flo
y
d-W
a
r
s
hall on
d
isjoint
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoola
e
ge
isl_transit
i
ve_closure
.
c: extract out isl_set_o
v
erlaps
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolaeg
e
isl_map_transitive_c
l
osure
:
project out
lengt
h
on
e
ach
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven V
e
rdo
o
laege
isl_trans
i
tive
_
clo
s
ure
.
c: construct_component: don
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven
V
erdoolaege
isl_map_tr
a
nsitive_c
l
osure: don't a
d
d
length
par
a
met
e
r
commit
|
commitdiff
|
tree
2010-04-15
S
v
en Verdoo
l
aege
doc
:
fix typos
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoolae
g
e
is
l
_
s
et_gist:
m
a
ke
c
ontext
a
rgument a
n
isl_set
for
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoolaege
isl_ma
p
_tra
n
si
t
ive
_
closure: coalesce
i
nput map
commit
|
commitdiff
|
tree
2010-04-13
Sv
e
n Verdoo
l
ae
g
e
isl
_
transiti
v
e_closure
.
c
:
c
o
nstruc
t
_compon
e
nt:
always
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
S
ven Verdoolaege
d
oc: cite O
m
ega library docu
m
entatio
n
on comput
a
tion
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven Verd
o
o
laeg
e
add isl_stream_read_
m
ap
commit
|
commitdiff
|
tree
2010-04-13
S
v
en
V
e
r
doo
l
aeg
e
is
l
_arg
.
h: add missing inc
l
ude
commit
|
commitdiff
|
tree
2010-04-11
Sven Verdoolaege
i
s
l_basi
c
_map_move_dims:
norm
a
lize e
q
ualiti
e
s
commit
|
commitdiff
|
tree
2010-04-11
Sven Verd
o
olaege
rena
m
e isl_m
a
p_move to isl_map_
m
ove_dims
commit
|
commitdiff
|
tree
2010-04-10
Sven Ve
r
d
oolaege
isl_options_par
s
e: only parse know
n
o
p
ti
o
ns by defa
u
lt
commit
|
commitdiff
|
tree
2010-04-10
Sve
n
Verdoolaege
isl_m
a
p_closure: o
p
ti
o
n
a
lly use Ome
g
a-like alg
o
rithm
commit
|
commitdiff
|
tree
2010-04-10
Sven Ve
r
doolaege
isl_closure: take options
commit
|
commitdiff
|
tree
2010-04-10
Sven
Verdoolaege
i
s
l
_map_affine_hull: handle
non-obviously empty input
commit
|
commitdiff
|
tree
2010-04-10
Sve
n
Verdoolaege
is
l
_map
_
compute_divs:
han
d
le
non-obviously em
p
ty
i
n
put
commit
|
commitdiff
|
tree
2010-04-10
Sv
e
n Verdoolae
g
e
isl_basic_set_pre
i
m
a
ge
:
add
extra sanity check
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaege
isl_basic_map_set_to
_
e
m
pty: ad
d
missing assign
m
ent
commit
|
commitdiff
|
tree
next