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
add isl_stream_read_pw_qpolynomial
2010-05-13
Sven Verdoolaege
add isl_
s
t
r
e
am
_
read_
p
w
_qp
o
l
y
nomial
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdo
o
laege
ad
d
i
sl_
q
polynomial_from_term
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verdool
a
ege
add isl_
q
polyno
m
ial_from_constrain
t
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verdoolae
g
e
a
d
d
i
sl_
b
asic_set_foreac
h
_bound_pair
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
ad
d
i
s
l
_qpol
y
nomial_as_polynomial_on_domain
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verd
o
olaege
a
d
d
isl_qpolyno
m
i
al_substitute
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verdoolaege
add i
s
l_
b
asic_set_dims_get_s
i
gn
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
isl_ctx: a
d
d zero
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
add isl_qpolynomial_
n
eginfty
commit
|
commitdiff
|
tree
2010-05-04
Sv
e
n Ve
r
doolaege
a
d
d isl_b
a
sic
_
set_drop
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
is
l
_qpolynomial_
f
old_o
p
t_on_domain: fix typo
commit
|
commitdiff
|
tree
2010-05-04
Sve
n
Verdoolaeg
e
isl_pw_*_eval: fix han
d
l
i
ng of empty i
n
put
commit
|
commitdiff
|
tree
2010-05-04
Sven Verd
o
ola
e
ge
add isl_ba
s
ic_
s
et_move_d
i
ms
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
export isl_q
p
olynom
i
al_sub
commit
|
commitdiff
|
tree
2010-05-04
S
ven Verdoolaege
add isl_qp
o
l
y
nomia
l
_get_di
m
commit
|
commitdiff
|
tree
2010-05-04
S
ven Verdoolaege
isl_ma
p
_transitive_
c
losure: coales
c
e input befor
e
checking
.
.
.
commit
|
commitdiff
|
tree
2010-05-04
Sven V
e
rdoolaege
add map_lex_*
_
first
commit
|
commitdiff
|
tree
2010-05-01
Sven
V
e
rdoolaege
i
sl_map_lex_le: use one basic set less in result
commit
|
commitdiff
|
tree
2010-05-01
Sven Verdoolaege
i
s
l
_
strea
m
:
accep
t
lexi
c
ographic operator
s
commit
|
commitdiff
|
tree
2010-04-28
S
ven Verdoolae
g
e
i
sl_map_t
r
ansitiv
e
_closure: check i
f
i
n
put is cl
o
sed
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven
V
er
d
oolaege
a
d
d isl_printer_flu
s
h
commit
|
commitdiff
|
tree
2010-04-28
S
v
en Verdoolaege
isl_map_r
e
a
d: parse parametric Omega input
commit
|
commitdiff
|
tree
2010-04-28
Sven
V
e
r
d
oolaege
isl
_
m
ap_read: fix
t
ypo
commit
|
commitdiff
|
tree
2010-04-28
Sven Ver
d
o
o
lae
g
e
isl_conv
e
x_hull
.
c
: is_bound: any inequality is a bound
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
is
l
_convex_hull
.
c: a
d
d_bou
n
d
s: propagate errors from
.
.
.
commit
|
commitdiff
|
tree
2010-04-25
Sv
e
n
V
erdoolaege
d
o
cument
isl_map_r
e
verse
commit
|
commitdiff
|
tree
2010-04-24
Sven
Verdo
o
laege
is
l
_str
e
a
m
_
n
ext_token: terminate string tokens
commit
|
commitdiff
|
tree
2010-04-23
S
v
e
n Verdoolaege
isl_map_trans
i
tive_closure: treat equa
l
ity as pair
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdo
o
laege
i
sl_map_tran
s
itive_closure, omega-lik
e
: only u
s
e ?
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
isl
_
map_tran
s
itiv
e
_closure
:
use simple hull in omega
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
S
v
en Verdoolaeg
e
i
s
l_m
a
p_transitive_
c
losure
:
tr
y
and
c
ompute clos
u
re
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdo
o
laege
i
s
l
_
m
ap_coal
e
sce: a
l
low wr
a
pping
i
n sets that s
t
ick
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sve
n
Verd
o
ola
e
ge
isl_map
_
coal
e
sce:
allowing cutting equalities in adjacent
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verd
o
o
laege
a
d
d
so
m
e
more coalescin
g
t
e
st cases
commit
|
commitdiff
|
tree
2010-04-23
S
v
e
n Verdoolaege
isl_b
a
sic_map_g
i
st: be
m
ore aggressive in re
m
oving
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdo
o
laege
isl_stream: ac
c
ept
string toke
n
s
commit
|
commitdiff
|
tree
2010-04-23
Sven V
e
rdoolaege
isl_tab_rollba
c
k: restore ro
w
s that
are no longer
m
arked
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
S
ven V
e
rdoolaeg
e
doc: document si
m
ple hull
commit
|
commitdiff
|
tree
2010-04-21
S
ven Verdoolaege
doc: emphasize
t
hat we are de
a
ling wit
h
integer se
t
s
commit
|
commitdiff
|
tree
2010-04-21
Sven
Verdoola
e
ge
i
s
l_transit
i
v
e_clos
u
re
.
c: pa
t
h_along_delta: only av
o
id
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Ver
d
o
o
la
e
ge
isl_map_
t
ransitive_closure: compute d
i
vs of input
commit
|
commitdiff
|
tree
2010-04-21
Sve
n
Verdool
a
ege
isl_map_
c
omp
u
te_
d
ivs: make sure r
e
su
l
t is gaussed
a
n
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoola
e
ge
isl_p
r
inter_print_pw_qp
o
l
y
n
o
mial
:
proper
l
y
prin
t
con
s
tra
i
nts
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sv
e
n Verdoolaege
isl
_
pip and is
l
_cat: terminate
i
s
l_arg a
r
ray
w
it
h
ISL_ARG_E
N
D
commit
|
commitdiff
|
tree
2010-04-19
Sven Verd
o
o
l
a
e
ge
doc: document setting and ge
t
ting of dimension names
commit
|
commitdiff
|
tree
2010-04-19
Sven Ve
r
do
o
laege
doc: documen
t
*_
g
et_dim f
u
nctions
commit
|
commitdiff
|
tree
2010-04-19
S
ven Verdoo
l
ae
g
e
isl_map_convex
_
hull: handle non full-dimensional pairs
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven Ver
d
oo
l
a
e
ge
i
sl_convex
_
hull
.
c: modulo_affine_hull: drop
r
e
d
undant
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoo
l
aege
isl_co
n
vex_hull
.
c: c
o
nve
x
_
h
ul
l
_pai
r
: skip directi
o
n
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
S
v
en
Ver
d
oolaege
isl_pri
n
ter_prin
t
_basic_set: fix up
p
rin
t
ing to s
t
ri
n
g
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
S
ven Verdoola
e
ge
a
d
d isl_s
e
t_neg and
i
sl_set
_
sum
commit
|
commitdiff
|
tree
2010-04-16
Sve
n
V
e
r
d
o
olaeg
e
isl_transit
i
v
e
_c
l
osure
.
c
:
fix documentation of construct_com
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolaege
i
sl_m
a
p_coalesce: make sure r
e
s
u
lt still con
t
ains s
e
t
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolaege
isl_m
a
p
_
tran
s
itive_closure: Floyd-W
a
r
shall:
properly
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven V
e
r
dool
a
ege
isl_ma
p
_
t
rans
i
tive
_
closure: use
F
loyd-W
a
r
shall on
d
i
s
joint
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolaege
isl_tr
a
ns
i
tive_cl
o
su
r
e
.
c: extract
out isl_set_o
v
er
l
a
ps
commit
|
commitdiff
|
tree
2010-04-15
Sv
e
n Ve
r
doolaege
isl_m
a
p
_transitive_closur
e
: p
r
oject
out length on eac
h
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sve
n
Ve
r
doolaeg
e
is
l
_transitive_clo
s
ure
.
c: const
r
uct_co
m
po
n
ent: don
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolaege
isl_map_tran
s
i
t
ive_cl
o
sure: don't add length par
a
m
e
ter
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolae
g
e
doc: fix typos
commit
|
commitdiff
|
tree
2010-04-13
Sven
V
erdoo
l
ae
g
e
isl_set_gist: make
co
n
te
x
t argument an isl_set fo
r
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoolaege
isl_map_transitive
_
closure: coalesce input map
commit
|
commitdiff
|
tree
2010-04-13
Sven
V
erdoola
e
g
e
i
s
l
_transiti
v
e_closure
.
c
:
constr
u
ct
_
compo
n
e
n
t: always
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoolaege
doc: cit
e
Omega library documentati
o
n
o
n c
o
mputat
i
on
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sv
e
n Ver
d
oolaege
a
dd
i
sl_s
t
ream_read_map
commit
|
commitdiff
|
tree
2010-04-13
S
v
en Verdoolaege
isl_arg
.
h:
a
d
d mis
s
i
n
g include
commit
|
commitdiff
|
tree
2010-04-11
S
v
en Verdoolaege
i
sl_b
a
sic
_
m
a
p
_move_dims: norm
a
lize
equalities
commit
|
commitdiff
|
tree
2010-04-11
Sven Ve
r
doolaege
ren
a
me isl
_
map_move to isl_
m
ap_
m
ove_
d
ims
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoo
l
aege
isl_options_p
a
rse: onl
y
p
a
rse k
n
ow
n
opti
o
ns
b
y default
commit
|
commitdiff
|
tree
2010-04-10
Sve
n
Ver
d
oolaege
isl
_
m
a
p_
c
l
osure
:
o
p
tionally u
s
e
Omega-like algorithm
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaege
i
s
l_closure
:
take options
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaeg
e
isl_map_
a
ffine_hu
l
l:
handle
n
o
n
-obviou
s
ly empty inpu
t
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaege
isl_map_compu
t
e_div
s
: handle non-obvi
o
usly emp
t
y input
commit
|
commitdiff
|
tree
2010-04-10
S
v
en Verd
o
olaege
i
s
l_basic
_
set_preimag
e
:
a
dd
extra sanity check
commit
|
commitdiff
|
tree
2010-04-10
Sven
V
erdoolaege
isl_basic_map_set_to_empty: add
missing
assignme
n
t
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaege
isl_equalitie
s
.
c: isl_mat_var
i
ab
l
e
_
c
o
mpres
s
ion: clarify
.
.
.
commit
|
commitdiff
|
tree
2010-04-10
S
v
en V
e
rdoolaege
isl_sample
.
c: initial_b
a
s
i
s: set n_unbounded and n_zero
commit
|
commitdiff
|
tree
2010-04-09
S
ven Verdoola
e
ge
isl_ma
p
_coalesce: only
u
s
e
non-redun
d
ant constraints
.
.
.
commit
|
commitdiff
|
tree
2010-04-09
Sven Verdoolaege
is
l
_
m
ap
_
pr
i
nt
:
allo
w
empt
y
constraints
commit
|
commitdiff
|
tree
2010-04-09
Sven
V
erdool
a
ege
isl_options
.
h: allow inc
l
usion from C+
+
commit
|
commitdiff
|
tree
2010-04-09
Sv
e
n
Verdoolaege
i
sl_arg
.
h:
a
l
low inclusion
f
rom C++
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolae
g
e
is
l
_m
a
p_transitive
_
clo
s
ur
e
: handle existentia
l
s
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdool
a
e
ge
isl_
m
ap_de
l
tas: prese
r
ve
d
imen
s
i
o
n
names
commit
|
commitdiff
|
tree
2010-04-07
S
ven Verdoolaege
isl_map
_
print:
s
uppor
t
LaTeX
o
utp
u
t
f
o
r
ma
t
commit
|
commitdiff
|
tree
2010-04-07
Sven
Verdoolaege
isl_map_simplify
:
d
o
n't remo
v
e an
y
d
iv definitions
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven
V
e
rdo
o
laege
i
s
l_ma
p
_intersect: ad
d
special cases for e
m
p
t
y input
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
isl_transitive
_
closu
r
e
.
c
:
path_along_delta: sha
r
e c
o
de
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven
V
erdoolaege
i
s
l_t
r
ansitive_clo
s
ure
.
c: path
_
a
long_delt
a
: try a
n
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-04
Sven Verdoolaege
e
x
po
r
t isl
_
qpolynomial_
m
ove_
d
ims
commit
|
commitdiff
|
tree
2010-04-03
Sven
Verdoolaege
a
d
d isl_qpolynomial_get_ctx
commit
|
commitdiff
|
tree
2010-04-03
Sve
n
Verdoolaege
add
isl_pw_qp
o
lynomial_fold_
g
et_dim
commit
|
commitdiff
|
tree
2010-04-03
Sven Verdoolaege
add some
qpol
y
n
o
m
ial test funct
i
o
n
s
commit
|
commitdiff
|
tree
2010-04-03
Sven
V
erdoolaege
a
dd isl_pw_qpolynomia
l
_fol
d
_{
m
ax,m
i
n}
commit
|
commitdiff
|
tree
2010-04-02
S
v
en Verdoolaege
isl_tab
_
min
_
at_mo
s
t_neg_one: res
t
ore
sample va
l
u
e
of
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven Verdoolaege
i
s
l
_
ma
p
_coal
e
sce: avoid reco
n
side
r
ing pairs considered
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven Verdo
o
la
e
ge
isl
_
tab
.
c:
u
pdate debugg
i
ng a
i
d
check_tabl
e
to presence
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sv
e
n Ve
r
doo
l
aege
isl
_
tab_relax: make
s
ure no non-negative rows get a
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven Verdool
a
ege
isl_tab
_
pip
.
c:
a
lway
s
set
r
ow sig
n
of
found ro
w
to
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven Verdoolaege
i
sl_prin
t
er_print_basic_{set,map}:
add
closing "
}
"
commit
|
commitdiff
|
tree
2010-04-01
Sv
e
n
Verdoolae
g
e
export i
s
l_set
_
s
p
lit_dim
s
commit
|
commitdiff
|
tree
next