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
privately export isl_basic_set_sort_constraints and isl_basic_set_fast_is_equal
2010-04-23
Sven
Verdoolaege
isl_map_coalesce: al
l
o
w
wrappin
g
in sets that
stic
k
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Ver
d
oolaege
i
sl_map_coalesce: all
o
w
i
ng cutting equaliti
e
s in
a
d
j
acent
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven
Verdoola
e
g
e
add some m
o
r
e
coalescing test cases
commit
|
commitdiff
|
tree
2010-04-23
S
ven Verdoo
l
a
ege
isl_basic_map_gist: b
e
m
ore a
g
gressive
i
n removing
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sve
n
Ve
r
doolaege
is
l
_s
t
ream:
a
ccept str
i
ng
t
o
k
e
ns
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolae
g
e
i
s
l_tab_rollb
a
c
k
: re
s
tore rows
t
h
at a
r
e no
longe
r
ma
r
k
ed
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
S
v
en Ve
r
d
o
ol
a
ege
doc: document simple hu
l
l
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
doc: emphasize that we are deal
i
ng with intege
r
se
t
s
commit
|
commitdiff
|
tree
2010-04-21
Sven Ver
d
oola
e
g
e
isl_trans
i
tive_closure
.
c:
p
a
t
h_along_d
e
lta:
onl
y
avoid
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
S
v
en Verdoolaege
i
s
l_map_transitive_closure: comp
u
t
e div
s
of inpu
t
commit
|
commitdiff
|
tree
2010-04-21
S
ven
V
erdoolae
g
e
isl_map_
c
ompute_
d
iv
s
:
make sure result
i
s gausse
d
a
n
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sve
n
Verdoolaege
i
s
l_printer_print_pw_qpolynomial
:
properly p
r
i
n
t constraints
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoo
l
aeg
e
i
s
l
_
p
i
p
an
d
isl_cat
:
te
r
minate isl
_
a
rg array with ISL_
A
RG
_
END
commit
|
commitdiff
|
tree
2010-04-19
Sven Ve
r
doola
e
g
e
d
o
c: do
c
ume
n
t
setting and g
e
tting of
dimension n
a
mes
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdool
a
e
ge
do
c
: do
c
ume
n
t *_get_dim f
u
n
c
tions
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoolaege
isl_map_c
o
nvex_
h
ull: han
d
le
non full-
d
imensio
n
al pair
s
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven
V
e
r
doolaege
isl_c
o
nvex_
h
ull
.
c
:
modulo_affine_hu
l
l
: drop
r
e
d
undant
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoolaege
isl_convex_hull
.
c: c
o
nvex_hu
l
l_pair: ski
p
direc
t
ion
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sve
n
Verdoolaege
isl_pr
i
nte
r
_print_basic_
s
e
t
:
f
i
x
up print
i
ng
t
o
s
t
r
i
ng
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sven Verdoolaege
add isl_
s
et_
n
eg an
d
isl_
s
et_sum
commit
|
commitdiff
|
tree
2010-04-16
S
ven Verdoolaege
isl_transitive_closure
.
c
: fix documentation o
f
con
s
t
r
uct_co
m
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven
V
erdoola
e
ge
isl_map
_
coalesce: mak
e
sure result still contain
s
s
e
t
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
S
ven Verdool
a
eg
e
isl
_
map_transitive_closure: Floyd-Wars
h
all: properly
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolae
g
e
is
l
_map_transiti
v
e_closu
r
e: use Flo
y
d-Warshal
l
on disjoint
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven
Verdoola
e
ge
isl_transiti
v
e_closure
.
c: ext
r
act out isl_set_overla
p
s
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolaege
i
s
l_
m
ap_transit
i
ve_closure: pr
o
ject out l
e
ngth
o
n each
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verd
o
olaege
isl_transitive_closure
.
c: cons
t
r
u
c
t
_
c
omponent: don
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Ve
r
doolaege
i
sl
_
map_tr
a
nsit
i
ve_cl
o
sure: don'
t
add l
e
ngth paramete
r
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolaeg
e
doc: fix typos
commit
|
commitdiff
|
tree
2010-04-13
S
v
en Verdoolaege
isl
_
set_gist: make context
argument an isl_set for
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoolaege
is
l
_
m
a
p_transitive_clos
u
re: coalesce inp
u
t
map
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoola
e
ge
isl_transitive
_
closu
r
e
.
c
:
constr
u
ct_compon
e
nt: al
w
ays
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoo
l
aege
doc: c
i
te
Omega library
d
ocumen
t
ation
on
c
omp
u
ta
t
ion
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sv
e
n Verdool
a
ege
add isl_stream_re
a
d
_
m
ap
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoolaege
isl
_
arg
.
h: add missi
n
g include
commit
|
commitdiff
|
tree
2010-04-11
Sven
V
erdool
a
eg
e
isl_basi
c
_m
a
p_move_dims: norma
l
ize equali
t
ies
commit
|
commitdiff
|
tree
2010-04-11
Sven Verdoolaege
rename
isl_map_move to isl_map_move_dims
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoo
l
ae
g
e
i
s
l_
o
p
tions_pars
e
: only
parse known opt
i
ons by default
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoo
l
aege
i
s
l_map_closure: optionally use Omeg
a
-
l
i
ke alg
o
r
it
h
m
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdool
a
ege
isl_closure: take options
commit
|
commitdiff
|
tree
2010-04-10
Sv
e
n
V
er
d
oolaege
i
s
l_m
a
p
_
affi
n
e_hull: handle non-obviously empt
y
inp
u
t
commit
|
commitdiff
|
tree
2010-04-10
Sven
V
erdoo
l
aege
isl_map_compute_divs: han
d
le non-obv
i
ously
e
mpty inp
u
t
commit
|
commitdiff
|
tree
2010-04-10
Sv
e
n Verdoolaege
isl_basic_set_preimage: a
d
d ext
r
a
s
anity check
commit
|
commitdiff
|
tree
2010-04-10
S
v
en Verdool
a
ege
isl_basic_map_set_
t
o_e
m
pty: add missing assignment
commit
|
commitdiff
|
tree
2010-04-10
S
v
e
n Verd
o
olaege
isl_
e
qualitie
s
.
c
: isl_m
a
t_variable
_
compre
s
sion: cl
a
r
i
fy
.
.
.
commit
|
commitdiff
|
tree
2010-04-10
Sve
n
Ve
r
d
o
olaege
i
s
l_sample
.
c:
i
nitial_basis: set n_
u
nbounde
d
and
n_zero
commit
|
commitdiff
|
tree
2010-04-09
Sven
Verdoolaege
isl_map_coale
s
ce: o
n
ly
use non-redund
a
nt co
n
s
traints
.
.
.
commit
|
commitdiff
|
tree
2010-04-09
Sven Verdoolaeg
e
is
l
_
m
ap_p
r
int: allow emp
t
y con
s
traints
commit
|
commitdiff
|
tree
2010-04-09
S
v
e
n
Verdoolaege
isl_
o
ptions
.
h
: allow inclusi
o
n from C++
commit
|
commitdiff
|
tree
2010-04-09
Sven V
e
rd
o
o
laege
i
s
l_a
r
g
.
h: allow
i
nclu
s
ion from C++
commit
|
commitdiff
|
tree
2010-04-07
Sven
V
erdo
o
laege
isl_map_transit
i
ve_cl
o
sure: handle
ex
i
stenti
a
ls
commit
|
commitdiff
|
tree
2010-04-07
Sven V
e
rdoolaege
isl_map_deltas:
preserve dimensi
o
n names
commit
|
commitdiff
|
tree
2010-04-07
S
v
e
n
Verdool
a
ege
i
s
l_map_print:
support L
a
TeX output f
o
rmat
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
isl_map_si
m
plify
:
don't remove
any div d
e
finiti
o
ns
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven
V
erdoolaege
isl_m
a
p_in
t
e
r
sect:
ad
d
s
pec
i
al c
a
ses
for empty input
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven
V
e
r
d
oolaege
isl_tra
n
sitive_
c
losure
.
c: path_alo
n
g_
d
elta: share co
d
e
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven
Verdoola
e
ge
i
sl_tr
a
nsitive_clos
u
r
e
.
c: path_along_delta: try an
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-04
S
ven Verdo
o
laege
ex
p
ort isl
_
qpolynom
i
al_
m
o
v
e_dims
commit
|
commitdiff
|
tree
2010-04-03
S
v
en Ver
d
oo
l
aege
a
d
d i
s
l_qpolynomi
a
l_get_
c
tx
commit
|
commitdiff
|
tree
2010-04-03
Sven
Verd
o
olae
g
e
a
d
d isl_
p
w_qpolynomial_fold_get_dim
commit
|
commitdiff
|
tree
2010-04-03
Sven
Verdoolaege
add s
o
m
e
q
poly
n
o
m
ial te
s
t function
s
commit
|
commitdiff
|
tree
2010-04-03
Sven
V
erdoolaege
add
isl_
p
w_qpo
l
y
nomia
l
_fold_{max,min}
commit
|
commitdiff
|
tree
2010-04-02
Sve
n
Verdoolaeg
e
isl
_
ta
b
_min_at_mo
s
t_neg_one: res
t
ore s
a
mple value of
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
S
ven V
e
r
d
o
olaege
isl_map_c
o
alesce: avoid
r
eco
n
siderin
g
pai
r
s consider
e
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven Verdool
a
eg
e
isl_tab
.
c:
u
pdate debuggin
g
aid check_
t
able to presence
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
S
ven Verdoolaege
isl_tab
_
relax: make sure no
non-negative rows get a
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven
V
er
d
o
o
laeg
e
isl_tab_pip
.
c: al
w
ay
s
set row
s
ign of found ro
w
t
o
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven Verd
o
olaege
isl_printer_print_b
a
sic_{set,map}: add closing "}"
commit
|
commitdiff
|
tree
2010-04-01
Sv
e
n
V
e
rdoolaege
export isl_
s
e
t
_
spli
t
_dims
commit
|
commitdiff
|
tree
2010-04-01
Sv
e
n Verdoolaege
add isl_set_recession_cone
commit
|
commitdiff
|
tree
2010-04-01
Sven
Verdoolaege
add
i
sl_set_dim_is_bounded
commit
|
commitdiff
|
tree
2010-04-01
Sven V
e
r
do
o
lae
g
e
isl_map
_
transitiv
e
_cl
o
sure
:
b
r
eak early if input map
.
.
.
commit
|
commitdiff
|
tree
2010-04-01
Sven Verd
o
olaege
isl_ma
p
_transitive_closure: coalesce after each step
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdool
a
ege
export isl_pw_qpolynomial_coalesce
commit
|
commitdiff
|
tree
2010-03-30
Sv
e
n V
e
rdoolaege
isl_tab
.
c: un
r
e
l
ax: resto
r
e row if variable
i
s non
.
.
.
commit
|
commitdiff
|
tree
2010-03-30
Sven
V
e
rdoolae
g
e
i
sl_tab
.
c: c
u
t_to_h
y
perpl
a
n
e:
a
dd extr
a
san
i
ty check
commit
|
commitdiff
|
tree
2010-03-30
Sven
V
er
d
oolaege
a
d
d
isl_pw_qpolynomial_f
o
ld_size
commit
|
commitdiff
|
tree
2010-03-30
S
v
en Verdoolaege
add i
s
l
_
pw
_
qpolynom
i
al_
s
plit_dims
commit
|
commitdiff
|
tree
2010-03-30
S
ven Verdoolae
g
e
i
sl_qpolyno
m
ial_max
:
fix detection of
i
nactive v
a
riables
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdool
a
ege
doc: f
i
x transitive closure example
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoolaege
isl
_
conv
e
x_hull
.
c
:
valid_
d
irection: pr
o
perly normalize
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sven
Verdoo
l
aege
isl_convex_hul
l
.
c:
s
implify computat
i
on of in
i
tial
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
S
ven Ve
r
doolaege
exp
o
rt
i
s
l_pw_
q
p
olynomial
_
is_zero
commit
|
commitdiff
|
tree
2010-03-23
Sv
e
n Ver
d
oolaege
add isl_pw_q
p
ol
y
nomial_fo
l
d_di
m
commit
|
commitdiff
|
tree
2010-03-23
S
v
e
n V
e
rdoolaege
add isl_int_get_d
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoolaeg
e
a
d
d isl_pw_qpolyno
m
ial_min
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoolaege
add is
l
_pw_q
p
olynomial_fix_dim
commit
|
commitdiff
|
tree
2010-03-23
Sv
e
n Verdoo
l
aege
a
dd
i
sl_pw_qpolynomial_add_dims
commit
|
commitdiff
|
tree
2010-03-23
S
v
en
Verdool
a
ege
ex
p
ort isl_d
i
m_move
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdool
a
ege
isl_pw_qpo
l
ynomial_
f
old_add: remo
v
e
redundant quasipolynomia
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoolaege
isl_qpolynomi
a
l_alloc
:
take initial struct
i
sl_upoly
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sven Ve
r
dool
a
ege
add isl_set
_
solve_
l
p
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoolaege
isl_polynomial
.
c
:
separate out
f
old functionality to
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sven Ve
r
dool
a
eg
e
isl_pw_qpolynomial_{fold_,}print: set output format
commit
|
commitdiff
|
tree
2010-03-21
Sven
V
erdoolaeg
e
improve
isl_pw_qpol
y
n
o
m
ial_move
commit
|
commitdiff
|
tree
2010-03-20
S
v
en Verdoolae
g
e
add is
l
_mat_move
_
cols
commit
|
commitdiff
|
tree
2010-03-18
Sv
e
n Verdoolaege
doc: fix typo
commit
|
commitdiff
|
tree
2010-03-18
Sv
e
n Verdoolaege
add basic isl_pw
_
qpolynomi
a
l_fold_coale
s
ce
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
ad
d
i
s
l
_pw_qpolynomial_fol
d
_
g
et_ctx
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
is
l
_printer_print
_
p
w
_qpolynomial{,_fo
l
d
}
:
a
l
l
ow printing
.
.
.
commit
|
commitdiff
|
tree
next