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 Verdoolaege
rename isl_pw_qpolynomial_move and add isl_pw_
q
poly
n
omial_fo
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
S
ven Verdoolaege
is
l
_ctx: keep track of
u
ser optio
n
s
commit
|
commitdiff
|
tree
2010-05-30
S
ven Verdoolae
g
e
impr
o
v
e
d argument parsing
commit
|
commitdiff
|
tree
2010-05-15
Sven
V
erdoo
l
aege
isl_o
p
tio
n
s_parse
:
print help message
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolae
g
e
add
i
s
l
_bound t
e
st
application
commit
|
commitdiff
|
tree
2010-05-14
Sven
V
erdo
o
laege
add isl_pw_qpolynomi
a
l_bou
n
d_
r
a
nge
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
rdoolaege
add i
s
l_pw_qpolynomi
a
l_
f
old_morph
commit
|
commitdiff
|
tree
2010-05-13
S
ven
V
erdoolaege
add r
u
dimentary i
s
l_morph
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Ve
r
doolaege
add
i
sl_
s
eq_set
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verd
o
olae
g
e
isl
_
eq
u
a
l
it
i
es
.
c:
fix typo in
comme
n
t
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verdoo
l
ae
g
e
add isl_mat_ins
e
rt_rows
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
erdoolaege
add i
s
l_mat_normalize
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
a
dd isl
_
mat_diagonal
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verdool
a
ege
isl_m
a
t_lin_to_aff: fix e
r
ror
h
andling
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoola
e
ge
i
sl_qpolynomial_opt_on
_
domain: handle empt
y
i
n
p
ut
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
isl_name
_
alloc: f
i
x erro
r
handli
n
g
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_dim_of
f
set
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
isl_equalitie
s
.
c:
f
ix typos in
comment
s
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
erdool
a
ege
add isl_
p
w_qpolynomial_fold_covers
commit
|
commitdiff
|
tree
2010-05-13
Sven Ver
d
oola
e
g
e
a
d
d
isl_qpolynomi
a
l_le_cst
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verdoolaege
p
riv
a
te
l
y
export isl
_
set_is
_
bo
u
nded
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_set_count_upto
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoola
e
ge
add i
s
l_set
_
scan
commit
|
commitdiff
|
tree
2010-05-13
Sven Ve
r
d
ool
a
eg
e
add isl
_
stre
a
m_re
a
d_pw_qpol
y
n
o
mial
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoo
l
aege
add i
s
l_qpolynomial_from_term
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_qpoly
n
om
i
al_fro
m
_
con
s
traint
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdo
o
laege
a
d
d isl_basic_set_foreach_bound
_
pair
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
a
dd isl_
q
polyno
m
ia
l
_
a
s_p
o
l
yn
o
mi
a
l_o
n
_domain
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
rdoolae
g
e
add i
s
l_qpolynom
i
a
l
_substitute
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdo
o
laege
add
isl_basic
_
se
t
_dims_get_sign
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
is
l
_ctx: add zero
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdo
o
laege
add isl_
q
p
oly
n
om
i
a
l
_neginf
t
y
commit
|
commitdiff
|
tree
2010-05-04
Sven Verd
o
ol
a
ege
ad
d
isl_basic_set_dro
p
commit
|
commitdiff
|
tree
2010-05-04
Sven
V
er
d
o
olaege
i
s
l_qpolynomi
a
l_fold_o
p
t_on_domain: f
i
x typo
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
isl_pw_
*
_eva
l
: fix handling of
e
mpty input
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdool
a
e
ge
add isl_basic_set_
m
ove_di
m
s
commit
|
commitdiff
|
tree
2010-05-04
S
v
e
n Verdoolaege
ex
p
ort
i
sl_qpol
y
nomi
a
l_s
u
b
commit
|
commitdiff
|
tree
2010-05-04
Sven Verd
o
olae
g
e
add isl_qpolynomia
l
_get_
d
im
commit
|
commitdiff
|
tree
2010-05-04
Sven V
e
rdo
o
la
e
ge
isl_map_t
r
ansitive_c
l
osure: coalesce input before che
c
king
.
.
.
commit
|
commitdiff
|
tree
2010-05-04
Sven Ve
r
d
oolaege
add map_lex_*_first
commit
|
commitdiff
|
tree
2010-05-01
S
v
en Verdo
o
lae
g
e
isl_map
_
lex_le: use one
b
asic
s
et less in result
commit
|
commitdiff
|
tree
2010-05-01
Sven Ver
d
oolaege
is
l
_st
r
eam: ac
c
ept lexico
g
raph
i
c operato
r
s
commit
|
commitdiff
|
tree
2010-04-28
Sven Verd
o
olaege
isl_map_tr
a
nsitive_closure: check
if
i
n
put is closed
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
S
ven Verdoo
l
aege
add isl
_
printer
_
f
l
ush
commit
|
commitdiff
|
tree
2010-04-28
S
v
en Verdoolaeg
e
isl_map_rea
d
:
parse
p
a
r
ametric Omega
input
commit
|
commitdiff
|
tree
2010-04-28
Sven Ve
r
doolae
g
e
isl_map_r
e
ad:
f
ix typo
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
isl_conv
e
x
_
hull
.
c
:
is_bound: any inequalit
y
is a bound
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
isl_convex_hull
.
c: a
d
d_bounds: propagate errors from
.
.
.
commit
|
commitdiff
|
tree
2010-04-25
S
v
e
n Verd
o
olaege
document isl_map_
r
everse
commit
|
commitdiff
|
tree
2010-04-24
S
ve
n
Verdoolaege
isl_stream_next_tok
e
n:
t
e
r
minat
e
stri
n
g to
k
ens
commit
|
commitdiff
|
tree
2010-04-23
Sv
e
n Verdoo
l
ae
g
e
i
sl_map_transitive_closu
r
e
:
trea
t
e
q
uality a
s
pa
i
r
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdool
a
e
g
e
i
s
l
_map_tr
a
nsitive_closure, omega-l
i
k
e
: o
n
ly use ?
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
isl_map_trans
i
tive
_
closure: use simple
h
ul
l
in
o
m
ega
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoola
e
ge
isl_m
a
p_t
r
ans
i
tive_cl
o
sure:
try an
d
c
o
mpute
c
lo
s
ure
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdool
a
e
g
e
isl_map
_
coalesce: allow wrapping i
n
sets th
a
t stick
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven
V
e
rdoolaege
isl_map
_
coalesc
e
:
allowing cutting e
q
ualities in
adjacent
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaeg
e
add some mor
e
coalesc
i
ng test
c
ases
commit
|
commitdiff
|
tree
2010-04-23
Sven
Verdoolaege
i
s
l_basic_m
a
p_gis
t
:
b
e more aggressive in re
m
oving
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sve
n
Verdoolaege
isl_
s
t
ream:
a
ccept stri
n
g tokens
commit
|
commitdiff
|
tree
2010-04-23
Sv
e
n
Verdoolaege
isl_tab
_
rollback: resto
r
e row
s
t
hat are no
longer marked
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
doc
:
docu
m
ent sim
p
l
e hu
l
l
commit
|
commitdiff
|
tree
2010-04-21
Sven Ve
r
doolaege
doc: emphasize
t
hat we ar
e
dealing wit
h
i
n
teger set
s
commit
|
commitdiff
|
tree
2010-04-21
Sven Ver
d
o
o
laeg
e
isl_
t
ransit
i
ve_closure
.
c: path_along_delta: only avoid
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven V
e
rdoolaege
i
sl_map_transitiv
e
_c
l
osure
:
c
ompute divs of input
commit
|
commitdiff
|
tree
2010-04-21
Sve
n
Verdoola
e
ge
isl_map_
c
omput
e
_divs:
m
ake sure result
is
gaussed and
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
isl
_
pr
i
nt
e
r_print_
p
w_qpolynomi
a
l
:
prop
e
r
ly
p
ri
n
t con
s
traints
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven
V
erdool
a
eg
e
i
s
l_pip and i
s
l_
c
at: terminate
i
sl
_
arg array with ISL_ARG_END
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdo
o
laeg
e
doc: document setti
n
g and getting of dime
n
s
ion nam
e
s
commit
|
commitdiff
|
tree
2010-04-19
Sve
n
V
erdoo
l
aege
do
c
: document *_get_dim functio
n
s
commit
|
commitdiff
|
tree
2010-04-19
Sv
e
n Verdoolaege
isl_map
_
conve
x
_hull: handle non full-dimen
s
io
n
al
pairs
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sv
e
n Verdoolaeg
e
isl_conve
x
_hull
.
c
: mod
u
lo_affine_
h
ull
:
drop r
e
dundant
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdo
o
laege
isl_
c
o
n
v
ex_hull
.
c
:
convex
_
hull
_
pair: ski
p
direction
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sven Verdoolaege
isl_printer_print_b
a
sic_set:
f
ix up printi
n
g t
o
s
t
ring
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
S
v
en Ve
r
d
o
o
la
e
g
e
add isl
_
set_neg a
n
d is
l
_s
e
t_
s
um
commit
|
commitdiff
|
tree
2010-04-16
Sv
e
n Ve
r
doo
l
aege
i
s
l_transitive_closure
.
c:
f
ix documentation of c
o
nstruct_co
m
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven
Verdoolaege
isl_
m
a
p
_
coalesce:
m
ake sure res
u
l
t
still conta
i
ns s
e
t
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolaege
isl_map_transi
t
ive_closure: Floyd-Warshall: prope
r
ly
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven
V
er
d
oolaege
isl_map_transitive_closure: use Floyd-Warsh
a
l
l
on disjoint
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verd
o
olaege
isl_transitive_c
l
osure
.
c: e
x
tract
out isl_set_ove
r
laps
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolaege
isl_map_
t
rans
i
t
ive_c
l
osure: proje
c
t out length on
e
ach
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolaege
isl_trans
i
tiv
e
_closure
.
c: construct_component: don
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven
V
erdoolaeg
e
is
l
_map_transitive_cl
o
s
ure: don't add length parameter
commit
|
commitdiff
|
tree
2010-04-15
S
v
en Ve
r
doolaege
doc
:
fix typos
commit
|
commitdiff
|
tree
2010-04-13
Sven Ve
r
d
o
olaege
is
l
_se
t
_gist: make c
o
nte
x
t argument an isl_set for
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoolaege
isl_map_transiti
v
e_clo
s
ure: coalesce input map
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoolaege
i
s
l_trans
i
tive_closur
e
.
c:
c
o
n
struct_componen
t
: always
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven
V
erdoolaeg
e
doc: cite Omega libr
a
ry document
a
tion on
c
o
mp
u
tat
i
on
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven
V
erdool
a
ege
add isl_strea
m
_
r
ead
_
map
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoo
l
aege
i
s
l
_
ar
g
.
h:
a
dd missin
g
include
commit
|
commitdiff
|
tree
2010-04-11
Sv
e
n Ver
d
o
olaege
isl_basic_map
_
move_
d
ims: norma
l
i
ze
e
quali
t
ies
commit
|
commitdiff
|
tree
2010-04-11
Sve
n
Verdoolaege
rename isl_map
_
mo
v
e to isl_map_move_dims
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdool
a
ege
i
s
l_
o
ptions_parse:
o
nly parse
k
n
own op
t
ion
s
by default
commit
|
commitdiff
|
tree
2010-04-10
S
ve
n
Verdoolaege
isl_map_
c
l
osure: option
a
l
l
y
use Omega-lik
e
a
l
gorithm
commit
|
commitdiff
|
tree
2010-04-10
S
v
en Verd
o
ol
a
ege
i
s
l_closure: take
options
commit
|
commitdiff
|
tree
2010-04-10
Sven
V
erdoolaege
isl_map_af
f
i
ne_
h
ull: handle non-
o
bviously empty
i
n
p
u
t
commit
|
commitdiff
|
tree
2010-04-10
Sven Verd
o
olae
g
e
isl_map_compute_divs: handle non
-
obviously empty
input
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdo
o
laege
isl_bas
i
c_set_preima
g
e:
add extra
sanity check
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaege
isl_bas
i
c_map_set_to_em
p
t
y: add missi
n
g
as
s
ignment
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaeg
e
i
s
l
_equalities
.
c
:
isl_
m
at_variabl
e
_co
m
pr
e
ssion: clarify
.
.
.
commit
|
commitdiff
|
tree
2010-04-10
Sven
V
e
r
doolaege
isl_sample
.
c: initial_bas
i
s: set n_unbo
u
nded an
d
n_zero
commit
|
commitdiff
|
tree
next