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_affine_hull.c: extract uset_affine_hull
2009-03-20
Sven
V
erdoolaege
isl_affine_hull
.
c:
extract
u
set_affine_hull
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_mat_trans
p
ose: h
a
ndle non-rectangular m
a
trices
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdool
a
e
g
e
isl
_
ma
p
_simple_hull
:
compute affine hull b
e
fore
aligning
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Ver
d
o
o
lae
g
e
isl
_
m
a
p_simple_hull: mar
k
res
u
lt as not
h
avi
n
g
a
n
y
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoo
l
aege
add isl_set_bounded_simple_hull
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolae
g
e
isl_map_af
f
ine_hu
l
l
: detect equalities o
f
integer affi
n
e
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verd
o
olaege
isl_basic_m
a
p_dup: copy fl
a
g
s
of original to dupli
c
ate
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoola
e
ge
isl_basic_
m
a
p
_exten
d
_dim:
m
ove responsibility of cow
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rdoolaege
isl_basic_m
a
p
_ex
t
end_di
m
:
o
nl
y
e
x
t
en
d
constraint matr
i
x
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rdoolaege
isl_
s
olve
_
lp: u
s
e table
a
u
s
ins
t
ea
d
of calling pipli
b
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verd
o
olaege
isl_solve_lp
:
ac
c
ept af
f
i
n
e
ob
j
e
ct function instead
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_map_simple
_
hull: use
hash tables and tableaus
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdoolaege
isl_con
v
ex_hull
.
c
:
e
xtract out uset_
s
imple_h
u
ll
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rdoolaege
i
s
l_conv
e
x_hull
.
c: e
x
t
end: avoid wrapping around already
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdoo
l
aege
i
s
l_c
o
nvex_hull
.
c: introdu
c
e proto_hull based on
obviou
s
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoo
l
aege
isl_
c
onvex_hull
.
c: move i
n
itia
l
hul
l
c
o
n
st
r
uct
i
on into
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl
_
convex_h
u
ll
.
c
:
m
ove co
m
putation of bo
u
nds i
n
to
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoo
l
a
ege
i
s
l_map_convex_
h
ul
l
:
chec
k
for boundedness us
i
ng reces
s
ion
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
is
l
_basic_ma
p
_convex_hull
:
u
se table
a
u
t
o
detect redundant
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
d
o
olaege
isl_aff
i
ne_hull
.
c: use tabl
e
au to detect implicit eq
u
alities
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdool
a
ege
isl_tab
.
c: don't
d
e
t
e
ct
equalitie
s
while s
e
t
ting
up
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdoo
l
aege
add i
n
ternal re
p
re
s
ent
a
tion
o
f LP ta
b
leaus
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
add i
s
l
_mat_e
x
tend
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
V
erdoolaege
add is
l
_set_dim
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdoolaege
private
l
y
e
x
port i
s
l_
b
asic_{set,map}_normalize_con
s
train
t
s
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdool
a
ege
add isl_ba
s
ic_set_extend_dim
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
V
e
rdoolaege
isl
_
basic_ma
p
_
e
limin
a
te_vars
:
cle
a
r div
s
first
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
d
o
ol
a
ege
isl_basic_map_eli
m
inate_vars
:
remove all dependent
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdo
o
laege
add isl_ha
s
h_table_alloc and isl_hash_table_free
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Ver
d
oolaege
i
s
l_hash_t
a
ble_
i
n
it: take minimal si
z
e i
n
stead of number
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
r
d
o
o
l
aege
isl_{basic_,}set_p
r
eimage: drop
ctx argument
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rdoolaege
isl_basic_map_intersec
t
: reuse samp
l
e
value of either
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdo
o
laege
add
isl_in
t
_ge
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
e
r
doo
l
ae
g
e
isl_
b
asic_set_has_defining_inequal
i
ties: fi
x
t
y
p
o
commit
|
commitdiff
|
tree
2009-03-20
S
v
e
n
Verd
o
olaege
isl_c
o
nstrain
t
_div:
p
erform required refere
n
c
e
increase
.
.
.
commit
|
commitdiff
|
tree
2009-03-08
Sven Ver
d
o
olaege
isl_basic_map: pu
t
in
e
qu
a
lities before e
q
uali
t
ies
commit
|
commitdiff
|
tree
2009-03-08
S
v
en Verdoolaege
add isl_seq_nor
m
alize
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdoolaege
is
l
_ctx
.
h:
make FL_ISSE
T
return a boolean valu
e
commit
|
commitdiff
|
tree
2009-03-08
Sven
Verdoolaege
rename
F
_ and
F
L_ macros
t
o
ISL_F_ and ISL_FL
_
to av
o
id
.
.
.
commit
|
commitdiff
|
tree
2009-03-08
S
v
en V
e
r
doolaege
add isl_mat
_
sw
a
p
_
c
o
ls
commit
|
commitdiff
|
tree
2009-03-08
Sven Verd
o
olae
g
e
isl_mat_
d
ump:
a
l
s
o i
n
de
n
t N
U
LL ma
t
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdo
o
laege
add isl_cal
l
o
c_type
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdool
a
ege
is
l
_map_conve
x
_hull: norma
l
ize
map fi
r
st
commit
|
commitdiff
|
tree
2009-03-08
Sven
V
erdoolaege
isl_s
e
t
_
preimage:
clea
r
ISL
_
SET_NORMALIZ
E
D fl
a
g
commit
|
commitdiff
|
tree
2009-02-23
Sven
V
e
r
doolaege
add isl_basic_map_detect_equalit
i
es
commit
|
commitdiff
|
tree
2009-02-22
S
ven Ve
r
doolaege
add isl_m
a
p_r
e
move
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolaege
export isl_basic_map_is_equal
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolaege
ad
d
isl_basic_m
a
p_remove
commit
|
commitdiff
|
tree
2009-02-22
Sven Ve
r
dool
a
ege
add isl_dim_range
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdool
a
ege
add isl_m
a
p
_
product
commit
|
commitdiff
|
tree
2009-02-22
S
ve
n
Verdoolaeg
e
add i
s
l_b
a
sic_map_add_constraint
commit
|
commitdiff
|
tree
2009-02-22
Sv
e
n Verdoolaege
a
dd isl_
d
im_ad
d
commit
|
commitdiff
|
tree
2009-02-22
Sv
e
n
V
e
rdoolaege
isl_map_piplib
.
c: isl_map_from_quast: prop
e
rly keep
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
S
ven Verdoo
l
aege
c
h
ange calling convention of isl_basic_map_{equal,le
s
s_at
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolaege
a
d
d
isl_map_copy_basic
_
map and isl
_
map_drop
_
basic_map
commit
|
commitdiff
|
tree
2009-02-22
Sven
V
e
r
d
o
olaege
add isl
_
map_from_range
commit
|
commitdiff
|
tree
2009-02-22
Sven V
e
rdoolaege
add isl_ma
p
_fast_is_empty
commit
|
commitdiff
|
tree
2009-02-22
S
v
e
n
V
e
r
d
o
olae
g
e
c
hange
c
all
i
ng co
n
vention of isl_
m
ap_empty and
a
d
d
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sve
n
Verd
o
o
laege
isl_ma
p
_i
n
terse
c
t_{dom
a
in,range}: allow inte
r
sec
t
ion
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sve
n
Ver
d
oo
l
aege
is
l
_map_interse
c
t: allow
i
n
ters
e
ction wi
t
h pure parameter
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sven
V
e
rdoo
l
aege
isl_basic_map_aff
i
n
e_hu
l
l
:
fix search for inte
g
er points
commit
|
commitdiff
|
tree
2009-02-22
Sven Ver
d
oolaege
isl_basic_map_o
v
erlying_set: don'
t
add
div co
n
st
r
aints
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sve
n
Ver
d
oolaeg
e
isl_dim
.
c: updat
e
n_name (only) w
h
en chang
i
ng
n
ames
commit
|
commitdiff
|
tree
2009-02-15
Sven V
e
rdoolaege
fix serious
e
rror in isl_mat_para
m
e
t
er_
c
om
p
ress
i
on
commit
|
commitdiff
|
tree
2009-02-11
Sven Verdoola
e
ge
expo
r
t isl_basic_map_inters
e
ct_range
commit
|
commitdiff
|
tree
2009-02-11
Sven Verdool
a
eg
e
add isl_basic_map_
f
loordiv
commit
|
commitdiff
|
tree
2009-02-11
Sven
V
erdoolaeg
e
add isl_b
a
sic_map_fast_is_f
i
xed
commit
|
commitdiff
|
tree
2009-02-11
S
v
en Verdoo
l
aege
add isl_bas
i
c_map_neg
commit
|
commitdiff
|
tree
2009-02-11
Sven Verd
o
olaege
add isl_
b
a
s
ic_map_sum
commit
|
commitdiff
|
tree
2009-02-10
S
ve
n
Verdoolaege
add i
s
l_m
a
p_fix_si,
a generalization of isl_basic_
m
ap_fix_in
.
.
.
commit
|
commitdiff
|
tree
2009-02-04
Sven
Ver
d
oolaege
isl_ma
p
_simplify
.
c
:
remove
_
duplicate_divs: r
e
move
divs
.
.
.
commit
|
commitdiff
|
tree
2009-02-04
Sven
V
erdool
a
ege
isl_
b
asi
c
_map_gauss
:
be
c
a
reful not
to
introduce circular
.
.
.
commit
|
commitdiff
|
tree
2009-02-04
Sven V
e
rdo
o
laege
add functions
f
o
r setting isl_divs
commit
|
commitdiff
|
tree
2009-02-04
Sven
Verdoolaege
i
s
l_map_fr
o
m_qu
a
st: don't t
h
row away a
n
y bottom leaves
commit
|
commitdiff
|
tree
2009-02-04
Sv
e
n Verdoola
e
ge
isl_map_s
i
mplify
.
c: normalize_divs:
f
ix use of var
i
able
.
.
.
commit
|
commitdiff
|
tree
2009-02-04
Sve
n
V
e
rdo
o
laege
isl_ma
t
_variab
l
e_co
m
pression: fix use after free
commit
|
commitdiff
|
tree
2009-02-03
Sven Verdoolaege
is
l
_map_sim
p
lify
.
c: normal
i
ze_divs:
ensure enough e
x
i
stentia
.
.
.
commit
|
commitdiff
|
tree
2009-02-03
Sven Verd
o
o
la
e
ge
i
s
l_hash_t
a
b
l
e_remove: u
p
dat
e
number
o
f en
t
ries
commit
|
commitdiff
|
tree
2009-01-22
S
ven Verdoo
l
ae
g
e
i
sl_map_simpl
e
_hul
l
: plug
m
emory leak
commit
|
commitdiff
|
tree
2009-01-09
Sv
e
n
V
erdoolaege
add std
:
:ostream &op
e
rator<<(std::o
s
tream &os, is
l
_int
.
.
.
commit
|
commitdiff
|
tree
2009-01-08
Sv
e
n Verdoolaege
normal
i
ze divs involved in equ
a
lities
commit
|
commitdiff
|
tree
2009-01-08
Sven Verdool
a
ege
isl_ma
p
_underlyi
n
g_set: drop
names
f
r
om
d
imesion in
.
.
.
commit
|
commitdiff
|
tree
2009-01-06
Sven
Verdoola
e
g
e
add isl_mat
_
p
a
rameter_compre
s
sion
commit
|
commitdiff
|
tree
2009-01-06
S
ven Verdoola
e
ge
isl_
e
qu
a
lities
.
c: extract
and expo
r
t
isl_m
a
t_variable_compre
.
.
.
commit
|
commitdiff
|
tree
2009-01-06
Sven Verdoolaege
ad
d
isl_basic_set_is_
e
mpty
commit
|
commitdiff
|
tree
2009-01-06
Sven Verdoola
e
ge
ad
d
isl_mat_right_kernel
commit
|
commitdiff
|
tree
2009-01-06
Sven Verdoolaege
ad
d
i
s
l_mat_co
l
_submul
commit
|
commitdiff
|
tree
2009-01-06
Sven Verdoolaege
add isl_seq_
s
ubmul
commit
|
commitdiff
|
tree
2009-01-06
Sven Verdoolaege
isl_map_simplify
.
c:
e
x
tr
a
ct out
si
m
plify and
r
elated
.
.
.
commit
|
commitdiff
|
tree
2009-01-06
S
ve
n
Verdoola
e
ge
isl_constraint: add limi
t
ed su
p
port for adding divs
commit
|
commitdiff
|
tree
2009-01-06
Sven Verdoolaeg
e
change calling
conve
n
tion
s
of isl_b
a
sic_set_has_def
i
ning_
.
.
.
commit
|
commitdiff
|
tree
2008-12-28
Sven Verdoolae
g
e
add
i
s
l_basic_{s
e
t,map}_d
i
m
commit
|
commitdiff
|
tree
2008-12-28
Sven
Verdoolaege
is
l
_basic_map
_
gist: also
explo
i
t equalitie
s
in
g
is
t
ed
set
commit
|
commitdiff
|
tree
2008-12-28
Sven Verdoolaege
isl_
b
asic_map_overl
y
ing_set: simp
l
ify resulting basic ma
p
commit
|
commitdiff
|
tree
2008-12-23
Sven Verdoolaege
ad
d
isl_d
i
v abstraction, si
m
ilar
t
o
isl_constrai
n
t
commit
|
commitdiff
|
tree
2008-12-22
Sven
Verdoolaege
isl_basic_s
e
t_comp
a
re_at
:
combine cons
t
raint
s
b
e
fore
.
.
.
commit
|
commitdiff
|
tree
2008-12-22
Sven
Verdoolaege
isl
_
map_underlying
_
set: ali
g
n divs before cal
l
ing thi
s
.
.
.
commit
|
commitdiff
|
tree
2008-12-22
Sven Verdoolae
g
e
i
s
l
_b
a
sic_map_overlying_se
t
: proper
l
y handle divs in
.
.
.
commit
|
commitdiff
|
tree
2008-12-22
Sven Verdoolaege
isl_bas
i
c_map_align_d
i
vs: don't make assumptions
on
.
.
.
commit
|
commitdiff
|
tree
2008-12-22
Sve
n
Verd
o
o
laege
avoi
d
increasing "extra" wi
t
hout also exten
d
ing th
e
.
.
.
commit
|
commitdiff
|
tree
next