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_qpolynomial_fold_opt_on_domain: fix typo
2010-05-04
Sven Verdool
a
ege
isl_qpolyn
o
mi
a
l_f
o
ld_opt_on_d
o
main: fix typo
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoo
l
aeg
e
is
l
_pw_*_eval:
fix handling of empty in
p
u
t
commit
|
commitdiff
|
tree
2010-05-04
Sven Ve
r
doola
e
g
e
add isl_basic_set_move_dims
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoo
l
a
e
g
e
export isl_q
p
o
lynomial_sub
commit
|
commitdiff
|
tree
2010-05-04
Sve
n
V
e
rdoolaege
add is
l
_qpolynomia
l
_get_dim
commit
|
commitdiff
|
tree
2010-05-04
Sven V
e
rdoolaege
isl_map_transit
i
ve_closu
r
e:
c
oalesce
i
nput bef
o
re checking
.
.
.
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoola
e
ge
ad
d
map_lex
_
*_first
commit
|
commitdiff
|
tree
2010-05-01
Sven
Verdoolaege
i
s
l_m
a
p_lex_le: us
e
one basic set less
in result
commit
|
commitdiff
|
tree
2010-05-01
Sven
Verdoola
e
ge
i
s
l_
s
tream:
accept lexicographic operators
commit
|
commitdiff
|
tree
2010-04-28
Sven Ver
d
oolaege
i
sl_map_transi
t
i
ve_closure: che
c
k if input
i
s closed
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
S
v
en Verdoolaege
add
i
sl_pr
i
nte
r
_flu
s
h
commit
|
commitdiff
|
tree
2010-04-28
S
v
e
n Verdoolaege
isl_ma
p
_read: parse
p
ar
a
metric Om
e
ga inpu
t
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaeg
e
i
sl_m
a
p_read: fix typo
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
isl_convex_hull
.
c
:
is_bound
:
any in
e
quality
i
s
a bound
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven
Verdoola
e
ge
isl_convex
_
h
u
ll
.
c
: add_bou
n
ds: pro
p
agate erro
r
s from
.
.
.
commit
|
commitdiff
|
tree
2010-04-25
Sven Verd
o
olaege
docu
m
ent
isl_
m
ap_reverse
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoola
e
ge
isl_stream_next_token:
termi
n
ate
s
tring
t
okens
commit
|
commitdiff
|
tree
2010-04-23
Sven
V
erd
o
o
laege
isl
_
map_transitiv
e
_
c
l
o
s
u
re: treat
equality as
pair
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verd
o
olaege
i
s
l_ma
p
_transitive_closure, omega-like: on
l
y use ?
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
S
ven Verdoo
l
aege
is
l
_map_t
r
a
n
sit
i
ve_closure: use simple hul
l
i
n omega
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven
V
erdo
o
l
a
ege
isl_map_transitive_closu
r
e: try and compute closure
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven
V
erdoolaege
isl_map
_
coale
s
ce: allow w
r
a
ppi
n
g in sets that stick
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Ver
d
oolaege
i
s
l
_
map_coale
s
ce:
a
l
lowi
n
g
cutting equa
l
ities in ad
j
a
c
ent
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoo
l
ae
g
e
a
dd some more coales
c
ing test cases
commit
|
commitdiff
|
tree
2010-04-23
Sven
Ver
d
o
o
laege
is
l
_b
a
sic_map_gist
:
be more aggressive in removing
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sve
n
V
erdoolae
g
e
isl_stream: accept string
t
o
k
ens
commit
|
commitdiff
|
tree
2010-04-23
Sven Ver
d
oolaege
isl_t
a
b_rollback: r
e
stor
e
r
o
ws t
h
at are n
o
longer marked
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Ve
r
doolaege
doc: d
o
cument si
m
ple hu
l
l
commit
|
commitdiff
|
tree
2010-04-21
S
ven Verdoolaeg
e
do
c
: emph
a
size that w
e
are dealing with integer sets
commit
|
commitdiff
|
tree
2010-04-21
Sven Verd
o
olaege
isl_transitive_closu
r
e
.
c: path_al
o
n
g_delta: only avoid
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoola
e
ge
isl_map_transitive_closure
:
c
o
mpute divs
of in
p
u
t
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdool
a
eg
e
isl_map_compute
_
divs: mak
e
sure result is
g
aussed
and
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
S
ven Verd
o
olaege
isl_printer_print_pw_qpoly
n
omia
l
:
pr
o
p
erly print constr
a
ints
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven Ve
r
d
oolaeg
e
isl_pip and isl_cat: t
e
r
m
inate isl
_
arg array with
I
S
L_ARG_END
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoolaege
doc: docum
e
n
t
setting and
g
etting of di
m
ension names
commit
|
commitdiff
|
tree
2010-04-19
Sven Ver
d
o
o
laeg
e
doc: document *
_
g
e
t_dim function
s
commit
|
commitdiff
|
tree
2010-04-19
Sv
e
n Verdoolaege
i
s
l_map_conve
x
_hull: handle non f
u
ll-dim
e
nsional pairs
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven
Verdoolaeg
e
isl_convex
_
h
u
l
l
.
c
:
m
o
dulo_affine_hu
l
l
:
dro
p
red
u
ndant
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven Ver
d
o
olaege
i
s
l_convex_hull
.
c:
c
onv
e
x
_
hull_pair: sk
i
p direction
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sven Verdoolaege
is
l
_printer
_
print
_
basic_se
t
: fix up p
r
i
nting to string
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
S
v
en Verdoolaege
a
dd isl_
s
et_neg and isl_se
t
_sum
commit
|
commitdiff
|
tree
2010-04-16
Sven Verdoo
l
ae
g
e
isl_
t
ransitive_closure
.
c:
fix d
o
c
u
mentation of cons
t
ruct_co
m
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolaege
isl_map_coalesce:
make sur
e
result still contains set
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolae
g
e
isl_map_transi
t
ive_closure: Floy
d
-War
s
h
all: pro
p
e
r
ly
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoola
e
ge
isl_map_tr
a
n
sitive_closure: use
F
l
oyd-Warshall on
d
i
sjoint
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven
V
erdoolaege
i
s
l_transitive_closure
.
c
:
ext
r
ac
t
out
i
sl
_
set_overlaps
commit
|
commitdiff
|
tree
2010-04-15
S
v
en Verdoolaege
isl_map_transitive_closure:
p
roject
o
u
t length on each
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
S
ven Verdoo
l
a
ege
isl_tra
n
sit
i
ve_c
l
osure
.
c
: construct_component: do
n
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdool
a
eg
e
isl_map_tr
a
n
sitive_clos
u
re
:
don't add
l
ength parameter
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolaege
d
oc: f
i
x
t
y
p
o
s
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoolaege
i
s
l_set_gi
s
t: make
co
n
text argument an isl_s
e
t for
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
S
ven Verd
o
olaege
i
s
l_map_transitive_closur
e
: coalesce input map
commit
|
commitdiff
|
tree
2010-04-13
Sven
Verd
o
olaeg
e
isl_transitive_
c
l
o
sur
e
.
c: construct_component: al
w
ays
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven Ver
d
oolaege
do
c
: cite Omega library
d
ocumenta
t
ion on
c
om
p
ut
a
tion
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven Ve
r
doolaege
a
dd isl_stream_rea
d
_
map
commit
|
commitdiff
|
tree
2010-04-13
Sven
V
erdoolaege
isl_arg
.
h: add missing
include
commit
|
commitdiff
|
tree
2010-04-11
Sven Verdool
a
ege
isl_basic_map_move_dims: normalize equal
i
ties
commit
|
commitdiff
|
tree
2010-04-11
Sven Ver
d
oolaege
r
e
n
ame isl_map_move to
i
sl_map_
m
ove_dims
commit
|
commitdiff
|
tree
2010-04-10
Sve
n
Verdo
o
laege
isl_options_parse: only pars
e
known options by
d
e
f
a
ult
commit
|
commitdiff
|
tree
2010-04-10
Sven Ve
r
doolaege
i
s
l
_map_closure: optionally use Omega-like algorithm
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdo
o
laege
i
s
l_closure: take o
p
tions
commit
|
commitdiff
|
tree
2010-04-10
S
v
en
V
er
d
o
o
laege
isl_ma
p
_affine_
h
ull:
h
a
nd
l
e no
n
-obviously empt
y
in
p
ut
commit
|
commitdiff
|
tree
2010-04-10
Sve
n
Verdoolaege
isl_map_c
o
mpute_
d
i
v
s: han
d
le non
-
obviously
empty input
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoola
e
g
e
is
l
_basic_set_
p
reimage: add extra s
a
nity check
commit
|
commitdiff
|
tree
2010-04-10
S
v
en Ve
r
doola
e
ge
i
sl
_
basic
_
m
a
p_set
_
to_
e
mpty
:
add missin
g
a
s
signment
commit
|
commitdiff
|
tree
2010-04-10
Sve
n
Verdoolaege
isl_equa
l
i
ties
.
c: isl_mat_variable
_
compre
s
sion
:
clarify
.
.
.
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaege
isl_sample
.
c: initial_basis: set n_unbou
n
ded and n_zero
commit
|
commitdiff
|
tree
2010-04-09
Sven Verdoo
l
a
ege
is
l
_m
a
p
_
c
oalesce: only use non-redundan
t
cons
t
raints
.
.
.
commit
|
commitdiff
|
tree
2010-04-09
Sven Verdoolaege
isl_map_print: allow empty cons
t
rain
t
s
commit
|
commitdiff
|
tree
2010-04-09
Sven Verdoolaege
isl_
o
ption
s
.
h: allow
i
n
c
lusion
f
rom C++
commit
|
commitdiff
|
tree
2010-04-09
Sven Verdo
o
laege
isl_arg
.
h:
allo
w
inclusion from
C++
commit
|
commitdiff
|
tree
2010-04-07
Sven
V
erdoola
e
g
e
i
s
l_m
a
p_transitive_closure: handle existentials
commit
|
commitdiff
|
tree
2010-04-07
S
ven Verdoolaege
isl_map_deltas: p
r
eserve
d
imension names
commit
|
commitdiff
|
tree
2010-04-07
Sven Ver
d
oolaege
isl_map_print
:
suppo
r
t
LaTeX output format
commit
|
commitdiff
|
tree
2010-04-07
Sven Ve
r
doo
l
a
e
ge
isl_map_simplify: don't remove any div
d
e
f
initions
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoo
l
aege
isl_map_intersect
:
add
s
pecial cases for emp
t
y inpu
t
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdo
o
laege
i
sl_trans
i
tive_closure
.
c
: path_a
l
ong_d
e
lta: s
h
are co
d
e
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Ve
r
doolaeg
e
isl_transitive_closur
e
.
c: p
a
th_along_del
t
a: try
and
.
.
.
commit
|
commitdiff
|
tree
2010-04-04
Sven Verdoolaege
e
x
p
o
r
t
is
l
_qpolynomial_move
_
di
m
s
commit
|
commitdiff
|
tree
2010-04-03
Sven
Verdoolae
g
e
add isl_qpolynomial_get
_
ctx
commit
|
commitdiff
|
tree
2010-04-03
Sven Verd
o
ol
a
e
g
e
add isl_pw_qpolynomial_fol
d
_g
e
t
_
dim
commit
|
commitdiff
|
tree
2010-04-03
S
v
en Verdo
o
laege
a
dd so
m
e qpolyno
m
ial test functions
commit
|
commitdiff
|
tree
2010-04-03
Sven Verdool
a
ege
add isl_pw_qpolynomi
a
l_fold_{max
,
min}
commit
|
commitdiff
|
tree
2010-04-02
Sven Ve
r
doolaege
isl_tab_
m
in_at_most_ne
g
_
o
ne: restor
e
s
a
m
pl
e
value of
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven
V
e
r
do
o
lae
g
e
isl_map_coalesce:
a
void reconsid
e
ring pairs considered
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven Verdo
o
laege
isl_tab
.
c: update debugging aid check_tab
l
e to prese
n
ce
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven Verdoo
l
aege
i
sl_tab_relax
:
m
ake sure no non
-
n
eg
a
tive rows g
e
t
a
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sv
e
n Verdoolaege
isl_tab_pip
.
c: al
w
ays set r
o
w sign of fo
u
nd row to
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven Verdoo
l
a
e
g
e
isl_printer
_
print_basic_{set,map}: a
d
d
closing "}"
commit
|
commitdiff
|
tree
2010-04-01
Sven V
e
rdoolaege
export isl_set
_
spli
t
_dims
commit
|
commitdiff
|
tree
2010-04-01
S
ven Ver
d
oo
l
aeg
e
add isl_set_recession
_
cone
commit
|
commitdiff
|
tree
2010-04-01
Sven Verd
o
olaege
add isl_set_
d
im_is_bo
u
nded
commit
|
commitdiff
|
tree
2010-04-01
S
ven Verdoo
l
aege
i
s
l
_map_tr
a
nsitive_closure: br
e
a
k
early if
i
nput map
.
.
.
commit
|
commitdiff
|
tree
2010-04-01
Sve
n
Verdo
o
l
a
ege
isl_map
_
transitive_closure: coales
c
e
after each st
e
p
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdoola
e
ge
export is
l
_pw_qpolyno
m
ial
_
c
o
alesce
commit
|
commitdiff
|
tree
2010-03-30
Sven
Verdoo
l
aeg
e
isl_tab
.
c: un
r
elax: restore
row
if variable
i
s no
n
.
.
.
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdoolae
g
e
i
s
l_tab
.
c: cu
t
_
to_hyperplane: add extra sani
t
y check
commit
|
commitdiff
|
tree
2010-03-30
S
v
e
n
Ver
d
oolaege
add isl_
p
w
_q
p
o
lynomial_fold_size
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdoolaege
add isl_pw_qpo
l
ynomial_sp
l
it_dims
commit
|
commitdiff
|
tree
2010-03-30
Sven Ve
r
doolaege
i
sl_qpolynomial_max: fix detecti
o
n of inacti
v
e varia
b
les
commit
|
commitdiff
|
tree
next