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 Verdool
a
eg
e
rename isl_pw_qpolynomial_move and
a
d
d isl_pw_
q
poly
n
omial_fo
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdool
a
ege
isl_ctx: keep track o
f
user options
commit
|
commitdiff
|
tree
2010-05-30
S
v
e
n Ver
d
oolaege
imp
r
ove
d
argument parsing
commit
|
commitdiff
|
tree
2010-05-15
Sven
V
erdo
o
laege
is
l
_option
s
_parse: print help message
commit
|
commitdiff
|
tree
2010-05-14
Sven Verd
o
ola
e
ge
add
i
sl_bound test applicati
o
n
commit
|
commitdiff
|
tree
2010-05-14
Sven
Ver
d
oolaege
add isl_
p
w_qpolynomial_bound_
r
ange
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verdoola
e
g
e
add
i
sl
_
pw_qpoly
n
omial_fold_morp
h
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Ver
d
oolaege
a
d
d rudi
m
entary
isl_
m
o
r
p
h
commit
|
commitdiff
|
tree
2010-05-13
Sven Ve
r
doolaeg
e
add isl_seq
_
s
et
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
isl_equalitie
s
.
c: fix typ
o
in comment
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verdoolaege
add isl_mat_inse
r
t_
r
ows
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verdoolae
g
e
add isl_
m
at_norma
l
ize
commit
|
commitdiff
|
tree
2010-05-13
S
ven Ver
d
o
o
laege
add isl_mat
_
diagonal
commit
|
commitdiff
|
tree
2010-05-13
Sven Ver
d
oolaege
isl_mat_lin_to_aff: fix error han
d
l
in
g
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Verdoolaege
isl_qpolynomial_opt_on_domain:
h
a
n
dle e
m
p
ty i
n
put
commit
|
commitdiff
|
tree
2010-05-13
Sven Ve
r
doolaeg
e
isl_name_alloc
:
fix
e
rror handling
commit
|
commitdiff
|
tree
2010-05-13
Sven
Ver
d
o
olaege
a
dd isl_dim
_
offset
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n
Verd
o
ola
e
g
e
i
s
l_equa
l
i
t
ies
.
c
:
fix typos in
c
omments
commit
|
commitdiff
|
tree
2010-05-13
S
v
e
n
Verdoolaege
add isl_
p
w_qpoly
n
o
m
ial
_
fold_c
o
vers
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaeg
e
add
i
sl_qpolynomial_le
_
cst
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
private
l
y e
x
po
r
t isl_set_is_bounde
d
commit
|
commitdiff
|
tree
2010-05-13
S
ve
n
V
e
r
d
oolaege
ad
d
isl_set_count_upto
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdo
o
laege
a
d
d isl_set_scan
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verdo
o
laege
add isl
_
stream_r
e
ad_pw_qpol
y
n
omial
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
a
d
d isl_qpol
y
n
omial_from_term
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl
_
qpolynomial
_
f
rom_constraint
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
erd
o
olae
g
e
add isl_
b
asic_set_forea
c
h_bound_
p
air
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
e
rdoolaege
ad
d
isl_q
p
o
lynomial_as_p
o
lyno
m
ial_on
_
domai
n
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
erdo
o
laege
a
d
d
isl_qpoly
n
omi
a
l_substitute
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_bas
i
c_
s
et_d
i
ms_get_sign
commit
|
commitdiff
|
tree
2010-05-04
Sven Verd
o
ol
a
ege
isl_
c
tx:
a
dd zero
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
add isl_qpolynomial
_
n
e
g
infty
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
ad
d
isl
_
basic_set_
d
rop
commit
|
commitdiff
|
tree
2010-05-04
Sven Verd
o
o
l
a
e
ge
i
sl_qpolynomial_fold_o
p
t_on_
d
om
a
in: fix
t
ypo
commit
|
commitdiff
|
tree
2010-05-04
Sven Verd
o
o
l
aeg
e
isl_pw_*_eval
:
fix handling
o
f empty i
n
put
commit
|
commitdiff
|
tree
2010-05-04
S
ven V
e
r
doolaege
add isl_bas
i
c_set_move_dims
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoola
e
ge
expo
r
t isl_qp
o
lyn
o
mial_sub
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
add
i
sl_qpol
y
nomi
a
l_ge
t
_dim
commit
|
commitdiff
|
tree
2010-05-04
S
v
en
Verdoolaege
isl_map
_
transi
t
ive_cl
o
sure: coales
c
e input before checking
.
.
.
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
a
d
d map
_
le
x
_*_
f
irst
commit
|
commitdiff
|
tree
2010-05-01
Sven Verdool
a
ege
isl_map_
l
ex_
l
e:
use one basic set
l
e
s
s in
re
s
ult
commit
|
commitdiff
|
tree
2010-05-01
Sven V
e
rdoolaeg
e
is
l
_
s
tre
a
m:
acc
e
pt lexicographic operators
commit
|
commitdiff
|
tree
2010-04-28
Sven Ve
r
d
oolaege
isl_map_transitive_clo
s
u
re: check if
i
nput
is closed
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven
Verdoolaege
add i
s
l_p
r
inter_flu
s
h
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
i
s
l
_
map_
r
ead: parse parametr
i
c
O
me
g
a input
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
is
l
_map_read:
f
i
x
t
y
p
o
commit
|
commitdiff
|
tree
2010-04-28
S
ven Verd
o
olaege
isl_c
o
nvex_
h
u
ll
.
c
:
i
s_
b
o
und: any inequality is a
b
ound
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven
V
erd
o
olaeg
e
is
l
_convex_hu
l
l
.
c: add_boun
d
s:
p
ropagate errors from
.
.
.
commit
|
commitdiff
|
tree
2010-04-25
Sven Verdoolae
g
e
d
o
cument isl_map_reve
r
se
commit
|
commitdiff
|
tree
2010-04-24
Sven Verd
o
olaeg
e
isl_stream_next_t
o
ke
n
: terminate string tokens
commit
|
commitdiff
|
tree
2010-04-23
Sve
n
Verdo
o
laege
isl_map_transitive_cl
o
sure:
t
r
e
at equalit
y
as
pair
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdo
o
l
aege
i
s
l_map_
t
ransitive_closure, omega-like:
only use ?
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdo
o
laege
i
s
l_map_transitive_cl
o
sure: u
s
e
s
im
p
le hull in omega
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
is
l
_map_t
r
ansitive_closure: try and co
m
pute closure
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
S
v
e
n Verdoolaege
i
sl_ma
p
_
co
a
lesce: al
l
ow wrap
p
ing in se
t
s th
a
t
s
t
i
ck
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
isl_map_coales
c
e
:
allowing cut
t
ing equalities in adjacent
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
S
ve
n
Verdoolaege
ad
d
s
o
me more coalesci
n
g test ca
s
es
commit
|
commitdiff
|
tree
2010-04-23
S
v
e
n Verdoola
e
ge
isl_ba
s
ic_map_gist:
b
e
more aggress
i
ve in r
e
mov
i
ng
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sv
e
n
Verdo
o
laege
isl
_
s
tream:
accep
t
s
t
ring tokens
commit
|
commitdiff
|
tree
2010-04-23
Sven Ve
r
doolaege
isl_tab
_
rol
l
bac
k
:
restore rows that
are no l
o
nger mar
k
ed
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven
V
e
rdoolaege
d
o
c: document simple h
u
ll
commit
|
commitdiff
|
tree
2010-04-21
S
v
en Ver
d
oolaege
doc:
e
mphasize t
h
at we are dealing with
i
nteger sets
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdool
a
eg
e
isl_transitive
_
c
los
u
r
e
.
c: pat
h
_
a
long_
d
e
l
t
a: only avoid
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaeg
e
i
sl
_
map_transitive_clos
u
re: comp
u
te divs of input
commit
|
commitdiff
|
tree
2010-04-21
Sven
V
erdo
o
laeg
e
isl_map_compute_di
v
s: make sure result
is ga
u
ssed
and
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdo
o
laege
isl_printer_print_p
w
_qpolynomial: properly print constr
a
i
n
ts
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
S
v
en V
e
rdoolaege
i
sl
_
pip and isl_c
a
t: terminate isl_arg array with ISL_ARG
_
END
commit
|
commitdiff
|
tree
2010-04-19
Sven V
e
rdoolaeg
e
d
o
c
:
document setting
a
nd getting of
d
imension names
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoolaege
doc: do
c
ume
n
t *_g
e
t
_dim fun
c
tions
commit
|
commitdiff
|
tree
2010-04-19
Sven V
e
rdo
o
laege
isl_map_
c
on
v
ex_hull: hand
l
e
n
on full-dimen
s
ional
p
a
i
r
s
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdo
o
laege
isl
_
c
o
nvex_hu
l
l
.
c: modulo_a
f
fine_hull: drop red
u
nda
n
t
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoolaege
isl_conv
e
x_hull
.
c: convex_hull_p
a
i
r
: skip di
r
ect
i
on
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sven Verdoolae
g
e
isl_pri
n
ter
_
print_basi
c
_set
:
fix up p
r
inting t
o
string
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sven Verdoolae
g
e
add i
s
l_
s
et
_
neg an
d
isl_set_s
u
m
commit
|
commitdiff
|
tree
2010-04-16
Sv
e
n
Verdo
o
la
e
g
e
isl_transitive_closure
.
c:
fix
d
ocumentation of cons
t
ruc
t
_com
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolaege
isl
_
map_coalesce
:
m
ake s
u
re r
e
s
ult still
c
ontains set
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolae
g
e
isl_map_tra
n
sitive_closure: Floy
d
-Warshall: properly
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Ver
d
oolaege
isl_map_tra
n
sitive_closu
r
e: use Floyd-W
a
rshall
o
n disjoint
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sv
e
n Ver
d
oo
l
aege
i
s
l
_
transit
i
ve_closu
r
e
.
c: e
x
tract out isl_set_
o
verlaps
commit
|
commitdiff
|
tree
2010-04-15
Sv
e
n Verdoolaeg
e
isl
_
m
ap_tra
n
sitive_
c
losure:
p
ro
j
ect out length on
e
ach
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sv
e
n
Ve
r
do
o
laege
isl
_
t
rans
i
tive_c
l
osure
.
c: construct_component: don
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolaege
isl_map_transitive_closu
r
e: don't add
l
e
n
gt
h
p
a
rameter
commit
|
commitdiff
|
tree
2010-04-15
S
v
en Verdoolaege
doc: fix typos
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoola
e
ge
isl_set_gist: make cont
e
xt argu
m
e
n
t an isl_set for
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sve
n
Verdoolaege
isl_map_tr
a
nsi
t
ive_cl
o
sur
e
:
coalesce i
n
put map
commit
|
commitdiff
|
tree
2010-04-13
Sven
V
e
rdoolaeg
e
isl_transitive_closure
.
c
: co
n
struct_component: always
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoolaege
doc: cite Omega library do
c
umen
t
ation on
computa
t
io
n
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven V
e
rd
o
olaege
add isl_stream_read_ma
p
commit
|
commitdiff
|
tree
2010-04-13
Sve
n
Ver
d
ool
a
ege
isl
_
arg
.
h: add missin
g
include
commit
|
commitdiff
|
tree
2010-04-11
S
v
en Verd
o
olaege
isl_basic_map_move_dims: norma
l
ize equ
a
lities
commit
|
commitdiff
|
tree
2010-04-11
Sven
Verdo
o
laege
rename isl_map
_
move to isl_m
a
p_move_di
m
s
commit
|
commitdiff
|
tree
2010-04-10
S
v
e
n
Ve
r
d
o
olaege
isl_optio
n
s_parse: only
p
arse known options by default
commit
|
commitdiff
|
tree
2010-04-10
Sven Ve
r
d
oolaege
isl_map
_
c
l
osure: optionally
use Omega-like algorithm
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaege
isl
_
closur
e
: t
a
ke
o
ptions
commit
|
commitdiff
|
tree
2010-04-10
S
ven V
e
rdoolaege
is
l
_map_affine
_
hull: han
d
le n
o
n-obviously e
m
pty i
n
p
u
t
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoo
l
aege
is
l
_map_comput
e
_divs: handle n
o
n-obviously empty in
p
ut
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaege
i
s
l_ba
s
ic_s
e
t
_preimage: add extra sanity
c
h
eck
commit
|
commitdiff
|
tree
2010-04-10
S
ven Verdoolaege
i
s
l_basic_map_set_to
_
e
m
pty: ad
d
mi
s
sing a
s
s
i
gnme
n
t
commit
|
commitdiff
|
tree
2010-04-10
Sven V
e
rdoo
l
aege
i
s
l_equalities
.
c: is
l
_m
a
t_variable_compressio
n
: clarify
.
.
.
commit
|
commitdiff
|
tree
2010-04-10
S
v
en Verdoolaege
is
l
_
s
ample
.
c
: initial
_
basis: set n_unbou
n
ded and
n_zero
commit
|
commitdiff
|
tree
next