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
rename isl_pw_qpolynomial_move and add isl_pw_qpolynomial_fold_move_dims
2010-05-30
Sven Ver
d
oolae
g
e
r
ena
m
e
isl_pw_q
p
olynomial_move and add is
l
_p
w
_qpolynomi
a
l_fo
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven
Verdoolaege
i
sl_ctx: k
e
ep
t
rack of user
o
ptions
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoo
l
a
e
ge
i
mproved
a
rgument
parsing
commit
|
commitdiff
|
tree
2010-05-15
S
ven V
e
rdoolaege
i
s
l
_
o
ptions_par
s
e
: print help m
e
s
s
a
g
e
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
add isl_bound test application
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdool
a
e
g
e
add isl_pw_
q
polyno
m
ial_bou
n
d_range
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoola
e
ge
add
isl_pw_qpoly
n
omial_fold_morph
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolae
g
e
ad
d
rudimentary isl_morph
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n
Ve
r
dool
a
e
ge
add
is
l
_seq_set
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolae
g
e
isl_equal
i
t
i
es
.
c
:
f
ix typo
i
n comm
e
nt
commit
|
commitdiff
|
tree
2010-05-13
S
ve
n
Verd
o
o
l
aege
add
i
sl_
m
at_i
n
sert_
r
o
ws
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdo
o
laege
a
d
d isl_mat_norm
a
lize
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_
m
a
t_diag
o
nal
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verdool
a
eg
e
isl_
m
at_lin_to_aff: fix error h
a
ndling
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Verdoolaege
isl_qpolyno
m
ial_opt_on_domain: ha
n
dle
e
m
pty input
commit
|
commitdiff
|
tree
2010-05-13
Sven Ver
d
oo
l
aege
i
s
l
_name
_
a
lloc: fix error handling
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n V
e
rdoolaege
a
dd
isl_dim
_
offset
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolae
g
e
isl_equ
a
lities
.
c: fi
x
t
ypos in comments
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verdoolaeg
e
add
is
l
_
p
w
_qpo
l
ynomi
a
l_f
o
ld_co
v
ers
commit
|
commitdiff
|
tree
2010-05-13
Sven Verd
o
o
laege
a
dd isl_qpolynomial_le
_
cst
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n V
e
rdoolaege
p
r
ivat
e
ly
e
xport
i
sl_set_is_bo
u
nde
d
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdo
o
l
a
ege
a
d
d isl_set_
c
ount_
u
p
t
o
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdool
a
ege
a
dd isl_set_scan
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n
Verdoolaege
a
dd isl_stream
_
rea
d
_pw_qpolynomial
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verdoolaege
add i
s
l
_q
p
olynomial_from_t
e
r
m
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_qpolynomial_fro
m
_constra
i
nt
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verdoolaege
a
d
d
isl_basic_set_foreach_bound_pa
i
r
commit
|
commitdiff
|
tree
2010-05-13
Sven Ver
d
oolaege
add isl_
q
polyno
m
ial_as_polynomial_o
n
_
d
omain
commit
|
commitdiff
|
tree
2010-05-13
Sven
Ve
r
dool
a
ege
add isl_qpol
y
nomi
a
l_substitute
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add is
l
_basic_set_dims_ge
t
_sign
commit
|
commitdiff
|
tree
2010-05-04
Sv
e
n Verdoo
l
aege
isl_ctx
:
a
d
d zero
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
add isl
_
qpoly
n
omial_neginfty
commit
|
commitdiff
|
tree
2010-05-04
Sven Ve
r
dool
a
ege
add isl_ba
s
ic_se
t
_drop
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
is
l
_qpol
y
nomia
l
_f
o
ld_opt_on_d
o
ma
i
n: fix typo
commit
|
commitdiff
|
tree
2010-05-04
Sve
n
V
erdoo
l
aege
isl_pw_
*
_ev
a
l: fix handli
n
g o
f
e
m
pty
input
commit
|
commitdiff
|
tree
2010-05-04
Sv
e
n
Verdoolaege
add
i
sl_basi
c
_set_move_
d
ims
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
e
xport isl
_
qpolynomial_sub
commit
|
commitdiff
|
tree
2010-05-04
S
ven Ve
r
doolaege
a
d
d
i
sl_qpolyn
o
m
i
a
l
_get_dim
commit
|
commitdiff
|
tree
2010-05-04
Sven
V
erdoo
l
aege
isl_map_
t
ransitive_cl
o
sure: coalesce input befo
r
e
chec
k
ing
.
.
.
commit
|
commitdiff
|
tree
2010-05-04
Sven V
e
rdoolae
g
e
a
dd map_lex_*
_
first
commit
|
commitdiff
|
tree
2010-05-01
Sve
n
Verdoolaege
is
l
_map
_
l
e
x_le: use one
b
a
sic set l
e
ss in r
e
sult
commit
|
commitdiff
|
tree
2010-05-01
Sv
e
n
V
erd
o
olae
g
e
isl_stream:
accept lexicograp
h
ic operators
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdool
a
e
g
e
i
sl_map_tran
s
itive_closure: check if i
n
pu
t
is closed
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdool
a
ege
add
i
sl_printer
_
flus
h
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdool
a
eg
e
isl_m
a
p_read: p
a
rse par
a
m
etri
c
Omega
i
n
put
commit
|
commitdiff
|
tree
2010-04-28
Sven Ve
r
doolaege
isl_map_read: fix typo
commit
|
commitdiff
|
tree
2010-04-28
Sven Ve
r
doolaeg
e
i
s
l_convex_hull
.
c:
i
s_bound: any i
n
equ
a
lity
i
s a bound
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
i
sl_convex
_
hull
.
c: a
d
d_bounds: prop
a
g
a
te errors
from
.
.
.
commit
|
commitdiff
|
tree
2010-04-25
Sv
e
n Verd
o
ol
a
e
g
e
document
isl
_
map_reverse
commit
|
commitdiff
|
tree
2010-04-24
S
v
en Ve
r
d
o
olaege
isl_stream_
n
e
x
t_token
:
ter
m
in
a
t
e
string to
k
ens
commit
|
commitdiff
|
tree
2010-04-23
Sven
Ver
d
oolaege
isl
_
m
ap_transitive_closure: treat equa
l
ity
a
s pair
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven V
e
r
doolaege
isl_map
_
transitive
_
closure, omega-like: only use ?
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoola
e
g
e
i
s
l_map_transitive_closure: use simple
hull in o
m
ega
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sve
n
Verdoo
l
aege
isl_map_tr
a
nsitive_clo
s
ure
:
try and compute
c
losure
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven
V
erdoolaege
i
s
l_map_coalesce: a
l
low wrapping in
s
ets
t
hat stick
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Ver
d
oolaege
isl_map_coa
l
e
sce:
a
l
l
owing cu
t
t
ing equalities
i
n adjacent
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoola
e
ge
add some m
o
re coalescing test cases
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
i
s
l_
b
asic_map_gis
t
:
b
e
more aggressive in removi
n
g
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sve
n
Verdo
o
l
a
ege
isl_stream: acc
e
pt
string tokens
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
i
sl_tab_rollback: rest
o
re rows that are no lo
n
g
e
r mark
e
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
doc
:
document sim
p
le hull
commit
|
commitdiff
|
tree
2010-04-21
S
v
en
V
erdoolaege
doc: emphasize
that we a
r
e
d
ea
l
i
n
g wit
h
in
t
eg
e
r
sets
commit
|
commitdiff
|
tree
2010-04-21
Sven Ver
d
oolaege
i
sl_transitive_closure
.
c: path
_
alon
g
_
d
elta: only avoid
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
i
sl
_
map_transitive_
c
l
o
sure: compute d
i
v
s of input
commit
|
commitdiff
|
tree
2010-04-21
S
ven Verdool
a
ege
isl_map_compute_
d
ivs
:
make sure result
i
s gaus
s
ed an
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolae
g
e
isl
_
printer_print
_
p
w
_qpolynomial: pr
o
perl
y
print constraints
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven
V
erdoolaege
isl_pip and i
s
l_cat:
t
ermi
n
ate isl_arg
a
rr
a
y with I
S
L
_
ARG_END
commit
|
commitdiff
|
tree
2010-04-19
S
ven Verdoolaege
doc
:
docu
m
ent
s
etti
n
g
a
nd getting of dimension names
commit
|
commitdiff
|
tree
2010-04-19
Sven Ver
d
oola
e
ge
doc: document *_get
_
di
m
functions
commit
|
commitdiff
|
tree
2010-04-19
Sven
Verd
o
ol
a
ege
isl
_
map_
c
onve
x
_hull: handle n
o
n full-di
m
ensiona
l
pairs
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoolaege
isl_con
v
ex_hull
.
c: modulo_a
f
f
i
ne_hull: drop redundant
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdool
a
e
g
e
isl_convex_hull
.
c: convex_hu
l
l_pair
:
skip d
i
rection
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
S
v
e
n Verdoolaege
isl_printer_print_b
a
sic_set: fix
up prin
t
i
n
g to string
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
S
v
en
Verdo
o
laege
a
d
d isl_set_
n
eg
and isl_set_sum
commit
|
commitdiff
|
tree
2010-04-16
Sven Verdoolaeg
e
isl_transitive_closure
.
c: fix doc
u
mentation of construct_co
m
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verd
o
olaege
isl_map_
c
oalesce:
m
a
k
e sure result still contains set
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolaege
isl_map_t
r
a
n
sitive
_
closure: Floyd-Warsh
a
ll: proper
l
y
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sve
n
Verdoolaege
isl
_
map_transitive_closure:
u
se
Floyd-Warsha
l
l
o
n
d
isjoint
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolaege
is
l
_transitive
_
closure
.
c:
ex
t
ra
c
t
o
u
t
isl_set_
o
v
erl
a
ps
commit
|
commitdiff
|
tree
2010-04-15
Sven Ver
d
oolaeg
e
isl_map_trans
i
tive_c
l
osur
e
:
project
out leng
t
h on e
a
ch
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolaege
isl_transi
t
ive_c
l
osure
.
c: cons
t
r
uct_component: d
o
n
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sve
n
Verdoolae
g
e
isl_map_tr
a
ns
i
t
ive_closure: don't ad
d
len
g
th
parameter
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdool
a
ege
doc: fix typos
commit
|
commitdiff
|
tree
2010-04-13
Sven V
e
r
dool
a
ege
isl
_
set_g
i
st: ma
k
e c
o
n
text argument
a
n isl_set for
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
S
ven V
e
rdoo
l
a
ege
isl_map_transi
t
ive
_
clo
s
ure: coalesce input m
a
p
commit
|
commitdiff
|
tree
2010-04-13
S
v
en
V
er
d
o
o
l
ae
g
e
isl
_
tr
a
nsitive
_
closure
.
c
: co
n
struct_co
m
pone
n
t: al
w
ays
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoolaege
d
o
c: cite
Omega library documentati
o
n on comput
a
t
ion
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sve
n
Verdool
a
ege
add is
l
_stream_read_map
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoolaege
isl_arg
.
h
:
add mis
s
ing
include
commit
|
commitdiff
|
tree
2010-04-11
Sven
V
er
d
oolaege
i
sl_b
a
s
ic_
m
ap_move_dims: norma
l
ize equalities
commit
|
commitdiff
|
tree
2010-04-11
S
ven Verdoolaege
r
e
nam
e
is
l
_map_move to isl_
m
ap_move_d
i
ms
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaeg
e
isl_options_parse: on
l
y pa
r
s
e
k
n
own options by default
commit
|
commitdiff
|
tree
2010-04-10
Sven V
e
rdo
o
laege
isl_map_closure: optionally use Om
e
g
a
-like algorithm
commit
|
commitdiff
|
tree
2010-04-10
Sven Ver
d
o
o
laege
isl_closure: take options
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaeg
e
isl
_
map_affine_
h
u
ll: handle non-o
b
viously
emp
t
y
input
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdo
o
laege
isl_map_c
o
mpute_
d
ivs: handle non-ob
v
iously empty
input
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaeg
e
i
s
l_b
a
sic_se
t
_prei
m
ag
e
:
add extra san
i
ty check
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdo
o
laege
isl_basic_map_s
e
t
_
to_empty: add mis
s
i
ng assignme
n
t
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdool
a
e
ge
isl_
e
qualit
i
es
.
c:
i
sl_mat_
v
ari
a
b
le_compression: cla
r
i
f
y
.
.
.
commit
|
commitdiff
|
tree
2010-04-10
Sv
e
n
Verd
o
ol
a
e
ge
i
sl_sample
.
c: initial_basi
s
:
s
e
t n_unbounded
a
n
d n_zero
commit
|
commitdiff
|
tree
next