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
convex_hull: coalesce set first
2009-03-20
Sven Verdoolaeg
e
convex_hull: c
o
a
l
esce set first
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
olaege
ad
d
isl_set_
c
o
a
lesce
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_in
p
ut_omega
.
c: basic_map_r
e
ad: accept "+" in constrain
t
s
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdool
a
ege
add isl_basic_set
_
alloc_div
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolae
g
e
add isl
_
set
_
align_divs
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
u
s
et_
a
ffin
e
_hull: ignore directions i
n
affine
h
u
ll
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rdoolaege
isl_b
a
sic_map_implicit_eq
u
alities
:
p
e
rform
G
aussian
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
en
Verdoolaege
isl_affi
n
e_hull
.
c: outsi
d
e_poi
n
t: check for
o
bviou
s
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdo
o
laege
p
riv
a
tely
e
xport
i
sl_b
a
s
i
c_set_contains
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
doolaege
isl_ctx: add negone
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdoolaege
i
sl_vec_
d
u
mp:
h
andle NULL
v
e
c
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rdoolaege
isl_a
f
fine_hull
.
c
: extract uset
_
affin
e
_hull
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoola
e
ge
isl_
m
at_transpose: handl
e
non-re
c
tangular
matri
c
es
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
ool
a
ege
isl_map_simple_h
u
ll: co
m
pute affine h
u
ll before alignin
g
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
i
s
l_ma
p
_simple_hull:
m
ar
k
result a
s
n
o
t havin
g
any
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
e
rdoolaege
add isl_
s
e
t
_bounded_simple_
h
ull
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n
Ver
d
oolaege
isl_map_
a
ffine_hu
l
l: detect equalities
of integer affin
e
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
doo
l
a
e
ge
isl_basic_map_dup: copy flags o
f
original to dupli
c
ate
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdoolaege
is
l
_basic_map_extend_dim:
m
ove resp
o
nsibility
of cow
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verdoolaege
is
l
_basic
_
map_exten
d
_d
i
m: only exte
n
d constraint ma
t
rix
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdoolaege
isl_so
l
ve_lp: use tableau
s
instead of ca
l
ling piplib
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdoolaege
isl
_
solve
_
lp: a
c
ce
p
t affine object functio
n
instead
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolae
g
e
isl_map_s
i
mple_hull: use hash tab
l
es and t
a
bleau
s
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Ve
r
doolaege
is
l
_convex_hull
.
c: extr
a
c
t
out
uset_simple
_
hul
l
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
V
e
r
doola
e
ge
is
l
_c
o
nv
e
x_hu
l
l
.
c: exten
d
: avoid
w
rapping around already
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verdool
a
eg
e
isl
_
convex_hull
.
c
:
in
t
roduce proto_h
u
ll based on
obvious
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdoolaege
isl_convex_hull
.
c:
move
initial hull construction into
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl
_
c
onvex_hull
.
c
:
move com
p
utation of bounds int
o
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
oolaege
is
l
_m
a
p
_
convex_hull: check for boundedness using
r
ecession
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl
_
basic_map_convex_hull:
u
se tableau to de
t
ect redundant
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdoolaeg
e
isl
_
af
f
ine_hull
.
c
:
use ta
b
leau to dete
c
t implicit
e
qualities
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
doolaege
isl_tab
.
c:
d
o
n't de
t
ect equ
a
lities while setti
n
g up
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
oo
l
aege
add
int
e
rnal re
p
r
e
s
entation
o
f LP t
a
b
l
eaus
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
add
i
sl_mat_ex
t
end
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
V
erdo
o
laege
add isl_
s
et_
d
i
m
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
pr
i
vately
export is
l
_b
a
s
ic
_
{
s
et,map}_norm
a
lize
_
c
o
ns
t
raints
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
r
d
oolaege
a
dd is
l
_basic_set
_
ex
t
e
nd_dim
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_ba
s
ic_
m
ap_eliminate_vars: clear
divs first
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdo
o
laege
isl_basic_map_eliminate_vars: remove
a
ll depende
n
t
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolae
g
e
a
d
d isl
_
hash_ta
b
le_alloc and isl_hash
_
table_fr
e
e
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
i
s
l_hash_t
a
ble_init
:
take min
i
mal size inste
a
d of numbe
r
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verdoolaege
i
s
l_{basic_,}set_preimage: drop
c
tx argumen
t
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
olaeg
e
isl
_
b
asi
c
_ma
p
_intersect: reus
e
sample value o
f
eit
h
e
r
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n V
e
rdoolaege
add
i
sl_int_ge
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdoo
l
aege
i
s
l_basi
c
_set_has_de
f
ining_ineq
u
al
i
ties: f
i
x
typ
o
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rdoolaege
isl_co
n
straint_div: perform
required reference increase
.
.
.
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdoolaege
isl_basic_map: put
in
e
qualities be
f
ore eq
u
alities
commit
|
commitdiff
|
tree
2009-03-08
Sven Ve
r
doolaege
add
isl_se
q
_normalize
commit
|
commitdiff
|
tree
2009-03-08
S
v
en Verdoolaeg
e
isl
_
c
t
x
.
h: make FL_I
S
SET return a boolean value
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdoolaege
r
enam
e
F_ and FL_ macros t
o
ISL_F_ a
n
d ISL_FL_ to avoid
.
.
.
commit
|
commitdiff
|
tree
2009-03-08
Sven
Ver
d
oolaege
ad
d
isl_mat_swap_co
l
s
commit
|
commitdiff
|
tree
2009-03-08
Sven Ve
r
d
o
o
laege
isl_ma
t
_dump:
a
lso indent NULL mat
commit
|
commitdiff
|
tree
2009-03-08
Sven Ve
r
dool
a
ege
add isl_c
a
llo
c
_type
commit
|
commitdiff
|
tree
2009-03-08
Sv
e
n
Verdoolaege
i
sl_map_convex_
h
ull: normalize
m
ap
f
irst
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdoolaege
isl_set
_
preim
a
ge:
c
lear ISL_SET_NORMALIZED
flag
commit
|
commitdiff
|
tree
2009-02-23
Sven Ver
d
o
o
la
e
ge
add isl_bas
i
c_map_detec
t
_equalities
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoo
l
ae
g
e
ad
d
isl_map_remove
commit
|
commitdiff
|
tree
2009-02-22
S
v
e
n
V
erdoolaege
ex
p
o
rt isl_basic
_
map_is_equal
commit
|
commitdiff
|
tree
2009-02-22
Sve
n
V
erdoolaege
add isl_basic
_
m
a
p
_r
e
move
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolaege
add i
s
l
_di
m
_ra
n
ge
commit
|
commitdiff
|
tree
2009-02-22
Sven
V
erd
o
olae
g
e
add isl_map_
p
ro
d
u
ct
commit
|
commitdiff
|
tree
2009-02-22
Sv
e
n
V
e
r
doolaege
add isl_basic_map_add_constraint
commit
|
commitdiff
|
tree
2009-02-22
Sv
e
n Ve
r
d
oolaeg
e
add isl_dim_
a
dd
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolaeg
e
isl
_
map_piplib
.
c: isl
_
map_
f
r
o
m_quast:
p
r
operly
k
eep
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolaege
c
h
ange calling c
o
nventi
o
n
of isl_basic_map_{equal,
l
ess_at
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolaege
add isl_m
a
p_copy
_
basic_map and isl_map_drop_basic_map
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolaege
add
isl
_
map_from_range
commit
|
commitdiff
|
tree
2009-02-22
S
ven Ver
d
oola
e
ge
add i
s
l
_
map
_
fast_is_empty
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoola
e
ge
chang
e
c
alling conve
n
tion of isl
_
map_empty and
add
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sven V
e
rdo
o
lae
g
e
isl_map_intersect_{domain,range}: allow intersect
i
o
n
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sv
e
n Verdoolaege
isl_map_intersect: allow
in
t
ersection with p
u
re para
m
eter
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sven
Ve
r
doolaege
i
s
l
_
b
asic_map_affine_hull: fix search for integer points
commit
|
commitdiff
|
tree
2009-02-22
S
v
en
Verdoolaege
i
sl_ba
s
ic_
m
a
p
_
overl
y
ing_se
t
: don't
a
dd d
i
v constraints
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sve
n
Ve
r
d
o
olaege
isl_
d
im
.
c:
u
p
d
ate n_na
m
e (only)
when changing names
commit
|
commitdiff
|
tree
2009-02-15
Sven Ve
r
d
o
olaege
fix serious erro
r
in isl_mat_parameter_compression
commit
|
commitdiff
|
tree
2009-02-11
S
v
en
Verdoolaege
export is
l
_basic_m
a
p_intersect_r
a
nge
commit
|
commitdiff
|
tree
2009-02-11
Sven Verdoolaege
add is
l
_ba
s
ic_map
_
f
l
o
o
r
div
commit
|
commitdiff
|
tree
2009-02-11
Sven
Ve
r
doolaege
add
i
sl_
b
a
si
c
_m
a
p_
f
a
s
t_is_fixed
commit
|
commitdiff
|
tree
2009-02-11
Sven
V
erdoolaege
add isl_
b
a
s
ic_ma
p
_
n
eg
commit
|
commitdiff
|
tree
2009-02-11
Sve
n
Verdoolaege
add isl_basi
c
_map_s
u
m
commit
|
commitdiff
|
tree
2009-02-10
Sven Verdoolaege
add
i
s
l_map_fix_s
i
, a generalization of i
s
l_basic_m
a
p_fix_in
.
.
.
commit
|
commitdiff
|
tree
2009-02-04
Sve
n
Verdoo
l
aege
isl_map_simplif
y
.
c
: remove_duplica
t
e_divs: remo
v
e divs
.
.
.
commit
|
commitdiff
|
tree
2009-02-04
S
ven Verdoolaege
isl_basic_ma
p
_gauss: be
careful no
t
to introduc
e
c
ircular
.
.
.
commit
|
commitdiff
|
tree
2009-02-04
Sven
V
erdoolaege
ad
d
fu
n
ctions for sett
i
ng isl_d
i
vs
commit
|
commitdiff
|
tree
2009-02-04
Sve
n
V
e
rdoolaege
isl_map_
f
rom_quast: d
o
n't throw a
w
ay any bo
t
tom lea
v
es
commit
|
commitdiff
|
tree
2009-02-04
Sven V
e
rdoolaege
isl_map_si
m
pli
f
y
.
c: normali
z
e_divs: f
i
x
u
se of varia
b
le
.
.
.
commit
|
commitdiff
|
tree
2009-02-04
Sv
e
n Verdoo
l
aege
isl_mat_
v
a
r
iable_compression: fix
u
se
a
fter free
commit
|
commitdiff
|
tree
2009-02-03
Sve
n
Verdoolaege
isl_map_simplify
.
c: n
o
rmalize_divs: e
n
s
u
re enou
g
h existentia
.
.
.
commit
|
commitdiff
|
tree
2009-02-03
Sven V
e
rdo
o
laege
isl_hash_table_remove: update num
b
er of e
n
t
r
ies
commit
|
commitdiff
|
tree
2009-01-22
Sven V
e
rdoola
e
ge
isl_map_simple_hull: plug memory leak
commit
|
commitdiff
|
tree
2009-01-09
Sve
n
Verdoolaege
a
dd
std
:
:
o
stream &o
p
era
t
or<<(
s
td::os
t
ream &o
s
, is
l
_i
n
t
.
.
.
commit
|
commitdiff
|
tree
2009-01-08
Sv
e
n Verdoo
l
aege
no
r
mali
z
e div
s
involved in equali
t
ie
s
commit
|
commitdiff
|
tree
2009-01-08
Sve
n
Verdoolaeg
e
i
s
l_map_unde
r
lying_set: drop names from dimesion
i
n
.
.
.
commit
|
commitdiff
|
tree
2009-01-06
S
ve
n
Ve
r
doolaege
add
isl_mat_parameter_compres
s
ion
commit
|
commitdiff
|
tree
2009-01-06
S
v
en Verdo
o
laege
isl_e
q
u
a
lities
.
c: extract and export
i
sl_mat_vari
a
ble_c
o
m
pre
.
.
.
commit
|
commitdiff
|
tree
2009-01-06
Sven Verdoolaege
add isl_basic_set_is_e
m
pty
commit
|
commitdiff
|
tree
2009-01-06
Sven Verdoolaege
add isl
_
m
a
t_right_
k
ernel
commit
|
commitdiff
|
tree
2009-01-06
Sven Verdoolae
g
e
a
dd isl_mat_
c
ol
_
submul
commit
|
commitdiff
|
tree
2009-01-06
S
ven
V
erdoolaege
add
i
sl_seq
_
s
u
bmul
commit
|
commitdiff
|
tree
2009-01-06
Sven Ver
d
o
ol
a
ege
isl_map_simplify
.
c:
e
xtrac
t
out simplify and related
.
.
.
commit
|
commitdiff
|
tree
next