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_map_transitive_closure: use more generic acyclicity test
2010-02-15
Sven
V
erdoo
l
aege
i
sl_
m
a
p
_transitive_cl
o
sure: use mo
r
e g
e
n
eric acyclici
t
y
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sve
n
Verdoolae
g
e
isl_map_print: add
p
arentheses
around disjuncts
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
i
sl_
h
ash_ta
b
le
:
use size that corr
e
sp
o
nds to t
h
e
n
umber
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sv
e
n Verdoolaege
isl_hash_table
:
grow table when we run out of entries
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl_map_co
a
lesce: only
u
s
e
n
o
n-re
d
undant constraints
.
.
.
commit
|
commitdiff
|
tree
2010-02-13
Sv
e
n Verdoolaeg
e
a
d
d is
l
_set_fix_si
commit
|
commitdiff
|
tree
2010-02-13
Sven Verdoolaege
isl_
m
ap_read: acc
e
pt c
h
ains of comparisons
commit
|
commitdiff
|
tree
2010-02-10
Sv
e
n Verdool
a
ege
export
i
sl_map_align
_
d
i
vs
commit
|
commitdiff
|
tree
2010-02-10
Sven Verdoolaege
isl_map_read: forg
e
t
exist
e
ntia
l
ly qua
n
ti
f
ied variables
.
.
.
commit
|
commitdiff
|
tree
2010-02-10
Sve
n
V
e
rdoolaege
isl_i
n
put
.
c: remove need
l
ess indirection
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoola
e
ge
doc:
document how to
i
nspect
s
e
ts
a
nd relat
i
ons
commit
|
commitdiff
|
tree
2010-02-09
S
ven Verd
o
olaege
ex
p
ort isl_m
a
p
_
com
p
ute_divs
commit
|
commitdiff
|
tree
2010-02-09
Sven
V
erdoolaege
isl_constraint_div:
make sure req
u
es
t
ed div
is a known div
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
d
oc:
drop documentati
o
n of _
d
ump functions
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
isl_map_pr
i
n
t: improve out
p
ut
commit
|
commitdiff
|
tree
2010-02-09
Sven Ve
r
doolaege
add isl_basic_map_foreach_
c
ons
t
r
a
int
commit
|
commitdiff
|
tree
2010-02-08
S
v
en Verdoo
l
aege
isl_m
a
p
_coalesce: handle mo
r
e
c
ases
commit
|
commitdiff
|
tree
2010-02-08
Sven Verd
o
olaege
priv
a
tel
y
export isl_set_wra
p
_facet
commit
|
commitdiff
|
tree
2010-02-08
Sven Ver
d
oo
l
a
e
ge
isl
_
co
n
vex_hull
.
c: wr
a
p_facet: all
o
w
u
nbounded facets
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
doc:
imp
r
ove decription of is
l
_map_transitive
_
closure
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdo
o
laege
i
sl_map_trans
i
t
ive_closure: imp
r
ove te
s
t
f
or exactness
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
ad
d
a counter example
f
or Theorem 1 of the
COCOA pap
e
r
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdo
o
la
e
ge
add isl_map_lower_bound_si
commit
|
commitdiff
|
tree
2010-02-08
Sve
n
Verdoolaege
is
l
_
map_
p
ower: coalesce d
o
ma
i
n a
n
d
r
ang
e
commit
|
commitdiff
|
tree
2010-02-08
S
v
e
n Verdo
o
l
ae
g
e
isl_
f
l
o
w
.
c: add m
i
ss
i
n
g
isl_access_info_free return
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven Ve
r
doolae
g
e
isl_co
a
l
esce
.
c
:
f
ix
t
ypo in
c
o
m
men
t
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
isl_map_read: accept
l
i
s
ts of
affine
expression
s
in
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
S
v
en
V
e
rdoo
l
aege
add isl_mat
_
f
rom_row
_
v
ec and
isl_mat_vec_concat
commit
|
commitdiff
|
tree
2010-02-04
Sven
V
erd
o
o
l
aege
isl_map_read: r
e
a
d
exte
n
ded
polylib for
m
at
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
add
i
s
l_
s
tream
_
n
ext_
t
o
ken_on_sa
m
e_li
n
e
commit
|
commitdiff
|
tree
2010-02-04
Sven V
e
r
doolaege
isl_map_read:
m
ake su
r
e polyl
i
b constraint coefficients
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoo
l
aege
isl
_
{m
a
p,set}_dim: hand
l
e NULL input
commit
|
commitdiff
|
tree
2010-02-04
S
ven Verdo
o
laeg
e
isl_map_read: use more
u
niform way of read
i
ng in pol
y
lib
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sv
e
n V
e
rdoolaege
isl_transitive_closure
.
c: f
i
x typo in comment
commit
|
commitdiff
|
tree
2010-02-04
Sven
Verdoolaege
isl_map
_
transi
t
ive_c
l
o
s
u
r
e: use more relaxed exactness
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoo
l
aege
a
d
d i
s
l_map_power and isl_
m
ap_transitive_c
l
osure
commit
|
commitdiff
|
tree
2010-02-03
S
ven Verdoolae
g
e
isl_m
a
p_subtract
.
c
:
make
some
internal functions static
commit
|
commitdiff
|
tree
2010-02-03
Sven
Verdoolaege
add
g
eneric is
l
_ma
p
_project_out
commit
|
commitdiff
|
tree
2010-02-03
Sven
Verdool
a
ege
add isl
_
{map,
s
et}_add
commit
|
commitdiff
|
tree
2010-02-03
Sven V
e
r
doolae
g
e
re
n
ame
i
sl_{m
a
p
,
set}_add to isl_{map,se
t
}_a
d
d
_basic
_
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
S
v
en Verd
o
olaege
isl_se
t
_
p
r
oject_out: a
l
ways update
dimen
s
ion
,
eve
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven
Verdoolaege
isl_dim_join: do
n
't require
nam
e
s of joined variable
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sve
n
Verdoolaege
add isl_map_from_d
o
main_and_r
a
nge
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
isl_stream: tre
a
t "-"
as
operator rather than as -1
commit
|
commitdiff
|
tree
2010-02-03
Sven Ver
d
oolaege
isl_map_re
a
d
:
acce
p
t
"
strict" in
e
qualit
i
es
commit
|
commitdiff
|
tree
2010-02-03
Sven
V
e
r
doola
e
g
e
i
s
l
_
i
n
put
.
c:
f
i
x
memory deallocation problem on missing
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolae
g
e
a
d
d dep
e
ndence analy
s
i
s
commit
|
commitdiff
|
tree
2010-01-31
Sven Ve
r
doolaege
add isl_map_{parti
a
l
_
,}lexopt
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoola
e
g
e
add private is
l
_{set,map}_make
_
disjo
i
nt
commit
|
commitdiff
|
tree
2010-01-31
S
v
en Ver
d
oolaege
bas
i
s_redu
c
tion_t
e
m
pl
.
c
: fix ty
p
o
in comment
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
i
s
l_tab_pip
.
c:
fin
d
_solutions:
break when
c
o
n
t
e
xt becomes
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven V
e
r
d
oolaege
isl_dim_equal: don't requi
r
e names
o
f
input and output
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
is
l
_dim_map
:
properly
duplicate names
commit
|
commitdiff
|
tree
2010-01-31
S
ve
n
Verdoolaege
isl_d
i
m
_
d
rop:
properly adjust
l
ength of names
a
r
ra
y
commit
|
commitdiff
|
tree
2010-01-26
Sve
n
Verdoo
l
aege
doc: a
bit more on inte
g
ers
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoolaege
doc: describe input/o
u
tput for
m
ats
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoo
l
aege
doc: fi
x
t
y
po
commit
|
commitdiff
|
tree
2010-01-25
Sven V
e
rdoolaege
a
dd isl_
c
at
test
a
p
plicat
i
on
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
erdoolaeg
e
a
dd omega output
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdool
a
ege
a
dd
i
sl output
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
i
sl_te
s
t: use i
s
l_set_r
e
ad_f
r
om_str
commit
|
commitdiff
|
tree
2010-01-25
S
v
e
n Ver
d
oolaege
add isl_
s
et_read_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sve
n
Verdoola
e
ge
add
i
sl_map
_
read_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdool
a
e
g
e
isl_map_read_from_file: all
o
w
u
nions in isl
forma
t
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
isl_basic_map_read
:
read d
e
finiti
o
ns
of existential
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sve
n
Verdoolaege
privately expor
t
isl_b
a
sic_map_add_di
v
_
c
o
n
str
a
ints
commit
|
commitdiff
|
tree
2010-01-25
Sven V
e
rdoolaege
isl
_
basic_
m
ap_read:
r
e
ad affine constraint as two affine
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sve
n
V
erdoolaege
isl_input
.
c:
option
a
lly read
p
arameters from input
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
tok
e
nizer: accept "and" keyword
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
erdo
o
l
ae
g
e
expor
t
isl_map_read_fro
m
_file
commit
|
commitdiff
|
tree
2010-01-25
Sven Ver
d
oolaege
export i
s
l_basic_map_r
e
ad_from_str
commit
|
commitdiff
|
tree
2010-01-25
S
v
en V
e
rdo
o
la
e
g
e
dr
o
p red
u
ndant input_format ar
g
ument from readi
n
g functions
commit
|
commitdiff
|
tree
2010-01-25
Sve
n
Verd
o
o
l
a
e
ge
isl_
i
nput
.
c: merge
f
unc
t
ions for reading PolyLib and
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
S
ven Ver
d
o
olaege
i
s
l_input_
o
mega
.
c:
a
ccept P
o
lyLib
i
nput
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
isl_input
_
omega
.
c: prepare for reading
p
arametric unions
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
isl_
i
np
u
t_
o
mega
.
c
:
finaliz
e
a
nd simp
l
ify
r
e
sulting
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Ver
d
oolaege
isl_i
n
put_omega
.
c: fix
check for memory al
l
oc
a
t
i
o
n
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sve
n
Verdoolaege
isl_stream
_
next_
t
oken: skip
comment lines
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoo
l
aege
isl
_
tab_basic_map_partial
_
l
exopt: pr
o
perly handle emp
t
y
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolae
g
e
isl_basic_ma
p
_
set_to_e
m
pty:
r
emov
e
sample (i
f
any
)
commit
|
commitdiff
|
tree
2010-01-24
Sv
e
n Ver
d
oolaege
add isl_s
e
t
_fast_is_empty
commit
|
commitdiff
|
tree
2010-01-13
Sven Ver
d
ool
a
ege
properly rem
o
v
e piplib submodu
l
e
commit
|
commitdiff
|
tree
2010-01-08
Sven
V
e
rdoolaege
isl_basic_map
_
upd
a
te_f
r
om_tab: r
e
-
g
a
uss r
e
sult
i
ng
b
map
commit
|
commitdiff
|
tree
2010-01-01
Sven
V
erdool
a
eg
e
ax_su
b
modul
e
.
m4: don
'
t let --with-
m
odule
conflict with
.
.
.
commit
|
commitdiff
|
tree
2009-12-25
Sven Verdoolaege
add isl_s
e
t_
f
ollows_at
commit
|
commitdiff
|
tree
2009-12-24
Sven Verdoolaege
isl_ba
s
i
c_set_compare_a
t
: compute result in terms of
.
.
.
commit
|
commitdiff
|
tree
2009-12-24
Sve
n
Verdoolaege
isl_tab_pip
.
c: add
cu
t
s
for all non-integer coordinates
.
.
.
commit
|
commitdiff
|
tree
2009-12-19
S
v
en Verdoolae
g
e
i
s
l_
b
asic_map_g
i
st: don't drop equalit
i
e
s
from context
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoolaege
is
l
_convex_
h
ull
.
c: initial_
f
acet_
c
o
nstra
i
n
t: drop all
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoolaege
isl_conve
x
_hull
.
c: is_independent_bound: normali
z
e
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
S
v
en Verdoolaege
isl_convex_h
u
ll
.
c
:
extend: chec
k
hull argume
n
t
commit
|
commitdiff
|
tree
2009-12-18
S
v
e
n Verdoolaege
isl_ma
t
_right
_
inve
r
se
:
be more verbose o
n
error condition
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoolaege
i
sl_constraint_dup: make sur
e
line refers to
equation
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven Ve
r
doolaege
i
s
l_map_intersect: add
s
pecial case
for adding a sing
l
e
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven Verdoolaege
compute set
d
i
fference using
a backtrack
i
ng alg
o
rithm
commit
|
commitdiff
|
tree
2009-12-07
Sven V
e
r
d
oolaege
isl
_
ma
p
_s
u
b
t
ract
.
c: extract
fr
o
m
i
sl_map
.
c
commit
|
commitdiff
|
tree
2009-12-07
Sv
e
n
Verdoolaege
isl_tab: ke
e
p track
of isl_
b
asic_map instead of isl_b
a
sic_set
commit
|
commitdiff
|
tree
2009-12-07
S
v
en Verdoolaege
privately export isl_bas
i
c_ma
p
_co
n
tai
n
s
commit
|
commitdiff
|
tree
2009-12-07
Sven
V
erdoolaege
add isl_basic_map_add
_
ineq and
i
sl
_
basic_ma
p
_add_eq
commit
|
commitdiff
|
tree
2009-12-07
Sv
e
n Verdoolaege
i
s
l_tab_detect_re
d
u
ndant:
ret
u
rn st
a
t
us in
s
tead
o
f
.
.
.
commit
|
commitdiff
|
tree
next