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_transitive_closure: coalesce input before checking closedness of input
2010-05-04
Sven
Verdoolaege
i
sl_map_tra
n
s
i
tive_closure: coalesce input before
c
hec
k
ing
.
.
.
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
add map_lex_*_first
commit
|
commitdiff
|
tree
2010-05-01
Sven
V
erdoola
e
g
e
i
sl_map_
l
ex_le: us
e
one
b
asi
c
set l
e
ss in result
commit
|
commitdiff
|
tree
2010-05-01
Sven Ver
d
oolaege
isl_str
e
am: accept lexicographic
o
perators
commit
|
commitdiff
|
tree
2010-04-28
Sven Verd
o
olaege
isl_map_tra
n
sit
i
ve_clo
s
ure: check if input is closed
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
S
v
en Verdoolaege
add isl_
p
r
inter_flush
commit
|
commitdiff
|
tree
2010-04-28
S
ven Verdool
a
e
g
e
isl_map_re
a
d: pa
r
s
e
para
m
etric Omega input
commit
|
commitdiff
|
tree
2010-04-28
Sve
n
Verdoola
e
ge
isl_map_read: fix
ty
p
o
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
isl_convex_hu
l
l
.
c:
is_bound
:
any
inequality is
a
bound
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
S
ven Verdoo
l
aege
is
l
_conv
e
x_hull
.
c
: add
_
bounds: propaga
t
e
e
rrors from
.
.
.
commit
|
commitdiff
|
tree
2010-04-25
Sven
V
er
d
oola
e
ge
docum
e
nt isl_map
_
reverse
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdool
a
ege
isl_stream_
n
ext_tok
e
n: terminate
string
t
okens
commit
|
commitdiff
|
tree
2010-04-23
Sven
V
e
rdoola
e
ge
i
s
l_map_transitive
_
closure: treat
e
quality as
p
air
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verd
o
olaege
isl_map_transit
i
ve_clo
s
ur
e
,
omega-l
i
k
e
: only use ?
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sv
e
n Verdoo
l
a
ege
i
s
l
_map_transit
i
ve_
c
los
u
r
e: use simple hu
l
l in omega
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
isl_map_
t
ransitive_closure: try and compute closure
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
S
ven Verdoolae
g
e
isl_ma
p
_coales
c
e
:
allo
w
wrap
p
ing i
n
s
e
t
s
t
hat stic
k
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven V
e
rd
o
olaege
i
sl_map_coalesce: allow
i
ng c
u
tting equali
t
ies in adjacent
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
S
v
e
n Verdoolaege
add
s
o
me
more co
a
lescing
t
est cases
commit
|
commitdiff
|
tree
2010-04-23
S
ven Verdoo
l
aege
is
l
_ba
s
ic_
m
ap
_
gis
t
: be
more
a
ggressive in removing
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolae
g
e
i
sl_stream: accept string to
k
ens
commit
|
commitdiff
|
tree
2010-04-23
S
v
e
n Verdoolaege
isl
_
ta
b
_rollba
c
k
: rest
o
re rows that are n
o
l
o
nge
r
marked
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
S
v
en Verdoola
e
ge
d
o
c
: docu
m
e
nt simple
h
ull
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoola
e
g
e
do
c
: empha
s
ize that we are deali
n
g with integer sets
commit
|
commitdiff
|
tree
2010-04-21
S
ven Ver
d
oolaege
is
l
_tr
a
n
sitive_closure
.
c: path_a
l
o
ng
_
delt
a
:
o
nly avoid
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
S
v
en Ve
r
doolaege
isl_map_trans
i
tive_clo
s
ure: com
p
ute d
i
vs of
input
commit
|
commitdiff
|
tree
2010-04-21
Sven V
e
r
d
oolae
g
e
isl_map_compute_div
s
: make sure
result
i
s gauss
e
d
a
n
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven
V
e
rdoolae
g
e
isl_pri
n
ter_
p
ri
n
t_p
w
_qpolynomial:
properly print con
s
traints
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sve
n
Verdoolaege
isl_p
i
p and
isl_cat: ter
m
inate isl_arg
a
rray with I
S
L
_ARG
_
E
N
D
commit
|
commitdiff
|
tree
2010-04-19
Sven Ver
d
o
o
lae
g
e
do
c
: document s
e
t
ting and getting of dim
e
nsion
n
ames
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdo
o
l
a
ege
doc: document *_get_dim functions
commit
|
commitdiff
|
tree
2010-04-19
S
v
en Verdoolaege
isl_map_convex_h
u
ll: handle non full-dimensional pairs
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven Ver
d
ool
a
ege
isl
_
convex_
h
ull
.
c: mod
u
lo_affi
n
e
_
h
ull: d
r
o
p
redundan
t
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
S
ven Ver
d
oolaege
isl_convex_hu
l
l
.
c: convex_hull_pair:
s
kip
direc
t
ion
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
S
ven Verdoolaege
isl_
p
rinte
r
_
pri
n
t_basic_
s
et: fix up printing t
o
string
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sven Verdoolaege
a
dd isl_set_
n
eg a
n
d
i
sl_
s
e
t
_sum
commit
|
commitdiff
|
tree
2010-04-16
Sven Verdool
a
ege
isl_transitive_closure
.
c: fix documentatio
n
of construct_com
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolaege
isl_map_
c
oalesce: mak
e
sure result sti
l
l cont
a
in
s
set
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoola
e
ge
isl_
m
a
p
_transi
t
ive_closure: Floyd-War
s
hall: proper
l
y
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
S
v
en Verdoolaege
isl
_
m
a
p_
t
r
ansitive_
c
losu
r
e: use F
l
o
yd-Warshall
on disjoint
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdool
a
ege
isl
_
transitive_
c
losure
.
c: ext
r
act out isl_set_o
v
erlaps
commit
|
commitdiff
|
tree
2010-04-15
S
ven Verdoo
l
aeg
e
isl
_
map_transitive_closure: project out length o
n
ea
c
h
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sve
n
Ver
d
oolaege
isl_transitive_closure
.
c: construct_componen
t
: don
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoola
e
g
e
isl_map_tran
s
i
t
ive_closure:
d
on't
a
d
d
length pa
r
ameter
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolaege
doc: fix typ
o
s
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoolaege
isl_set_gist: make context argument an isl_s
e
t
for
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven V
e
r
doolaege
i
s
l_m
a
p_transitive_c
l
osure:
c
oalesce
input map
commit
|
commitdiff
|
tree
2010-04-13
Sven Ve
r
do
o
laege
isl
_
transitive_c
l
o
s
ure
.
c: construct_
c
o
mp
o
nent: always
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sv
e
n Verdoolaege
do
c
: cite
Omega library documentation on computatio
n
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven V
e
rdo
o
laege
add i
s
l_stream_read_map
commit
|
commitdiff
|
tree
2010-04-13
Sven Ve
r
doolaege
isl_arg
.
h:
a
dd miss
i
ng include
commit
|
commitdiff
|
tree
2010-04-11
Sven Verd
o
ola
e
g
e
is
l
_ba
s
ic_ma
p
_move
_
dims: normalize equa
l
ities
commit
|
commitdiff
|
tree
2010-04-11
Sve
n
V
e
rdoolaege
r
e
n
a
m
e
isl_map_move t
o
isl_map_mov
e
_dims
commit
|
commitdiff
|
tree
2010-04-10
S
ven Verdoolaege
isl_options_parse: o
n
l
y
p
a
rse known opt
i
ons by default
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaege
isl_map_closure: op
t
ionally use Omega
-
like
al
g
orithm
commit
|
commitdiff
|
tree
2010-04-10
S
v
en Verdoolaeg
e
isl_closure: tak
e
options
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaege
isl_ma
p
_affi
n
e_hull: ha
n
dle no
n
-obviou
s
ly e
m
pty i
n
put
commit
|
commitdiff
|
tree
2010-04-10
S
ven Verdool
a
eg
e
isl_
m
ap_compute_divs:
handle non-obviously empty input
commit
|
commitdiff
|
tree
2010-04-10
S
v
en Ver
d
oolaege
i
s
l_basic_set_p
r
e
image
:
a
d
d extr
a
sa
n
i
t
y check
commit
|
commitdiff
|
tree
2010-04-10
S
v
en Verdoolaege
isl_basic_map_set
_
to_empty: add
m
i
ssing assig
n
men
t
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoola
e
ge
isl_equalitie
s
.
c: is
l
_mat_variable_compression:
clar
i
fy
.
.
.
commit
|
commitdiff
|
tree
2010-04-10
Sven Ve
r
d
o
olaege
isl_s
a
mple
.
c: in
i
tial_b
a
si
s
: set n_unbound
e
d and
n_zero
commit
|
commitdiff
|
tree
2010-04-09
Sve
n
Verdoolaege
isl_map_
c
oalesce: only use non
-
redundant constraints
.
.
.
commit
|
commitdiff
|
tree
2010-04-09
Sven V
e
rdo
o
lae
g
e
isl_m
a
p_print: allow emp
t
y constraints
commit
|
commitdiff
|
tree
2010-04-09
Sven Verd
o
ola
e
ge
isl_options
.
h
: allow incl
u
sion from C++
commit
|
commitdiff
|
tree
2010-04-09
S
v
e
n Verdoolaege
isl_arg
.
h: allow inclu
s
i
o
n
from C++
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
isl_map_
t
r
a
n
s
i
tive_closur
e
: handle existe
n
t
i
als
commit
|
commitdiff
|
tree
2010-04-07
S
v
en V
e
rdoola
e
ge
isl_map
_
deltas: p
r
eserv
e
dimensi
o
n names
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
isl
_
map
_
print: su
p
port LaTe
X
ou
t
put format
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
isl_map_simpli
f
y:
don't remove a
n
y
d
iv definitions
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sv
e
n
V
e
rd
o
olaeg
e
isl_map_
i
ntersect: add
s
p
e
cial cases for em
p
ty input
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
S
v
en
V
erdool
a
ege
isl_tra
n
s
i
tive_closu
r
e
.
c
: path_along_delta
:
share code
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
isl_transitive_closu
r
e
.
c: path_along
_
d
e
l
ta:
try and
.
.
.
commit
|
commitdiff
|
tree
2010-04-04
Sve
n
Verdoolae
g
e
export isl_qpolynomia
l
_move_di
m
s
commit
|
commitdiff
|
tree
2010-04-03
Sven Ve
r
doolaege
add isl_qpolynomi
a
l_get_ctx
commit
|
commitdiff
|
tree
2010-04-03
Sven
V
erdoolaege
add isl_p
w
_qpol
y
nomial_fold_get_dim
commit
|
commitdiff
|
tree
2010-04-03
Sven Verdool
a
e
g
e
add s
o
me q
p
olynomia
l
test
functions
commit
|
commitdiff
|
tree
2010-04-03
Sven V
e
rdoolae
g
e
a
dd isl_pw_qp
o
l
y
n
omial
_
f
o
l
d
_{max,min}
commit
|
commitdiff
|
tree
2010-04-02
Sven Ver
d
oolaege
is
l
_tab_
m
in_at_most_neg_one: restore sample value
o
f
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven Verdool
a
ege
isl_m
a
p_coalesce: avoi
d
r
e
co
n
sidering
p
airs con
s
id
e
red
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven Verd
o
o
l
a
ege
is
l
_tab
.
c
:
update d
e
bugging a
i
d
c
heck_
t
able to
presence
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven Ve
r
doolaege
isl_t
a
b_relax: ma
k
e sure no non-negative
r
ows g
e
t a
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sve
n
Verdoolaege
isl_tab_pi
p
.
c: always set row
s
i
gn of
found row to
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven Ver
d
oolaege
isl_printer_print_basic_{set,map}:
add clo
s
in
g
"}"
commit
|
commitdiff
|
tree
2010-04-01
S
v
e
n
Verdoolaege
export isl_
s
et_split
_
dims
commit
|
commitdiff
|
tree
2010-04-01
Sven Verdoolaege
ad
d
isl_se
t
_recession_
c
o
n
e
commit
|
commitdiff
|
tree
2010-04-01
Sven
Verdoolaege
add i
s
l_set_dim_is_b
o
u
n
ded
commit
|
commitdiff
|
tree
2010-04-01
S
v
en Verdoolaege
isl_map_tr
a
n
s
itive_clo
s
ure:
b
r
eak early if input map
.
.
.
commit
|
commitdiff
|
tree
2010-04-01
Sven Verdo
o
laege
isl_map_
t
ransitive_closure: coalesce
after each step
commit
|
commitdiff
|
tree
2010-03-30
Sven Ve
r
doolae
g
e
ex
p
ort
i
sl_pw
_
qpoly
n
omial_coalesce
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdoolaege
isl_t
a
b
.
c: unrel
a
x: restore row i
f
v
a
ri
a
ble
is
non
.
.
.
commit
|
commitdiff
|
tree
2010-03-30
Sv
e
n
V
erdo
o
laeg
e
isl_tab
.
c: cut_to_hyperplane: add e
x
tra sani
t
y check
commit
|
commitdiff
|
tree
2010-03-30
Sven
Verdoolaege
a
d
d isl_
p
w_qpolynomial_fold_size
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdool
a
ege
add isl
_
pw_qpolynomia
l
_split_
d
ims
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdo
o
laege
is
l
_qpolynomial_max: fix detection of
inactive
variables
commit
|
commitdiff
|
tree
2010-03-25
Sven
V
erdoo
l
aeg
e
d
oc: fix tran
s
itive closure e
x
ample
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdool
a
ege
i
sl_co
n
vex
_
hull
.
c: v
a
l
id_dir
e
ction: prope
r
ly no
r
malize
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sv
e
n Ver
d
oo
l
aege
is
l
_
c
on
v
ex_hul
l
.
c: simplify com
p
utat
i
o
n of i
n
itial
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdo
o
lae
g
e
export isl_pw_qpolynomia
l
_is_zero
commit
|
commitdiff
|
tree
2010-03-23
Sven Ver
d
oolaeg
e
add isl
_
pw_qpolyno
m
i
a
l_fold_dim
commit
|
commitdiff
|
tree
next