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_set_complement
2010-03-04
Sven
V
erdo
o
laege
add isl_
s
et
_
c
omplement
commit
|
commitdiff
|
tree
2010-03-04
Sven Verd
o
olaege
ex
p
ort isl_map
_
make_d
i
s
joint
commit
|
commitdiff
|
tree
2010-03-04
Sven
Verdoolaeg
e
add isl_hash_table
_
fo
r
each
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
isl_map_p
r
in
t
: extra
c
t out print_dis
j
uncts
commit
|
commitdiff
|
tree
2010-03-04
Sven Verd
o
olaege
add isl_
s
et_fas
t
_is_univ
e
r
s
e
commit
|
commitdiff
|
tree
2010-03-04
S
v
en
V
erdoo
l
aege
isl_inpu
t
.
c: accep
t
_affin
e
:
fix m
e
mory le
a
k on error
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven
Verdoolaege
isl_map_intersect:
detect empty re
s
ult als
o
i
n case
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaeg
e
isl_map_read: skip unt
i
l the end o
f
t
h
e
l
a
st
l
ine
w
hen
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
Verdoolaeg
e
isl_stream
_
n
e
xt_token_on_same_line: check if last token
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
isl_set
_
wrap_facet: make
s
u
re
s
et is m
a
rked rational
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
i
s
l
_coalesce
.
c: fix typo in com
m
en
t
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdo
o
la
e
ge
isl_map_read
:
ac
c
ept list of predicated elements
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoolaege
isl_map
_
r
ead:
extrac
t
out
p
arsin
g
of m
a
p bo
d
y
commit
|
commitdiff
|
tree
2010-02-19
Sve
n
V
erdoolaege
isl_m
a
p_
r
ead: add dummy vari
a
ble name for unnamed
v
aria
b
les
commit
|
commitdiff
|
tree
2010-02-19
S
ven Ve
r
doolaege
isl
_
stream:
a
ccept ";" token
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoolaege
u
se
-
O1
optimization
level for
g
c
c 4
.
2
commit
|
commitdiff
|
tree
2010-02-18
Sven
Verdoo
l
a
e
g
e
i
sl_map_read: accept affine
c
om
b
inat
i
ons of ea
r
lier
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoolaege
isl_
m
ap_read: c
o
n
stru
c
t bas
i
c ma
p
w
hil
e
re
a
ding variable
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven V
e
rdoo
l
aege
add
a
transitive closure
e
xample fr
o
m the
Om
e
ga test
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven
V
e
r
doolaege
isl_m
a
p_t
r
ansitive_clo
s
ure: compute power on stron
g
l
y
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
isl_map
_
transi
t
ive_closur
e
: inters
e
c
t
w
i
th
domain and
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Ver
d
o
olae
g
e
isl_map_t
r
ansitive_closure: extract
out
construction
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven
V
erdoolaege
i
s
l_map_tr
a
nsitive_closure: move acyc
l
icity test
u
p
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verd
o
olaege
i
s
l_map_print: use co
n
si
s
tent na
m
es o
n
al
l
disju
n
c
t
s
commit
|
commitdiff
|
tree
2010-02-17
S
v
en Verdool
a
ege
is
l
_cat: allow specif
i
cati
o
n of output for
m
at on comman
d
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verd
o
olaege
isl_map_print: suppor
t
ISL_F
O
R
M
AT_POLYLIB
commit
|
commitdiff
|
tree
2010-02-17
Sven Ve
r
doola
e
g
e
i
s
l
_
map_coalesce: fix
some regres
s
ions
i
n
trodu
c
e
d
b
y
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
ad
d
isl
_
c
losure test applicat
i
o
n
commit
|
commitdiff
|
tree
2010-02-15
Sv
e
n
V
erd
o
olaege
a
dd transitive closu
r
e exa
m
ple from Kelly'
s
1996 paper
commit
|
commitdiff
|
tree
2010-02-15
Sven Ver
d
oolaege
i
s
l_m
a
p_transitive_
c
losure:
c
onstr
u
ct ge
n
eral
paths
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
is
l
_map_tra
n
sitive_c
l
o
sure:
p
r
e
par
e
for
t
he
c
o
n
stru
c
tion
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Ve
r
doolaege
isl_map_tra
n
s
i
tive_closure: co
n
s
t
ruct pat
h
s that can
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl_trans
i
t
i
v
e
_clo
s
ure
:
extract
o
u
t
construction of
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
S
v
en Verdoolaege
isl_map_transitive_closur
e
: use
more
generic a
c
yclicity
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sv
e
n Ve
r
doolaeg
e
isl_
m
a
p
_print: a
d
d
parentheses aro
u
nd disj
u
ncts
commit
|
commitdiff
|
tree
2010-02-15
Sven
V
e
r
dool
a
ege
isl_hash
_
table: use size that correspond
s
to t
h
e
numb
e
r
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdo
o
laege
isl_hash_
t
a
b
le: grow tabl
e
whe
n
we run out of entri
e
s
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoo
l
a
e
ge
i
s
l
_ma
p
_
c
oa
l
esce:
only use non-
r
edunda
n
t
co
n
str
a
ints
.
.
.
commit
|
commitdiff
|
tree
2010-02-13
Sven
Verdoolaege
a
d
d
isl_set_fix
_
si
commit
|
commitdiff
|
tree
2010-02-13
Sve
n
Verdoolae
g
e
isl_map_r
e
ad: accept chains of c
o
mpa
r
is
o
ns
commit
|
commitdiff
|
tree
2010-02-10
Sven Verdoolaege
export isl_map_align_di
v
s
commit
|
commitdiff
|
tree
2010-02-10
Sven Verdoolaege
isl_map_read:
f
orget existentially quantified variab
l
es
.
.
.
commit
|
commitdiff
|
tree
2010-02-10
Sven Verdoolaege
isl_input
.
c: remove nee
d
less indirectio
n
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
doc:
docum
e
n
t
how to inspect sets and
relat
i
ons
commit
|
commitdiff
|
tree
2010-02-09
Sve
n
Verdoolaege
export isl_map_
c
ompute_divs
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
i
s
l_constraint_div: make s
u
re r
e
ques
t
e
d div
is a know
n
d
iv
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
doc: drop docum
e
ntation of _dump fu
n
ctions
commit
|
commitdiff
|
tree
2010-02-09
Sv
e
n Verdoolaege
isl_
m
ap_print: improve output
commit
|
commitdiff
|
tree
2010-02-09
Sven Verd
o
olaege
add isl_ba
s
ic_m
a
p_foreach_constraint
commit
|
commitdiff
|
tree
2010-02-08
Sve
n
Verdoo
l
aege
isl_map_c
o
a
l
esc
e
:
hand
l
e more case
s
commit
|
commitdiff
|
tree
2010-02-08
S
v
e
n
Verdoola
e
ge
p
rivately
e
xport
i
sl_
s
et
_
w
rap_
f
ac
e
t
commit
|
commitdiff
|
tree
2010-02-08
Sven
V
erdoolae
g
e
isl_convex_hu
l
l
.
c: w
r
ap_facet
:
allow
unbounded facets
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sv
e
n Verd
o
olaege
doc:
i
mprove
d
ecription
of
i
sl_map_transitive_c
l
osure
commit
|
commitdiff
|
tree
2010-02-08
Sven
V
erdoo
l
aege
isl_map_tr
a
nsitiv
e
_
c
losure: improve test
for exactn
e
ss
commit
|
commitdiff
|
tree
2010-02-08
S
v
en Verdoolaege
add a counter example for Theor
e
m
1 of
the COCOA paper
commit
|
commitdiff
|
tree
2010-02-08
S
v
en Ve
r
d
o
ola
e
ge
add isl_map_low
e
r_bo
u
nd_si
commit
|
commitdiff
|
tree
2010-02-08
Sve
n
Verdoolaege
isl_map_power: c
o
alesc
e
d
omain and range
commit
|
commitdiff
|
tree
2010-02-08
Sven Verd
o
o
l
ae
g
e
i
s
l
_flow
.
c:
a
dd miss
i
ng isl_access_info_fre
e
retu
r
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven
V
erdoolaege
isl_
c
oalesce
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2010-02-04
Sven
V
e
rdo
o
laege
isl_map_r
e
a
d
: a
c
cept list
s
of affine
e
x
p
r
e
ssions in
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoo
l
aeg
e
a
d
d
i
sl_mat_from_r
o
w
_v
e
c a
n
d isl_mat_ve
c
_concat
commit
|
commitdiff
|
tree
2010-02-04
Sven V
e
rd
o
olaege
isl
_
map_read
:
read
ext
e
nd
e
d
p
o
lylib form
a
t
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
add isl_stream_next_token_o
n
_
same_line
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
i
sl_map_read: make sure pol
y
lib
c
onstraint c
o
efficients
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
S
v
en Verdool
a
ege
isl_{map,set}_dim: handle NULL
input
commit
|
commitdiff
|
tree
2010-02-04
S
v
en
V
erdoolaege
i
sl_ma
p
_
read: us
e
more uniform
w
a
y of reading in polylib
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
isl_transi
t
ive_closure
.
c: fix
t
ypo in comm
e
nt
commit
|
commitdiff
|
tree
2010-02-04
Sv
e
n Ve
r
doolaege
is
l
_map_transitive_
c
losure: use m
o
re relaxed exactness
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven
V
erdoola
e
ge
add isl_map_po
w
er
a
nd is
l
_ma
p
_transitive_clo
s
ure
commit
|
commitdiff
|
tree
2010-02-03
Sven
Ver
d
oolaege
i
s
l_map_s
u
btract
.
c
:
m
ake some
in
t
ernal functions stat
i
c
commit
|
commitdiff
|
tree
2010-02-03
Sve
n
Verd
o
ola
e
ge
add gene
r
ic isl_map_project_out
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
add i
s
l
_
{m
a
p,
s
et}_add
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdool
a
ege
rename
isl_{map,set}_ad
d
to
i
sl
_
{ma
p
,set}_add_b
a
sic_
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
S
v
en Verdoolaege
isl_set_projec
t
_
out: always updat
e
dimension, even
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sv
e
n Ve
r
d
o
o
l
a
e
ge
isl_dim_join: don't
r
equire n
a
me
s
o
f joined variables
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
add isl_map
_
fro
m
_do
m
ain_and_range
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolae
g
e
isl_strea
m
:
t
reat "-" as operator rather
t
han
as -1
commit
|
commitdiff
|
tree
2010-02-03
Sven
V
erdoolaege
isl_map_read: a
c
cept "s
t
rict" inequalities
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
isl_inp
u
t
.
c:
f
ix memory dealloc
a
tion prob
l
em
on missing
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
S
v
en Verdoolaege
add de
p
ende
n
ce an
a
lysis
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoo
l
aege
add isl_map_{p
a
rtia
l
_,}lexopt
commit
|
commitdiff
|
tree
2010-01-31
S
v
en
V
erdoolaeg
e
add private
i
s
l_{set,
m
ap}_
m
ake_disjoint
commit
|
commitdiff
|
tree
2010-01-31
S
v
en Verdoolaege
basis_red
u
ction_temp
l
.
c: fi
x
typo in comment
commit
|
commitdiff
|
tree
2010-01-31
Sven Verd
o
ola
e
g
e
isl_tab_pip
.
c: find_solut
i
o
ns:
break when con
t
ext be
c
o
m
e
s
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
i
sl_d
i
m
_equal: don
'
t requi
r
e names of input a
n
d
o
utput
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sve
n
Verdoo
l
aege
isl_dim_
m
ap: pr
o
perl
y
du
p
l
ic
a
te names
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
isl_dim_d
r
o
p
: properly adjus
t
length
of n
a
m
es array
commit
|
commitdiff
|
tree
2010-01-26
Sven Ver
d
oo
l
a
ege
do
c
: a bit more on integer
s
commit
|
commitdiff
|
tree
2010-01-26
Sven V
e
rdool
a
e
g
e
doc: describ
e
i
n
put/output formats
commit
|
commitdiff
|
tree
2010-01-26
Sven
V
erdoo
l
a
e
ge
doc: fix typo
commit
|
commitdiff
|
tree
2010-01-25
Sven V
e
rdoolaege
a
dd isl
_
ca
t
te
s
t appli
c
a
t
i
on
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdool
a
ege
add
o
mega out
p
ut
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdool
a
e
ge
add isl output
commit
|
commitdiff
|
tree
2010-01-25
S
ven Verdoolaege
isl
_
test: use isl_set_re
a
d_f
r
om_str
commit
|
commitdiff
|
tree
2010-01-25
S
ven Verdoolaege
add isl_set_read_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verd
o
olaege
add
isl_ma
p
_read_
f
rom_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaeg
e
i
sl_map_read_from_f
i
le:
a
llow unions i
n
isl format
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
erdoolaege
i
sl_basic
_
map_read: read
definitions of e
x
istential
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Ve
r
doolaege
p
r
iva
t
e
l
y export isl_basic_map_add_div_cons
t
r
aints
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
isl_basic_map_r
e
ad: read a
f
fine
c
onstraint
a
s
t
wo affine
.
.
.
commit
|
commitdiff
|
tree
next