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_tab_select_facet: return int instead of isl_tab *
2010-04-18
Sven Verd
o
olaege
isl_printer_print_basic
_
set: fix up printing to string
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sv
e
n Verdoolaege
ad
d
is
l
_
set_neg and isl_set_sum
commit
|
commitdiff
|
tree
2010-04-16
Sve
n
Verdool
a
ege
isl_trans
i
tive_closure
.
c: f
i
x documentati
o
n of co
n
struct_co
m
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
S
ven
V
erdo
o
laege
is
l
_map_coa
l
esce: make sure result still contains
s
e
t
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
S
v
en Ver
d
oo
l
aege
i
sl_
m
ap_transitive_closure: Floyd-Warshal
l
: properly
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdool
a
ege
isl_map_transi
t
ive_closur
e
: use Floyd-
W
arsh
a
l
l
on disjoint
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Ve
r
d
oo
l
a
e
ge
isl
_
transitive_closure
.
c: extract o
u
t isl_set_over
l
aps
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdo
o
laege
i
sl_ma
p
_t
r
a
nsit
i
ve
_
closure:
proje
c
t
o
ut lengt
h
on e
a
ch
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven
Verdoolae
g
e
isl_t
r
ansitive_closure
.
c
:
construct_com
p
onent:
d
on
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven
Ver
d
oola
e
ge
isl_m
a
p
_transitive_closure: don't
add len
g
th pa
r
ameter
commit
|
commitdiff
|
tree
2010-04-15
S
v
en Verdoolaege
doc: fix
typos
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoolaege
isl_set_gist
:
make
context argument an isl
_
set for
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoolaege
isl_map_transitive_closu
r
e: coalesc
e
inp
u
t
ma
p
commit
|
commitdiff
|
tree
2010-04-13
Sven V
e
rdo
o
la
e
ge
i
s
l_trans
i
tive_clos
u
re
.
c: construct_component
:
a
lways
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
S
v
en Verd
o
olaege
doc: c
i
te Ome
g
a library documentation on compu
t
at
i
on
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
S
v
en Verdoolaege
a
dd
isl_stream
_
read_m
a
p
commit
|
commitdiff
|
tree
2010-04-13
Sven Verd
o
ola
e
ge
isl_arg
.
h: add mis
s
ing
i
n
clude
commit
|
commitdiff
|
tree
2010-04-11
Sv
e
n Verdo
o
laege
isl_basic_map_
m
ove_dims: n
o
rmalize
equalities
commit
|
commitdiff
|
tree
2010-04-11
Sv
e
n Verdoolaege
rename i
s
l
_
map_mov
e
to
i
sl_map
_
move_dims
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdool
a
ege
isl_optio
n
s_
p
arse:
onl
y
p
a
rse known
o
ptio
n
s by de
f
a
u
l
t
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaege
isl_map_cl
o
sure: op
t
ionally
use Omega-like
a
lgorithm
commit
|
commitdiff
|
tree
2010-04-10
S
ven V
e
rdoolae
g
e
i
s
l
_clo
s
ure: take op
t
ions
commit
|
commitdiff
|
tree
2010-04-10
S
ven Verdoolaege
isl_map_aff
i
n
e_
h
ull: handle non-
o
bviously
em
p
t
y
input
commit
|
commitdiff
|
tree
2010-04-10
Sven Ver
d
oolaege
i
s
l_map_compute_divs: h
a
n
d
l
e
n
on-obviously empty i
n
put
commit
|
commitdiff
|
tree
2010-04-10
Sven Ver
d
oolaege
i
s
l
_bas
i
c_set
_
preimag
e
: add ex
t
ra
s
anity check
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoola
e
ge
isl
_
bas
i
c_map
_
set
_
to_emp
t
y
:
add missing assignment
commit
|
commitdiff
|
tree
2010-04-10
Sven
V
erdoolaege
i
sl_e
q
ualities
.
c: isl_mat_va
r
iable
_
c
o
mpr
e
ssi
o
n: cl
a
rify
.
.
.
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaege
isl
_
s
a
m
ple
.
c
:
i
n
i
tial_basis: set n_unbounded and n_zero
commit
|
commitdiff
|
tree
2010-04-09
Sven Verdoolaege
isl_ma
p
_
c
oale
s
ce: only us
e
non-re
d
u
n
dant con
s
traints
.
.
.
commit
|
commitdiff
|
tree
2010-04-09
Sven Verdoola
e
ge
isl
_
map_
p
r
int: allow
e
mpt
y
constra
i
nts
commit
|
commitdiff
|
tree
2010-04-09
Sven Verd
o
o
laege
isl_o
p
tions
.
h: allow in
c
lusion f
r
om
C++
commit
|
commitdiff
|
tree
2010-04-09
Sv
e
n Verdoo
l
aege
isl_arg
.
h: allow inclusion from C+
+
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
isl_map_transitiv
e
_closure: handle existentia
l
s
commit
|
commitdiff
|
tree
2010-04-07
Sv
e
n Ver
d
o
o
l
aege
isl_map_deltas:
p
r
e
serve dimension names
commit
|
commitdiff
|
tree
2010-04-07
S
v
en Verdoolaege
isl
_
m
a
p
_print: support LaTeX
o
ut
p
ut
f
orma
t
commit
|
commitdiff
|
tree
2010-04-07
Sven Ve
r
doolaege
isl_map_simplify: don't remove
a
n
y
d
iv defin
i
t
i
ons
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
S
v
en V
e
r
doolaege
isl
_
map_in
t
ersect
:
add sp
e
cial cas
e
s for empt
y
inpu
t
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdool
a
ege
isl_tr
a
n
s
itive_closure
.
c: path_
a
l
o
n
g
_delta: share
code
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven
V
erdo
o
la
e
ge
isl_transitive_cl
o
s
u
r
e
.
c: path_along_delta: try and
.
.
.
commit
|
commitdiff
|
tree
2010-04-04
Sven Verd
o
o
l
aeg
e
export isl_
q
polynom
i
al_move_dims
commit
|
commitdiff
|
tree
2010-04-03
Sven V
e
rdoo
l
aege
add
isl_
q
polyn
o
m
ial_get_
c
tx
commit
|
commitdiff
|
tree
2010-04-03
Sve
n
V
er
d
oolaeg
e
add i
s
l
_pw_qpoly
n
omial_fold_get_dim
commit
|
commitdiff
|
tree
2010-04-03
Sven Verdoolaege
add some
q
polynomial test fu
n
ction
s
commit
|
commitdiff
|
tree
2010-04-03
Sven Verdoo
l
aege
a
dd isl_pw_qpolynomial_fold_{max,min}
commit
|
commitdiff
|
tree
2010-04-02
S
ven Verdoolaege
isl_tab_min_at_most_neg_one: re
s
t
o
re sampl
e
va
l
ue o
f
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sve
n
Verdoolaege
isl_map_c
o
ale
s
c
e
:
avoid r
e
c
on
s
ideri
n
g pairs co
n
sider
e
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
S
v
e
n
V
erdoolaege
isl_ta
b
.
c: update debugging ai
d
che
c
k_table to
p
rese
n
ce
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sv
e
n Ve
r
doolaege
isl_tab_relax: make
s
ure no non-negative rows get a
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven
V
er
d
oolaege
isl_t
a
b_pip
.
c: always
s
et r
o
w
s
ign of fo
u
nd
r
ow to
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sve
n
Verdoo
l
aege
isl_prin
t
er_print
_
basic
_
{set,map}:
a
dd cl
o
sing "}"
commit
|
commitdiff
|
tree
2010-04-01
Sven Verd
o
olaege
ex
p
ort isl_set_split_dim
s
commit
|
commitdiff
|
tree
2010-04-01
Sv
e
n Verdoo
l
ae
g
e
a
dd
isl_
s
e
t
_recess
i
on_
c
one
commit
|
commitdiff
|
tree
2010-04-01
Sven Verd
o
ola
e
g
e
add isl_set_di
m
_
i
s_bounded
commit
|
commitdiff
|
tree
2010-04-01
S
v
en Verdoolaege
isl_map
_
transitiv
e
_closur
e
:
b
reak early if input map
.
.
.
commit
|
commitdiff
|
tree
2010-04-01
Sven Ver
d
oolaege
is
l
_map_transiti
v
e_
c
losure: coalesce after
e
ach s
t
ep
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdoolae
g
e
e
xport isl_pw_qpolynomi
a
l_coales
c
e
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdoolaege
i
s
l_tab
.
c: un
r
elax: restor
e
row i
f
varia
b
le is non
.
.
.
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdoolaege
isl_
t
ab
.
c: cut_to_hyper
p
lane: a
d
d
extr
a
sanity check
commit
|
commitdiff
|
tree
2010-03-30
Sven
V
e
rdoolaege
add isl_pw_qpolynomi
a
l_fold
_
si
z
e
commit
|
commitdiff
|
tree
2010-03-30
Sven
V
e
r
doo
l
aege
add isl_pw_
q
polynomial_spli
t
_di
m
s
commit
|
commitdiff
|
tree
2010-03-30
S
ven
V
erdoolae
g
e
isl
_
q
p
o
lynomial_max: fix detection of inactive variables
commit
|
commitdiff
|
tree
2010-03-25
Sven
V
erdo
o
laege
d
oc: fix t
r
a
n
si
t
ive clo
s
ure example
commit
|
commitdiff
|
tree
2010-03-23
Sven Verd
o
olaege
isl_convex_hull
.
c
:
vali
d
_
directi
o
n:
properly
normal
i
ze
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoolaege
isl_convex
_
hull
.
c: simplify compu
t
atio
n
of initi
a
l
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sven V
e
rdo
o
lae
g
e
export
i
sl_pw_qpolynomial_is_zero
commit
|
commitdiff
|
tree
2010-03-23
S
v
e
n Verdo
o
laeg
e
a
dd
i
s
l
_pw
_
qpolynomial_fold_dim
commit
|
commitdiff
|
tree
2010-03-23
Sv
e
n
V
erdo
o
laege
add isl_int_
g
et_d
commit
|
commitdiff
|
tree
2010-03-23
Sven Ve
r
doolaeg
e
add isl_pw_
q
polynomial_min
commit
|
commitdiff
|
tree
2010-03-23
Sven
V
erdoolae
g
e
a
d
d is
l
_pw_qp
o
lyno
m
ial_fix_d
i
m
commit
|
commitdiff
|
tree
2010-03-23
Sven
Verdoolaege
add isl_pw_qpolynomial_add_dims
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoolaege
expo
r
t isl_dim_move
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdo
o
la
e
ge
isl_pw_
q
polynomial_fold_add: remove
r
edundant quasipolynomia
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoolaege
is
l
_qp
o
lynomial_a
l
loc: t
a
ke
i
nitial st
r
uct isl_u
p
oly
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sven Ve
r
doola
e
ge
add
isl_set_solve_lp
commit
|
commitdiff
|
tree
2010-03-23
Sven
Verdo
o
l
aege
isl_polyno
m
ial
.
c: separate
o
ut
fold
f
u
ncti
o
n
a
lity t
o
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sv
e
n Verdoolaege
isl_pw_q
p
olynomial_{fold_,}print: s
e
t
o
utput format
commit
|
commitdiff
|
tree
2010-03-21
Sven Verdoola
e
g
e
improve isl_pw_qpolynomial_move
commit
|
commitdiff
|
tree
2010-03-20
Sve
n
Verdoolaege
ad
d
isl_ma
t
_move_
c
ols
commit
|
commitdiff
|
tree
2010-03-19
Sve
n
V
erdoolae
g
e
add isl_pw_qpolyno
m
ial_drop_dims
commit
|
commitdiff
|
tree
2010-03-19
Sven Verd
o
olaege
a
dd isl_set
_
drop
commit
|
commitdiff
|
tree
2010-03-19
Sven Verdoolaege
add i
s
l
_
pw_qp
o
l
y
nomia
l
_involves_
d
ims
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
isl_stream: accept "%" tok
e
n
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
d
o
c
: f
i
x
t
yp
o
commit
|
commitdiff
|
tree
2010-03-18
Sven V
e
rdool
a
e
ge
add basic isl_pw_qpolynomi
a
l
_
fold_
c
oales
c
e
commit
|
commitdiff
|
tree
2010-03-18
Sven
Verdoolaege
add isl_pw_qpol
y
nomia
l
_fold_
g
et_ctx
commit
|
commitdiff
|
tree
2010-03-18
Sven
Verdoolaege
isl_printer_print_pw_qpolynomial{,_fold}: allow printing
.
.
.
commit
|
commitdiff
|
tree
2010-03-18
Sven Ver
d
o
o
laege
add isl_qp
o
lyn
o
mial_get_den
commit
|
commitdiff
|
tree
2010-03-18
Sv
e
n
Verd
o
olaege
add isl_pw_
q
polynom
i
a
l_
g
i
st
an
d
i
sl_pw_qpolynomial_fol
d
_gist
commit
|
commitdiff
|
tree
2010-03-18
S
v
e
n
Ver
d
oolaege
exp
o
rt isl_map_gist
commit
|
commitdiff
|
tree
2010-03-18
Sven
V
erdoola
e
ge
add isl
_
m
a
p_in
s
ert
commit
|
commitdiff
|
tree
2010-03-18
Sven
Verdoo
l
aege
ad
d
isl_print
e
r
commit
|
commitdiff
|
tree
2010-03-14
Sven
Verdoolaege
add is
l
_pw_qp
o
lynom
i
al_ma
x
commit
|
commitdiff
|
tree
2010-03-14
Sve
n
Ver
d
o
o
l
a
ege
isl_qp
o
lynomial_add
:
replace 0-degree polynomials by
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven
Ve
r
doolaege
add isl_se
t
_eliminate
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdo
o
l
a
ege
isl_map_rang
e
: optimize ca
s
e wh
e
re the number of in
p
u
t
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
isl_pw_qpolynomi
a
l_
p
rint: fix printing of unnamed pie
c
ewise
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoo
l
aege
d
o
cume
n
t
transitive clo
s
ure implementation
commit
|
commitdiff
|
tree
2010-03-13
Sven Verdoolae
g
e
isl_
s
t
ream: accept
"
.
" token
commit
|
commitdiff
|
tree
2010-03-12
Sven Verdoolaege
add is
l
_pw_*_intersect_domai
n
commit
|
commitdiff
|
tree
2010-03-12
Sven Verd
o
ola
e
ge
add isl
_
p
w
_*_domain
commit
|
commitdiff
|
tree
next