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 isl_qpolynomial_fold_get_type
2010-06-12
Sven Verd
o
olaege
add isl_qpolynomial_fold_get_type
commit
|
commitdiff
|
tree
2010-06-12
S
v
en V
e
rdoolaege
ex
p
ort is
l
_p
w
_
qp
o
lynomial
_
get_ctx
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
add
i
sl_
c
tx_peek_options
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n V
e
rdoolae
g
e
isl_range
.
c: fix typo in
c
o
mment
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verd
o
o
l
aege
expo
r
t is
l
_set_is_bounde
d
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erd
o
olaege
isl_bo
u
n
d
:
p
l
u
g me
m
ory
l
eak
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoola
e
ge
f
ix isl_qpolynom
i
al_fold_dup
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_pw_q
p
olynomial
_
bound_range: fix remov
a
l of dims
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
add bound_test
.
sh to distribution
commit
|
commitdiff
|
tree
2010-06-11
S
v
en Verdoo
l
aege
doc:
d
ocument gist operations
commit
|
commitdiff
|
tree
2010-06-04
S
v
en Verd
o
olaeg
e
doc:
document isl_constraint_is_equa
l
ity
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdoolaeg
e
add isl_map_is_si
n
gle_v
a
lued
commit
|
commitdiff
|
tree
2010-06-04
Sv
e
n Verdoolaege
isl_ba
s
ic_map_foreach_co
n
straint
:
m
a
ke sure i
n
put ha
s
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
Sven
Verdo
o
laege
isl_basic_map_cop
y
: m
a
r
k dupli
c
at
e
d
c
opy a
s
finalized
commit
|
commitdiff
|
tree
2010-06-03
S
ven Verdoolaege
i
s
l
_
basic_se
t
_
l
ift: finalize result
commit
|
commitdiff
|
tree
2010-06-03
Sven Verd
o
olaeg
e
i
sl_
b
a
s
ic_map_move_dim
s
: always finalize resu
l
t
commit
|
commitdiff
|
tree
2010-06-03
Sv
e
n Verdoolaege
isl_ba
s
ic_
m
ap_fro
m
_const
r
aint: fina
l
ize
r
esult
commit
|
commitdiff
|
tree
2010-06-01
Sven V
e
rdoola
e
ge
isl_ac
c
ess_info_compute_flow: handle may a
c
ces
s
es
commit
|
commitdiff
|
tree
2010-05-31
Sv
e
n Ve
r
doolaege
isl_
a
c
cess_info_compute_fl
o
w
: handle multi-va
l
u
e
d sink
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoo
l
aege
r
e
move some unused variable
s
commit
|
commitdiff
|
tree
2010-05-30
Sve
n
Verdoolaege
fix s
o
me icc warning
s
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdool
a
ege
ren
a
me i
s
l_pw_qpolynomi
a
l
_
move and
add i
s
l_pw
_
qpolynomial_
f
o
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdool
a
ege
isl_ctx: k
e
ep
track
of user opt
i
ons
commit
|
commitdiff
|
tree
2010-05-30
Sven
V
erdoolaege
improved argument parsing
commit
|
commitdiff
|
tree
2010-05-15
Sven
Verdoolaege
isl_options_parse: print hel
p
m
essage
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
add is
l
_bound tes
t
a
p
plica
t
ion
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n Ve
r
doolaege
add isl_
p
w_qpo
l
yn
o
mial_bou
n
d_
r
ange
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdo
o
l
a
eg
e
ad
d
isl_pw_qpolynomial_fo
l
d_morph
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Verdoola
e
ge
ad
d
r
u
dimentary is
l
_m
o
rph
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_se
q
_set
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verd
o
o
laege
isl_
e
qualities
.
c: fix
t
ypo in comment
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_
m
at_inser
t
_r
o
ws
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
e
rdool
a
ege
add
isl_mat_n
o
rmali
z
e
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_m
a
t_
d
iago
n
al
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verdool
a
e
ge
isl
_
m
at_lin_t
o
_a
f
f: fix error handling
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
i
s
l_q
p
olyn
o
mi
a
l_o
p
t_on_domain
:
handle em
p
t
y input
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdool
a
ege
isl_name_alloc: f
i
x err
o
r han
d
ling
commit
|
commitdiff
|
tree
2010-05-13
Sven Ve
r
d
o
o
laege
add isl_di
m
_offset
commit
|
commitdiff
|
tree
2010-05-13
Sven Verd
o
olaege
isl_e
q
ualitie
s
.
c: fi
x
ty
p
o
s
in
comments
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
rdoolae
g
e
add isl_
p
w_
q
p
olynomia
l
_
f
o
ld_
c
overs
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
ad
d
isl_q
p
olynomia
l
_le_cst
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verdoolaeg
e
privatel
y
export isl
_
set_is_boun
d
ed
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verdoolaeg
e
a
d
d isl_set_co
u
nt
_
upto
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
rdoola
e
g
e
add isl_set_scan
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
e
r
doolaege
ad
d
isl_stream_re
a
d_
p
w
_
q
p
olynomial
commit
|
commitdiff
|
tree
2010-05-13
Sven Ver
d
oolaege
a
d
d isl_qpolynomial_from_term
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoo
l
aege
add isl_
q
polynomial_fro
m
_constraint
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
erdoolaege
add
i
sl_basic_s
e
t_foreach
_
boun
d
_pair
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
a
d
d isl_qpolyn
o
mial_a
s
_polynomial
_
o
n
_dom
a
in
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
e
r
doolaege
add isl
_
qpolyn
o
m
ial_substitute
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoola
e
ge
add isl_basic_set_dim
s
_
get
_
sig
n
commit
|
commitdiff
|
tree
2010-05-04
Sv
e
n Verd
o
olaege
isl_ctx: add
z
ero
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
a
d
d isl_qpolynomia
l
_neginfty
commit
|
commitdiff
|
tree
2010-05-04
Sv
e
n Verdoolaege
a
dd is
l
_basic_s
e
t_drop
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
isl_qpolynomial_fold_opt_o
n
_domain:
f
i
x
t
y
p
o
commit
|
commitdiff
|
tree
2010-05-04
Sven Ver
d
oolaege
isl_pw_
*
_eval: f
i
x handling o
f
em
p
t
y
i
n
p
u
t
commit
|
commitdiff
|
tree
2010-05-04
Sven Ver
d
o
olae
g
e
add isl_
b
asic_se
t
_mo
v
e_dims
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
e
xport isl_qpolynomi
a
l
_sub
commit
|
commitdiff
|
tree
2010-05-04
Sv
e
n
Verdoo
l
aege
add isl_qpolynomi
a
l_get_dim
commit
|
commitdiff
|
tree
2010-05-04
Sven
V
erdoolaege
isl_
m
ap
_
transitiv
e
_closure: c
o
ales
c
e
in
p
ut before checki
n
g
.
.
.
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
add ma
p
_lex_*_fir
s
t
commit
|
commitdiff
|
tree
2010-05-01
Sve
n
Verdoo
l
aege
isl_m
a
p
_lex_le: use one ba
s
ic set
l
ess in result
commit
|
commitdiff
|
tree
2010-05-01
Sven Verdoolaege
i
s
l_s
t
ream: accept lexicographic operator
s
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
i
s
l_map_
t
r
a
nsi
t
ive_closure: c
h
e
ck i
f
i
n
put is closed
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
add
i
s
l
_
printer_flush
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
isl_map_
r
ead: parse par
a
metric Omeg
a
input
commit
|
commitdiff
|
tree
2010-04-28
S
v
en Verdoolae
g
e
isl_map_read: fix typo
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
isl_convex
_
h
ull
.
c: is_bound
:
any inequalit
y
is a b
o
und
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
isl_convex_hu
l
l
.
c: add_bounds: propagate errors from
.
.
.
commit
|
commitdiff
|
tree
2010-04-25
Sven Verdoolaeg
e
doc
u
ment i
s
l_ma
p
_reverse
commit
|
commitdiff
|
tree
2010-04-24
S
v
e
n Verdoolaege
isl_s
t
r
e
am_ne
x
t_token: termin
a
te
s
tring toke
n
s
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
isl_map_transitive_closure: treat equality as pair
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
i
s
l_map_transitive_closu
r
e
, omega-like: only use ?
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
S
ven Verdo
o
laeg
e
isl
_
map_transitive
_
clo
s
ur
e
: use simple h
u
ll in omega
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sve
n
Verdo
o
laege
isl_map_transitive_clo
s
ure: try and compute closure
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
isl_map_coale
s
ce: allow w
r
a
p
pi
n
g in
s
ets
that stick
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdo
o
l
aege
isl_map_c
o
ale
s
ce: allowing c
u
ttin
g
equa
l
ities in adj
a
cent
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
S
ven Verdoolaege
a
dd some more coalescing test
c
ases
commit
|
commitdiff
|
tree
2010-04-23
S
v
e
n
Verdoolaege
isl_ba
s
ic
_
map_g
i
st: be mor
e
ag
g
ressive in
removin
g
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Ver
d
oola
e
ge
isl_stre
a
m: accept stri
n
g to
k
e
ns
commit
|
commitdiff
|
tree
2010-04-23
Sve
n
Verdoolaege
i
sl_tab_rollback: restore rows that are no lon
g
er marked
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
S
v
e
n Verdoolaege
doc: docume
n
t sim
p
le
h
ull
commit
|
commitdiff
|
tree
2010-04-21
Sven
V
e
r
doolaege
doc:
emphas
i
ze that
we are dealing with integer
sets
commit
|
commitdiff
|
tree
2010-04-21
Sve
n
Ver
d
ool
a
ege
isl_transitive
_
closure
.
c:
path_a
l
ong_delt
a
: only a
v
oid
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
isl_map_transitive_clo
s
ure
:
comp
u
te div
s
of input
commit
|
commitdiff
|
tree
2010-04-21
S
v
en V
e
rdoola
e
ge
i
s
l_m
a
p
_
com
p
ute_
d
i
v
s: make sure result
i
s gaussed
a
nd
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoo
l
aege
i
s
l
_printer_pri
n
t_pw
_
qpolynomial: proper
l
y
p
rint constraints
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven Verd
o
olaege
isl_pip and isl_cat:
t
ermin
a
t
e isl_arg array with ISL_ARG_EN
D
commit
|
commitdiff
|
tree
2010-04-19
S
v
en
Verdoolaeg
e
doc:
do
c
ument setting and getting of dimensio
n
names
commit
|
commitdiff
|
tree
2010-04-19
Sve
n
Verdoolaege
d
o
c
: docume
n
t *_g
e
t_
d
i
m functions
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdo
o
laege
isl
_
map_convex_hull
:
handle non full-
d
imensi
o
nal
pairs
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sv
e
n
V
e
r
doola
e
ge
isl
_
c
o
nvex_hull
.
c: modulo_affin
e
_hull: drop redu
n
dant
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoolae
g
e
isl_conv
e
x_hull
.
c: convex
_
hul
l
_pair: s
k
ip direction
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sven Ve
r
doolaege
isl_
p
r
i
nter_print_basic_set: fix
u
p printing to string
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sve
n
Verdo
o
l
a
ege
add
i
sl_set_neg and isl_set_s
u
m
commit
|
commitdiff
|
tree
2010-04-16
Sven Verdoolaege
isl_transitive_closure
.
c
:
fix documentation of construct_com
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sv
e
n Verdoolaege
is
l
_map_co
a
lesce: make sure result still co
n
t
a
i
ns set
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verd
o
olaege
i
sl_map_tr
a
nsitive_closure
:
F
l
o
y
d-Warshall: properly
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sv
e
n Verdool
a
ege
isl_
m
a
p_tran
s
itive_c
l
osure: use F
l
o
y
d-Warshall on disjoint
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Ve
r
d
o
olaege
i
s
l_tr
a
n
s
itive_closu
r
e
.
c: e
x
t
ract out i
s
l_set_overlaps
commit
|
commitdiff
|
tree
next