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_basic_set_lift: finalize result
2010-06-03
Sven Verdoolaege
isl_basic_set_lift: finalize result
commit
|
commitdiff
|
tree
2010-06-03
Sven Verd
o
o
l
aege
isl
_
basic_map_move_dims: always finalize result
commit
|
commitdiff
|
tree
2010-06-03
Sve
n
V
erdo
o
laege
isl_ba
s
ic_m
a
p_from_constraint: final
i
ze r
e
s
u
lt
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
isl_ac
c
es
s
_info_compute
_
flow: handle m
a
y accesses
commit
|
commitdiff
|
tree
2010-05-31
Sven
V
erdoola
e
ge
i
sl_acces
s
_
inf
o
_compute_
f
low:
hand
l
e
m
ul
t
i
-
valued sink
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven Verd
o
olaege
rem
o
v
e some
u
nused variables
commit
|
commitdiff
|
tree
2010-05-30
Sven
Verdoolae
g
e
fix some ic
c
warnings
commit
|
commitdiff
|
tree
2010-05-30
S
ven Verdoo
l
aege
rename isl_pw_q
p
olyn
o
mial_m
o
ve
a
nd a
d
d isl_pw_qpol
y
no
m
i
a
l_fo
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven
Verd
o
olaege
isl_c
t
x: k
e
ep
t
ra
c
k of user optio
n
s
commit
|
commitdiff
|
tree
2010-05-30
S
v
e
n
Verdool
a
ege
i
m
p
roved arg
u
ment parsi
n
g
commit
|
commitdiff
|
tree
2010-05-15
Sven Ver
d
oolaeg
e
i
sl_options_pa
r
se: print he
l
p
m
essag
e
commit
|
commitdiff
|
tree
2010-05-14
Sve
n
Verd
o
ola
e
g
e
add isl_bound test
application
commit
|
commitdiff
|
tree
2010-05-14
Sven
V
erdoolaege
add
i
sl_p
w
_qpolynomial_
b
ound_ra
n
ge
commit
|
commitdiff
|
tree
2010-05-13
Sven Ve
r
d
oolaege
a
d
d isl_pw_qpoly
n
omial_f
o
l
d_mo
r
ph
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verd
o
olaeg
e
add rudimentary isl_mor
p
h
commit
|
commitdiff
|
tree
2010-05-13
S
ven
V
erdoo
l
aege
add
isl_seq_set
commit
|
commitdiff
|
tree
2010-05-13
Sven Ve
r
do
o
lae
g
e
isl_equalities
.
c: fix typo
i
n
comment
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verdool
a
ege
add isl_mat_insert_r
o
ws
commit
|
commitdiff
|
tree
2010-05-13
Sven Ve
r
doo
l
aege
ad
d
isl_mat_normalize
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verdoolae
g
e
add
i
s
l_mat_diagonal
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
isl_mat_
l
in_to_af
f
:
f
ix error
handling
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Verdoolae
g
e
i
sl_qpolyno
m
ial_o
p
t_on_dom
a
i
n
: han
d
le emp
t
y input
commit
|
commitdiff
|
tree
2010-05-13
Sven Ve
r
doolaege
isl_name
_
a
ll
o
c: fix error han
d
lin
g
commit
|
commitdiff
|
tree
2010-05-13
Sven Ve
r
doolaege
add isl_dim
_
offset
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
isl_equalities
.
c: fix typos in comment
s
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdo
o
laege
a
dd isl_p
w
_qpolyn
o
mial_fold_cover
s
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verdoolaege
add isl_
q
polynomial
_
le_
c
s
t
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
priv
a
tely e
x
port isl_set_i
s
_bo
u
nded
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
rdool
a
e
ge
add i
s
l_set_
c
ount_upto
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
erdoolaege
add isl_set_scan
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Verdoolaege
add isl_s
t
r
e
am_read_p
w
_qpolynomi
a
l
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Verdoolaege
add
isl_
q
polyno
m
ial_from_term
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verdoolaeg
e
ad
d
isl_qpolynomia
l
_
f
r
om_constr
a
int
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
a
d
d is
l
_
ba
s
ic_se
t
_foreach_bo
u
nd_pair
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_q
p
olyno
m
ia
l
_as_poly
n
o
mia
l
_on_domain
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_qpolyno
m
ia
l
_
substitute
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
ad
d
isl_basic_set_
d
ims_ge
t
_sign
commit
|
commitdiff
|
tree
2010-05-04
S
ven
V
erd
o
o
laege
isl_ctx:
a
dd
zero
commit
|
commitdiff
|
tree
2010-05-04
Sven
V
e
rdoolae
g
e
a
dd
isl_qpolynomial
_
n
eginfty
commit
|
commitdiff
|
tree
2010-05-04
Sven
V
erdoolaege
ad
d
isl_b
a
sic_se
t
_drop
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdo
o
la
e
ge
isl_qpoly
n
omial_fold_
o
pt_on
_
domain: fix ty
p
o
commit
|
commitdiff
|
tree
2010-05-04
Sven Verd
o
olaege
is
l
_pw_*_eval:
f
ix handling
o
f
e
m
p
t
y input
commit
|
commitdiff
|
tree
2010-05-04
S
ven Verdoola
e
ge
add isl
_
basic
_
set_mov
e
_
dims
commit
|
commitdiff
|
tree
2010-05-04
S
v
en Verdool
a
eg
e
export isl_qpolyno
m
i
a
l_
s
ub
commit
|
commitdiff
|
tree
2010-05-04
Sv
e
n
V
erdoolaeg
e
add isl_qpolynom
i
al_get_dim
commit
|
commitdiff
|
tree
2010-05-04
Sven
V
erdoolaege
is
l
_map_transitive_closur
e
: c
o
alesce i
n
put before checking
.
.
.
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
add map_lex
_
*
_first
commit
|
commitdiff
|
tree
2010-05-01
Sv
e
n Verd
o
ol
a
ege
isl_map_lex_le: use one
b
asic
s
e
t
less in resu
l
t
commit
|
commitdiff
|
tree
2010-05-01
Sven
Verdoolaege
i
sl_str
e
am: accept lexic
o
graphic op
e
rat
o
rs
commit
|
commitdiff
|
tree
2010-04-28
S
v
en Ve
r
doo
l
aege
isl_map_
t
r
a
nsiti
v
e_closure
:
check if inp
u
t is
c
lo
s
ed
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sv
e
n
V
erdoolaege
add
isl_pri
n
ter_f
l
ush
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
isl_map_read:
p
arse parametric
Omega input
commit
|
commitdiff
|
tree
2010-04-28
Sven
Verdoolae
g
e
isl_map_read: fi
x
ty
p
o
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
i
sl_con
v
ex_
h
ull
.
c: is_
b
ound: an
y
inequality is a bound
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sve
n
Verdoolaege
isl_convex_hull
.
c
:
a
d
d_bounds: propagate er
r
ors
f
rom
.
.
.
commit
|
commitdiff
|
tree
2010-04-25
Sve
n
Verdoolaege
do
c
um
e
n
t
isl_map
_
reverse
commit
|
commitdiff
|
tree
2010-04-24
Sve
n
V
er
d
o
o
l
a
eg
e
isl_stream_ne
x
t_token: termin
a
te string to
k
ens
commit
|
commitdiff
|
tree
2010-04-23
S
v
en Verd
o
o
laeg
e
isl_
m
ap
_
tran
s
itive_closure: treat e
q
uality
as pair
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven V
e
rdoolaege
isl_map_transitive_c
l
o
s
u
r
e, omega-like
:
o
n
ly use
?
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven V
e
r
d
oo
l
aege
isl_map_
t
r
ansitive_closure: use simple h
u
ll
i
n om
e
ga
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sv
e
n Verdoo
l
aege
isl_map_tra
n
si
t
iv
e
_
c
l
osure: try and compute
closure
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
S
v
en Verdoolaege
is
l
_map_coales
c
e: allow wrapp
i
ng in sets that stick
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
S
ve
n
Verdoolaege
isl_map_
c
oalesce
:
allowing cutting eq
u
a
l
ities in ad
j
acen
t
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolae
g
e
add some mor
e
coalescin
g
test ca
s
es
commit
|
commitdiff
|
tree
2010-04-23
S
ven Verdoolaege
isl_basic
_
map
_
gist: b
e
more
a
ggressive in re
m
oving
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sv
e
n Verdoo
l
aege
isl_s
t
ream: acc
e
pt string
t
okens
commit
|
commitdiff
|
tree
2010-04-23
Sven Ve
r
doolaege
isl_tab_ro
l
lbac
k
: restor
e
rows that are
no longer marked
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
doc:
document sim
p
l
e
hul
l
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
doc: emphasi
z
e that w
e
are dea
l
ing with integer sets
commit
|
commitdiff
|
tree
2010-04-21
S
v
e
n
Verdoolaege
isl_transi
t
i
ve_closure
.
c: path_along_delta: only avo
i
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven
Verdool
a
e
ge
isl_map_transitive_cl
o
sure
:
compu
t
e d
i
vs of inp
u
t
commit
|
commitdiff
|
tree
2010-04-21
S
v
en Ve
r
doo
l
aege
isl_map_c
o
mpute_di
v
s:
m
a
ke s
u
re res
u
lt is gaus
s
e
d
a
nd
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven
Ve
r
d
o
olaege
i
s
l_printe
r
_p
r
int_pw_qpolynomi
a
l: proper
l
y print constraints
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdool
a
ege
isl_pi
p
and
isl_ca
t
: te
r
mina
t
e isl_arg array
with IS
L
_A
R
G
_
END
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoola
e
g
e
doc: document s
e
t
t
i
ng and
getting of di
m
ension name
s
commit
|
commitdiff
|
tree
2010-04-19
Sv
e
n
Verdoola
e
ge
doc: docu
m
e
nt *_get_
d
im
funct
i
ons
commit
|
commitdiff
|
tree
2010-04-19
Sven Ve
r
doolaege
isl_map_convex
_
h
u
l
l: hand
l
e non full-d
i
mensional pairs
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
S
ven Verdoolaege
i
s
l
_
conve
x
_hull
.
c: modulo_affine_
h
ull: drop r
e
dundant
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
S
ven V
e
rdool
a
ege
isl_co
n
vex_hull
.
c: convex_hull_pair:
s
kip direction
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sven Verdoolaege
isl_printer_print_basic_
s
e
t:
f
ix
up p
r
int
i
ng to strin
g
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
S
ven Verdoolaege
a
dd
i
sl_set_ne
g
and isl_set_sum
commit
|
commitdiff
|
tree
2010-04-16
Sven Verdoolaege
isl
_
tr
a
nsit
i
v
e_closure
.
c: fix documentation of constru
c
t_com
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven V
e
rd
o
olaege
isl_map_coa
l
es
c
e:
m
a
ke sure res
u
lt st
i
ll contains se
t
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
S
ven Verdool
a
ege
isl_map_transitive_clo
s
u
r
e: Floyd-Warshal
l
: proper
l
y
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sve
n
Verdoo
l
aege
i
s
l_map_t
r
a
n
siti
v
e_closure: us
e
Fl
o
y
d
-W
a
rs
h
all on di
s
j
o
int
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven
V
er
d
oola
e
ge
isl
_
t
r
a
nsitiv
e
_closure
.
c
:
extra
c
t ou
t
isl_set_overlaps
commit
|
commitdiff
|
tree
2010-04-15
S
ven Verdo
o
laege
i
s
l_map_t
r
ansi
t
iv
e
_
c
l
o
sure: project out
length
on
e
a
ch
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
S
ven Verdoolaege
isl_transi
t
ive_c
l
osure
.
c:
c
o
n
str
u
c
t
_
c
omponent: don
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoola
e
ge
isl_map_transitive_closure:
don't
a
dd length
p
arameter
commit
|
commitdiff
|
tree
2010-04-15
Sven V
e
rdool
a
eg
e
doc: fix typos
commit
|
commitdiff
|
tree
2010-04-13
S
ven Verdoolae
g
e
i
sl_set_gi
s
t
: mak
e
contex
t
argument an i
s
l
_set
f
or
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoolaege
i
s
l_map
_
tr
a
nsitive_closure
:
c
oalesc
e
in
p
ut m
a
p
commit
|
commitdiff
|
tree
2010-04-13
Sven Verd
o
olaeg
e
is
l
_
transitive_closure
.
c
: construct_component: always
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven
V
erd
o
olaege
doc: ci
t
e Omeg
a
library documentation on computat
i
on
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven Ve
r
doolaege
add is
l
_stream_read_map
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoolaeg
e
isl_
a
rg
.
h: add missing includ
e
commit
|
commitdiff
|
tree
2010-04-11
Sven Verdoola
e
ge
isl_basic_map_m
o
ve_dims: normalize equalities
commit
|
commitdiff
|
tree
2010-04-11
S
ven Ver
d
oolaege
renam
e
is
l
_map_m
o
ve to i
s
l_map_move_dims
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaege
isl_options_
p
arse: only pars
e
known options by de
f
a
u
l
t
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaege
isl_map_closure: opti
o
na
l
ly
u
se Omega-li
k
e alg
o
rithm
commit
|
commitdiff
|
tree
next