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
extract isl_tab_add_div from isl_tab_pip.c
2010-03-04
Sven
V
erdoolaege
e
x
tract isl_tab_a
d
d_div fro
m
isl_t
a
b_pip
.
c
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
Verdoolaege
isl_v
e
c
.
c: fix minor whitespace iss
u
e
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n Verdoolaeg
e
add isl_set_complement
commit
|
commitdiff
|
tree
2010-03-04
Sven
Ver
d
oolaege
export
isl_map_make_d
i
s
j
oint
commit
|
commitdiff
|
tree
2010-03-04
S
ven Verdoolaege
add isl_ha
s
h_table_for
e
ach
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdo
o
l
aege
isl_map_prin
t
:
ex
t
ract out prin
t
_disjun
c
ts
commit
|
commitdiff
|
tree
2010-03-04
Sven Ve
r
doola
e
ge
add isl_se
t
_fast_is_
u
niverse
commit
|
commitdiff
|
tree
2010-03-04
Sven Ver
d
oolaege
isl
_
input
.
c
:
a
c
c
e
p
t_affine
:
f
i
x
m
em
o
r
y
leak on error
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
S
v
e
n Verdoolaege
isl_map_inters
e
ct: detect empty result also i
n
case
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
isl_ma
p
_
r
ead: s
k
ip
unt
i
l the end of
the last
line
when
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
Verdoo
l
aege
i
sl_stream_next_token_on_same_lin
e
: ch
e
ck if last tok
e
n
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
S
v
en Ver
d
oolaege
isl_s
e
t
_wr
a
p_facet: make
s
ure set i
s
marked ra
t
iona
l
commit
|
commitdiff
|
tree
2010-03-04
S
ven Verdoo
l
aege
i
sl_coalesce
.
c: fix typo in
c
omment
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoolaege
isl_map_read: accept list of pred
i
cated el
e
ments
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoolaeg
e
isl_map
_
r
e
ad:
e
xtract out
parsing of map bo
d
y
commit
|
commitdiff
|
tree
2010-02-19
Sven
V
erdoolaege
i
sl_map_r
e
ad: a
d
d dummy
var
i
able name for u
n
named vari
a
bles
commit
|
commitdiff
|
tree
2010-02-19
Sven Ve
r
do
o
laege
isl
_
stream: ac
c
ept
"
;" token
commit
|
commitdiff
|
tree
2010-02-19
S
v
en
V
erdoolaege
use -O1 optim
i
z
a
t
io
n
l
e
vel
f
o
r gcc 4
.
2
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoolaege
drop comma at the end of enumer
a
tio
n
s in include files
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdool
a
ege
i
s
l_map_rea
d
: accep
t
affi
n
e
combinations of earlier
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
S
ven
V
e
rd
o
o
laeg
e
isl_map_read:
constr
u
ct basic map while reading
variable
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sv
e
n Verdoolaege
i
sl_map_print: a
d
d primes to duplicate names
commit
|
commitdiff
|
tree
2010-02-18
S
ven Ve
r
doolae
g
e
isl_map_tra
n
sitive_closu
r
e: improve a
c
cu
r
a
cy by copyin
g
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven
Verdo
o
laege
isl_map_
t
r
ansitive_closu
r
e: perfo
r
m exactn
e
ss check
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoo
l
a
e
ge
isl_m
a
p_transit
i
v
e
_
cl
o
su
r
e: reformula
t
e
exactn
e
ss test
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Ve
r
doolaege
a
dd
a
trans
i
tive
cl
o
s
u
re exa
m
ple f
r
om the Ome
g
a
test
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoolaege
isl_map_tr
a
nsi
t
ive_closure: c
o
m
p
ute p
o
wer
o
n strong
l
y
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdool
a
ege
i
sl_map_transiti
v
e_closure:
interse
c
t w
i
th
dom
a
in and
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven V
e
rdoolaege
isl_map
_
tran
s
itive_clos
u
re: ex
t
ract
o
ut construction
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sv
e
n Verdoolaege
isl
_
m
a
p_tran
s
itive_closure: m
o
ve acyclicity te
s
t up
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoola
e
ge
a
d
d isl_set_
l
ower_bo
u
nd_si
commit
|
commitdiff
|
tree
2010-02-17
Sven
V
erdo
o
laege
i
sl_map_print: use
c
onsi
s
tent names on
a
l
l disjuncts
commit
|
commitdiff
|
tree
2010-02-17
Sve
n
Verdoolaege
isl_cat: allow specificatio
n
of outpu
t
for
m
at on command
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Ve
r
d
oolaege
i
s
l_map_print:
supp
o
rt
I
SL
_
FORMAT_
P
OLYLIB
commit
|
commitdiff
|
tree
2010-02-17
Sv
e
n
Verdoolaege
isl_map_coal
e
sce: fix some regressions
introduced
by
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven
Verdoolaege
a
d
d isl_c
l
osure test appl
i
cation
commit
|
commitdiff
|
tree
2010-02-15
Sv
e
n Verdoolaege
add transit
i
ve clos
u
re example f
r
om Kelly'
s
1
9
96 p
a
per
commit
|
commitdiff
|
tree
2010-02-15
Sv
e
n
Verdoo
l
aege
isl_map
_
transi
t
ive_closure: constru
c
t general
p
aths
commit
|
commitdiff
|
tree
2010-02-15
S
v
en Verdoolaege
isl_map_transit
i
ve_closure: pr
e
pa
r
e for
the construction
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven
V
er
d
oola
e
ge
isl_map_transi
t
iv
e
_c
l
osure: construct paths that c
a
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven V
e
rdoolaege
isl_
t
ra
n
sitive_
c
losure:
e
xtract out con
s
tru
c
tion of
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sve
n
V
er
d
oolaege
isl
_
m
a
p
_
transitive_clo
s
ur
e
: use mo
r
e
gener
i
c acycl
i
c
ity
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
S
v
en Ver
d
ool
a
ege
isl_map_print:
ad
d
parenthe
s
e
s
around disjuncts
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoo
l
aege
isl_h
a
sh_table: u
s
e size that
c
orr
e
sponds to the n
u
m
b
er
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdool
a
ege
isl_hash
_
table: grow table w
h
en we ru
n
ou
t
o
f
en
t
ries
commit
|
commitdiff
|
tree
2010-02-15
Sv
e
n
Ve
r
doola
e
ge
isl_map_coal
e
sc
e
: only use non-redundant co
n
straints
.
.
.
commit
|
commitdiff
|
tree
2010-02-13
Sv
e
n Verdoolaege
add isl
_
set_fix_si
commit
|
commitdiff
|
tree
2010-02-13
Sven
V
erdoo
l
aege
i
sl_map_rea
d
:
a
ccept
c
hains of
c
omparisons
commit
|
commitdiff
|
tree
2010-02-10
Sven V
e
r
dool
a
e
g
e
export i
s
l_ma
p
_align_
d
iv
s
commit
|
commitdiff
|
tree
2010-02-10
Sven Ve
r
doolaege
isl_ma
p
_read: forg
e
t
existentially quanti
f
i
ed
v
ariables
.
.
.
commit
|
commitdiff
|
tree
2010-02-10
S
v
en Verd
o
olaege
isl_input
.
c: remove
n
eedl
e
ss indire
c
ti
o
n
commit
|
commitdiff
|
tree
2010-02-09
Sven
Verdoolaege
doc: document how to insp
e
c
t
sets
a
nd relations
commit
|
commitdiff
|
tree
2010-02-09
Sv
e
n V
e
rdool
a
e
g
e
expo
r
t i
s
l_map_co
m
put
e
_
d
ivs
commit
|
commitdiff
|
tree
2010-02-09
Sven Ve
r
doolaege
isl
_
constraint_div: make s
u
re requested
div is a known
d
iv
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolae
g
e
do
c
: drop docum
e
nta
t
i
on of _d
u
m
p
functions
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoo
l
a
ege
isl
_
map_print:
i
mprove output
commit
|
commitdiff
|
tree
2010-02-09
Sven Ve
r
d
o
olaege
add isl_basi
c
_map_foreach_constraint
commit
|
commitdiff
|
tree
2010-02-08
Sv
e
n
V
erdoo
l
a
eg
e
isl_m
a
p_
c
o
ale
s
ce: handle
m
o
re cases
commit
|
commitdiff
|
tree
2010-02-08
Sv
e
n
Verdo
o
lae
g
e
privately
export isl
_
set_wr
a
p_facet
commit
|
commitdiff
|
tree
2010-02-08
Sve
n
V
e
rdool
a
ege
isl_convex_hull
.
c: wrap_facet: allow u
n
b
o
unded facets
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
S
v
en
V
er
d
oolaege
doc: imp
r
o
ve decr
i
ption of i
s
l_ma
p
_
trans
i
tive_closur
e
commit
|
commitdiff
|
tree
2010-02-08
S
v
en Verdoolaege
isl_m
a
p_transitive_c
l
osur
e
: impro
v
e
t
e
s
t
fo
r
exactness
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
add a co
u
nt
e
r ex
a
mple
f
or The
o
rem 1 of the
C
OCOA pap
e
r
commit
|
commitdiff
|
tree
2010-02-08
S
ven Verdoolaege
add is
l
_map_l
o
wer_bou
n
d_
s
i
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdo
o
laege
isl
_
m
ap_power: c
o
alesce dom
a
in and
range
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoo
l
aege
isl_f
l
ow
.
c: add mis
s
ing isl
_
access_info_free re
t
urn
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoo
l
aege
i
sl
_
coalesce
.
c: fi
x
typo in comment
commit
|
commitdiff
|
tree
2010-02-07
Sven Ve
r
doolaege
i
n
c
l
ude/isl_int
.
h: a
r
gument
of
m
p
_g
e
t_memory_functions
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven V
e
rdool
a
ege
i
s
l
_map_re
a
d:
acc
e
pt lists of a
f
fine expressions in
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verd
o
olaege
add isl_mat_from_r
o
w_vec and
isl_mat_v
e
c_con
c
at
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolae
g
e
isl_map_re
a
d:
read extended polylib for
m
a
t
commit
|
commitdiff
|
tree
2010-02-04
S
ven Ver
d
oolaege
add isl_stream_next_token_on
_
s
ame_line
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
isl_map_r
e
ad: make sure p
o
lyl
i
b co
n
str
a
int coeffic
i
ents
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven
V
erd
o
ol
a
ege
isl_{map,
s
et}_dim: handle N
U
LL inp
u
t
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaeg
e
isl_map_read:
u
se more unif
o
rm way of
r
eading in
p
olylib
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
S
ven
Verdoolaege
isl_t
r
ansi
t
iv
e
_c
l
o
s
ure
.
c:
fix t
y
po in comment
commit
|
commitdiff
|
tree
2010-02-04
Sven Verd
o
olaege
isl_map_transi
t
ive_closure:
u
se more
rela
x
ed exactn
e
ss
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
ad
d
isl_map_power and i
s
l_map_tran
s
itive_
c
l
o
su
r
e
commit
|
commitdiff
|
tree
2010-02-03
S
ven
V
erd
o
olaege
isl_m
a
p_su
b
tract
.
c
: make some int
e
rnal
f
unctio
n
s stat
i
c
commit
|
commitdiff
|
tree
2010-02-03
S
v
en Verdoolaege
ad
d
ge
n
eric is
l
_map_proj
e
ct_out
commit
|
commitdiff
|
tree
2010-02-03
S
ven Ve
r
do
o
l
aeg
e
add isl_{
m
ap,se
t
}_add
commit
|
commitdiff
|
tree
2010-02-03
Sv
e
n
V
e
rd
o
olaege
rename is
l
_{map,set}
_
add to isl_{map,set
}
_
add_basic_
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven
Verdoolaege
is
l
_
s
e
t_pr
o
ject_out: always update dime
n
sion,
eve
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
is
l
_
dim_join:
d
on't requ
i
re names of joined variables
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven
V
erdoolaege
add i
s
l
_
map
_
from_domain_and_
r
ange
commit
|
commitdiff
|
tree
2010-02-03
Sven
V
erdoo
l
ae
g
e
isl_stream
:
trea
t
"
-
" as opera
t
or rather than as
-
1
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdool
a
e
g
e
isl_ma
p
_r
e
ad: accept "st
r
ict" inequalit
i
es
commit
|
commitdiff
|
tree
2010-02-03
Sven Ve
r
doola
e
ge
i
s
l
_
input
.
c: fix
memory
d
e
allocatio
n
probl
e
m on missing
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
a
d
d
dependence an
a
lysis
commit
|
commitdiff
|
tree
2010-01-31
Sv
e
n
V
e
r
d
oolaege
add isl_map_{partial_,}lexopt
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
add private isl_{set
,
m
a
p
}_
m
ake_d
i
sjoint
commit
|
commitdiff
|
tree
2010-01-31
S
ven V
e
rdool
a
ege
basi
s
_re
d
uction_templ
.
c: f
i
x t
y
po in
comment
commit
|
commitdiff
|
tree
2010-01-31
S
ven Verdoo
l
ae
g
e
is
l
_tab_p
i
p
.
c: find_solutio
n
s: break when con
t
ext becomes
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaeg
e
isl_d
i
m_equal: don't
require
n
ames o
f
input
a
nd output
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
S
v
e
n Verdoola
e
ge
isl_dim_map: p
r
operly duplic
a
te names
commit
|
commitdiff
|
tree
2010-01-31
Sven V
e
rdoolaege
isl_dim_drop: properly ad
j
ust length of names ar
r
ay
commit
|
commitdiff
|
tree
2010-01-26
Sven Ve
r
doolaege
doc:
a bit more on integers
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoo
l
aege
doc:
d
escribe in
p
u
t/out
p
ut forma
t
s
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoolaege
doc: f
i
x ty
p
o
commit
|
commitdiff
|
tree
2010-01-25
Sve
n
Verdo
o
l
aege
add isl_
c
at
t
est app
l
ication
commit
|
commitdiff
|
tree
next