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_set_wrap_facet: make sure set is marked rational
2010-03-04
Sven V
e
rdoolaege
i
s
l_se
t
_wr
a
p_facet: make sure set
i
s marke
d
rational
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
isl_coalesce
.
c: fix typo i
n
c
o
mment
commit
|
commitdiff
|
tree
2010-02-19
Sven Verd
o
olaege
isl_map_read:
a
c
c
e
p
t list o
f
predic
a
ted elem
e
nts
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoola
e
ge
isl
_
ma
p
_
r
ead:
e
xtract o
u
t parsi
n
g
of ma
p
b
o
d
y
commit
|
commitdiff
|
tree
2010-02-19
S
ven Ve
r
d
oolaege
i
s
l_map_
r
ead: add dummy variable name f
o
r
unn
a
med vari
a
bles
commit
|
commitdiff
|
tree
2010-02-19
Sv
e
n Verdoolaege
is
l
_stream: accept ";" t
o
k
en
commit
|
commitdiff
|
tree
2010-02-19
Sve
n
Ver
d
oolaege
use -O1 op
t
imization level for gcc 4
.
2
commit
|
commitdiff
|
tree
2010-02-19
Sve
n
V
e
rdoolaege
drop
c
omma at
t
he
end
of en
u
m
e
rations in
i
nclude files
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoolaege
isl_map_read: accept affine comb
i
nations of earlier
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sv
e
n V
e
rdoo
l
aege
i
s
l_map_read
:
construct
b
as
i
c map while reading v
a
riable
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven V
e
rdoolaege
isl_map_print:
a
dd p
r
ime
s
to d
u
plicate name
s
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdo
o
l
a
ege
isl_map_tr
a
nsitive
_
closure: imp
r
ove accuracy by copying
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sv
e
n Verdoo
l
aege
isl_map_transitiv
e
_closure: perform exac
t
ness check
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven
V
e
rdoolaege
i
sl_ma
p
_tran
s
itive_clo
s
ure:
reform
u
late exa
c
tne
s
s test
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
S
ve
n
Verdoolaege
add a transitiv
e
closure example
fro
m
the Omega te
s
t
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven
V
erdoolaege
isl_map_transitive_closure: compu
t
e p
o
wer o
n
strongly
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sve
n
Ve
r
doolaege
isl_map_
t
ransitive_clo
s
u
r
e: intersec
t
with dom
a
in and
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
S
ven Verdoolaege
isl_map_transitive_closure: extract out
constructi
o
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
isl_ma
p
_transi
t
i
v
e
_
closure: move acyclicity
t
e
st up
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verd
o
olaege
add isl_set_lower_bound_si
commit
|
commitdiff
|
tree
2010-02-17
Sven
Verdoolae
g
e
isl_map
_
pr
i
nt: use
c
onsis
t
ent names on
all disjuncts
commit
|
commitdiff
|
tree
2010-02-17
S
v
en V
e
r
d
o
o
l
aege
isl_c
a
t: a
l
low specifica
t
i
o
n of output format on comma
n
d
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
isl_map_p
r
int: support IS
L
_
FORMAT_POLYLIB
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoo
l
aege
i
s
l_map
_
coa
l
esce: fix some r
e
gre
s
sions intro
d
u
ced by
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolae
g
e
add isl_
c
los
u
r
e
t
e
st ap
p
lica
t
ion
commit
|
commitdiff
|
tree
2010-02-15
S
v
en
V
e
r
d
oolaege
add transitive
cl
o
sure example f
r
om
Kelly's 1996
pap
e
r
commit
|
commitdiff
|
tree
2010-02-15
Sven
V
erdoolaege
i
s
l_map_transitive_clo
s
ure:
c
onstr
u
ct g
e
neral paths
commit
|
commitdiff
|
tree
2010-02-15
Sven
Verdoolaege
isl
_
map_tr
a
nsi
t
iv
e
_cl
o
sure: prepare for
t
he construct
i
on
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven
Ver
d
o
o
laege
i
s
l
_
map_transitive_closure: con
s
truct pa
t
hs that can
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sve
n
V
e
rdoolaege
i
sl_t
r
a
n
sit
i
ve_closure: ext
r
act o
u
t
construction
of
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verd
o
olaege
i
sl_ma
p
_transi
t
ive_cl
o
su
r
e: use mor
e
generic
a
c
y
clicity
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven V
e
rdool
a
ege
isl_map_print: add pa
r
en
t
he
s
e
s around d
i
sjuncts
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl_hash_t
a
ble
:
use size that corresponds to the number
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verd
o
ol
a
ege
isl_hash_
t
able: grow
table when we ru
n
out of en
t
ries
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl_map_coalesc
e
:
o
n
ly
u
s
e
non-redundant c
o
nst
r
aints
.
.
.
commit
|
commitdiff
|
tree
2010-02-13
Sven
V
erdoolaege
add i
s
l_set
_
fi
x
_si
commit
|
commitdiff
|
tree
2010-02-13
Sve
n
Verdo
o
laege
isl_map_read: accept chains of comparisons
commit
|
commitdiff
|
tree
2010-02-10
Sv
e
n V
e
rd
o
olaege
export is
l
_
map_
a
lign_divs
commit
|
commitdiff
|
tree
2010-02-10
Sven Verdoola
e
g
e
isl_map_re
a
d:
f
orget existentiall
y
quan
t
if
i
ed variables
.
.
.
commit
|
commitdiff
|
tree
2010-02-10
S
v
en
V
er
d
oolaege
isl_
i
nput
.
c:
remove needless indirection
commit
|
commitdiff
|
tree
2010-02-09
Sv
e
n Verdoolaeg
e
d
o
c: doc
u
m
ent how to i
n
s
p
ect sets and rel
a
tions
commit
|
commitdiff
|
tree
2010-02-09
Sve
n
Verdool
a
e
g
e
export isl_
m
ap_compute_
d
iv
s
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoo
l
aege
isl_constraint_d
i
v: ma
k
e
s
ur
e
requested div is a
k
nown di
v
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
doc: dr
o
p docu
m
entation of
_dump fu
n
ction
s
commit
|
commitdiff
|
tree
2010-02-09
Sve
n
Verdoolaege
isl_ma
p
_prin
t
:
im
p
rove outp
u
t
commit
|
commitdiff
|
tree
2010-02-09
Sve
n
Verdoolaege
add isl_bas
i
c_map_for
e
ach_co
n
s
t
rai
n
t
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
isl_map_coalesce: handle more c
a
ses
commit
|
commitdiff
|
tree
2010-02-08
Sven V
e
rdoo
l
aege
privately ex
p
ort isl_set_wrap_fa
c
et
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
i
s
l_convex_hull
.
c: wrap_facet:
allow unbounded facets
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven
V
erdoolaege
doc: improve decription of
isl_map_transi
t
ive_closure
commit
|
commitdiff
|
tree
2010-02-08
Sven V
e
rdoolaege
i
sl_map_transitive_closur
e
:
im
p
rove
t
est
for ex
a
ctn
e
s
s
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
add a counter exa
m
ple
f
or Theor
e
m 1 of the COCOA paper
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
add isl_map_lower_b
o
und_si
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
is
l
_m
a
p_power: coale
s
ce
domain and
range
commit
|
commitdiff
|
tree
2010-02-08
Sv
e
n Verdo
o
laege
isl_flow
.
c:
add
missin
g
i
s
l_access_
i
nfo_f
r
ee
r
e
t
u
r
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
i
sl_c
o
alesce
.
c: fix typo in c
o
m
m
e
nt
commit
|
commitdiff
|
tree
2010-02-07
Sven Verdoolaege
include/isl_int
.
h:
a
rgument of mp_get
_
m
emory_
f
unc
t
i
ons
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
isl_
m
ap_read
:
accept lis
t
s of affi
n
e expressions in
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
add isl_mat_fro
m
_
row_
v
ec and isl_mat_vec_conc
a
t
commit
|
commitdiff
|
tree
2010-02-04
Sven
Verdoolaege
isl_ma
p
_
r
ead: read ex
t
end
e
d p
o
lylib format
commit
|
commitdiff
|
tree
2010-02-04
Sven
V
erdo
o
la
e
ge
add isl_stre
a
m_next_tok
e
n
_
on
_
same_line
commit
|
commitdiff
|
tree
2010-02-04
Sven
Ve
r
doolae
g
e
isl_ma
p
_r
e
ad: make
sure polylib const
r
aint coefficients
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
S
v
en Verdo
o
lae
g
e
isl_{m
a
p,
s
et
}
_dim: handle NULL i
n
put
commit
|
commitdiff
|
tree
2010-02-04
Sven
Verdoolaege
isl_map_read: use more unifor
m
way of readin
g
i
n
pol
y
l
ib
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
S
v
en Verd
o
ol
a
ege
is
l
_transitive_
c
losure
.
c: f
i
x
typo i
n
comme
n
t
commit
|
commitdiff
|
tree
2010-02-04
Sven
V
e
rd
o
ola
e
ge
i
s
l
_
map_tran
s
iti
v
e_closure: use
m
ore re
l
axed exact
n
e
ss
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
add
i
sl_map_power and isl_ma
p
_transiti
v
e_closure
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
isl_ma
p
_s
u
btr
a
ct
.
c: make some internal f
u
nctions static
commit
|
commitdiff
|
tree
2010-02-03
S
ven
V
e
r
d
oo
l
aege
add gen
e
ri
c
i
sl_map_project_out
commit
|
commitdiff
|
tree
2010-02-03
S
v
en V
e
r
d
oolaeg
e
add isl_{map,set}_add
commit
|
commitdiff
|
tree
2010-02-03
S
ven Ve
r
doolae
g
e
re
n
a
me isl_{map,set}
_
add to isl_{map,set}_add_basic_
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaeg
e
i
sl_set_pr
o
ject_out: a
l
ways upd
a
t
e dimension, even
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
S
v
en Verdoolaege
i
sl_dim_j
o
in: don't requ
i
re names
of joi
n
ed variables
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Ve
r
doolaege
add isl_map_from_dom
a
in_and_range
commit
|
commitdiff
|
tree
2010-02-03
Sven Ve
r
doolaeg
e
isl_stream: tre
a
t "-"
as ope
r
ator rather th
a
n
as -1
commit
|
commitdiff
|
tree
2010-02-03
S
v
e
n
Ve
r
doo
l
aege
isl_map_r
e
ad: acc
e
pt "stri
c
t" inequalities
commit
|
commitdiff
|
tree
2010-02-03
Sv
e
n Verdoolaege
i
sl_inpu
t
.
c
:
f
ix memory deallocation
problem on missing
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven
V
erdoolaege
add depend
e
n
c
e
analysis
commit
|
commitdiff
|
tree
2010-01-31
Sven V
e
r
doo
l
a
ege
add isl
_
map_{part
i
a
l_,}lexopt
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoo
l
aege
add pri
v
ate isl_{set,map}_make_dis
j
oi
n
t
commit
|
commitdiff
|
tree
2010-01-31
Sven Verd
o
olaege
b
a
sis_reduction_templ
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
isl_tab_pip
.
c: find_solutions: break when context be
c
om
e
s
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven V
e
rdoolaege
i
sl_di
m
_equal: d
o
n't r
e
q
u
ire names of i
n
put an
d
output
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
S
ven Verd
o
ol
a
ege
isl_dim_map: properly
d
uplicate names
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
i
s
l_dim_drop: p
r
o
p
er
l
y a
d
just l
e
ngth of n
a
mes arra
y
commit
|
commitdiff
|
tree
2010-01-26
S
ven
V
erdoolae
g
e
doc: a bit
more on integers
commit
|
commitdiff
|
tree
2010-01-26
S
v
en Verdoo
l
aege
doc: descr
i
be input/outp
u
t formats
commit
|
commitdiff
|
tree
2010-01-26
Sven
V
e
rdoolaege
doc: f
i
x typo
commit
|
commitdiff
|
tree
2010-01-25
S
v
e
n
Verdoolaege
a
d
d isl_cat
test application
commit
|
commitdiff
|
tree
2010-01-25
S
v
en
V
er
d
oo
l
a
e
g
e
a
dd
o
m
ega o
u
tput
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
erd
o
ol
a
ege
add isl output
commit
|
commitdiff
|
tree
2010-01-25
Sven Verd
o
olaeg
e
isl_t
e
s
t
:
use isl_se
t
_read_f
r
om_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdool
a
ege
a
d
d isl_
s
e
t_read_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
add isl_map_re
a
d
_
from_
s
tr
commit
|
commitdiff
|
tree
2010-01-25
S
v
e
n
Verdoolaege
i
s
l_map_read_from_file:
allow unions in isl forma
t
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaeg
e
isl_basic
_
map_read: read defin
i
tio
n
s of
e
xistent
i
al
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
private
l
y export isl_basic_map_add_div_constraints
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
i
s
l_basic_
m
ap_read: read affi
n
e
c
o
n
s
traint
a
s
t
wo
affine
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
S
ven Verdoolaeg
e
is
l
_input
.
c: op
t
ionally read
p
a
rameters
from inp
u
t
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
to
k
enizer: ac
c
ept
"
a
nd
"
key
w
ord
commit
|
commitdiff
|
tree
next