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_name_alloc: fix error handling
2010-05-13
Sv
e
n Ver
d
oolae
g
e
i
s
l_
n
a
me_alloc: fix erro
r
h
andling
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdool
a
ege
add isl_dim_offset
commit
|
commitdiff
|
tree
2010-05-13
S
ve
n
V
e
r
doolaege
isl_equali
t
ies
.
c: fix typos in comm
e
nts
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verdoolaege
ad
d
isl
_
pw_qp
o
lynomial_fold_cove
r
s
commit
|
commitdiff
|
tree
2010-05-13
Sven Ver
d
oolaege
add is
l
_
q
polynom
i
a
l_le_cst
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
e
rdoolaeg
e
priv
a
tely
expo
r
t isl_set_is_bound
e
d
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Ve
r
doolaege
add isl_set_coun
t
_
u
pto
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
rdo
o
laege
add is
l
_set_s
c
an
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verdo
o
laege
add isl_stream_read_pw_
q
polynomial
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_q
p
olyn
o
mial_from_term
commit
|
commitdiff
|
tree
2010-05-13
Sven Ve
r
doolaege
add isl_qp
o
lynomial
_
from_constr
a
int
commit
|
commitdiff
|
tree
2010-05-13
S
v
e
n
Verdoolaege
add isl
_
basic
_
s
e
t_fore
a
c
h_bound_pai
r
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolae
g
e
add i
s
l_qpol
y
nomial_as_
p
olynomial_on_domai
n
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
erdoolaege
add i
s
l_qpolynom
i
al
_
s
u
bstitute
commit
|
commitdiff
|
tree
2010-05-13
S
v
en V
e
rdoolaege
add isl_ba
s
ic_set_
d
ims_get_sign
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
i
s
l_
c
tx: add
z
er
o
commit
|
commitdiff
|
tree
2010-05-04
Sven
Verdoolaege
add isl_
q
polynomial_n
e
gi
n
fty
commit
|
commitdiff
|
tree
2010-05-04
Sven
V
e
r
doolaege
a
dd isl_basic_set_drop
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
i
s
l
_
qpolynomial_fold_opt_on_domain: fix typo
commit
|
commitdiff
|
tree
2010-05-04
Sv
e
n
Verdoolaege
isl_pw_*_eval
:
fix handlin
g
o
f
empty input
commit
|
commitdiff
|
tree
2010-05-04
S
v
en Verdoo
l
aege
a
dd isl_basic_set_move_dims
commit
|
commitdiff
|
tree
2010-05-04
Sve
n
Verdoolaege
e
x
port isl_qpolynomia
l
_sub
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
a
d
d isl
_
qpolynomial_ge
t
_dim
commit
|
commitdiff
|
tree
2010-05-04
Sven Verd
o
o
l
a
e
ge
i
sl_map_tra
n
sitive_closure:
c
oa
l
esce input befo
r
e
ch
e
cking
.
.
.
commit
|
commitdiff
|
tree
2010-05-04
Sven
Ve
r
doolae
g
e
add ma
p
_
l
e
x_*_first
commit
|
commitdiff
|
tree
2010-05-01
Sven Verdoo
l
aeg
e
isl_map_
l
e
x_le: use on
e
basic set less in result
commit
|
commitdiff
|
tree
2010-05-01
Sven Verdoolae
g
e
isl_stream:
accept lex
i
c
o
graphic ope
r
ators
commit
|
commitdiff
|
tree
2010-04-28
Sve
n
V
e
rdoolaege
isl_map_transi
t
ive_closure: che
c
k if
i
n
p
ut is
c
l
osed
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven Ver
d
oolaege
add isl_prin
t
er_flus
h
commit
|
commitdiff
|
tree
2010-04-28
Sven Verd
o
o
l
aege
isl_
m
a
p_read
:
parse para
m
etric Omega inpu
t
commit
|
commitdiff
|
tree
2010-04-28
Sven Ver
d
ool
a
ege
isl_
m
ap_rea
d
: fix
typo
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
isl_convex_hull
.
c: i
s
_boun
d
:
any inequal
i
ty is a
b
o
u
nd
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
S
v
en Verdoolaege
isl_con
v
e
x_hul
l
.
c
: add_bounds: propaga
t
e errors from
.
.
.
commit
|
commitdiff
|
tree
2010-04-25
Sv
e
n Verdoolae
g
e
docume
n
t isl
_
map_reve
r
se
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoolaege
i
sl_stream_next_token
:
te
r
minate strin
g
tokens
commit
|
commitdiff
|
tree
2010-04-23
Sven
Verd
o
olaege
isl
_
map_transi
t
ive_
c
losu
r
e: treat
e
quality as pair
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
S
v
en Verdoolaege
i
s
l_map_tran
s
itive_closure, om
e
ga-like: only use ?
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven
V
erdoolaege
isl_map_transitive_cl
o
s
u
re: use simple hull in omega
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verd
o
olaege
isl_
m
ap_
t
ransitive_closure: try and
c
omp
u
te closure
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Ver
d
oolaeg
e
isl_map
_
coal
e
sce: allo
w
wrappin
g
in
sets t
h
at stick
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sv
e
n Verdoolaege
isl_map_coales
c
e: allowing cutting equalitie
s
in ad
j
acent
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven
V
e
r
d
oolae
g
e
add some
m
ore c
o
alescing test cases
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
isl_
b
a
sic_
m
ap_gist:
be more agg
r
es
s
ive in removing
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
S
v
e
n Verdoolaege
i
s
l_stream
:
accep
t
st
r
ing toke
n
s
commit
|
commitdiff
|
tree
2010-04-23
Sven
V
erdo
o
laege
isl_tab_ro
l
l
b
ack: resto
r
e
rows that ar
e
n
o long
e
r marked
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
doc: d
o
c
ument sim
p
le hull
commit
|
commitdiff
|
tree
2010-04-21
S
v
e
n Verdool
a
ege
doc: emphas
i
ze that
w
e
are dealing wit
h
inte
g
er sets
commit
|
commitdiff
|
tree
2010-04-21
Sv
e
n
V
erdoolaege
i
s
l
_transitiv
e
_closu
r
e
.
c:
p
at
h
_along_delta:
o
n
l
y avoid
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven
Verdoolaege
isl_map_transitive_closure
:
comput
e
divs of input
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolae
g
e
isl
_
map
_
comput
e
_divs: make sure resul
t
is gaussed an
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven V
e
rdoola
e
g
e
i
sl_printer_pri
n
t_pw_qpolyno
m
ial: p
r
operly print constr
a
ints
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoolae
g
e
isl_
p
ip and isl_cat: terminat
e
isl_arg a
r
ray with ISL_ARG_END
commit
|
commitdiff
|
tree
2010-04-19
Sven Ver
d
oolaege
doc: document
s
etting and getting o
f
dimension names
commit
|
commitdiff
|
tree
2010-04-19
Sven Ve
r
d
oola
e
ge
doc: document *_get_dim fun
c
tions
commit
|
commitdiff
|
tree
2010-04-19
Sve
n
V
e
rdoolaege
i
s
l_ma
p
_con
v
ex_hull: handl
e
non full-dimensional pair
s
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoolae
g
e
isl_conve
x
_hull
.
c: mod
u
lo_affin
e
_hull: d
r
op r
e
dundant
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdool
a
ege
isl_co
n
vex_hull
.
c
: convex_hu
l
l_pair: skip direction
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sven
Verdoo
l
aege
isl_prin
t
e
r
_p
r
int_
b
as
i
c
_set: f
i
x up printing to string
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sven Verdoolaege
add i
s
l_set_neg a
n
d isl_set_s
u
m
commit
|
commitdiff
|
tree
2010-04-16
Sven Verdool
a
e
g
e
isl_transitive_closure
.
c: fix
d
ocumentation of construct
_
com
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven
V
erdoolaege
isl_map_coa
l
es
c
e
:
make sure resu
l
t
still
c
ontai
n
s se
t
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolaege
isl_
m
ap_transitive_closure: Floyd-Wa
r
shall: properly
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sv
e
n Verdoolaege
isl_m
a
p_transi
t
ive_closure: use Flo
y
d-
W
arshal
l
on disj
o
int
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolaege
isl_transitive_closure
.
c:
extract
o
ut isl_set_overlaps
commit
|
commitdiff
|
tree
2010-04-15
Sven Verd
o
olaege
isl_map_transi
t
iv
e
_closu
r
e
:
pro
j
ect
out length on
e
ach
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sve
n
Ve
r
d
oolaege
i
sl_transitive_closure
.
c
:
constru
c
t_c
o
mponent: don
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
S
v
e
n
Verdoolaege
isl_map_
t
ran
s
itive_closure:
d
on't add l
e
ngth param
e
ter
commit
|
commitdiff
|
tree
2010-04-15
Sven Verd
o
ol
a
ege
doc: fix
t
ypos
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoolaege
isl_set_gist: make con
t
ext argument an
isl_s
e
t
fo
r
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoolaege
isl
_
ma
p
_
t
ran
s
i
t
ive
_
clo
s
ure: c
o
a
l
esce inp
u
t map
commit
|
commitdiff
|
tree
2010-04-13
Sven
Verdool
a
eg
e
isl_transitive_closure
.
c: c
o
nstr
u
c
t
_co
m
p
o
nent
:
always
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sve
n
Ver
d
oolaege
d
oc:
cit
e
Omega
lib
r
ary documentation on computation
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdo
o
laege
add is
l
_
s
t
r
eam_r
e
ad_
m
ap
commit
|
commitdiff
|
tree
2010-04-13
Sven Ver
d
oolaeg
e
i
sl_a
r
g
.
h: add missing
incl
u
de
commit
|
commitdiff
|
tree
2010-04-11
Sven Verdoo
l
aege
isl_basic
_
map_move_dims:
nor
m
aliz
e
equalities
commit
|
commitdiff
|
tree
2010-04-11
Sven Verdoolaege
r
e
name is
l
_ma
p
_move
to isl_map_move_dims
commit
|
commitdiff
|
tree
2010-04-10
Sve
n
V
e
rdoola
e
ge
isl_options_parse:
only parse known o
p
tions
b
y
d
efault
commit
|
commitdiff
|
tree
2010-04-10
Sven Ve
r
d
oolaege
isl_m
a
p_closure: optionally use Omega-
l
ike algor
i
t
h
m
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoola
e
ge
isl_closure: take o
p
tion
s
commit
|
commitdiff
|
tree
2010-04-10
S
v
en
V
erdoolaege
isl_map_affine_hull:
h
a
ndle
n
on
-
obvio
u
sly empty inp
u
t
commit
|
commitdiff
|
tree
2010-04-10
S
v
e
n Verdoolaege
isl_map_
c
o
m
p
u
te_divs
:
h
andle
n
on-obviously empty input
commit
|
commitdiff
|
tree
2010-04-10
S
v
en V
e
rd
o
olaege
isl_basic
_
set_preimage: add e
x
tra
s
anity check
commit
|
commitdiff
|
tree
2010-04-10
S
v
en Verdoolaege
isl_basic_map_set_to_empty:
add miss
i
ng a
s
sig
n
ment
commit
|
commitdiff
|
tree
2010-04-10
Sven
Verdoolaege
isl_equalities
.
c: isl_mat_varia
b
l
e_compres
s
ion: clarify
.
.
.
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoo
l
a
ege
is
l
_
sample
.
c:
i
niti
a
l_
b
asis:
set n_unbounded and n_
z
er
o
commit
|
commitdiff
|
tree
2010-04-09
Sven Verdoolaege
is
l
_map_c
o
al
e
sce:
o
n
l
y
use non
-
redundant
c
onstrai
n
ts
.
.
.
commit
|
commitdiff
|
tree
2010-04-09
Sv
e
n Verdoo
l
aege
isl_m
a
p_
p
rint: allow emp
t
y con
s
trai
n
ts
commit
|
commitdiff
|
tree
2010-04-09
Sven Verdoolaege
i
sl_options
.
h: al
l
ow i
n
clusion from C++
commit
|
commitdiff
|
tree
2010-04-09
Sven Verdoolaege
isl_ar
g
.
h: all
o
w
i
nclus
i
on from
C
++
commit
|
commitdiff
|
tree
2010-04-07
Sven Ve
r
doolaege
isl_
m
ap
_
tran
s
itive_closure:
han
d
le existentials
commit
|
commitdiff
|
tree
2010-04-07
Sven Verd
o
olaege
isl_map_delta
s
: preserv
e
di
m
e
n
sion name
s
commit
|
commitdiff
|
tree
2010-04-07
Sve
n
Verdoola
e
g
e
is
l
_map_print: s
u
pport LaTeX output for
m
at
commit
|
commitdiff
|
tree
2010-04-07
Sven Ve
r
doolaeg
e
isl
_
ma
p
_simplify: don't remove
any div definit
i
ons
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
isl_map_intersect: add special cases for empty inp
u
t
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
S
v
en
Verdoolaege
isl_transi
t
ive_closure
.
c: pa
t
h_along_delta
:
share code
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
S
v
e
n
Verdool
a
eg
e
isl_t
r
a
nsitive_closure
.
c
:
p
ath_a
l
ong_delta: try and
.
.
.
commit
|
commitdiff
|
tree
2010-04-04
Sven Ver
d
o
olae
g
e
export
i
sl_qpolynomial_move_
d
ims
commit
|
commitdiff
|
tree
2010-04-03
Sven Verdoo
l
aege
a
d
d
isl_qpol
y
nomial_get_ctx
commit
|
commitdiff
|
tree
2010-04-03
Sven Ve
r
doola
e
ge
add isl_pw_qp
o
lynomial_fold_get_dim
commit
|
commitdiff
|
tree
2010-04-03
S
v
e
n
Verdoolae
g
e
a
dd some q
p
olynomial
t
est funct
i
ons
commit
|
commitdiff
|
tree
next