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_stream: allow user specified keywords
2010-03-04
Sven Verdoolaege
i
sl_stream: allow user specified key
w
ord
s
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoo
l
a
ege
isl_s
t
re
a
m: add s
o
me au
x
ili
a
ry
f
un
c
t
ions
commit
|
commitdiff
|
tree
2010-03-04
S
ven Verdoolaege
isl_stream: read "definition" token
"
:="
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
add isl_i
n
t_
t
div_q
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
privatel
y
expor
t
i
s
l_set_contains_
p
oint
commit
|
commitdiff
|
tree
2010-03-04
Sven Ve
r
doolaege
add isl_set_
c
ount
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n
Verdoolae
g
e
ad
d
isl_set_sample_point
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
erdoolaege
add isl_poi
n
t
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
isl_
b
asic
_
set_scan: m
a
ke sure sufficient ro
w
s are allo
c
ated
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
isl_map_subtr
a
c
t
: only ad
d
d
i
vs wh
e
n
n
e
e
ded
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
Verdoolaege
add isl_map_order_
d
ivs
commit
|
commitdiff
|
tree
2010-03-04
Sven
Verdoolaege
ext
r
act isl_
t
ab_add_div f
r
om isl_tab_pip
.
c
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
isl_vec
.
c: fix
minor
w
hitespace issue
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdo
o
laege
a
d
d i
s
l_se
t
_c
o
m
p
lement
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
erdool
a
eg
e
expo
r
t
i
sl_map_make_disjoint
commit
|
commitdiff
|
tree
2010-03-04
Sven V
e
rdoo
l
aege
add isl_hash
_
table_
f
oreach
commit
|
commitdiff
|
tree
2010-03-04
Sven V
e
rdoolaege
isl_m
a
p_print: ext
r
act out
prin
t
_disjunc
t
s
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoola
e
ge
ad
d
is
l
_set
_
fast_is_universe
commit
|
commitdiff
|
tree
2010-03-04
S
ven
Verdool
a
ege
isl_input
.
c:
a
ccept_affine:
f
ix memo
r
y l
e
ak on error
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
erdoolae
g
e
isl
_
map_i
n
tersec
t
: detect e
m
pty res
u
lt al
s
o in case
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Ver
d
o
olaege
isl_m
a
p_re
a
d
:
skip u
n
til
t
h
e end
of th
e
l
a
st line when
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n
V
e
r
doolae
g
e
i
sl_stream_next_token_on_same_line: check if l
a
s
t
t
oke
n
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
S
v
en Verdoolaege
isl_set_wrap_
f
acet: make sure se
t
is marked rational
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
isl_coa
l
es
c
e
.
c: fix typo in
comment
commit
|
commitdiff
|
tree
2010-02-19
S
v
e
n
Ver
d
oola
e
g
e
isl_map_read: accept list
o
f predicated elements
commit
|
commitdiff
|
tree
2010-02-19
Sven
V
erdo
o
laege
isl_map_read: e
x
tract ou
t
parsing of m
a
p b
o
dy
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoolaege
isl_
m
ap_r
e
ad: add du
m
my variable name for unnamed
v
aria
b
les
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdo
o
l
aege
isl_str
e
am: acc
e
pt ";
"
token
commit
|
commitdiff
|
tree
2010-02-19
Sven V
e
rdoolaege
use -O1 op
t
imiza
t
ion level for gcc 4
.
2
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoolaeg
e
i
sl_map_read:
a
cce
p
t affine comb
i
nations of earl
i
er
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Ve
r
d
o
olaege
isl_map_read: cons
t
ruct bas
i
c map while reading variable
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Ve
r
doo
l
aege
add a tran
s
it
i
ve closu
r
e example fro
m
the Ome
g
a
t
est
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoola
e
ge
isl_map_tran
s
itive_c
l
o
sure:
compute power on strongly
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
S
ven Verdoolaege
isl_map_transitive_closu
r
e:
i
nter
s
ect w
i
th doma
i
n a
n
d
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
S
ven
V
erdool
a
e
ge
i
sl_map_transitive
_
c
losure: extract ou
t
con
s
truction
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
isl_map_tra
n
s
itiv
e
_closure
:
mov
e
a
cyc
l
icity
te
s
t up
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
i
s
l
_ma
p
_pri
n
t
:
u
se consis
t
ent nam
e
s on al
l
disjunc
t
s
commit
|
commitdiff
|
tree
2010-02-17
Sven V
e
rdoo
l
aege
i
s
l_ca
t
:
all
o
w spec
i
fication
o
f
o
utpu
t
format on
c
ommand
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
S
v
e
n
V
erdoolae
g
e
isl_map_
p
ri
n
t: support
ISL_FORMAT_PO
L
YLIB
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdo
o
laege
isl_
m
ap_coalesce: fix
s
o
m
e regressi
o
ns introduced b
y
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdo
o
laeg
e
add
i
sl_clos
u
re test applicati
o
n
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
add transitive
c
losure exa
m
ple from Ke
l
l
y's 19
9
6 paper
commit
|
commitdiff
|
tree
2010-02-15
S
ven Verd
o
olaege
isl_
m
ap_transitiv
e
_closure: construct gen
e
ral
p
a
t
hs
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolae
g
e
isl_map_tr
a
nsitive
_
closur
e
: prepare for the co
n
s
truction
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven
V
erdoolaeg
e
isl_m
a
p_
t
ransitive_cl
o
sure: co
n
struct paths that can
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoo
l
aege
i
sl_transiti
v
e_cl
o
sure: ex
t
ract o
u
t co
n
structi
o
n of
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl_map
_
t
ransi
t
ive_closu
r
e: use more generi
c
acyclicity
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven V
e
r
doolaege
isl_map_print:
a
dd parentheses aro
u
n
d
d
i
sjuncts
commit
|
commitdiff
|
tree
2010-02-15
Sve
n
Ver
d
oolaege
isl_has
h
_
t
able
:
u
s
e size th
a
t corre
s
ponds to
t
he number
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoo
l
aeg
e
isl_hash_tab
l
e: gro
w
tab
l
e when we run out of entries
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
i
s
l_map_coales
c
e: only
use
n
on-redundant constra
i
n
t
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-13
Sv
e
n Verdoola
e
ge
a
dd isl_set_fix_si
commit
|
commitdiff
|
tree
2010-02-13
S
v
en Verd
o
o
l
aege
isl_ma
p
_read: acce
p
t c
h
ains of compar
i
sons
commit
|
commitdiff
|
tree
2010-02-10
S
v
en Ve
r
do
o
laege
expo
r
t isl_map_align_divs
commit
|
commitdiff
|
tree
2010-02-10
Sven Verdoolaeg
e
isl_map_read: forget existe
n
tial
l
y quantifie
d
v
a
riables
.
.
.
commit
|
commitdiff
|
tree
2010-02-10
Sven
Verdoolaege
i
s
l_input
.
c: remove ne
e
dless in
d
irection
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
doc: do
c
u
me
n
t how
t
o inspect sets and
relations
commit
|
commitdiff
|
tree
2010-02-09
S
ven Verd
o
olaege
export isl_m
a
p_co
m
put
e
_divs
commit
|
commitdiff
|
tree
2010-02-09
Sven
Verdoo
l
aege
isl
_
constra
i
n
t
_div: make sure
r
eq
u
ested div
is a
k
nown div
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
doc: drop
doc
u
men
t
ation of _dump functions
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
isl_map
_
print: improve
o
utpu
t
commit
|
commitdiff
|
tree
2010-02-09
S
v
e
n Verdoolaege
ad
d
i
s
l_basi
c
_map_forea
c
h
_
constrain
t
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdool
a
ege
isl
_
map_c
o
alesce
:
handle more cases
commit
|
commitdiff
|
tree
2010-02-08
Sven V
e
rd
o
olaege
privately exp
o
rt
i
sl_set_wr
a
p_facet
commit
|
commitdiff
|
tree
2010-02-08
Sven V
e
rd
o
olaege
is
l
_c
o
nvex_hull
.
c: wrap_f
a
cet: a
l
low unbounded
f
acets
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sve
n
Verdoolaege
doc: improv
e
dec
r
iption of i
s
l_map_transit
i
ve_closur
e
commit
|
commitdiff
|
tree
2010-02-08
Sven Ve
r
doolaege
is
l
_
m
ap_
t
ran
s
itive_closure: improve
test
f
o
r exactness
commit
|
commitdiff
|
tree
2010-02-08
Sv
e
n
Verdoolaege
add a counter example
f
or Theorem 1 of the COCOA paper
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
add isl_map_lo
w
e
r_bound_si
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
isl_map_power: c
o
alesce domain and r
a
nge
commit
|
commitdiff
|
tree
2010-02-08
S
v
en Ver
d
oolaege
isl_flow
.
c: ad
d
m
i
ssing i
s
l_ac
c
ess_info_fre
e
return
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sv
e
n
Verdoo
l
aege
isl_coal
e
sce
.
c
:
fix typo in commen
t
commit
|
commitdiff
|
tree
2010-02-04
Sven Verd
o
olaege
isl_ma
p
_
r
ead: accept l
i
sts of
affine ex
p
ress
i
ons
i
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verd
o
olaege
add is
l
_
m
at_fr
o
m_r
o
w
_
vec
and
i
sl_mat_vec_c
o
n
c
at
commit
|
commitdiff
|
tree
2010-02-04
Sv
e
n Verdo
o
lae
g
e
isl_map_read:
read extended p
o
lylib for
m
at
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
add
i
sl_stream_nex
t
_t
o
k
e
n_on_same_li
n
e
commit
|
commitdiff
|
tree
2010-02-04
Sven V
e
rdoolaege
isl_map_read:
m
ake sure
poly
l
ib constrain
t
coefficients
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sve
n
Verdoolae
g
e
isl_{map,set}
_
dim: handle NULL input
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
i
sl_map_read:
use more uniform way of
r
e
ading in polylib
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Ve
r
doolaege
i
s
l_tr
a
nsitive_cl
o
su
r
e
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdo
o
la
e
g
e
isl_m
a
p_transitive
_
closure: use
m
ore rel
a
xe
d
exactness
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
add isl_map
_
power an
d
i
sl_map_tr
a
ns
i
tive_clos
u
re
commit
|
commitdiff
|
tree
2010-02-03
Sven
Verdoolaege
isl_map_
s
ubtrac
t
.
c:
make some i
n
ter
n
al functions
static
commit
|
commitdiff
|
tree
2010-02-03
S
v
en Verdool
a
ege
add generic i
s
l_map_project_out
commit
|
commitdiff
|
tree
2010-02-03
Sven Ve
r
doolaege
add isl_{map
,
set}_add
commit
|
commitdiff
|
tree
2010-02-03
S
v
e
n
Verdoo
l
a
e
g
e
rename isl_{
m
a
p
,
s
et}_add
to isl_
{
m
a
p
,
s
e
t}_add_basic_
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
isl_set_proj
e
c
t_out
:
al
w
ays
u
pdate dime
n
si
o
n
,
e
ven
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
isl
_
dim_join: don
'
t require
n
ames of
j
oined v
a
riable
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven
Ve
r
d
o
o
laege
add isl_map_from_domain_an
d
_range
commit
|
commitdiff
|
tree
2010-02-03
Sven V
e
rd
o
olaege
isl_stream: t
r
ea
t
"
-
" as operato
r
rather than as -1
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
isl_map_r
e
ad: accept "stric
t
" inequa
l
ities
commit
|
commitdiff
|
tree
2010-02-03
Sv
e
n Ve
r
doolaege
isl_i
n
put
.
c
: fix mem
o
ry deallocation pro
b
lem on missing
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
S
v
en Verdoolaege
add dependence analysis
commit
|
commitdiff
|
tree
2010-01-31
Sven
Verdoolae
g
e
add
i
sl_map_{partial_,}lexo
p
t
commit
|
commitdiff
|
tree
2010-01-31
Sve
n
Verdoolaege
add priv
a
te isl_{set
,
m
ap
}
_make_disjoint
commit
|
commitdiff
|
tree
2010-01-31
S
v
e
n
Verdoolaege
basis
_
reducti
o
n_t
e
mpl
.
c
:
fix typo in comment
commit
|
commitdiff
|
tree
2010-01-31
Sven Ver
d
oo
l
aege
isl_t
a
b
_pip
.
c
:
find_solutions: break when
c
ont
e
xt
becomes
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sve
n
V
erdo
o
laege
isl_
d
im_
e
qu
a
l: d
o
n
'
t
r
equire name
s
o
f
in
p
u
t
an
d
output
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Ver
d
o
o
laege
isl_dim_map
:
properly duplicate names
commit
|
commitdiff
|
tree
2010-01-31
S
v
en Ver
d
ool
a
ege
is
l
_
d
im_drop: pro
p
erly adjus
t
l
e
ngt
h
of
names array
commit
|
commitdiff
|
tree
next