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
doc: document gist operations
2010-06-11
Sven
Verdoolaege
doc: document
g
i
s
t
operat
i
o
ns
commit
|
commitdiff
|
tree
2010-06-04
Sve
n
Verdool
a
ege
do
c
: docu
m
en
t
i
s
l
_
c
o
nstr
a
int_is_equali
t
y
commit
|
commitdiff
|
tree
2010-06-04
Sven V
e
rdoolaege
add i
s
l_map
_
is_single_valu
e
d
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdoolaege
isl_basic
_
map_foreach_constraint: mak
e
sure input
has
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
Sven
V
e
rdool
a
ege
isl_basic_map_c
o
py: mark duplicated co
p
y a
s
finalized
commit
|
commitdiff
|
tree
2010-06-03
Sve
n
Verdool
a
ege
i
s
l
_
bas
i
c_set_lift: fin
a
lize result
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdool
a
e
g
e
isl_bas
i
c_map_mov
e
_
d
ims: always
f
i
nalize result
commit
|
commitdiff
|
tree
2010-06-03
Sven Verd
o
olaege
isl_
b
a
s
ic
_
m
a
p_from_
c
onstraint: f
i
na
l
ize r
e
s
ult
commit
|
commitdiff
|
tree
2010-06-01
S
v
e
n Verdoolaeg
e
i
sl_acce
s
s_info
_
comput
e
_
f
low: handle ma
y
a
c
cesse
s
commit
|
commitdiff
|
tree
2010-05-31
Sv
e
n Verdoolaege
isl_acces
s
_inf
o
_compute_flow:
h
andle multi-valued
sink
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdo
o
laege
remove some unused variables
commit
|
commitdiff
|
tree
2010-05-30
Sven
V
erdoolaege
f
i
x some icc warnings
commit
|
commitdiff
|
tree
2010-05-30
Sven
V
erdo
o
laege
re
n
ame i
s
l_pw_qpolyno
m
i
a
l
_mo
v
e
a
nd add isl_pw_qpolynomial_fo
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sve
n
Verdoolaege
isl
_
c
t
x: k
e
ep track of user
options
commit
|
commitdiff
|
tree
2010-05-30
Sven Verd
o
olaege
improved a
r
gument p
a
rsing
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoola
e
ge
i
s
l
_options_parse: print he
l
p me
s
sage
commit
|
commitdiff
|
tree
2010-05-14
Sven
Verdoolaege
a
dd isl_bound tes
t
app
l
ica
t
ion
commit
|
commitdiff
|
tree
2010-05-14
S
v
e
n Verdoolaeg
e
a
d
d
isl_p
w
_qpolynom
i
al_bound_r
a
ng
e
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verd
o
olaeg
e
add
isl_pw_q
p
olynomial_fold
_
m
o
rph
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Verdoolaege
add rudimentary isl_mo
r
ph
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoo
l
a
e
ge
add isl_seq_set
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
erdoolae
g
e
isl_equalities
.
c
: fix typo in comment
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verdoola
e
ge
a
d
d isl_mat_insert_rows
commit
|
commitdiff
|
tree
2010-05-13
S
ven V
e
rd
o
olaeg
e
add i
s
l_
m
a
t
_normalize
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
e
rdo
o
laege
add isl
_
mat_dia
g
onal
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
isl_ma
t
_lin_to_af
f
:
fix
error han
d
ling
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
isl_qpolynomial_o
p
t
_
on_do
m
ain: handle
e
mpt
y
i
nput
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaeg
e
i
sl_name
_
alloc
:
fix error
h
andl
i
ng
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_di
m
_of
f
set
commit
|
commitdiff
|
tree
2010-05-13
S
v
en
Verdo
o
lae
g
e
isl
_
equalities
.
c:
f
ix ty
p
os
in co
m
ments
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verdoolaege
add isl_pw_qpolynomial_
f
old_c
o
ver
s
commit
|
commitdiff
|
tree
2010-05-13
Sven Ver
d
oolaege
add isl_qpolyno
m
ial_le_cst
commit
|
commitdiff
|
tree
2010-05-13
Sven Ver
d
oolaege
pri
v
ately
expor
t
is
l
_
s
et_is_bounded
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n
V
erdo
o
laege
a
dd isl_set_cou
n
t
_
u
pto
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Verdool
a
ege
add is
l
_set_scan
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Verdoolaege
add isl_stream_rea
d
_
pw_qp
o
l
y
n
o
mial
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
a
d
d
isl_qpolynomial_from_
t
erm
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verdoolaege
add isl_qpolynomial_from_constraint
commit
|
commitdiff
|
tree
2010-05-13
Sven
Ver
d
oolaege
ad
d
isl_basic_
s
et
_
foreac
h
_
b
o
und
_
pair
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Verdoo
l
aege
add is
l
_qpo
l
y
n
omial
_
as_pol
y
n
o
mi
a
l_on_domain
commit
|
commitdiff
|
tree
2010-05-13
S
v
e
n V
e
rdoolaege
add is
l
_q
p
olynomial_substitu
t
e
commit
|
commitdiff
|
tree
2010-05-13
S
v
en V
e
rdoolae
g
e
add isl_basic_
s
et_
d
ims_get_s
i
gn
commit
|
commitdiff
|
tree
2010-05-04
S
v
e
n
V
erdoolae
g
e
isl_ctx: add zero
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
add
isl_qpolynomial_neginf
t
y
commit
|
commitdiff
|
tree
2010-05-04
S
v
en Verdo
o
l
a
ege
add isl_
b
asic_s
e
t_d
r
op
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoo
l
aege
isl_qp
o
lynomia
l
_fold_op
t
_o
n
_domain:
f
ix
t
ypo
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
isl_pw_
*
_ev
a
l
: fix handling of
e
mpty
i
n
put
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolae
g
e
add isl_b
a
sic_
s
et_move_dim
s
commit
|
commitdiff
|
tree
2010-05-04
Sven Verd
o
ol
a
ege
export isl_q
p
olyn
o
m
ial_sub
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
ad
d
isl_qpolynomial_get_dim
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdo
o
lae
g
e
isl_map_transi
t
i
v
e_clo
s
ure:
coales
c
e input befo
r
e
c
hec
k
i
ng
.
.
.
commit
|
commitdiff
|
tree
2010-05-04
Sve
n
Verdoolaege
add map_lex_*_first
commit
|
commitdiff
|
tree
2010-05-01
Sven Ver
d
o
o
laeg
e
isl_map_
l
ex_le
:
use one
b
a
s
i
c
set less i
n
result
commit
|
commitdiff
|
tree
2010-05-01
S
ven Verdoolaege
isl_s
t
ream: ac
c
ept le
x
icographic ope
r
ators
commit
|
commitdiff
|
tree
2010-04-28
S
v
en Verdoolaeg
e
isl_map_transitive_cl
o
sure
:
chec
k
if input is closed
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
ad
d
isl_prin
t
er_flush
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaeg
e
isl
_
m
ap_read: parse para
m
et
r
ic Omega in
p
ut
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
isl_map_
r
ead: fix
t
ypo
commit
|
commitdiff
|
tree
2010-04-28
Sven V
e
r
doolaege
isl
_
convex_hul
l
.
c: is_bound:
any in
e
q
ualit
y
is a bound
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sve
n
Verdoolaege
isl_con
v
ex_hull
.
c: add_bou
n
ds: propagate errors from
.
.
.
commit
|
commitdiff
|
tree
2010-04-25
Sven
V
erdoolaeg
e
document isl_map_reverse
commit
|
commitdiff
|
tree
2010-04-24
S
v
en Verdoolaege
isl_stream_
n
ext_token: term
i
n
ate
s
tring to
k
ens
commit
|
commitdiff
|
tree
2010-04-23
Sv
e
n Verdoolaege
isl_map_transit
i
ve_closu
r
e: treat equality
a
s pair
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
isl_map_transitive
_
clo
s
ure, ome
g
a-like: only use ?
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
S
v
en
Verdoolaege
is
l
_map_transitive_closure: use simple hull in
o
mega
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven V
e
r
d
o
o
l
aege
isl_map_transitive_cl
o
s
ure: try and
c
ompute closure
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven
V
erdoolaege
i
s
l
_
m
ap_c
o
al
e
s
c
e: allow wr
a
pping in set
s
that
stick
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sve
n
V
erdoolaege
isl_map_coalesce: allowing c
u
tting e
q
ualities in adjacent
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Ve
r
d
oolaege
ad
d
some m
o
re co
a
les
c
i
n
g test c
a
ses
commit
|
commitdiff
|
tree
2010-04-23
S
v
en
V
er
d
oola
e
ge
isl_ba
s
i
c
_map_g
i
s
t: b
e
m
ore agg
r
essive in removin
g
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoo
l
aege
isl_stream:
accept string to
k
ens
commit
|
commitdiff
|
tree
2010-04-23
S
v
e
n Verdoolaege
i
sl_tab_rol
l
b
a
c
k
:
restore
r
ow
s
t
hat are n
o
longer marked
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
doc:
d
ocument simple hull
commit
|
commitdiff
|
tree
2010-04-21
Sven
Verdo
o
la
e
ge
doc: emphasize
t
hat w
e
are dealing w
i
th integer se
t
s
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
i
s
l_tran
s
itive_
c
losure
.
c: path_a
l
o
ng_delta: o
n
ly a
v
oid
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sv
e
n Verdoo
l
a
ege
isl_map_transit
i
v
e_closur
e
: com
p
ut
e
divs of input
commit
|
commitdiff
|
tree
2010-04-21
Sve
n
Ver
d
oolaege
isl_map_compute_divs: ma
k
e sure r
e
sult is
g
ausse
d
and
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven
V
erd
o
olae
g
e
isl
_
printer_print_pw_qp
o
lynomial: properly
print constraints
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoolaege
i
sl_pip a
n
d isl_cat: ter
m
inate
i
sl_arg
a
rr
a
y with ISL_ARG_
E
N
D
commit
|
commitdiff
|
tree
2010-04-19
Sv
e
n Verdoolaege
d
o
c: document
setting and get
t
ing of d
i
men
s
i
on
names
commit
|
commitdiff
|
tree
2010-04-19
Sve
n
Verd
o
o
laege
d
o
c:
doc
u
ment *_get_dim functions
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoolaege
isl
_
map_conv
e
x_hull: handle n
o
n f
u
ll
-
dimen
s
ional pairs
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven V
e
rd
o
olaege
is
l
_convex_hull
.
c: mo
d
ulo_a
f
fine_hull:
d
r
o
p r
e
dun
d
ant
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven Verd
o
o
l
a
ege
i
sl
_
con
v
ex_
h
ull
.
c: convex_hull_pair: skip
d
irection
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sven Verdoo
l
aege
isl_prin
t
er_print
_
basic_
s
et: fix
up printi
n
g to string
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sven Verdoola
e
ge
add isl_set_neg and isl_
s
et_s
u
m
commit
|
commitdiff
|
tree
2010-04-16
Sven Verdoolaege
isl_transit
i
ve_closure
.
c: fix d
o
cumentation of co
n
struc
t
_co
m
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolaege
is
l
_map_coalesce:
m
a
ke s
u
re result still contains set
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolaeg
e
isl
_
ma
p
_
transi
t
ive_closu
r
e: Floyd-Wa
r
shall:
properly
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolaeg
e
isl_map
_
transit
i
ve_closu
r
e: u
s
e
F
l
oy
d
-Warshall on d
i
s
joint
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolae
g
e
isl_transi
t
iv
e
_closure
.
c: ex
t
ract
o
ut isl_set_over
l
aps
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolaege
i
sl_map_transit
i
ve_closu
r
e
: proj
e
c
t ou
t
length
o
n
e
ach
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verd
o
ol
a
ege
isl_
t
r
a
nsit
i
ve_closure
.
c: construct
_
component:
d
o
n
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sv
e
n Verdoolae
g
e
isl_map_transitive_closure:
don't add length parameter
commit
|
commitdiff
|
tree
2010-04-15
S
v
en Verdo
o
laege
doc:
fix
t
ypos
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdo
o
laege
isl_set_gist: m
a
ke context
argument an isl_set for
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven
Verdool
a
ege
i
sl_map_trans
i
t
i
ve_closure: coalesce input map
commit
|
commitdiff
|
tree
2010-04-13
Sven
Verdoolaege
is
l
_
t
ra
n
sitive_closure
.
c:
const
r
uct_compo
n
ent: always
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven Ve
r
doolaege
doc: cite Ome
g
a
lib
r
ary docum
e
ntation on computatio
n
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdool
a
ege
ad
d
i
sl_stream_read_map
commit
|
commitdiff
|
tree
next