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: introduce support for "big parameters"
2009-05-06
Sven Ver
d
oolaege
isl_map_convex_hull:
r
em
o
ve lineality space i
f
a
ny
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
add
isl_b
a
sic_se
t
_is_universe
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
a
dd isl_set_g
e
t_dim
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoolaege
isl_convex_hull
.
c: up
d
at
e
wr
a
p_facet to
t
he fa
c
t we
.
.
.
commit
|
commitdiff
|
tree
2009-05-05
Sven Ve
r
do
o
laege
isl_c
o
nvex_hull
.
c: fix typo in c
o
mmen
t
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoolaege
is
l
_
c
oalesce
.
c:
fi
x
t
ypo in comment
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdo
o
laege
isl_
t
ab
.
c: fix
typ
o
in comment
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdo
o
laege
confi
g
ure
.
in: set AC_CONFIG_MAC
R
O_DIR
commit
|
commitdiff
|
tree
2009-03-23
Sven V
e
rdo
o
l
aege
add
isl_basic_set_get
_
dim
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
isl
_
basic_map_gist
:
normaliz
e
divs (if a
n
y
)
in con
t
ext
commit
|
commitdiff
|
tree
2009-03-23
S
v
e
n
Verdoo
l
aege
isl_basic_map_simpl
i
fy: remov
e
d
uplicate divs before
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolae
g
e
add isl_basic_se
t
_div
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdool
a
ege
change c
a
lling c
o
nventio
n
of i
s
l
_
basic_map_div
commit
|
commitdiff
|
tree
2009-03-23
Sven
Verdoolaege
is
l
_map_simplify
.
c:
uset_gi
s
t
:
break early if there
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
S
v
e
n Ve
r
doolaege
isl_map_simplify
.
c: uset_
g
is
t
: break earl
y
if intersection
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sve
n
Verdo
o
l
a
e
ge
add
isl_basic
_
set_fast_i
s
_empty
commit
|
commitdiff
|
tree
2009-03-23
S
ven Verdoolaege
up
d
a
t
e
piplib
to 1
.
4
.
0
commit
|
commitdiff
|
tree
2009-03-23
Sv
e
n Verdoolaege
i
s
l_tab
.
c: store number
o
f equaliti
e
s among the const
r
aints
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
isl_mat_e
x
t
end: properl
y
e
xtend matrices with reord
e
red
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdoo
l
aege
isl_map_gist: handle som
e
specia
l
cases
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verdoola
e
g
e
add i
s
l_map_u
n
ivers
e
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdool
a
e
g
e
a
d
d i
s
l_basic_map_fa
s
t
_
is_empty
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verd
o
o
l
aege
isl_bas
i
c_map_gist: repla
c
e by new version based
o
n
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
V
erdoolaege
isl_map_sim
p
lify
.
c
:
co
m
pute_eliminat
i
on_index
:
d
on
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdo
o
l
a
ege
ad
d
is
l
_
map_
i
m
p
licit_equa
l
ities
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
doolaege
add isl_basic_set_free_equality
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
doolae
g
e
isl_map_co
n
v
ex_hull:
mark r
e
sult as not h
a
ving
a
ny
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdo
o
laege
convex_hull: coalesce
s
et first
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdoo
l
aege
add i
s
l_set_coalesc
e
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
olaege
isl_input_ome
g
a
.
c: b
a
sic_ma
p
_read: acc
e
pt "+" in
con
s
traints
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoola
e
ge
add
i
sl_basi
c
_set_alloc_div
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
er
d
oolaege
add
isl_set_align_
d
ivs
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
uset_affin
e
_
h
ull: ignore d
i
rections in affine hull
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
doolaege
isl_basic_map_im
p
licit_e
q
uali
t
i
es:
p
erform G
a
ussi
a
n
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdool
a
e
ge
i
sl_
a
ffin
e
_hull
.
c
:
outside_poi
n
t:
check f
o
r obv
i
o
u
s
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
e
n
V
erd
o
olaege
priva
t
ely export i
s
l_b
a
si
c
_
s
et_contains
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
e
r
doolaege
isl_ctx: add n
e
gone
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Ver
d
oola
e
g
e
i
s
l_v
e
c_du
m
p:
hand
l
e NUL
L
vec
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
d
o
ol
a
ege
is
l
_
a
ffine
_
hu
l
l
.
c
: e
x
tract uset_affine_hull
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_mat_transpose: handle
non-rectangular ma
t
ri
c
e
s
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n V
e
rd
o
o
l
aege
i
s
l_map
_
simple_hull:
co
m
pu
t
e
a
ffin
e
h
u
ll before al
i
gning
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_m
a
p_simple_hul
l
: mark result as not ha
v
ing
a
ny
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
e
r
doo
l
aege
add isl_set_bo
u
nded_s
i
mple_hu
l
l
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdoolaege
isl_map
_
affin
e
_hull: detect
equalities of in
t
eger affine
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdo
o
l
a
ege
isl_basic_map_d
u
p: copy flags
of original to duplicate
commit
|
commitdiff
|
tree
2009-03-20
S
ve
n
Verdoolaege
isl_basic_map_extend_d
i
m: move
r
esponsibilit
y
of
c
o
w
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
doolae
g
e
isl_basic_m
a
p
_
extend_dim: only ex
t
end constraint
matrix
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdoolaege
isl_solve_lp: use tableaus instead o
f
calling
pi
p
lib
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdo
o
lae
g
e
i
sl
_
solve_
l
p: acc
e
pt
a
ffine object function i
n
ste
a
d
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Ve
r
doo
l
a
ege
is
l
_
map_
s
imp
l
e
_
hull: use has
h
t
a
bles and
tableaus
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_conve
x
_hu
l
l
.
c:
extract out u
s
et_simple_h
u
ll
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolae
g
e
isl_co
n
vex_
h
ull
.
c
:
e
x
tend: avoid
w
r
a
p
p
i
n
g around
a
l
ready
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_convex_hull
.
c
:
introduce pro
t
o
_
hull based on obvious
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdoolaege
isl_c
o
nvex_hul
l
.
c:
move
i
nitial hull construction
into
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdoolaege
isl_convex_hull
.
c: move computation of bou
n
ds int
o
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdool
a
e
g
e
isl_map
_
c
onvex_hu
l
l: check fo
r
boun
d
edn
e
ss using recession
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
oolaege
isl_bas
i
c_map_c
o
n
vex_
h
u
l
l
:
us
e
t
a
ble
a
u to dete
c
t redundant
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdoo
l
aege
i
sl_affine_hull
.
c: use
t
ableau to
d
etect
implicit eq
u
a
litie
s
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdoolaege
is
l
_ta
b
.
c: don't
d
etec
t
equ
a
lities while se
t
ting up
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdoolaege
add inte
r
nal represe
n
tation of LP
tableaus
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
add isl
_
mat_extend
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
add isl
_
set_di
m
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdoolaege
privately export isl_basic_{set,map}_
n
ormalize_constrain
t
s
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
add
i
sl_basi
c
_set_
e
xtend
_
dim
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdoolae
g
e
isl_b
a
sic_map_eli
m
inate_vars: clear
divs
f
irst
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rdoo
l
aege
isl
_
basic
_
ma
p
_elimin
a
te_var
s
: remove
a
l
l d
e
pendent
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdoolaege
add isl_hash_table_
a
lloc and isl_hash_t
a
ble_f
r
ee
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Ver
d
oolae
g
e
isl_has
h
_table_
i
nit
:
take minimal size instead of
numb
e
r
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n V
e
rdool
a
ege
isl
_
{b
a
sic_,}set_
p
reim
a
ge
:
drop ctx arg
u
m
e
n
t
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_basic_map_intersect: reuse sampl
e
value
of
e
i
ther
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdoolaeg
e
add is
l
_int_
g
e
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_
b
a
sic_
s
et_h
a
s_defining_ineq
u
alities: fix ty
p
o
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdoolaege
i
sl_const
r
a
i
n
t_div:
p
erform
r
e
quired reference i
n
c
r
e
a
se
.
.
.
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdoo
l
aege
is
l
_basic_map: put
inequalit
i
es before equalities
commit
|
commitdiff
|
tree
2009-03-08
Sven
Verdoo
l
aeg
e
add is
l
_seq_
n
ormali
z
e
commit
|
commitdiff
|
tree
2009-03-08
Sve
n
Verd
o
o
laege
isl_
c
tx
.
h: m
a
ke FL_ISSET return a b
o
olean val
u
e
commit
|
commitdiff
|
tree
2009-03-08
S
ven
Verdoolaege
rename F_ and FL_ m
a
cros to IS
L
_F_ and ISL_FL_ t
o
avoid
.
.
.
commit
|
commitdiff
|
tree
2009-03-08
Sven V
e
rdool
a
ege
add isl_m
a
t
_
swap_co
l
s
commit
|
commitdiff
|
tree
2009-03-08
Sven V
e
rdoola
e
ge
isl_mat_dump: also indent NU
L
L
m
a
t
commit
|
commitdiff
|
tree
2009-03-08
Sv
e
n Verdoolaege
add isl_cal
l
oc_type
commit
|
commitdiff
|
tree
2009-03-08
Sven
V
erdoolaege
isl_
m
ap_co
n
vex_hull: nor
m
ali
z
e m
a
p firs
t
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdoolaege
i
sl_set
_
p
r
eimage: clear ISL_S
E
T_NORMALIZED flag
commit
|
commitdiff
|
tree
2009-02-23
Sven Verdoola
e
ge
add isl
_
basic
_
m
a
p_detect_equalities
commit
|
commitdiff
|
tree
2009-02-22
Sven
V
erdoolaege
add
i
sl_map
_
re
m
ove
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolaege
e
x
port isl_ba
s
ic_map_is_equal
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdo
o
l
a
ege
add isl
_
basi
c
_map_remove
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdo
o
laege
add
i
sl_dim_ra
n
ge
commit
|
commitdiff
|
tree
2009-02-22
Sven V
e
rdoo
l
aege
add isl_map_
p
roduct
commit
|
commitdiff
|
tree
2009-02-22
S
ven Verdoo
l
aege
add isl_b
a
sic_
m
ap_ad
d
_
con
s
tra
i
nt
commit
|
commitdiff
|
tree
2009-02-22
Sven
V
erdoolaege
a
dd isl_
d
im_
a
dd
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoo
l
aege
isl_map_piplib
.
c: isl_map_from_quast: p
r
operly ke
e
p
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sven Verd
o
olaege
c
h
ange calling convention of
i
sl_basic
_
map_{equal,less_at
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolaege
add isl_m
a
p_copy
_
basic_m
a
p and i
s
l_map_drop_basic_map
commit
|
commitdiff
|
tree
2009-02-22
Sv
e
n
Verdoolaege
add isl_m
a
p_fro
m
_range
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdool
a
ege
ad
d
isl_map_f
a
st
_
is_
e
mpty
commit
|
commitdiff
|
tree
2009-02-22
Sven Verd
o
o
lae
g
e
change ca
l
ling co
n
vention of isl
_
map_empt
y
and add
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
S
v
en Ve
r
doo
l
aege
is
l
_map_intersect_{domain,range}
:
all
o
w intersect
i
o
n
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sve
n
Verdoolaege
isl_map_in
t
ersect: a
l
low intersec
t
i
on w
i
th p
u
re pa
r
ameter
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sven V
e
r
d
o
o
laeg
e
isl
_
basic_map_affine_hull: fix s
e
arch fo
r
integer poin
t
s
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolaege
isl_bas
i
c_m
a
p_
o
v
e
rlying
_
s
e
t: don't a
d
d
div
const
r
aints
.
.
.
commit
|
commitdiff
|
tree
next