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
export isl_stream.h
2010-03-04
Sven Verdoolaege
export
i
sl_str
e
am
.
h
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
V
e
rdoola
e
ge
isl_stream: allow use
r
specif
i
e
d
keywords
commit
|
commitdiff
|
tree
2010-03-04
S
ven V
e
rdoola
e
ge
isl_stream: a
d
d some auxiliary functions
commit
|
commitdiff
|
tree
2010-03-04
S
v
e
n
Verdool
a
e
g
e
isl_st
r
e
a
m
:
r
ead "definit
i
on" token ":="
commit
|
commitdiff
|
tree
2010-03-04
S
v
e
n
Verdoolaege
add is
l
_int_tdiv_q
commit
|
commitdiff
|
tree
2010-03-04
Sven
Ve
r
doolaege
privately export isl_set_contains_point
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
ad
d
isl_set_count
commit
|
commitdiff
|
tree
2010-03-04
S
ven
V
e
rdoolaege
a
d
d
isl_
s
e
t_sample_point
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
add isl_poi
n
t
commit
|
commitdiff
|
tree
2010-03-04
Sven Ve
r
doolaege
i
s
l
_
basic_set_scan: make sure
s
ufficient row
s
are allocated
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven V
e
rdoolaege
isl_map_subtract:
o
nly add
di
v
s
w
hen nee
d
ed
commit
|
commitdiff
|
tree
2010-03-04
Sven
Verdoolaege
ad
d
isl_map_order_d
i
vs
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
e
xtra
c
t isl_tab_add_div from i
s
l_tab_pip
.
c
commit
|
commitdiff
|
tree
2010-03-04
S
v
en V
e
rdoolaege
is
l
_
vec
.
c: fix minor whi
t
e
spac
e
issue
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
add isl_set_co
m
plement
commit
|
commitdiff
|
tree
2010-03-04
Sven
Verdoolaeg
e
e
x
port
i
sl_map_m
a
ke_disjoint
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoo
l
a
eg
e
ad
d
isl_hash
_
table_foreach
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
is
l
_map_print: extract out pr
i
n
t
_disjunc
t
s
commit
|
commitdiff
|
tree
2010-03-04
Sven Ve
r
d
o
olaege
a
d
d isl
_
set_fast_is_universe
commit
|
commitdiff
|
tree
2010-03-04
S
ven Verdoola
e
ge
isl
_
input
.
c: a
c
cept_affine: fix memory leak o
n
e
r
ror
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Ve
r
doolae
g
e
is
l
_map_intersect: det
e
ct empty
r
esult also in case
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Ve
r
d
o
olaege
is
l
_map_re
a
d: skip u
n
til
t
he end of the last li
n
e
when
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Ver
d
oolaeg
e
isl_stream_next_token_on_same_line: che
c
k
if last token
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
erdoo
l
aege
isl_s
e
t
_wrap_face
t
: make
s
ure se
t
is marked rational
commit
|
commitdiff
|
tree
2010-03-04
S
ve
n
Ve
r
doolaege
isl_coalesce
.
c: fix typo in
c
omme
n
t
commit
|
commitdiff
|
tree
2010-02-19
Sv
e
n Verdoolae
g
e
isl
_
m
ap_read: accept
l
ist
of
predicated element
s
commit
|
commitdiff
|
tree
2010-02-19
S
ve
n
Ve
r
doolaege
isl_ma
p
_read: extract out parsing
of map bod
y
commit
|
commitdiff
|
tree
2010-02-19
S
v
e
n
V
erdool
a
ege
isl_map_r
e
ad: add dummy variable nam
e
fo
r
unnamed var
i
abl
e
s
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoolaege
isl_stream: acce
p
t ";" token
commit
|
commitdiff
|
tree
2010-02-19
S
v
en
Ver
d
oolaege
use -O1 optimization
l
eve
l
for gcc 4
.
2
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoolaege
isl_map
_
read: accept affine combi
n
ations o
f
earlier
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoo
l
aege
isl_ma
p
_read: co
n
struct basic map while re
a
din
g
variable
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sve
n
Ver
d
oolaege
add
a
transitive closure example from the
Omega tes
t
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
S
v
en Verdoolaege
isl_m
a
p
_
t
ransitive_closure: com
p
u
te
power o
n
stron
g
ly
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
is
l
_map_transitive_clo
s
ure:
i
ntersec
t
with
domain and
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sv
e
n
Ver
d
o
o
laege
isl_map_transitive_c
l
os
u
re: extract o
u
t
c
on
s
tru
c
t
i
on
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoo
l
aege
isl_m
a
p
_
tran
s
it
i
ve_c
l
osu
r
e:
m
ove
a
cy
c
lic
i
t
y
test up
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
S
ven
Ve
r
doola
e
ge
isl
_
map_pri
n
t: use consist
e
nt
n
ames on all dis
j
unc
t
s
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
isl_cat
:
allow
specif
i
ca
t
ion
of
ou
t
put format
on
c
ommand
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven V
e
rdoo
l
a
e
ge
i
sl_map
_
pr
i
nt
:
suppor
t
IS
L
_FORMA
T
_POLYLI
B
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoola
e
ge
isl_
m
ap_
c
o
a
lesce
:
fix some regressions intr
o
duced by
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sve
n
Verdoola
e
g
e
ad
d
i
sl_
c
losure test a
p
plica
t
ion
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdool
a
ege
add
t
ransitive c
l
osure exa
m
pl
e
fr
o
m Kelly's
1
9
96 paper
commit
|
commitdiff
|
tree
2010-02-15
Sven
Verdoolae
g
e
i
s
l_map_t
r
ansi
t
ive
_
closure: construct general paths
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl_map_transitive_cl
o
sure: prepare for the constr
u
ction
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven
V
e
rdoolaege
isl_map_transi
t
ive_closure: co
n
s
t
ruct paths
t
hat can
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl_tran
s
itiv
e
_cl
o
sure: extr
a
c
t ou
t
construction of
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoo
l
a
e
ge
i
s
l_
m
ap_transitive_closure: use more generic acyclicity
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Ve
r
do
o
lae
g
e
isl_map_prin
t
: add parentheses
a
round disjuncts
commit
|
commitdiff
|
tree
2010-02-15
Sve
n
V
e
rdoolaege
i
sl_hash_table
:
us
e
size
t
hat correspo
n
d
s to the number
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven
V
erd
o
ol
a
ege
isl_hash_t
a
ble: grow
t
ab
l
e when we run out of
e
nt
r
i
e
s
commit
|
commitdiff
|
tree
2010-02-15
Sv
e
n Verd
o
o
l
ae
g
e
i
s
l_map_c
o
alesce: only us
e
non-redundant co
n
straints
.
.
.
commit
|
commitdiff
|
tree
2010-02-13
Sv
e
n Verd
o
olaege
add
i
sl_set
_
fix_si
commit
|
commitdiff
|
tree
2010-02-13
Sven Verdoolaege
isl
_
m
a
p
_read: accept chain
s
of
c
omparisons
commit
|
commitdiff
|
tree
2010-02-10
Sven Verdo
o
laege
e
x
p
ort isl_map_al
i
gn_divs
commit
|
commitdiff
|
tree
2010-02-10
Sven
Verdoolaege
is
l
_
map_read: fo
r
get
existenti
a
lly q
u
an
t
ified
variables
.
.
.
commit
|
commitdiff
|
tree
2010-02-10
Sven
Ve
r
do
o
laege
i
s
l_input
.
c: remove needless ind
i
r
e
ction
commit
|
commitdiff
|
tree
2010-02-09
S
v
e
n Verd
o
o
l
aege
doc: document how
t
o inspect sets a
n
d relations
commit
|
commitdiff
|
tree
2010-02-09
S
v
e
n Verdoolaege
export isl_
m
ap
_
compute_divs
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoo
l
ae
g
e
isl_constraint
_
div
:
make sure requ
e
sted div is a known div
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
doc:
d
r
op documentation of
_dump functions
commit
|
commitdiff
|
tree
2010-02-09
Sven
Verdoolae
g
e
isl_map_
p
ri
n
t: imp
r
ove outp
u
t
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
ad
d
isl_basic_ma
p
_forea
c
h_constraint
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdo
o
laege
i
sl_ma
p
_c
o
alesce:
handle
m
ore cases
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdool
a
eg
e
privately export isl_set_
w
rap_facet
commit
|
commitdiff
|
tree
2010-02-08
Sven Verd
o
olaege
isl_conve
x
_hu
l
l
.
c:
wrap_facet: allow un
b
ounded facets
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdo
o
laege
d
o
c:
i
mprove decr
i
ption of isl_map_transiti
v
e_closure
commit
|
commitdiff
|
tree
2010-02-08
Sven
V
erdoola
e
ge
isl_map_transitive_closure:
improve
t
est f
o
r exactness
commit
|
commitdiff
|
tree
2010-02-08
Sv
e
n V
e
rdoolaeg
e
a
d
d a count
e
r
example
f
or Th
e
orem
1
of
t
he COCOA
paper
commit
|
commitdiff
|
tree
2010-02-08
Sven Ve
r
doolaege
add isl_map_lowe
r
_
b
ound_si
commit
|
commitdiff
|
tree
2010-02-08
S
v
en
Ve
r
doolaege
isl_map_
p
ower: co
a
l
e
sce domain and range
commit
|
commitdiff
|
tree
2010-02-08
Sven Ve
r
d
oolaege
i
s
l_flow
.
c: add missin
g
isl_a
c
cess
_
info_free return
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
S
v
en Verdoolaege
i
s
l
_
coalesce
.
c:
f
ix
t
ypo in comment
commit
|
commitdiff
|
tree
2010-02-04
Sven
V
erdoolae
g
e
isl_map_read: accept lists o
f
affine e
x
pressions in
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven V
e
rdoolaege
add
isl_mat_from_row_vec and
i
sl_mat
_
ve
c
_conc
a
t
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolae
g
e
isl_map_read
:
r
e
ad extended pol
y
l
ib format
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
add isl_
s
t
r
eam_next_token_on_s
a
m
e
_line
commit
|
commitdiff
|
tree
2010-02-04
Sven
Verdoo
l
aege
isl_map_read:
make
sure
poly
l
ib con
s
tr
a
int coefficie
n
ts
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verd
o
olaege
i
sl_{map,s
e
t
}
_dim:
handle N
U
LL input
commit
|
commitdiff
|
tree
2010-02-04
S
v
en Verdoo
l
a
e
g
e
isl_ma
p
_r
e
ad: use
m
ore uniform way of r
e
ading
i
n
polyli
b
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
S
ven
Verdoolae
g
e
isl_transitive_closure
.
c
: fix ty
p
o in co
m
ment
commit
|
commitdiff
|
tree
2010-02-04
Sven Ve
r
doo
l
aege
i
s
l_map_tra
n
sitive_closure: use mor
e
relaxed exact
n
ess
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven V
e
rdoola
e
ge
add isl_map_p
o
we
r
and isl_map_tra
n
sitive_closur
e
commit
|
commitdiff
|
tree
2010-02-03
S
v
en Verdoolaege
isl_map_subtract
.
c: m
a
ke
s
ome internal funct
i
ons
s
tatic
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
add
generic isl_map_project_out
commit
|
commitdiff
|
tree
2010-02-03
Sven
V
e
r
doolaege
add
i
sl_{map,set}_add
commit
|
commitdiff
|
tree
2010-02-03
S
ven Verdoolaege
rename isl
_
{map,set}
_
a
d
d
to isl_{map,
s
et}_ad
d
_ba
s
i
c
_
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Ver
d
oola
e
ge
isl_set
_
projec
t
_out: always up
d
ate dimension, even
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven
Verdoolaege
isl_dim_join: don't
require
n
a
m
e
s
o
f join
e
d variables
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
add isl_map_from_domain_and_range
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
isl
_
stream: t
r
e
a
t
"-" as
o
p
erator r
a
ther than as -1
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
i
s
l_
m
ap_r
e
a
d
: accep
t
"strict" inequ
a
l
ities
commit
|
commitdiff
|
tree
2010-02-03
Sv
e
n
Ve
r
doolaege
isl_inp
u
t
.
c
:
fix
m
emory
dea
l
locatio
n
problem on missing
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven V
e
rd
o
o
l
aege
add d
e
pendence analys
i
s
commit
|
commitdiff
|
tree
2010-01-31
Sven
V
erd
o
olaege
add isl_
m
ap_{
p
artial_,
}
lexopt
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolae
g
e
add private isl_{set,map}_ma
k
e_disjoint
commit
|
commitdiff
|
tree
2010-01-31
Sve
n
Ver
d
ool
a
ege
basis_reduct
i
o
n_templ
.
c:
f
ix ty
p
o in
c
o
mment
commit
|
commitdiff
|
tree
2010-01-31
Sven
V
erdoolaege
isl
_
tab_pip
.
c:
f
i
n
d_soluti
o
ns: brea
k
when context becomes
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven
Ve
r
doolaege
isl_dim_e
q
ual: don't requ
i
re name
s
of input and outp
u
t
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
S
v
en Verd
o
olaege
i
s
l
_
d
i
m
_
map
:
properly duplicate names
commit
|
commitdiff
|
tree
next