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_tab.c: fix up to_col
2009-03-20
Sv
e
n Ver
d
oolae
g
e
isl_m
a
t_
t
ranspo
s
e
:
handle non-rect
a
n
g
ular matrices
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdoolaege
i
sl
_
map_simple_hull: c
o
mpute affine h
u
ll befo
r
e
a
ligning
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
e
n
Verdoolaege
i
sl_map
_
simple_hull
:
mark result as not hav
i
ng any
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoo
l
aege
add isl_set
_
bounded_simple_hul
l
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
olaege
isl_map_affine_hull
:
dete
c
t equalities of inte
g
er affine
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
ven
V
erdoolaege
isl_basic_m
a
p_dup
:
c
opy flags of original to du
p
lic
a
te
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
doolae
g
e
i
s
l_bas
i
c
_m
a
p
_extend_dim: move
responsibi
l
ity
o
f cow
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdoolaege
i
s
l_basic_ma
p
_
extend_dim: onl
y
extend constraint ma
t
rix
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_s
o
lve_lp:
use ta
b
leaus ins
t
ead of calling p
i
pl
i
b
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_solv
e
_lp: accept
a
ffine object functio
n
inste
a
d
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rdoolae
g
e
isl_map
_
si
m
ple_hu
l
l:
use hash tab
l
es and tab
l
eaus
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdo
o
la
e
ge
isl_con
v
ex_hul
l
.
c: extract ou
t
uset_si
m
ple_hull
commit
|
commitdiff
|
tree
2009-03-20
S
v
e
n Verdoolae
g
e
isl_convex_hul
l
.
c: extend: avoid wra
p
ping ar
o
und
a
lr
e
ad
y
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verdoo
l
aege
isl_co
n
v
ex_h
u
ll
.
c: i
n
troduce
p
roto_hull based on
o
bv
i
ous
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rdoolaege
isl_c
o
n
vex_hull
.
c: move initia
l
hull
c
ons
t
ruction into
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
is
l
_c
o
nvex_hul
l
.
c: move
c
om
p
utation of bounds into
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdoolaege
isl_map_
c
onvex_hull: check for boundedness
using
reces
s
i
on
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
en
V
erdoolaege
is
l
_
b
asic_map_
c
onvex_hull: use tabl
e
au to detect
redundan
t
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoo
l
aege
isl_affin
e
_
h
u
l
l
.
c: use tableau
t
o
d
e
t
ect
implic
i
t equ
a
l
i
ties
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdoolaege
isl_tab
.
c: don't
det
e
ct equalities while set
t
ing
up
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolae
g
e
add
internal
r
epresenta
t
ion o
f
LP t
a
bleaus
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
add is
l
_m
a
t
_extend
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verdoola
e
g
e
add isl_s
e
t_
d
im
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdo
o
l
a
ege
priv
a
tel
y
export isl_basi
c
_{set,map}
_
norm
a
lize_constrai
n
t
s
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolae
g
e
add isl_basic_
s
et_e
x
tend
_
d
im
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verdoola
e
ge
isl_basic_ma
p
_eli
m
inate_vars: clear divs first
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoola
e
ge
isl_basic_map_eliminate_vars: remove all dependent
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
add isl_hash_
t
ab
l
e_allo
c
an
d
isl
_
h
ash_tab
l
e_free
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdool
a
ege
isl_hash_table_init: take minimal size instead of number
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdoolaege
isl_{basi
c
_
,
}set_preim
a
ge:
drop c
t
x argum
e
nt
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rdoolaege
isl_basic_map
_
int
e
rs
e
c
t
: reuse sample value of either
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verd
o
olaege
add isl_int_ge
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdoolae
g
e
isl_basic_set
_
h
a
s
_de
f
in
i
ng_i
n
equa
l
ities: fix
t
ypo
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoola
e
ge
i
s
l_constraint_div:
p
e
rf
o
r
m
required reference increase
.
.
.
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdool
a
ege
isl_bas
i
c_ma
p
: p
u
t inequali
t
ies before equaliti
e
s
commit
|
commitdiff
|
tree
2009-03-08
S
v
en
V
erdoolaege
add i
s
l_seq_n
o
rmal
i
z
e
commit
|
commitdiff
|
tree
2009-03-08
Sven
V
e
r
doolaege
isl_c
t
x
.
h:
m
ake FL_IS
S
ET return a bo
o
lean v
a
lue
commit
|
commitdiff
|
tree
2009-03-08
S
v
en Verdoolaege
rename F_ and FL_
m
acros to ISL_F_ and
I
SL_FL_ to avoid
.
.
.
commit
|
commitdiff
|
tree
2009-03-08
S
v
en Verdool
a
ege
add isl_mat
_
swap_cols
commit
|
commitdiff
|
tree
2009-03-08
S
ven Verdool
a
ege
isl_mat_dump: also
indent NULL
mat
commit
|
commitdiff
|
tree
2009-03-08
Sven Ve
r
doolae
g
e
add i
s
l_calloc_type
commit
|
commitdiff
|
tree
2009-03-08
Sv
e
n Verdool
a
ege
isl_map_convex_hull: n
o
rmalize map first
commit
|
commitdiff
|
tree
2009-03-08
Sven V
e
rdoolaege
isl_se
t
_preimage: clear ISL_SE
T
_NORMALIZED flag
commit
|
commitdiff
|
tree
2009-02-23
Sven Verdoo
l
aege
add isl_basic_map_detect_equa
l
iti
e
s
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolaege
add
isl_
m
a
p
_remove
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoola
e
ge
e
x
p
ort isl
_
basic_map_is_equal
commit
|
commitdiff
|
tree
2009-02-22
S
ven Verdoolaege
add isl_bas
i
c_map_rem
o
ve
commit
|
commitdiff
|
tree
2009-02-22
Sve
n
Verdoo
l
a
ege
add isl_
d
im_range
commit
|
commitdiff
|
tree
2009-02-22
S
v
e
n
Verdoola
e
ge
add isl
_
map_prod
u
c
t
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolaege
a
d
d isl
_
basic_m
a
p_add_constraint
commit
|
commitdiff
|
tree
2009-02-22
Sven Ve
r
doo
l
aeg
e
add isl_dim
_
add
commit
|
commitdiff
|
tree
2009-02-22
Sven
V
e
r
doolaege
isl_m
a
p_piplib
.
c: isl_map_f
r
om
_
qu
a
st:
pro
p
erly keep
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdo
o
laege
change calling conve
n
tion o
f
isl_basic_
m
ap
_
{equal,l
e
ss_
a
t
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sve
n
V
e
rdoolaege
add isl_map_copy_basic_map and isl_
m
ap_dro
p
_bas
i
c_m
a
p
commit
|
commitdiff
|
tree
2009-02-22
Sve
n
Verdoolaege
add isl_m
a
p_f
r
om_
r
ange
commit
|
commitdiff
|
tree
2009-02-22
S
ven Verdool
a
ege
add
isl_map_fast_is_empty
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdo
o
l
aege
change
calling conve
n
tion
of isl_
m
ap_empty and add
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolaege
is
l
_map_inter
s
ect_{d
o
m
ain,r
a
n
g
e}: allow intersection
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sven V
e
rdoolaege
isl_map
_
intersect
:
allow inters
e
ct
i
on with pure parame
t
er
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sven
V
e
rdo
o
laege
isl_basic
_
map
_
a
ffine_hull: fix search for integer points
commit
|
commitdiff
|
tree
2009-02-22
Sven Ve
r
d
o
olaege
isl_bas
i
c_
m
ap
_
o
verly
i
ng_set: don'
t
add
div constraints
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolaege
i
s
l_d
i
m
.
c: update n_name
(
only) when changing names
commit
|
commitdiff
|
tree
2009-02-15
Sven Verdoolaege
fix
s
erious error in isl_mat_pa
r
ameter_c
o
m
pre
s
sion
commit
|
commitdiff
|
tree
2009-02-11
Sven Ver
d
o
o
l
aege
ex
p
ort isl_basic_map_in
t
e
r
sect_range
commit
|
commitdiff
|
tree
2009-02-11
S
v
en Verdoolaege
add isl_basic_map_
f
loordiv
commit
|
commitdiff
|
tree
2009-02-11
Sven Verdoolaege
a
d
d
i
sl
_
basic_map_fas
t
_is_fixed
commit
|
commitdiff
|
tree
2009-02-11
Sven Ve
r
doolaege
add isl_basic_m
a
p_n
e
g
commit
|
commitdiff
|
tree
2009-02-11
Sven Verdoolaege
ad
d
isl_basic_map_sum
commit
|
commitdiff
|
tree
2009-02-10
Sven Verdoolaeg
e
add
i
s
l_m
a
p
_fix_si, a ge
n
eraliza
t
ion
o
f isl_basic
_
m
a
p_fix_in
.
.
.
commit
|
commitdiff
|
tree
2009-02-04
S
ven Verdoo
l
aeg
e
isl_ma
p
_s
i
mplif
y
.
c: r
e
move_du
p
licate_divs:
r
emo
v
e divs
.
.
.
commit
|
commitdiff
|
tree
2009-02-04
S
v
en Ve
r
doolaege
isl_basic_
m
ap_
g
a
uss: be ca
r
eful not to introdu
c
e circula
r
.
.
.
commit
|
commitdiff
|
tree
2009-02-04
Sven Verdoolaeg
e
add funct
i
ons for setting i
s
l_divs
commit
|
commitdiff
|
tree
2009-02-04
Sven Ve
r
doolaege
isl_map_from
_
quas
t
: don't
t
hrow a
w
ay any bottom leaves
commit
|
commitdiff
|
tree
2009-02-04
Sven Verdoolaege
isl_m
a
p_simplify
.
c
:
norma
l
i
ze_
d
ivs:
f
ix use of va
r
ia
b
le
.
.
.
commit
|
commitdiff
|
tree
2009-02-04
Sven Verd
o
olaege
isl_mat_
v
ariable
_
c
ompre
s
s
i
on: fix use after fre
e
commit
|
commitdiff
|
tree
2009-02-03
Sven
Ve
r
doolaege
isl
_
map_
s
impl
i
fy
.
c:
normalize_divs:
e
ns
u
re e
n
ou
g
h exi
s
tentia
.
.
.
commit
|
commitdiff
|
tree
2009-02-03
S
ven Verdoola
e
ge
isl_hash
_
t
able_remove: update number of entries
commit
|
commitdiff
|
tree
2009-01-22
Sven V
e
rdoo
l
aege
isl_map_simple_hull: plug memory leak
commit
|
commitdiff
|
tree
2009-01-09
Sven
Verdoolaege
add
std::ostream &operator<<(
s
td::ostream &os, i
s
l_int
.
.
.
commit
|
commitdiff
|
tree
2009-01-08
S
v
en
V
e
rdoolaege
no
r
malize divs involved in equalit
i
es
commit
|
commitdiff
|
tree
2009-01-08
Sven Verdoolaege
isl_ma
p
_underlying
_
set: drop names from dim
e
si
o
n i
n
.
.
.
commit
|
commitdiff
|
tree
2009-01-06
Sven Ver
d
oolaege
add isl_mat_parameter_
c
ompression
commit
|
commitdiff
|
tree
2009-01-06
S
v
en Verdool
a
eg
e
isl_equa
l
ities
.
c: ex
t
ract and ex
p
ort isl_mat_variable_compre
.
.
.
commit
|
commitdiff
|
tree
2009-01-06
S
v
en Verd
o
o
l
a
ege
add
i
sl_basic_set_is_e
m
pty
commit
|
commitdiff
|
tree
2009-01-06
Sven
V
erdoola
e
ge
add isl_m
a
t_ri
g
h
t
_ker
n
el
commit
|
commitdiff
|
tree
2009-01-06
Sv
e
n Verdo
o
la
e
ge
a
d
d isl_
m
at
_
c
o
l_submul
commit
|
commitdiff
|
tree
2009-01-06
S
ven Verdoolaege
a
dd isl_seq_s
u
bmu
l
commit
|
commitdiff
|
tree
2009-01-06
Sv
e
n Ve
r
doolaege
isl_map_simplify
.
c: extract out simplify an
d
related
.
.
.
commit
|
commitdiff
|
tree
2009-01-06
S
v
en Verdoolaege
isl_con
s
traint: add limit
e
d su
p
po
r
t for addi
n
g divs
commit
|
commitdiff
|
tree
2009-01-06
S
ven Verdoo
l
aege
change callin
g
conventions of isl_basic
_
set_has
_
defin
i
n
g
_
.
.
.
commit
|
commitdiff
|
tree
2008-12-28
S
ve
n
V
e
r
doolaege
add isl_bas
i
c_{set,m
a
p}_
d
im
commit
|
commitdiff
|
tree
2008-12-28
Sven
V
erdoo
l
aege
i
sl_basic_ma
p
_gist: also explo
i
t equalities
i
n gisted
s
et
commit
|
commitdiff
|
tree
2008-12-28
Sven Ve
r
doolaege
i
sl_basi
c
_map_overlying_set: s
i
m
p
lify resulting bas
i
c map
commit
|
commitdiff
|
tree
2008-12-25
Sven
V
erd
o
olaege
isl
_
st
r
e
am: p
r
operly reference ctx
commit
|
commitdiff
|
tree
2008-12-25
S
v
en Verdoo
l
aege
i
sl
_
stream
.
c: extracted fro
m
isl_input_
o
m
ega
.
c
commit
|
commitdiff
|
tree
2008-12-25
Sven Verdoolaege
add isl_ba
s
i
c_set_r
e
ad_from_st
r
commit
|
commitdiff
|
tree
2008-12-24
S
ve
n
V
er
d
oolaege
export isl_set_compu
t
e_divs
commit
|
commitdiff
|
tree
2008-12-24
Sven Verd
o
olaege
i
sl_basic_map_ali
g
n
_divs: check divs of src bas
i
c map
.
.
.
commit
|
commitdiff
|
tree
2008-12-24
Sven
Verdoo
l
aege
i
sl_m
a
p_gist: ens
u
re divs of m
a
p are known
commit
|
commitdiff
|
tree
2008-12-24
Sve
n
Verdoolaege
isl_ba
s
i
c_ma
p
_co
m
pute
_
d
ivs: only (re)compute
divs if
.
.
.
commit
|
commitdiff
|
tree
next