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_stream_read_obj: read reductions
2010-04-23
Sven Verdo
o
laeg
e
isl_tab_rollback
:
r
estor
e
rows t
h
at are
no longe
r
marked
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
doc:
d
ocument simple hull
commit
|
commitdiff
|
tree
2010-04-21
Sve
n
Verdoolaege
doc: e
m
ph
a
size that we are deal
i
ng with
i
nteger set
s
commit
|
commitdiff
|
tree
2010-04-21
S
ven V
e
rdool
a
eg
e
isl_t
r
a
n
si
t
iv
e
_
closu
r
e
.
c:
p
ath_along_delt
a
:
o
nly avo
i
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sv
e
n Verd
o
ol
a
e
ge
i
sl_map
_
transi
t
ive
_
clos
u
re: com
p
ute d
i
v
s
of input
commit
|
commitdiff
|
tree
2010-04-21
Sv
e
n
V
erdool
a
ege
isl_map_compute_di
v
s: ma
k
e
sure result is g
a
u
ssed and
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
isl_printer_print_
p
w_qpolyn
o
mial:
pr
o
p
e
rly print constraints
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven V
e
rdoolaeg
e
i
sl_pip and isl
_
cat:
t
erminate isl_arg array with
I
SL_ARG_END
commit
|
commitdiff
|
tree
2010-04-19
Sven
Verdoolaege
doc: doc
u
ment setting an
d
getting of dimension n
a
mes
commit
|
commitdiff
|
tree
2010-04-19
Sve
n
Ver
d
oolae
g
e
d
o
c: docum
e
n
t *_g
e
t_dim func
t
i
o
n
s
commit
|
commitdiff
|
tree
2010-04-19
Sven Verd
o
ol
a
ege
isl_map_convex_hull: han
d
le non
full-dimensional pairs
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoolaeg
e
i
s
l_
c
onvex_hull
.
c: mo
d
ulo_affine_hull: drop redunda
n
t
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
S
v
en Verdoolaege
isl_convex
_
hull
.
c
:
convex_hull_p
a
ir: sk
i
p di
r
ec
t
ion
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sven Verdoolaeg
e
isl_
p
rint
e
r_print_ba
s
ic_set: fix up printing to string
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
S
v
en Verd
o
olaege
add
i
sl_
s
et_neg and isl_set_su
m
commit
|
commitdiff
|
tree
2010-04-16
Sven Verdoolaege
isl
_
tr
a
nsitiv
e
_closure
.
c: fix documen
t
a
t
ion of construct_c
o
m
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolaege
is
l
_map_coalesce: make
s
ure r
e
sult still cont
a
ins set
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdool
a
ege
isl_map_t
r
ansitive_closure: Fl
o
y
d-Warshall: properly
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolaege
isl_map
_
transitive_closure:
use Floyd-Warshall on
d
isjoint
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sv
e
n V
e
rdoola
e
ge
isl_transiti
v
e_cl
o
sur
e
.
c: extract out isl_set_overlaps
commit
|
commitdiff
|
tree
2010-04-15
Sven Ve
r
d
o
ol
a
e
ge
isl_map_transitive_closure:
p
roje
c
t
o
u
t length on each
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven
V
erdoolaege
isl_transiti
v
e_c
l
osure
.
c:
c
onstruct
_
component: don
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
S
v
e
n Verdoolaege
isl_map_tra
n
sitive_closure: don't ad
d
length parameter
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolaege
doc:
fi
x
t
ypos
commit
|
commitdiff
|
tree
2010-04-13
S
ven
V
erdo
o
laege
i
sl_set_gis
t
: m
a
ke context argume
n
t an isl_set for
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
S
v
en Ve
r
d
o
o
l
aege
isl_map_transitive_c
l
o
sure:
c
oalesce input map
commit
|
commitdiff
|
tree
2010-04-13
Sven
V
erd
o
ol
a
e
g
e
isl
_
transitiv
e
_cl
o
sure
.
c: const
r
uct_com
p
onent:
alway
s
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
S
v
en Verdool
a
ege
doc: cite Omega li
b
r
ar
y
documen
t
ation on
c
omputation
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdool
a
ege
add isl_stream_r
e
ad_
m
ap
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoolaege
isl_arg
.
h: add missing
inc
l
u
de
commit
|
commitdiff
|
tree
2010-04-11
Sve
n
V
e
r
d
oolaege
isl
_
basi
c
_map_move_
d
i
m
s:
n
orma
l
ize equa
l
ities
commit
|
commitdiff
|
tree
2010-04-11
Sven Ve
r
doolae
g
e
rename
i
sl_map_move to isl_map_move_dims
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaege
is
l
_options_
p
ars
e
: on
l
y parse known options
b
y d
e
fault
commit
|
commitdiff
|
tree
2010-04-10
Sven V
e
rdool
a
e
ge
isl_map_c
l
osure: optionally
u
se Omega-like
a
lgorithm
commit
|
commitdiff
|
tree
2010-04-10
Sven Ver
d
o
olaege
is
l
_closure: tak
e
options
commit
|
commitdiff
|
tree
2010-04-10
Sven Ver
d
oolaege
isl_map_affine_
h
ull: hand
l
e non-ob
v
i
o
usl
y
e
mpty inp
u
t
commit
|
commitdiff
|
tree
2010-04-10
S
v
en
V
erdoolaege
i
s
l_map
_
compute
_
divs: handle non-obviou
s
ly empty input
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaege
i
sl
_
b
a
sic_set_preimage: add
e
xtra sanity check
commit
|
commitdiff
|
tree
2010-04-10
Sven
V
erdoolaege
i
s
l_bas
i
c
_
map_set_to_empty: a
d
d
miss
i
ng assignme
n
t
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolae
g
e
is
l
_equalities
.
c: isl_mat_variable_compress
i
on: clarify
.
.
.
commit
|
commitdiff
|
tree
2010-04-10
Sven Ve
r
do
o
laeg
e
is
l
_sam
p
le
.
c: ini
t
ial_bas
i
s
:
s
et n_u
n
bounded and n_zer
o
commit
|
commitdiff
|
tree
2010-04-09
Sv
e
n Ver
d
oolaege
is
l
_m
a
p_coa
l
esce: only
u
se non-
r
e
dundan
t
con
s
traints
.
.
.
commit
|
commitdiff
|
tree
2010-04-09
Sven Ve
r
doolaege
isl_map_print: al
l
o
w empty constraints
commit
|
commitdiff
|
tree
2010-04-09
Sven
Verdoolaeg
e
isl_options
.
h
: allow inclus
i
on from C
+
+
commit
|
commitdiff
|
tree
2010-04-09
Sven
Verdo
o
l
aege
isl_arg
.
h: all
o
w i
n
clusion from C
+
+
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
isl_map_transitive_
c
lo
s
ur
e
:
ha
n
dle existentials
commit
|
commitdiff
|
tree
2010-04-07
Sven
V
erdoo
l
aege
isl_ma
p
_
d
eltas: preserve
dimen
s
i
o
n names
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdool
a
ege
isl_m
a
p_p
r
int: support LaTeX o
u
tput
f
orm
a
t
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
isl
_
map_simplif
y
: don't remove any
d
iv definiti
o
n
s
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sve
n
V
e
rdoolaege
isl_map_intersect: add special
cases for empty
input
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
S
v
en Verdoolaege
isl_transit
i
v
e
_closure
.
c: path_along_delta: share code
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
isl_tra
n
sitive_closure
.
c: p
a
th_a
l
o
n
g_delta: try and
.
.
.
commit
|
commitdiff
|
tree
2010-04-04
Sven Verdoolaege
expor
t
isl_
q
pol
y
nomial_move_dims
commit
|
commitdiff
|
tree
2010-04-03
Sven Ver
d
oo
l
aege
a
d
d isl_qpol
y
n
o
mial_get_ctx
commit
|
commitdiff
|
tree
2010-04-03
Sven Verdo
o
laege
add i
s
l_pw_qpolyno
m
ial_fold_g
e
t
_dim
commit
|
commitdiff
|
tree
2010-04-03
S
v
en V
e
rdoolae
g
e
add some q
p
ol
y
n
o
mial test function
s
commit
|
commitdiff
|
tree
2010-04-03
Sven Verdoo
l
aege
ad
d
isl
_
pw_qp
o
lynomia
l
_f
o
l
d_{max,min
}
commit
|
commitdiff
|
tree
2010-04-02
Sven Verdoo
l
aege
isl_
t
a
b_min_at_most_neg_on
e
:
re
s
tore
s
a
m
ple value of
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven Verdoolaege
isl_map_coalesce: avoid
reconsiderin
g
pairs considered
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven Verd
o
olaege
isl_ta
b
.
c
:
up
d
ate deb
u
gging aid check_ta
b
le to pr
e
sence
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
S
ven Verdoolae
g
e
isl_tab_relax: make sure n
o
non-
n
egative rows get a
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven Verdo
o
la
e
ge
isl_tab_pip
.
c: al
w
ays set ro
w
sign
o
f
f
ound row to
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven Verdo
o
l
a
e
ge
isl_printer
_
print_b
a
sic_{s
e
t,m
a
p}: add
c
losing "}
"
commit
|
commitdiff
|
tree
2010-04-01
Sven Verdoolaege
expo
r
t isl_s
e
t_spl
i
t_dims
commit
|
commitdiff
|
tree
2010-04-01
Sven Verd
o
o
l
aege
add isl_set_recession_cone
commit
|
commitdiff
|
tree
2010-04-01
S
v
e
n
V
e
rdoolaege
add isl_set_di
m
_
i
s
_bounded
commit
|
commitdiff
|
tree
2010-04-01
Sven Verdoolaege
i
s
l
_
m
a
p_transitiv
e
_closure: break e
a
rly
i
f input map
.
.
.
commit
|
commitdiff
|
tree
2010-04-01
Sven
V
erdoolaege
isl
_
map_transitive_clos
u
re: coales
c
e afte
r
each
s
tep
commit
|
commitdiff
|
tree
2010-03-30
Sven
Verdool
a
ege
expo
r
t isl_pw_qpolyno
m
ial_coalesce
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdoolaege
isl
_
tab
.
c: un
r
elax:
restore r
o
w
if
variable is non
.
.
.
commit
|
commitdiff
|
tree
2010-03-30
S
v
en V
e
rdoolaege
isl_t
a
b
.
c
: cut_to_hype
r
plane: add extra sanit
y
ch
e
c
k
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdoo
l
aege
add isl_pw_qpolynomi
a
l_fold_size
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdoola
e
ge
add isl_pw_qpolynomial_split_dim
s
commit
|
commitdiff
|
tree
2010-03-30
S
v
en Verdoolaege
i
s
l_q
p
olynomial_max:
f
i
x
d
etection of inac
t
iv
e
v
a
riables
commit
|
commitdiff
|
tree
2010-03-25
Sven Ve
r
doolaege
doc: fix transitive closure exampl
e
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoolaege
is
l
_c
o
nv
e
x_hull
.
c: valid_direction
:
prop
e
rly no
r
malize
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoolaege
isl_con
v
ex_hu
l
l
.
c: simplify comput
a
tion
of initial
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoolaege
export isl_pw_qp
o
lynomial
_
is_zero
commit
|
commitdiff
|
tree
2010-03-23
S
v
en V
e
rdoola
e
g
e
add isl
_
p
w_qpol
y
n
omial_
f
old_dim
commit
|
commitdiff
|
tree
2010-03-23
Sven
V
erdool
a
e
ge
add
isl_int_get_d
commit
|
commitdiff
|
tree
2010-03-23
Sven V
e
rdoo
l
aege
add
i
sl_pw_qp
o
lynomial_min
commit
|
commitdiff
|
tree
2010-03-23
Sven
V
e
r
doolaeg
e
a
d
d
i
sl_pw
_
qpolynomial_fix_dim
commit
|
commitdiff
|
tree
2010-03-23
Sven Ver
d
oolaege
a
d
d isl_pw_q
p
olynomial_a
d
d
_
dims
commit
|
commitdiff
|
tree
2010-03-23
S
ve
n
Ve
r
doolaege
export is
l
_dim_move
commit
|
commitdiff
|
tree
2010-03-23
Sv
e
n
V
e
rdoo
l
aege
i
sl_pw_q
p
olyno
m
ia
l
_fold_a
d
d: remove redunda
n
t quas
i
polynomi
a
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
S
v
e
n V
e
rdoo
l
a
e
ge
isl_
q
po
l
y
n
o
mial_alloc: take initi
a
l
s
truc
t
isl_up
o
ly
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sven V
e
rdoolae
g
e
add isl_se
t
_solve_lp
commit
|
commitdiff
|
tree
2010-03-23
Sven Ve
r
d
oolaege
isl_polynomial
.
c: separate out fold func
t
i
o
nality to
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sven Ver
d
oolaege
isl_pw_qpolynomial_{f
o
ld_,}print:
set o
u
tpu
t
f
ormat
commit
|
commitdiff
|
tree
2010-03-21
S
ven Verdool
a
ege
improve isl_
p
w
_qpolynomial_
m
ove
commit
|
commitdiff
|
tree
2010-03-20
Sven Verdoolae
g
e
add
isl_mat_mov
e
_
c
ols
commit
|
commitdiff
|
tree
2010-03-19
Sven Verdoola
e
ge
add i
s
l_pw_qpo
l
ynomia
l
_drop_dim
s
commit
|
commitdiff
|
tree
2010-03-19
Sven Verdoolaege
add
i
sl
_
set_d
r
op
commit
|
commitdiff
|
tree
2010-03-19
Sven Ver
d
oolaege
add
isl_pw
_
qpolynomial
_
involves_dims
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolae
g
e
is
l
_stream
:
accept "%" toke
n
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
doc: fi
x
typo
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
a
d
d
b
a
s
i
c isl_pw_qpoly
n
omial_fold
_
coalesce
commit
|
commitdiff
|
tree
2010-03-18
S
ven Verdoolaege
add isl_pw_qpolynomia
l
_fold_get_ctx
commit
|
commitdiff
|
tree
2010-03-18
S
v
e
n
Ve
r
doola
e
ge
isl_p
r
inter_print_pw_qpolynomial{,_fold}: allow
p
r
inting
.
.
.
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
add isl
_
qpolynomial_g
e
t
_
de
n
commit
|
commitdiff
|
tree
next