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_basic_map_detect_equalities: properly handle empty basic sets
2009-06-07
Sve
n
Verdoolaege
isl_basic
_
map_d
e
tect_equalities:
pr
o
perly handle empt
y
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
isl_
b
a
s
i
c_map_is_empty: expli
c
i
tly ma
r
k bas
i
c
se
t
s
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Ve
r
d
oolaege
i
sl_map
.
c: order_
d
ivs: swap with co
r
rect d
i
v
commit
|
commitdiff
|
tree
2009-06-07
Sven
Verdoolaege
is
l
_map_c
o
alesce: remove extra divs introduced by isl_map_al
.
.
.
commit
|
commitdiff
|
tree
2009-06-05
S
ven Verd
o
ola
e
ge
add
isl_map_
c
o
a
lesce
commit
|
commitdiff
|
tree
2009-05-19
Sven Verdoolaege
add isl_set_product
commit
|
commitdiff
|
tree
2009-05-19
Sve
n
Ve
r
doolaege
ex
p
ort
i
s
l
_map_dim
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
isl_map
_
con
v
e
x
_hull
:
handle unbounded, b
u
t
p
ointed
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven
V
erd
o
olaege
pr
i
vately
e
x
p
ort is
l
_mat_unimo
d
ular_complete
commit
|
commitdiff
|
tree
2009-05-06
Sve
n
V
erdoolaege
isl_tab
.
c
:
add isl_tab_get_samp
l
e_v
a
lue
commit
|
commitdiff
|
tree
2009-05-06
Sven Ve
r
d
o
olaege
isl
_
map_c
o
nvex_hull: avoid introd
u
c
i
ng lineality sp
a
ces
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sve
n
Verdo
o
l
aege
a
d
d
two
more
conve
x
h
u
ll
test
cas
e
s
commit
|
commitdiff
|
tree
2009-05-06
Sven V
e
rdoolae
g
e
isl_map_convex
_
hull: remo
v
e lineality space if an
y
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
S
v
en Verd
o
olaege
add is
l
_basic_s
e
t
_
i
s
_universe
commit
|
commitdiff
|
tree
2009-05-06
S
ven Verdoolaege
add is
l
_set_get_dim
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoolaege
isl_convex_hull
.
c: updat
e
wr
a
p_f
a
cet
t
o the fac
t
we
.
.
.
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoolaege
i
sl_convex_hull
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoolaege
isl_coalesc
e
.
c: fix typo in
comment
commit
|
commitdiff
|
tree
2009-05-05
Sven
V
erdoolaege
isl_
t
ab
.
c
: fix
t
ypo in comment
commit
|
commitdiff
|
tree
2009-05-05
Sv
e
n
Verdoolaege
configur
e
.
in: set AC_CONFIG_MACRO_DIR
commit
|
commitdiff
|
tree
2009-03-23
Sven Ve
r
do
o
laege
add
isl_basic_set_get_dim
commit
|
commitdiff
|
tree
2009-03-23
Sven Ver
d
oolaege
isl_basic_m
a
p_gi
s
t:
n
orm
a
liz
e
divs (if any)
i
n context
commit
|
commitdiff
|
tree
2009-03-23
Sven Verd
o
olaege
i
s
l
_basic_map
_
s
i
mplify: rem
o
ve duplic
a
te
divs before
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Ve
r
doolaege
ad
d
isl_b
a
sic
_
set_div
commit
|
commitdiff
|
tree
2009-03-23
Sven
V
erd
o
olae
g
e
change calling c
o
nvention
o
f i
s
l_bas
i
c_map_
d
iv
commit
|
commitdiff
|
tree
2009-03-23
Sve
n
Verdoo
l
aege
is
l
_map_s
i
m
p
lify
.
c: us
e
t_gist: break ear
l
y i
f
ther
e
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven V
e
rd
o
olaege
i
sl_map_simplify
.
c: us
e
t_gis
t
:
break early i
f
int
e
rsection
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sve
n
Ve
r
doolaeg
e
add isl_basic_se
t
_fast_is_empty
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
upda
t
e
piplib t
o
1
.
4
.
0
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdool
a
ege
isl_tab
.
c:
s
tore
n
umber of equaliti
e
s
among th
e
constraints
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sv
e
n V
e
r
doolaege
isl
_
mat_extend: p
r
op
e
rly extend matrices with reordered
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verdo
o
l
ae
g
e
isl_map_g
i
st: hand
l
e
some special cases
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verdoolaege
add isl
_
map_universe
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verd
o
olaege
add is
l
_basic_map_fa
s
t_is_em
p
ty
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdoolaege
isl
_
b
asic_m
a
p_gi
s
t: r
e
place by
n
e
w vers
i
on based on
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdoola
e
ge
i
s
l_map_simplify
.
c:
c
o
mpute
_
elimina
t
i
on_in
d
ex: don
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdo
o
laege
a
dd isl_ma
p
_
implicit_equalities
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdoolaege
a
d
d isl_basic_set_free_equal
i
ty
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdo
o
l
aege
i
s
l
_
map_
c
onvex_hull: mark result
as not
having any
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verdo
o
laege
convex_hull: c
o
alesce set firs
t
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
a
d
d isl_set_coales
c
e
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verd
o
olaege
isl_i
n
put_omega
.
c: b
a
s
ic_map_read:
a
ccept "+" in
c
onstrai
n
ts
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
do
o
laege
ad
d
isl_
b
asic_set_alloc
_
div
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
er
d
o
o
laeg
e
add isl_set_a
l
ig
n
_divs
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
uset_affine_hull: i
g
no
r
e direc
t
i
o
ns in affine hull
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verdoolaege
isl_basi
c
_map_i
m
plicit_
e
q
ualit
i
e
s: perform Gaussian
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verdoolaege
isl_affine
_
hu
l
l
.
c: out
s
ide_point:
c
heck
f
or obvious
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n
V
erdoolaege
pri
v
a
tely export isl_basi
c
_set
_
contains
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rdool
a
e
g
e
isl_ctx:
a
dd negone
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoo
l
a
e
g
e
isl_vec_du
m
p: h
a
ndle NULL
v
ec
commit
|
commitdiff
|
tree
2009-03-20
S
ven
V
erdoolaege
i
s
l_a
f
fine_
h
u
l
l
.
c
:
extract uset_
a
ffi
n
e
_hull
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
ola
e
g
e
isl_mat_trans
p
ose: hand
l
e non-recta
n
gular matrices
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl
_
map_simple_hull:
c
ompute affine hull befo
r
e
a
ligning
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdo
o
laege
isl_map_sim
p
le_hull:
m
ark result
as
n
ot having any
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdoolaege
a
dd isl
_
set_bounded_
s
imple_hull
commit
|
commitdiff
|
tree
2009-03-20
S
ven
Ve
r
doolaege
isl_ma
p
_
affine_hull:
detect equalities o
f
integer affine
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n V
e
rdoolae
g
e
isl_basic
_
map_dup: copy flag
s
of original to dupli
c
ate
commit
|
commitdiff
|
tree
2009-03-20
S
ven
Ver
d
oo
l
a
ege
isl_basic_map_exten
d
_dim: m
o
v
e
responsibi
l
ity o
f
co
w
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolae
g
e
isl_basic_map_exten
d
_
dim: only extend constrain
t
matrix
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoola
e
g
e
isl_solv
e
_lp: use
t
able
a
us in
s
t
e
a
d of
c
al
l
ing piplib
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
e
r
doo
l
aege
i
s
l
_
solve_lp: accept affine object fun
c
ti
o
n
ins
t
ea
d
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
oolaege
i
sl_map_simple_hu
l
l: use hash tab
l
es and
tableaus
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_co
n
v
e
x_hul
l
.
c: extract out uset_simple
_
h
ull
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_convex_hull
.
c: extend: avoid
wrapp
i
n
g
around
already
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Ver
d
oolaege
isl_convex_hull
.
c: introduce proto_h
u
ll b
a
sed on obvious
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolae
g
e
is
l
_convex_
h
u
l
l
.
c:
move init
i
al hull constr
u
c
t
ion into
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_conve
x
_hull
.
c: mo
v
e
comput
a
tion of b
o
unds into
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verd
o
o
laege
isl_ma
p
_convex_h
u
ll: check for bo
u
ndedness using r
e
cession
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolae
g
e
isl_basic_map_
c
onvex
_
hul
l
: use tableau to detect redund
a
nt
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoola
e
ge
isl_
a
ffine_hull
.
c: use tabl
e
a
u
to de
t
ec
t
i
m
plicit equalities
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdool
a
ege
isl
_
tab
.
c: don't det
e
ct equalities while
settin
g
up
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
oolaege
add
i
n
t
e
r
n
a
l representa
t
ion of
LP tableaus
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoo
l
a
e
g
e
add is
l
_mat_extend
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
add isl_set_dim
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
er
d
oo
l
aege
p
r
ivately export
i
sl_b
a
s
i
c_{
s
et,map}_
n
orma
l
ize_const
r
aints
commit
|
commitdiff
|
tree
2009-03-20
S
ve
n
Verdoolaege
add isl_basic_set_extend_dim
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdoolaeg
e
isl_basic_ma
p
_elimina
t
e_vars: c
l
ear divs
first
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_basic_ma
p
_elimi
n
ate_v
a
rs: remove al
l
dependent
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
er
d
oolaege
add
i
sl_hash_table_alloc and
isl_
h
ash_table_free
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
o
olaege
isl_hash_
t
able_init:
t
a
ke mi
n
ima
l
size instead of
n
u
m
ber
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
olae
g
e
isl_{basic_,}set_p
r
e
i
m
a
g
e
:
d
r
op ctx argument
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdoolaege
isl_bas
i
c_map_i
n
ter
s
ect: reuse samp
l
e value of either
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
oo
l
aege
add isl
_
int_ge
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
doolaege
isl_bas
i
c_set_has_defining_i
n
equaliti
e
s: fix typo
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
doolae
g
e
i
s
l_constraint_
d
iv: perform requir
e
d re
f
erence incr
e
ase
.
.
.
commit
|
commitdiff
|
tree
2009-03-08
Sven
Verdoo
l
aege
isl_
b
asic_map: put in
e
qual
i
ties
b
e
fo
r
e e
q
u
alities
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdoolaege
add isl_seq_no
r
m
alize
commit
|
commitdiff
|
tree
2009-03-08
S
v
en Verdoolaege
isl_ctx
.
h: make
F
L_ISSET return a boolean
value
commit
|
commitdiff
|
tree
2009-03-08
S
v
en Ver
d
o
o
laege
r
ename
F
_ an
d
FL_ m
a
cros to
I
SL_F
_
and ISL
_
FL_ to avoi
d
.
.
.
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdo
o
laege
add isl_mat_swap_cols
commit
|
commitdiff
|
tree
2009-03-08
Sve
n
Verdoolaege
isl_
m
at_dump: also in
d
ent NULL
mat
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdoolaege
add
isl_c
a
lloc_
t
ype
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdoolaege
isl
_
map_convex_hull: nor
m
alize map first
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdoolaege
isl_set_preimag
e
:
c
l
ear
ISL_SET_NORM
A
LIZED
f
lag
commit
|
commitdiff
|
tree
2009-02-23
Sven Verdoolaege
add isl_basic_map_
d
etect_equali
t
ies
commit
|
commitdiff
|
tree
2009-02-22
Sven
Verdool
a
eg
e
add
isl_map_remove
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolaege
exp
o
rt
isl
_
basic_map_i
s
_equal
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoo
l
aege
add
i
sl_basic_map_remove
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolaege
add i
s
l_dim_range
commit
|
commitdiff
|
tree
2009-02-22
Sven Ve
r
dool
a
ege
add is
l
_map_produ
c
t
commit
|
commitdiff
|
tree
next