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
export isl_qpolynomial_sub
2010-05-04
Sve
n
V
e
r
doo
l
aege
export isl_qpolynomia
l
_sub
commit
|
commitdiff
|
tree
2010-05-04
S
ven
V
erdool
a
ege
add
isl_qpolynomial_get_di
m
commit
|
commitdiff
|
tree
2010-05-04
Sven Ve
r
d
o
olaeg
e
isl
_
map_trans
i
tive
_
closure:
c
oalesce input
be
f
ore checking
.
.
.
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
add map_lex_*_first
commit
|
commitdiff
|
tree
2010-05-01
Sv
e
n
V
e
rdoolaeg
e
isl_ma
p
_lex_le: us
e
one basi
c
set les
s
in result
commit
|
commitdiff
|
tree
2010-05-01
Sven Verdoolaege
isl_stre
a
m:
a
cc
e
p
t lexicographic oper
a
tors
commit
|
commitdiff
|
tree
2010-04-28
Sven Ve
r
d
o
o
laege
isl_map_tran
s
itive_c
l
osure:
ch
e
ck if input is close
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
S
v
en
Verdo
o
l
aege
add
isl_printer_flush
commit
|
commitdiff
|
tree
2010-04-28
S
ven Verdoolaege
i
s
l_m
a
p_re
a
d: pars
e
pa
r
ametri
c
Omega in
p
u
t
commit
|
commitdiff
|
tree
2010-04-28
Sve
n
V
e
rdoolaege
isl_map_read: fix typo
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdool
a
ege
i
s
l_conv
e
x_hull
.
c
:
is_bound: a
n
y
i
n
equality is
a bo
u
nd
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
isl_
c
o
n
vex_hull
.
c:
a
d
d_bo
u
nds:
p
r
o
pagate errors from
.
.
.
commit
|
commitdiff
|
tree
2010-04-25
Sven Ver
d
oolaege
documen
t
is
l
_map_re
v
erse
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoolaege
i
sl_s
t
ream_next_t
o
k
en:
t
ermi
n
ate string toke
n
s
commit
|
commitdiff
|
tree
2010-04-23
Sven Ve
r
doolaege
isl_m
a
p_transitive_closu
r
e: treat equal
i
ty
a
s p
a
ir
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdool
a
ege
isl_map_tra
n
sitive_clo
s
ure, omega-like:
o
nly use ?
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven V
e
rdoolaege
isl_
m
ap_transitive_closure:
u
se simple hull in omega
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
isl_map_tra
n
sit
i
v
e_cl
o
sure: try and com
p
ute closur
e
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Ver
d
oolaege
isl
_
map_coalesce: allow wrappin
g
i
n
sets tha
t
stick
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verd
o
olaege
is
l
_map_coales
c
e: allowing cu
t
ting equalities
i
n adja
c
e
nt
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoola
e
g
e
add
some more coalescin
g
te
s
t cases
commit
|
commitdiff
|
tree
2010-04-23
Sven Verd
o
ola
e
g
e
isl_basic
_
m
a
p_gi
s
t: be more aggressive
in r
e
movin
g
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
is
l
_s
t
r
e
am: accept
string t
o
k
ens
commit
|
commitdiff
|
tree
2010-04-23
Sven
V
erdoolaege
isl_tab_roll
b
ack: restore rows that are
n
o longe
r
mar
k
ed
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sve
n
V
erdo
o
la
e
g
e
doc: d
o
cument simple hull
commit
|
commitdiff
|
tree
2010-04-21
Sven
V
e
rdoolaege
doc: em
p
hasize that we are deali
n
g
w
ith
integer
s
e
ts
commit
|
commitdiff
|
tree
2010-04-21
S
v
en
V
erdoo
l
aege
i
s
l
_transit
i
ve_clos
u
re
.
c
: path_along_delta: only
a
void
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven
V
erdoola
e
ge
isl_map_
t
r
ansit
i
ve_closu
r
e: compute divs of
i
n
put
commit
|
commitdiff
|
tree
2010-04-21
Sven Ve
r
dool
a
ege
i
sl_map_c
o
mpute_divs: make sure result
is
g
aussed and
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sv
e
n
V
erdoolaege
isl_print
e
r_
p
ri
n
t
_
pw_qpoly
n
omial
:
properly
p
rint con
s
t
r
a
ints
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven V
e
rd
o
olaege
isl_pi
p
a
nd isl_cat: t
e
rminate isl_arg array wit
h
IS
L
_ARG_END
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoolaege
doc: d
o
cument setting
a
nd getting o
f
dimension n
a
mes
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdo
o
laege
doc: document
*_get_dim fun
c
tions
commit
|
commitdiff
|
tree
2010-04-19
Sven Verd
o
o
laege
isl_map_convex_hull:
h
andle non full-dimen
s
ional pairs
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdo
o
laege
isl_conve
x
_
h
ul
l
.
c:
m
odulo_affine_hull: dr
o
p redundant
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
S
v
en
V
e
r
d
oolaege
isl
_
co
n
vex_hull
.
c:
conv
e
x_hull_pair: sk
i
p dire
c
tion
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sven Ve
r
doolaege
isl_printe
r
_
pri
n
t_
b
as
i
c_set:
fix up
p
rinting to string
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sven Verdoolae
g
e
add isl
_
set_neg
a
n
d i
s
l_s
e
t_sum
commit
|
commitdiff
|
tree
2010-04-16
S
ven
Verdoolaege
isl_transi
t
ive_closure
.
c: fix do
c
umentat
i
on of
c
o
n
s
t
r
uct_com
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolaege
isl_map
_
coalesce: make sure re
s
ult stil
l
cont
a
ins set
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven
Verdoolaege
isl_map_transitive_c
l
o
s
u
re: Floyd-Warshall: properly
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
S
v
en Verdoolaege
isl_map_transitive_closure: use Floyd-Warshal
l
on disjoint
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sv
e
n
V
erdoolaege
i
sl_transitive
_
c
l
osure
.
c: extract out
i
sl
_
set_overlap
s
commit
|
commitdiff
|
tree
2010-04-15
Sven
Ve
r
doolaege
isl_map_trans
i
tiv
e
_closure: project
o
ut length on
ea
c
h
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
S
v
e
n Verdoolaege
isl_tr
a
n
s
itive_closur
e
.
c
:
construct_c
o
m
p
onent:
d
on
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolaege
isl
_
map_transitive_closure: do
n
'
t add length p
a
rameter
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdo
o
laege
doc: fix typos
commit
|
commitdiff
|
tree
2010-04-13
Sven
V
er
d
oolae
g
e
isl_se
t
_gist: ma
k
e
c
ontext argume
n
t an isl_set for
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sv
e
n V
e
rd
o
olaege
isl_map_
t
ran
s
it
i
ve_c
l
osure: coalesce input map
commit
|
commitdiff
|
tree
2010-04-13
Sv
e
n Verd
o
olaege
isl_trans
i
tiv
e
_
c
losu
r
e
.
c: co
n
s
t
ruct_component:
a
l
w
ays
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoola
e
ge
doc:
ci
t
e Omega library do
c
ume
n
tation on computation
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoolaege
ad
d
i
sl_strea
m
_r
e
ad_map
commit
|
commitdiff
|
tree
2010-04-13
Sven V
e
rd
o
olaege
isl_arg
.
h: add mi
s
sing inc
l
ude
commit
|
commitdiff
|
tree
2010-04-11
S
v
en Verdoola
e
ge
isl_basic_map_m
o
ve_dims: normali
z
e equ
a
lities
commit
|
commitdiff
|
tree
2010-04-11
Sven Ver
d
oola
e
ge
r
e
na
m
e i
s
l
_
map_mo
v
e
to isl_map_
m
ove_dims
commit
|
commitdiff
|
tree
2010-04-10
Sv
e
n Ver
d
oo
l
aege
i
s
l
_
o
p
t
ions_
p
arse: only parse kno
w
n options by default
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaege
isl_map_closure: optionally
use Omega-like algorithm
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaege
i
s
l_cl
o
s
ure:
t
a
ke options
commit
|
commitdiff
|
tree
2010-04-10
Sve
n
Ve
r
doo
l
ae
g
e
isl_map_affine_h
u
ll:
h
andle non-obviously empty inp
u
t
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdo
o
lae
g
e
isl_map_com
p
ute_divs: handl
e
non-obviously
e
m
pty inp
u
t
commit
|
commitdiff
|
tree
2010-04-10
Sv
e
n Verdoolaege
isl
_
bas
i
c_se
t
_preimage: add extra
sanity chec
k
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaege
isl_
b
a
s
ic
_
ma
p
_set_to_empt
y
: add missi
n
g assig
n
m
e
n
t
commit
|
commitdiff
|
tree
2010-04-10
Sven
Verdoolaege
isl_e
q
ualities
.
c: isl_mat_variable_compres
s
i
on: cla
r
if
y
.
.
.
commit
|
commitdiff
|
tree
2010-04-10
S
ven Verdoo
l
aege
i
s
l_sample
.
c
:
ini
t
i
a
l_ba
s
is: s
e
t n_unb
o
unded and n_
z
ero
commit
|
commitdiff
|
tree
2010-04-09
Sven V
e
rdoo
l
aege
i
s
l_map_coalesce: only u
s
e
non-redundant constrain
t
s
.
.
.
commit
|
commitdiff
|
tree
2010-04-09
Sven Verdoolaege
isl_ma
p
_pr
i
n
t
: allow empty c
o
nstrai
n
ts
commit
|
commitdiff
|
tree
2010-04-09
Sven Verd
o
olaege
isl
_
options
.
h
:
allow in
c
lusion from C+
+
commit
|
commitdiff
|
tree
2010-04-09
Sven
V
e
rdoolaeg
e
isl_arg
.
h: allow in
c
lusion
f
ro
m
C++
commit
|
commitdiff
|
tree
2010-04-07
S
ven Verdoolaege
isl_
m
ap_transiti
v
e_clos
u
r
e
:
handle existentials
commit
|
commitdiff
|
tree
2010-04-07
Sven
V
erd
o
olaege
is
l
_map_del
t
as: pr
e
serve
d
i
mens
i
o
n
names
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
isl_map_print: sup
p
ort LaTeX output
f
orm
a
t
commit
|
commitdiff
|
tree
2010-04-07
S
v
en V
e
rdoolaege
isl_map_
s
i
m
p
l
if
y
: do
n
't remove
a
ny
div de
f
init
i
o
n
s
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verd
o
olaeg
e
i
s
l_map_intersect
:
a
d
d
special c
a
ses
f
o
r
empty i
n
put
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven
Ve
r
d
oo
l
aege
is
l
_
t
ransitive_closure
.
c:
path_
a
lo
n
g_d
e
lta: s
h
are c
o
d
e
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
isl_tra
n
sitive_
c
losure
.
c
:
path_al
o
ng_delta:
t
ry
a
nd
.
.
.
commit
|
commitdiff
|
tree
2010-04-04
Sve
n
Verd
o
o
l
a
e
ge
export isl_qpolynomial_move_dims
commit
|
commitdiff
|
tree
2010-04-03
S
v
en Ve
r
doolaege
add i
s
l_qpolynomial_get_ctx
commit
|
commitdiff
|
tree
2010-04-03
S
ven Verdoolaege
a
d
d is
l
_pw_qpol
y
nomial_fold_get_dim
commit
|
commitdiff
|
tree
2010-04-03
Sven Verdoolaege
add some
qpolynomial test functio
n
s
commit
|
commitdiff
|
tree
2010-04-03
Sv
e
n
V
erdoolaege
add isl
_
p
w_qpolynomial_fold_{max,min}
commit
|
commitdiff
|
tree
2010-04-02
Sven Verdoolaege
isl_
t
ab
_
min_at_most_
n
eg
_
one: res
t
ore sam
p
le value of
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven Verdoolaege
isl_m
a
p_
c
o
a
lesce: avoid reconsid
e
ring p
a
irs considered
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sve
n
V
erdool
a
ege
isl
_
t
a
b
.
c: update d
e
bugg
i
ng a
i
d
c
he
c
k_table to presence
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven V
e
rd
o
olaege
isl
_
tab_relax: make sure
n
o non-negative rows get a
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
S
v
en Verdool
a
ege
i
s
l_tab_pip
.
c
:
al
w
ays set row sig
n
of found r
o
w to
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
S
ven Ver
d
oolaege
isl_printer_
p
rint_ba
s
i
c
_{set,map}: add closin
g
"}"
commit
|
commitdiff
|
tree
2010-04-01
Sven
Verdoolaege
export isl_set_sp
l
it_d
i
ms
commit
|
commitdiff
|
tree
2010-04-01
Sv
e
n V
e
rdoolaege
a
d
d isl_set_reces
s
ion_cone
commit
|
commitdiff
|
tree
2010-04-01
Sven Verd
o
ol
a
ege
add is
l
_set_d
i
m
_is_boun
d
ed
commit
|
commitdiff
|
tree
2010-04-01
Sven
V
erdoolaeg
e
i
sl_map_transitive_
c
losu
r
e:
b
reak early if
i
n
p
u
t m
a
p
.
.
.
commit
|
commitdiff
|
tree
2010-04-01
Sv
e
n Verdo
o
laege
isl_map
_
transitive_c
l
os
u
re: c
o
a
l
e
s
c
e
after each step
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdoolaege
e
x
po
r
t isl_pw_qpolynomial_coalesce
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdoolaege
is
l
_tab
.
c: un
r
elax:
r
es
t
ore row
if
v
a
r
iable
is non
.
.
.
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdoolaeg
e
isl_
t
a
b
.
c: cut_to
_
hyperp
l
ane: add extr
a
sa
n
ity check
commit
|
commitdiff
|
tree
2010-03-30
Sv
e
n Verdoolae
g
e
a
d
d
i
sl
_
p
w_qpolynomial
_
fo
l
d_size
commit
|
commitdiff
|
tree
2010-03-30
Sven Ve
r
doolaege
add
i
sl_pw
_
qpolynomial_split_dims
commit
|
commitdiff
|
tree
2010-03-30
S
v
en Verdoolae
g
e
isl
_
q
polynomi
a
l_ma
x
: fix detection
o
f inactive va
r
iables
commit
|
commitdiff
|
tree
2010-03-25
Sve
n
Verdoolaege
doc: f
i
x transitive c
l
osu
r
e exampl
e
commit
|
commitdiff
|
tree
2010-03-23
S
v
en Verdoolaege
isl_convex_h
u
l
l
.
c:
v
alid_directio
n
: proper
l
y normalize
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoolaege
i
s
l_conve
x
_h
u
ll
.
c:
s
i
mplify compu
t
ation of initial
.
.
.
commit
|
commitdiff
|
tree
next