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 rudimentary isl_morph
2010-05-13
Sven Verdoo
l
aege
add rudiment
a
r
y isl_morph
commit
|
commitdiff
|
tree
2010-05-13
Sven Verd
o
olaege
add isl_
s
e
q_set
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
rd
o
olaege
is
l
_equalities
.
c:
f
ix typo in com
m
ent
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_mat_inser
t
_rows
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n
Verdool
a
e
g
e
add isl
_
m
a
t_normalize
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add i
s
l
_mat_diagonal
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verd
o
olaege
isl_mat_lin_to_aff: f
i
x error handlin
g
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verdool
a
e
g
e
isl_qpolynomi
a
l_o
p
t_on_domain
:
hand
l
e empty input
commit
|
commitdiff
|
tree
2010-05-13
Sven Verd
o
olaege
is
l
_
n
ame_al
l
oc: fix error handl
i
n
g
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
rdoolae
g
e
a
dd i
s
l
_dim_o
f
fse
t
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdool
a
e
g
e
isl_equa
l
i
ties
.
c: fix typos
in comme
n
ts
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
a
d
d
isl_pw
_
qpolynom
i
al_fold_cove
r
s
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_qp
o
l
y
nomial
_
le
_
cst
commit
|
commitdiff
|
tree
2010-05-13
Sven Ver
d
oolaege
private
l
y
export isl_set_
i
s_bou
n
ded
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
erdoolaege
add is
l
_set_count_upto
commit
|
commitdiff
|
tree
2010-05-13
S
v
en V
e
r
dool
a
ege
a
d
d is
l
_set_scan
commit
|
commitdiff
|
tree
2010-05-13
Sven Ver
d
oolaege
add isl_stream_read_
p
w
_
qpolyno
m
ial
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdool
a
eg
e
add isl_qpolyno
m
ial_
f
rom_term
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
a
d
d
isl_q
p
o
l
ynomial_from_c
o
nstraint
commit
|
commitdiff
|
tree
2010-05-13
Sven Ver
d
oolaege
a
d
d
i
s
l
_bas
i
c_set_f
o
reach_bound_pair
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
rdoolaege
a
d
d is
l
_qpolynom
i
al_as_polynomia
l
_on_
d
omain
commit
|
commitdiff
|
tree
2010-05-13
Sven Ve
r
doolaeg
e
add isl_qpolynomial_s
u
bstitute
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add
isl_basic
_
set_dims_get
_
sign
commit
|
commitdiff
|
tree
2010-05-04
Sv
e
n
V
e
r
doolaege
isl
_
ctx: add zer
o
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
ad
d
i
s
l_qpolynomial_neginfty
commit
|
commitdiff
|
tree
2010-05-04
Sven V
e
rdoolae
g
e
add
i
sl_basic_set_drop
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
isl_qp
o
lyno
m
ial_fol
d
_opt
_
o
n_doma
i
n
: fix typo
commit
|
commitdiff
|
tree
2010-05-04
Sven Ve
r
doolaege
i
s
l_pw_*
_
eval
:
f
i
x handling of empty input
commit
|
commitdiff
|
tree
2010-05-04
Sven Verd
o
olaege
add i
s
l_basi
c
_set_
m
ove_dim
s
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdool
a
ege
ex
p
or
t
isl_qpoly
n
omial_
s
ub
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
add isl_qpoly
n
omial_g
e
t_dim
commit
|
commitdiff
|
tree
2010-05-04
Sven
V
er
d
oolaege
isl_map_tr
a
n
s
itive_closure: coalesce
i
nput before checki
n
g
.
.
.
commit
|
commitdiff
|
tree
2010-05-04
Sven Ver
d
oo
l
a
ege
a
d
d
m
ap_le
x
_*_first
commit
|
commitdiff
|
tree
2010-05-01
Sv
e
n Ve
r
doolaege
isl_
m
ap_lex_
l
e:
u
se one basic set
l
ess in re
s
u
l
t
commit
|
commitdiff
|
tree
2010-05-01
Sve
n
Verd
o
ola
e
ge
isl_stream: ac
c
e
p
t
lex
i
c
o
graphic operat
o
r
s
commit
|
commitdiff
|
tree
2010-04-28
Sv
e
n
Verdoolaege
isl_map_transitive_closure: chec
k
if input is close
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoo
l
aege
add isl_printer_flush
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
i
sl_map_
r
ead: parse parametric Omega inpu
t
commit
|
commitdiff
|
tree
2010-04-28
Sven Ve
r
d
oolaeg
e
isl_map_read
:
fi
x
ty
p
o
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
i
sl_
c
onvex_hull
.
c: is_bound:
any inequali
t
y is a b
o
und
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
is
l
_convex_h
u
l
l
.
c
:
add_b
o
u
n
ds:
propagate
e
rrors fr
o
m
.
.
.
commit
|
commitdiff
|
tree
2010-04-25
Sven
V
erdoolaege
docume
n
t isl
_
map_reverse
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoo
l
aege
i
s
l_
s
tream_next_token: termi
n
a
te
s
tring toke
n
s
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
isl
_
map_tra
n
siti
v
e_closur
e
:
treat equalit
y
as pair
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdool
a
ege
isl_map_t
r
ansitiv
e
_closur
e
, omega-like:
only use ?
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sve
n
Verdoolaege
i
s
l_m
a
p_transitive_cl
o
sure: use
simple hu
l
l
i
n omega
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
S
v
en
Verdo
o
lae
g
e
isl_map
_
t
r
a
nsitive_c
l
osure: t
r
y
and comp
u
te clo
s
u
re
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
S
v
e
n
Verdoolaege
isl_map_coalesce: allow
w
rappin
g
i
n s
e
ts
t
h
at stick
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven V
e
rdo
o
laege
isl_m
a
p_coales
c
e
:
a
l
lowing cuttin
g
equalities in adjacen
t
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sv
e
n Verdoolaeg
e
add some
mor
e
co
a
lescing
t
es
t
cases
commit
|
commitdiff
|
tree
2010-04-23
Sve
n
Verdoolaeg
e
i
s
l_basic_map_gist: be more aggressive in r
e
moving
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaeg
e
i
s
l
_stream: accept st
r
ing tokens
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
isl_t
a
b
_
r
o
llback: restore rows that
a
re no
l
o
nger marke
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdo
o
lae
g
e
do
c
: doc
u
ment simple h
u
ll
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoola
e
g
e
doc: emphasize that we are dealing with integer se
t
s
commit
|
commitdiff
|
tree
2010-04-21
Sve
n
Verdoolaege
isl_transitive_closure
.
c: path_
a
l
o
ng_delta: only
a
void
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sv
e
n Verdoolae
g
e
i
s
l_ma
p
_tra
n
s
i
tive_closure:
compute divs of input
commit
|
commitdiff
|
tree
2010-04-21
Sven Verd
o
olaege
isl_map_compute_di
v
s: ma
k
e sure res
u
l
t
is gausse
d
and
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven
V
erdoolaege
isl_prin
t
er_print
_
p
w_q
p
ol
y
nomia
l
: properly print cons
t
rai
n
ts
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoola
e
ge
i
s
l_pip a
n
d
i
s
l_c
a
t: termi
n
ate is
l
_
a
r
g array with ISL_ARG_END
commit
|
commitdiff
|
tree
2010-04-19
Sv
e
n Verdoo
l
aege
doc: document se
t
ting a
n
d
ge
t
ting of d
i
mensio
n
names
commit
|
commitdiff
|
tree
2010-04-19
S
ve
n
Ver
d
oolaeg
e
doc: d
o
cument *
_
g
e
t_
d
im fun
c
tions
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoolaeg
e
isl_map_
c
onvex
_
hu
l
l: han
d
le non full-
d
imens
i
o
n
al
pairs
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
S
ven V
e
rdoola
e
ge
isl_conv
e
x_hull
.
c
:
mod
u
lo_af
f
ine_hull: drop redundant
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoola
e
ge
isl_convex_hull
.
c: co
n
vex_hull_pair:
s
kip d
i
rection
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sven Verdoolaege
isl_printer_p
r
int_basic_s
e
t: fix up printing
to string
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sve
n
Ver
d
o
o
laege
add isl_set_neg
and isl_set_s
u
m
commit
|
commitdiff
|
tree
2010-04-16
Sv
e
n Ve
r
doola
e
ge
isl_t
r
ans
i
t
ive_closur
e
.
c: f
i
x documen
t
ation of cons
t
r
u
c
t
_com
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sv
e
n Verdoolaege
isl_map_coalesce: make sure re
s
ult still contains set
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven
V
erdoola
e
ge
isl
_
map_t
r
ansitive_
c
losure: Floyd-Warsha
l
l: properly
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoo
l
aeg
e
isl_map_transit
i
ve_closure: use Floyd-Wars
h
all on disjoint
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
S
ven Verdoolaege
isl_tran
s
itive_
c
losure
.
c: extra
c
t out is
l
_
s
et_ove
r
laps
commit
|
commitdiff
|
tree
2010-04-15
Sven Ver
d
oolaege
is
l
_map_tr
a
ns
i
tive_clo
s
ure: proj
e
ct out length
o
n each
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
S
v
en Ve
r
doolae
g
e
isl_tran
s
itiv
e
_
clo
s
u
r
e
.
c: construct_component: d
o
n
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Ve
r
doolaege
i
s
l_map_transiti
v
e_c
l
osure: don
'
t add leng
t
h param
e
t
e
r
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolaege
d
oc:
f
ix
ty
p
os
commit
|
commitdiff
|
tree
2010-04-13
Sv
e
n Ve
r
dool
a
ege
isl_set_gist:
make
c
ontext argument a
n
i
sl_
s
et for
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdool
a
ege
isl
_
map_transitive_closure: coalesce i
n
put ma
p
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoolae
g
e
isl_tr
a
nsitive_
c
losure
.
c: construct_co
m
ponen
t
: always
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
S
v
en Verdoo
l
aege
doc: cite Omega library d
o
cumentation on comput
a
tion
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoo
l
aege
ad
d
i
s
l
_
str
e
am_read_map
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoolaege
i
sl_ar
g
.
h: add mis
s
ing include
commit
|
commitdiff
|
tree
2010-04-11
Sv
e
n Verdoolaeg
e
i
s
l_basic_ma
p
_
move_d
i
ms: normalize
equalities
commit
|
commitdiff
|
tree
2010-04-11
S
ven Ve
r
doolaege
ren
a
me isl
_
map_
m
ove to
i
sl_map_
m
ove_dims
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaege
is
l
_options
_
pa
r
se: only pars
e
known
o
ptions by default
commit
|
commitdiff
|
tree
2010-04-10
Sven Ver
d
oolaege
isl_
m
ap
_
closure: opt
i
on
a
l
ly use Omega-lik
e
algorithm
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaeg
e
isl_closure: take option
s
commit
|
commitdiff
|
tree
2010-04-10
Sven
V
e
rdoolaege
isl_map_affine
_
hull: hand
l
e
n
on-obviously empty i
n
p
ut
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaege
i
s
l_map_comput
e
_divs: handle
non-obviously empty in
p
ut
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdool
a
ege
is
l
_bas
i
c_set_preimag
e
: add
e
xtra sa
n
ity c
h
eck
commit
|
commitdiff
|
tree
2010-04-10
S
v
en Verdoolae
g
e
isl_basic_m
a
p_set
_
to_
e
mpty:
a
d
d
mis
s
ing ass
i
gnmen
t
commit
|
commitdiff
|
tree
2010-04-10
Sven Ver
d
oolaege
isl_e
q
ualitie
s
.
c: isl_mat_va
r
i
abl
e
_compres
s
ion: clarify
.
.
.
commit
|
commitdiff
|
tree
2010-04-10
Sve
n
Verdoolaege
is
l
_sampl
e
.
c: ini
t
ial_basis: set n_unbounded
and n_z
e
r
o
commit
|
commitdiff
|
tree
2010-04-09
Sven
Ver
d
o
o
laege
is
l
_map_coalesce:
o
n
ly u
s
e
non-re
d
undant c
o
nstraints
.
.
.
commit
|
commitdiff
|
tree
2010-04-09
S
v
en Verdoolae
g
e
isl_map_print: a
l
low empty const
r
aints
commit
|
commitdiff
|
tree
2010-04-09
Sven Verdoo
l
aege
is
l
_options
.
h: allow inclusion from C+
+
commit
|
commitdiff
|
tree
2010-04-09
Sven Ver
d
oolaeg
e
isl_arg
.
h
: allow inclusion from C++
commit
|
commitdiff
|
tree
2010-04-07
Sven
Verdoolaege
isl_map
_
transitive
_
cl
o
sure
:
hand
l
e e
x
istentia
l
s
commit
|
commitdiff
|
tree
2010-04-07
Sve
n
V
erdool
a
eg
e
isl
_
ma
p
_deltas: pre
s
erve dimen
s
ion
names
commit
|
commitdiff
|
tree
2010-04-07
Sven V
e
rdoo
l
aege
is
l
_ma
p
_print:
support LaTe
X
output format
commit
|
commitdiff
|
tree
next