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
add isl_seq_fdiv_r
2009-06-07
Sven Verdoolaege
a
d
d isl_seq_fdiv_r
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
i
sl
_
basic_map_
d
ete
c
t
_
equalities: p
r
operly hand
l
e empty
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
S
ven Verdool
a
ege
i
s
l_basic_
m
a
p
_is_e
m
pty: e
x
plicitly ma
r
k
b
asic sets
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
isl_map
.
c
:
o
rder_div
s
:
swap with correct div
commit
|
commitdiff
|
tree
2009-06-07
Sven V
e
rd
o
olaege
isl_map_coa
l
esce: remove extra divs introd
u
ced by isl_map_al
.
.
.
commit
|
commitdiff
|
tree
2009-06-05
Sven Verdoolae
g
e
add
isl_map_c
o
alesce
commit
|
commitdiff
|
tree
2009-05-19
Sven Verdoolaege
a
dd i
s
l_set_produ
c
t
commit
|
commitdiff
|
tree
2009-05-19
S
v
e
n Verdoo
l
a
e
ge
exp
o
rt isl_m
a
p
_
dim
commit
|
commitdiff
|
tree
2009-05-06
Sven
V
e
rdoolaege
isl_map
_
convex_hu
l
l:
handle unbo
u
nded, but pointed
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaeg
e
privat
e
ly export
is
l
_ma
t
_uni
m
o
dular_com
p
l
e
t
e
commit
|
commitdiff
|
tree
2009-05-06
Sve
n
V
erdoolaege
i
s
l_tab
.
c: add isl_t
a
b_get
_
sample_value
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoola
e
ge
isl_map_convex_hull: avoid introducing line
a
lity spaces
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sv
e
n Verdoolaege
add two more
c
onve
x
h
u
ll tes
t
cas
e
s
commit
|
commitdiff
|
tree
2009-05-06
Sven V
e
rdoolaege
i
s
l_map_
c
onvex_hull:
remo
v
e
lineality
space if any
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaeg
e
add isl_basic_
s
et_is_universe
commit
|
commitdiff
|
tree
2009-05-06
Sven
Verdoola
e
ge
ad
d
isl_se
t
_get_dim
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoolae
g
e
isl_
c
onvex_hul
l
.
c: upda
t
e wrap_facet to th
e
fa
c
t we
.
.
.
commit
|
commitdiff
|
tree
2009-05-05
Sv
e
n Verdoolaege
isl_convex_hull
.
c:
f
ix typo in com
m
en
t
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoolaege
is
l
_
c
oale
s
c
e
.
c: fix
t
ypo in comment
commit
|
commitdiff
|
tree
2009-05-05
S
v
en Verdoolaege
i
sl
_
tab
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2009-05-05
Sve
n
Verdoo
l
aege
configur
e
.
in: set AC_C
O
NFIG_MACR
O
_DIR
commit
|
commitdiff
|
tree
2009-03-23
S
v
e
n Verdoolaege
a
d
d isl_basic_set_ge
t
_d
i
m
commit
|
commitdiff
|
tree
2009-03-23
S
ven Verdoo
l
aege
isl_basic_map
_
g
is
t
: normalize
d
ivs (
i
f a
n
y) i
n
context
commit
|
commitdiff
|
tree
2009-03-23
S
v
en V
e
rdo
o
laege
isl
_
basi
c
_
map_simplify: rem
o
ve duplicate
d
ivs befor
e
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
S
ve
n
Verdoolaege
add isl_basic_set_div
commit
|
commitdiff
|
tree
2009-03-23
S
ven
Verd
o
olaege
change calling conven
t
i
o
n of isl_basi
c
_map_div
commit
|
commitdiff
|
tree
2009-03-23
Sven Ve
r
doolaege
i
s
l_map_s
i
mpli
f
y
.
c: us
e
t_gist:
b
re
a
k early if the
r
e
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Ver
d
oolaege
is
l
_map_si
m
p
l
ify
.
c: uset
_
gi
s
t: bre
a
k early if int
e
r
sect
i
on
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
S
ven Ve
r
d
oolaege
add isl_ba
s
ic_
s
et_fast_is_empty
commit
|
commitdiff
|
tree
2009-03-23
Sven
V
erdool
a
eg
e
update piplib to 1
.
4
.
0
commit
|
commitdiff
|
tree
2009-03-23
Sven
V
erdoolaege
isl_tab
.
c: store number of equalities among
t
he cons
t
raint
s
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
S
ven Verdoolaege
i
s
l
_
mat_exten
d
: p
r
operly extend
m
atrices with reordered
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rdoolaege
i
sl_map_gist: handle some sp
e
c
i
al cases
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
doolaege
add
isl_map_uni
v
ers
e
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
V
e
r
doo
l
aege
add isl_bas
i
c_map_f
a
st_is_empty
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verd
o
o
l
aeg
e
isl_
b
asic_
m
ap
_
gi
s
t:
r
e
place by new version
b
ased
o
n
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdool
a
ege
isl_
m
ap_
s
impl
i
fy
.
c:
compute_elim
i
n
a
tion_index: don
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erd
o
ola
e
ge
add isl_map_implicit_e
q
ualities
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
e
r
d
ool
a
e
g
e
add isl_basic_set_free_equal
i
ty
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
olaege
isl_
m
ap_convex_hull: mark
r
es
u
lt as not having
a
ny
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolae
g
e
convex_hull:
coales
c
e s
e
t f
i
rs
t
commit
|
commitdiff
|
tree
2009-03-20
S
ven
Verdo
o
laege
add isl_set_coalesce
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verdoolaege
isl_input_omeg
a
.
c
:
basi
c
_map_read: accept "
+
" in constraints
commit
|
commitdiff
|
tree
2009-03-20
S
v
e
n Verdoola
e
ge
a
dd isl_basic_set_alloc_div
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verd
o
olaege
add isl_set_ali
g
n
_divs
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdoolaege
uset_affi
n
e
_
hull:
ignore directions in affine hull
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Ver
d
oolaeg
e
isl
_
b
a
s
i
c
_map_implicit_equaliti
e
s: perfor
m
Gauss
i
an
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
doolaege
isl
_
a
ff
i
n
e
_
h
ull
.
c: outside_point: c
h
e
c
k f
o
r
o
bvious
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoola
e
ge
pr
i
vately export
i
sl_basic_set_co
n
tains
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdoolaege
i
s
l
_
ctx:
a
dd negone
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_vec_dump: handle NU
L
L v
e
c
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdoolaege
i
s
l
_aff
i
n
e_h
u
ll
.
c
: ext
r
act use
t
_affine_
h
ull
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verdoolaege
isl_m
a
t_
t
ran
s
p
o
se: handle
non-rectangular matrices
commit
|
commitdiff
|
tree
2009-03-20
S
ven Ver
d
oolaege
isl_map_s
i
mple_hul
l
: compute affine
h
ull be
f
ore align
i
ng
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdo
o
la
e
ge
isl
_
ma
p
_s
i
mple_hull
:
mark
result as not hav
i
ng any
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
er
d
oolaege
add isl_set_bou
n
ded_sim
p
le_h
u
ll
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
doolaege
isl_
m
ap_affin
e
_hull: dete
c
t equalitie
s
of integer a
f
fine
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
o
o
la
e
g
e
isl_basic_map_dup: c
o
p
y flags of origin
a
l t
o
duplicate
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
olaege
isl_b
a
sic_map_extend_dim:
move resp
o
nsib
i
lity of cow
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
doolaege
i
s
l_basic_map
_
ext
e
n
d
_d
i
m: on
l
y extend constraint m
a
trix
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdool
a
ege
isl_solv
e
_lp: u
s
e tableaus instead
o
f
calling piplib
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
doolaege
isl
_
solve_lp
:
a
c
cept affin
e
object fu
n
ction instead
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdoolaege
isl_m
a
p_simple_hull: us
e
has
h
tables
a
nd tablea
u
s
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
do
o
laeg
e
isl
_
convex_hull
.
c
:
extract
o
ut uset_simple_hull
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rdoolaege
isl_convex_hull
.
c: ext
e
n
d
:
a
void
wra
p
p
ing a
r
o
u
nd a
l
ready
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
ven Ve
r
doolaege
i
sl_convex_hull
.
c: introd
u
c
e
proto_hull
b
as
e
d on
obvious
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdoola
e
ge
isl_c
o
nvex_hull
.
c
:
m
o
v
e initial hull constr
u
c
t
i
o
n
into
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
ol
a
ege
i
sl
_
c
onvex_hull
.
c
: move computation of bo
u
nds in
t
o
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
i
s
l_m
a
p_c
o
n
v
ex_hull: check for b
o
undedn
e
s
s
us
i
ng
r
ecessio
n
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
e
rd
o
olaege
isl_basic_
m
ap_convex_hull: use ta
b
le
a
u to detect
r
e
dundant
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_
a
ffine_hull
.
c: use tableau to detec
t
implicit equa
l
ities
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdo
o
laege
i
sl_tab
.
c: don'
t
detec
t
equal
i
ties wh
i
le settin
g
up
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
add
internal representati
o
n of LP tableaus
commit
|
commitdiff
|
tree
2009-03-20
S
ven
Verdoolaege
add
isl_mat_exten
d
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
ad
d
i
sl_s
e
t_dim
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
doo
l
aege
pr
i
vately
e
x
port is
l
_
bas
i
c_{set,map}_normaliz
e
_co
n
stra
i
n
t
s
commit
|
commitdiff
|
tree
2009-03-20
S
v
e
n
Verdoolaeg
e
add isl_basi
c
_
s
et_exte
n
d_
d
im
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verdoolaege
isl_basi
c
_map_eliminate_var
s
: clear divs first
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdoolaege
isl_basic_map_eliminate_va
r
s
:
r
emove all dependent
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
olaege
add isl
_
h
as
h
_table_alloc and
i
sl_h
a
sh_table
_
free
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Ve
r
doolaege
i
s
l_has
h
_table_init: t
a
ke
minimal size instead of
n
umber
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
V
erdoo
l
aeg
e
i
s
l_{basic_,}set_prei
m
age: drop ctx argume
n
t
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdo
o
laege
isl_basi
c
_ma
p
_int
e
r
s
ect: reuse sample value of
e
ither
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
o
l
a
e
ge
a
dd isl_int_ge
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rdoola
e
g
e
isl_basic_
s
e
t
_has_defining_inequa
l
ities: fix typo
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdool
a
ege
isl_constraint_div: perform required reference inc
r
ease
.
.
.
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdoolaege
i
s
l_basic_ma
p
: put ineq
u
alities before equa
l
i
ties
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdo
o
laege
add isl_s
e
q_normaliz
e
commit
|
commitdiff
|
tree
2009-03-08
S
v
en
Verdoola
e
g
e
isl_ctx
.
h:
m
ake FL_
I
SSET r
e
turn a boolean value
commit
|
commitdiff
|
tree
2009-03-08
Sven
V
e
rdoolaege
rename F_ and FL
_
macros to
I
SL_F_ and ISL_FL
_
to avoid
.
.
.
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdoolae
g
e
a
dd isl_ma
t
_swap_cols
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdoolaege
isl_mat_
d
um
p
: also
i
nd
e
n
t NULL mat
commit
|
commitdiff
|
tree
2009-03-08
S
v
en Verd
o
o
lae
g
e
add isl_ca
l
l
oc_ty
p
e
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdoolaege
i
s
l_map_convex_hu
l
l: normalize m
a
p first
commit
|
commitdiff
|
tree
2009-03-08
Sven Ver
d
oolaege
isl_
s
et_prei
m
age: clear ISL_SE
T
_
NORM
A
LIZED flag
commit
|
commitdiff
|
tree
2009-02-23
Sven Verdoolaeg
e
a
d
d
isl_basic_map_detect_equalities
commit
|
commitdiff
|
tree
2009-02-22
Sve
n
Verdoolaege
add isl_map_rem
o
ve
commit
|
commitdiff
|
tree
2009-02-22
Sv
e
n Verdoola
e
ge
export i
s
l_bas
i
c_map_is_e
q
u
a
l
commit
|
commitdiff
|
tree
2009-02-22
S
v
en Verdool
a
eg
e
add isl_basic_map_
r
emove
commit
|
commitdiff
|
tree
2009-02-22
Sven Ver
d
ool
a
ege
add isl_dim_range
commit
|
commitdiff
|
tree
next