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
add bound_test.sh to distribution
2010-06-12
Sven Ver
d
o
olaeg
e
add bound_test
.
s
h
to d
i
stributio
n
commit
|
commitdiff
|
tree
2010-06-11
Sven
V
erdoolaege
d
oc: document gist operations
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdoolaege
doc: document isl
_
c
onstraint_is
_
eq
u
ality
commit
|
commitdiff
|
tree
2010-06-04
Sve
n
V
e
rdoolaege
add isl_map_is
_
sing
l
e_valued
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdoolaege
isl_basic_map
_
fo
r
each_constraint: m
a
ke sure inp
u
t
has
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
Sv
e
n Ver
d
oolaege
i
s
l
_basic_map_copy: mark d
u
p
l
icate
d
copy as finali
z
ed
commit
|
commitdiff
|
tree
2010-06-03
Sven
Verdoolaege
isl_basic_se
t
_li
f
t: finaliz
e
result
commit
|
commitdiff
|
tree
2010-06-03
Sven
Verdoolaege
isl_basic_map_m
o
ve_dim
s
: always
final
i
ze r
e
sult
commit
|
commitdiff
|
tree
2010-06-03
S
ven
V
erdoo
l
a
eg
e
isl_
b
as
i
c
_
m
ap_from
_
co
n
s
traint
:
finalize resul
t
commit
|
commitdiff
|
tree
2010-06-01
Sv
e
n Verdoola
e
ge
isl_access_info_co
m
pute
_
flow: handle may
a
c
c
esses
commit
|
commitdiff
|
tree
2010-05-31
Sven Verdoolaege
isl_
a
ccess_info
_
c
ompute_flow: hand
l
e
m
ulti-valued
s
ink
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoolaege
remove
some unused
v
ar
i
ables
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoolaege
rename
i
sl_pw_qpolynomial_move and add isl_pw_qpolynom
i
al_f
o
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven Ve
r
doo
l
aege
is
l
_
ctx: keep track of u
s
er options
commit
|
commitdiff
|
tree
2010-05-30
Sven
V
e
r
d
ool
a
ege
improve
d
argument parsing
commit
|
commitdiff
|
tree
2010-05-15
Sven V
e
rdoolae
g
e
isl_options_parse: print help message
commit
|
commitdiff
|
tree
2010-05-14
Sve
n
Verdoolaege
add isl_boun
d
te
s
t appli
c
a
t
ion
commit
|
commitdiff
|
tree
2010-05-14
Sven
V
erdoolaege
add isl_pw_qpolynom
i
a
l
_bou
n
d_range
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add is
l
_
pw_qpoly
n
omia
l
_fold_morph
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
erd
o
olaege
add rudimentary isl
_
m
o
rph
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Ver
d
oolaege
add isl_seq_set
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdool
a
ege
i
sl
_
e
qu
a
l
i
tie
s
.
c:
fix
typo i
n
comment
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verdoolaege
add isl_mat_ins
e
rt_rows
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n
Verdoolaege
a
d
d isl_mat_normalize
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verd
o
ol
a
eg
e
add isl
_
m
a
t_diagonal
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaeg
e
isl
_
mat_lin_to_a
f
f: fix error handlin
g
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
i
sl
_
qpoly
n
omial_opt_on_domain:
han
d
l
e
empty inp
u
t
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Verdool
a
e
ge
isl_name_alloc: fix e
r
r
o
r handling
commit
|
commitdiff
|
tree
2010-05-13
S
v
en
V
erdo
o
laege
add isl_dim_o
f
f
s
et
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verdoolaege
isl_equaliti
e
s
.
c:
f
ix typ
o
s in com
m
e
n
ts
commit
|
commitdiff
|
tree
2010-05-13
Sven Ver
d
oo
l
a
e
g
e
a
d
d is
l
_pw_q
p
o
l
ynomial_fold_covers
commit
|
commitdiff
|
tree
2010-05-13
Sven Verd
o
ola
e
ge
add
i
sl_qpolynomial_le_cst
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n
Verdoolaege
privately export isl_set_is_bounded
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaeg
e
add isl_set_count
_
u
pto
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add i
s
l_set
_
scan
commit
|
commitdiff
|
tree
2010-05-13
Sven Verd
o
olaege
add isl_
s
tream
_
read_pw_q
p
olynomial
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolae
g
e
add isl_qpolynomial_from_term
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
a
d
d
i
sl_qpolynomi
a
l_from_
c
onstr
a
i
n
t
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdo
o
l
a
ege
add isl_basi
c
_set
_
foreach_bound_p
a
i
r
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verdoolaege
add isl_qpolynomial_as_p
o
lynomial_on_domain
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
ad
d
i
sl_qpolynomi
a
l
_substitut
e
commit
|
commitdiff
|
tree
2010-05-13
Sven Verd
o
o
laege
add isl_b
a
sic_set_d
i
ms
_
get_sign
commit
|
commitdiff
|
tree
2010-05-04
Sven V
e
r
doolaege
isl_ctx: a
d
d zero
commit
|
commitdiff
|
tree
2010-05-04
S
v
en V
e
rdoolaege
add isl_qpoly
n
omial_ne
g
infty
commit
|
commitdiff
|
tree
2010-05-04
Sven
V
erdoolaege
add isl_
b
as
i
c_
s
et_
d
r
o
p
commit
|
commitdiff
|
tree
2010-05-04
Sven
Verdoolaege
isl
_
qpolynomial_fold_opt_on_doma
i
n
:
fix typo
commit
|
commitdiff
|
tree
2010-05-04
S
v
en Verdoolaeg
e
isl_pw_
*
_
eval:
f
ix handling of
empty i
n
put
commit
|
commitdiff
|
tree
2010-05-04
Sve
n
Verdo
o
lae
g
e
add isl_b
a
sic_s
e
t_move
_
dims
commit
|
commitdiff
|
tree
2010-05-04
S
ven Verdoolaege
expo
r
t isl_q
p
olynomial_su
b
commit
|
commitdiff
|
tree
2010-05-04
Sv
e
n
Verdoolaege
add isl_qpolynomial_ge
t
_
di
m
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdo
o
l
a
ege
isl_m
a
p
_
transit
i
ve
_
closure:
c
oalesce input before c
h
ec
k
ing
.
.
.
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdo
o
laege
add
m
ap_lex_*_f
i
rst
commit
|
commitdiff
|
tree
2010-05-01
Sven Verdoolaege
isl_map
_
lex_le:
use one
b
as
i
c
set less in result
commit
|
commitdiff
|
tree
2010-05-01
Sven Verdool
a
ege
isl_stream: a
c
cept
lex
i
cogra
p
hic operators
commit
|
commitdiff
|
tree
2010-04-28
Sven
Verdool
a
ege
isl_map_transitive_closure: che
c
k if input is
c
l
o
sed
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
add isl_p
r
i
nte
r
_flush
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoola
e
ge
i
sl_map_read: p
a
rse
p
a
r
ametric O
m
ega inpu
t
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
is
l
_map_r
e
a
d: fix typo
commit
|
commitdiff
|
tree
2010-04-28
Sven Ver
d
o
o
laege
isl
_
co
n
vex_hul
l
.
c: is_bound: a
n
y inequality
i
s a bound
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sv
e
n Verdoolaege
isl_convex_hull
.
c:
add_bounds: propagate errors from
.
.
.
commit
|
commitdiff
|
tree
2010-04-25
Sven Verdoolaege
do
c
ument isl_map_reverse
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoolaege
isl_stre
a
m
_
next_to
k
en: terminate
s
tring
t
okens
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoo
l
aege
isl_ma
p
_t
r
ansitive
_
closure: treat equality as pair
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Ve
r
do
o
lae
g
e
i
sl_
m
ap
_
transitive_closure,
o
m
ega-like:
o
nl
y
u
s
e ?
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoo
l
aeg
e
i
sl_map_transit
i
ve_closure: us
e
s
i
mple hu
l
l
i
n
omega
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
S
ven Ver
d
o
olae
g
e
is
l
_
map_transitive
_
c
l
osu
r
e
:
try and c
o
mp
u
te clo
s
u
re
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdool
a
ege
isl
_
map
_
coale
s
c
e
: allow
wr
a
pping i
n
sets that stick
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
isl_map
_
co
a
lesce: allowing cutting equal
i
t
ie
s
in
a
djacen
t
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven
V
erdoolaege
add some mo
r
e c
o
a
l
escing test cases
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoo
l
aeg
e
isl
_
basic_map_
g
ist: be
m
o
r
e aggressive in
r
emoving
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sve
n
V
e
r
doola
e
ge
isl_stream: accept string t
o
ken
s
commit
|
commitdiff
|
tree
2010-04-23
Sven V
e
rdo
o
laege
isl_tab
_
r
o
l
l
b
ack:
r
e
store
r
ows t
h
a
t
are
no lon
g
e
r
marked
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
S
v
en Verdoo
l
aege
do
c
: document
s
imple h
u
ll
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoo
l
a
e
ge
do
c
: e
m
phasize that we
a
re d
e
aling with in
t
eger
sets
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
i
s
l_
t
ransitiv
e
_closure
.
c
:
path_along_delta: o
n
ly avoid
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven
Verdoo
l
aege
isl_map_
t
ransit
i
ve_clo
s
ure: compute divs of input
commit
|
commitdiff
|
tree
2010-04-21
S
ven Verdoolaege
isl_map_c
o
mpu
t
e_divs: make sure
result
i
s gaussed an
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
is
l
_prin
t
er_p
r
in
t
_
pw_qpoly
n
omial: pro
p
erly print cons
t
rain
t
s
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoo
l
aeg
e
isl
_
pip an
d
isl_cat: termina
t
e isl_arg
a
rray with IS
L
_ARG_EN
D
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoolaeg
e
doc:
d
o
cume
n
t sett
i
ng and
g
etting of
d
imension
nam
e
s
commit
|
commitdiff
|
tree
2010-04-19
Sven V
e
r
doolaege
doc: d
o
cument
*
_
get_dim functi
o
ns
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoolaege
isl_map_convex_hull: h
a
n
d
le non fu
l
l-dimensio
n
al pairs
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
S
ven V
e
rdoo
l
aeg
e
isl_convex_
h
ull
.
c: m
o
dulo_affine_hull: drop
r
e
dund
a
nt
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoola
e
ge
isl_convex_hull
.
c
:
convex_hull_pair: sk
i
p dir
e
ction
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
S
v
en Verdoolaege
isl_printer_print_basic
_
set: fix up printing to s
t
ring
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sven Verdoo
l
aege
a
dd
i
s
l_set_neg
a
n
d i
s
l
_
set_sum
commit
|
commitdiff
|
tree
2010-04-16
S
v
en Verdo
o
laege
is
l
_
t
rans
i
tive
_
closure
.
c:
fix documentat
i
on of c
o
nstr
u
ct_
c
om
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Ver
d
o
o
la
e
ge
i
sl_map_c
o
alesce: mak
e
s
u
re result s
t
ill
contai
n
s
s
et
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sv
e
n Ver
d
oolaege
isl_map_tran
s
itive_clo
s
ure
:
Floyd-
W
arshal
l
: pro
p
erly
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolaege
i
s
l_map
_
tran
s
itiv
e
_
c
l
osure: use Floyd-
W
arshall o
n
di
s
joi
n
t
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven V
e
r
d
ool
a
ege
isl_transi
t
ive_closure
.
c: ext
r
act
o
ut isl_set_overlaps
commit
|
commitdiff
|
tree
2010-04-15
Sven Ver
d
oola
e
ge
i
s
l
_map_
t
r
a
nsitive
_
closure: p
r
oject
out length on
e
ach
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolae
g
e
isl_transitive_
c
losure
.
c: construct_compon
e
nt: don
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Ver
d
oolaege
isl_
m
a
p
_trans
i
tive_closure: don
'
t a
d
d le
n
gt
h
parameter
commit
|
commitdiff
|
tree
2010-04-15
S
v
e
n Verdoo
l
aege
doc:
fix typos
commit
|
commitdiff
|
tree
2010-04-13
Sven V
e
r
d
oolae
g
e
isl_set_gist: mak
e
co
n
text argument an isl_set for
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven Ver
d
oo
l
aege
isl_
m
ap_tr
a
nsitive_closure: coale
s
ce inp
u
t
m
a
p
commit
|
commitdiff
|
tree
2010-04-13
Sven
Verdool
a
ege
i
s
l_transitive_closure
.
c: co
n
str
u
ct_component: always
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
S
v
e
n
Verdo
o
laege
doc: cit
e
O
m
ega l
i
brary d
o
cu
m
enta
t
ion on computation
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoo
l
aege
a
d
d
isl_stream_
r
e
ad_ma
p
commit
|
commitdiff
|
tree
next