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 Verdoo
l
aege
ad
d
isl
_
set_get_di
m
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoolaege
isl_conv
e
x
_hull
.
c: update wrap_facet to the fact we
.
.
.
commit
|
commitdiff
|
tree
2009-05-05
Sven
Ve
r
doola
e
ge
isl_conve
x
_h
u
l
l
.
c: fix typo in
c
o
mment
commit
|
commitdiff
|
tree
2009-05-05
Sve
n
Verdoolaege
isl_c
o
alesce
.
c: fix t
y
po in comment
commit
|
commitdiff
|
tree
2009-05-05
S
v
en
Verdoolaege
i
s
l_ta
b
.
c: fix typo
in comment
commit
|
commitdiff
|
tree
2009-03-23
Sv
e
n Verdool
a
e
g
e
add isl_
b
as
i
c_set_get_dim
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
i
sl_basic
_
map_gist: normalize divs (if any) i
n
context
commit
|
commitdiff
|
tree
2009-03-23
Sve
n
Verdoo
l
ae
g
e
isl_basic_map_
s
implify: remove duplic
a
te divs before
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven
Verdoolaege
add isl_b
a
sic
_
set_div
commit
|
commitdiff
|
tree
2009-03-23
S
v
en Verdo
o
l
a
ege
change callin
g
con
v
entio
n
of is
l
_ba
s
ic_map_div
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
isl_map_
s
i
m
plify
.
c: uset_gist
:
bre
a
k earl
y
if there
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven
V
erdoo
l
a
e
ge
i
s
l_map_simpli
f
y
.
c: us
e
t_gist: break earl
y
if intersection
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven
Verdoolaege
add isl_basi
c
_set_fast_is_emp
t
y
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoo
l
a
e
ge
update piplib t
o
1
.
4
.
0
commit
|
commitdiff
|
tree
2009-03-23
Sven V
e
r
doolaege
isl_t
a
b
.
c: sto
r
e number
of equalitie
s
among the constraints
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
S
v
en Verdoolae
g
e
is
l
_mat_extend: p
r
o
p
erly ex
t
e
n
d matrices
w
ith r
e
o
r
dered
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdoolaege
isl_map_gist: h
a
n
d
l
e some s
p
ecial cases
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
add isl_map_universe
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
add i
s
l_b
a
s
i
c
_map_fast_is_empty
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verdoolae
g
e
isl
_
basic_m
a
p
_
gist: replace by
n
e
w
ver
s
ion b
a
sed on
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n V
e
r
d
oolaege
isl_map_simplify
.
c: compute_el
i
min
a
tion_
i
nd
e
x
:
don
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdoolaeg
e
add isl_
m
a
p
_implicit_e
q
u
aliti
e
s
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdool
a
ege
add isl_basic_
s
et_free_equality
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
doolaege
isl_map_convex_hull:
m
ark re
s
ult
a
s not havin
g
an
y
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
con
v
ex_hu
l
l: coale
s
c
e
set
first
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
olaege
a
dd isl
_
set_coalesce
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdo
o
laege
isl_input_o
m
e
g
a
.
c: basic_map
_
read:
a
c
c
ep
t
"+" i
n
const
r
aints
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
add isl_basic_set_a
l
loc_div
commit
|
commitdiff
|
tree
2009-03-20
S
ven
Verd
o
olaege
a
dd i
s
l_s
e
t
_
align_divs
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
olaege
uset_affine_hull: ignore
d
i
r
ec
t
ions in affine hull
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verdoolaege
i
s
l_bas
i
c
_map_im
p
l
i
cit_e
q
ualities: p
e
rform Gaus
s
ian
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdool
a
ege
isl_affine_h
u
ll
.
c:
outside_point
:
check
f
o
r
obvio
u
s
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaeg
e
pr
i
vately export i
s
l_basic_set_conta
i
n
s
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdool
a
e
ge
i
sl_ctx:
a
dd negone
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verdoolaege
i
sl_vec_dump: ha
n
d
l
e N
U
L
L vec
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
olae
g
e
isl_affine_hull
.
c
:
extract use
t
_
a
ffin
e
_hull
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdoolaege
isl_ma
t
_tran
s
po
s
e: handle non-rectangul
a
r
mat
r
ice
s
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdoolaege
isl
_
map_simple_
h
u
l
l
: compute affin
e
hu
l
l befo
r
e aligning
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verd
o
olaege
isl_map
_
simple_hull
:
m
ar
k
result as not having any
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
oolaege
a
d
d isl_set_b
o
unded_simple_hull
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdoolaege
isl
_
map_affine_hull: d
e
tect
e
qualit
i
es of integer affine
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdoolaeg
e
isl_basic_map_dup: copy
f
l
ags of original to
d
uplicate
commit
|
commitdiff
|
tree
2009-03-20
S
v
en V
e
rdool
a
ege
is
l
_bas
i
c_map_ext
e
nd_di
m
: m
o
ve responsibility of
c
ow
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaeg
e
isl_basic_m
a
p_ext
e
nd_dim: o
n
ly extend constraint matrix
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Ve
r
doolaeg
e
i
sl_solve_lp: use tableau
s
inst
e
ad of cal
l
ing piplib
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verd
o
olaege
isl_solve_lp:
accept affine object
f
unction inst
e
ad
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
oola
e
g
e
isl_ma
p
_simple_hull: use hash t
a
bles
and
t
ableaus
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolae
g
e
isl_
c
on
v
ex_hull
.
c: extract ou
t
uset_s
i
mple_hull
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdoolaege
is
l
_convex_h
u
ll
.
c: exten
d
:
avoid
w
rapping aroun
d
already
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdoolaege
isl_convex_hull
.
c: introduce proto_hu
l
l based
on obvious
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
doolaege
isl
_
con
v
ex_hull
.
c
:
m
ove i
n
itial hu
l
l
c
on
s
truction into
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n V
e
rdoo
l
aege
isl_conv
e
x_hull
.
c: move comput
a
tion of b
o
unds int
o
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Ver
d
oola
e
ge
isl_map_convex_hul
l
: check for boundedness usin
g
rece
s
sion
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdoo
l
aege
isl_basic_map
_
con
v
ex_hull: u
s
e tableau t
o
d
e
t
ect redunda
n
t
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdoo
l
aege
isl_t
a
b
.
c: don't detect equalities
w
h
ile setting up
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdoola
e
ge
add isl_mat_extend
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verdool
a
ege
a
d
d
isl
_
s
e
t_dim
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rdoolaege
private
l
y
e
x
p
o
rt isl_basic_{set,map}_normalize_c
o
ns
t
raints
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdo
o
l
a
ege
add isl_basi
c
_set_extend_dim
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
is
l
_
b
asi
c
_ma
p
_eli
m
i
n
ate_vars:
c
l
ear d
i
vs first
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
oola
e
ge
i
sl_basic_map_eliminate_v
a
rs: remove all dependent
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolae
g
e
a
dd isl_hash_ta
b
l
e_alloc
and isl_h
a
sh_t
a
ble_free
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdo
o
laege
isl_hash_table
_
i
n
it: t
a
ke minimal size instead of
n
umber
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Ve
r
doolaege
isl_
{
basic_,}set_preimage: drop ctx argumen
t
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verdoolaege
isl_basic_ma
p
_i
n
te
r
sect: reuse sam
p
le valu
e
of eit
h
er
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdool
a
eg
e
add
isl_int_
g
e
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_const
r
aint_div: p
e
rfor
m
required refer
e
nce increase
.
.
.
commit
|
commitdiff
|
tree
2009-03-08
Sven Verd
o
olaeg
e
isl_basic
_
m
a
p: put ine
q
u
alities before
e
qu
a
lities
commit
|
commitdiff
|
tree
2009-03-08
Sven V
e
r
doola
e
ge
add isl
_
s
e
q_normalize
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdo
o
lae
g
e
isl_ctx
.
h: mak
e
FL_ISSET retur
n
a boolean value
commit
|
commitdiff
|
tree
2009-03-08
Sven
V
erdoola
e
ge
rename F_ and F
L
_ macros
to
I
S
L
_
F
_
a
n
d I
S
L_FL_ to avoi
d
.
.
.
commit
|
commitdiff
|
tree
2009-03-08
S
v
e
n
V
erdoo
l
aege
a
dd
i
sl_
m
at_swap_cols
commit
|
commitdiff
|
tree
2009-03-08
Sven Ve
r
do
o
laege
isl_mat_du
m
p:
als
o
indent N
U
LL m
a
t
commit
|
commitdiff
|
tree
2009-03-08
Sven
V
erdoolaege
add isl_call
o
c_type
commit
|
commitdiff
|
tree
2009-03-08
Sven
Verdo
o
l
a
ege
isl_map_convex_hull: n
o
rmalize map firs
t
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdoolaege
isl_s
e
t_preimage: clea
r
ISL_SET_NORMALIZED flag
commit
|
commitdiff
|
tree
2009-02-23
Sven Ver
d
oolaege
add isl_basic_map_detect_equa
l
it
i
es
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolaege
export
i
sl_basic_
m
ap_
i
s_equal
commit
|
commitdiff
|
tree
2009-02-22
Sven Ve
r
doolaege
ad
d
isl_b
a
sic_map_rem
o
ve
commit
|
commitdiff
|
tree
2009-02-22
Sve
n
V
erdoola
e
ge
add isl_dim_range
commit
|
commitdiff
|
tree
2009-02-22
S
ven Verdoolae
g
e
add isl_map_produ
c
t
commit
|
commitdiff
|
tree
2009-02-22
Sven Ver
d
oo
l
aege
add
i
sl_basic_map_add_constr
a
int
commit
|
commitdiff
|
tree
2009-02-22
S
ven Verdoolaege
i
s
l_map_piplib
.
c
: isl_map_
f
rom_quast: properly keep
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sven
V
erdoolae
g
e
chang
e
calling conven
t
ion of
i
sl_basic_
m
ap_{equal,less_at
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sven
V
e
rdoolaeg
e
add isl_map
_
copy_
b
as
i
c_m
a
p and isl_ma
p
_dr
o
p_basic_map
commit
|
commitdiff
|
tree
2009-02-22
S
v
e
n
Verdoolaege
add isl_map_from_ran
g
e
commit
|
commitdiff
|
tree
2009-02-22
Sve
n
Verdoolaege
add isl_map_fast_is_empty
commit
|
commitdiff
|
tree
2009-02-22
S
v
en Verdoolaege
change cal
l
ing conv
e
n
ti
o
n of
isl_map_e
m
p
ty and add
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sven
V
e
r
d
o
o
laeg
e
i
s
l_map_int
e
r
s
ect_
{
domain,
r
ange
}
: allow
i
nt
e
rsectio
n
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolae
g
e
is
l
_m
a
p_intersect:
all
o
w interse
c
tion
with pure parameter
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sven
V
erdoolaege
isl_basi
c
_map
_
a
f
fi
n
e
_hull: fix search for
i
nt
e
ger p
o
ints
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolaege
isl_
b
asic_ma
p
_ov
e
rly
i
ng_
s
e
t
: don't add div cons
t
ra
i
nts
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
S
ven Ve
r
doolaege
isl_dim
.
c
:
update n_name (only)
when
chan
g
ing names
commit
|
commitdiff
|
tree
2009-02-15
Sven V
e
rd
o
o
l
aege
fix s
e
riou
s
error in
i
sl
_
mat_param
e
ter_compre
s
sion
commit
|
commitdiff
|
tree
2009-02-11
Sven Verdoo
l
a
ege
export
i
sl_basic_
m
ap_intersect_range
commit
|
commitdiff
|
tree
2009-02-11
Sven Verdoolaeg
e
add isl_basic_map
_
floordiv
commit
|
commitdiff
|
tree
2009-02-11
Sven Verdoolaege
add
isl_basic
_
map_fast_is_fixed
commit
|
commitdiff
|
tree
2009-02-11
Sven Verdo
o
laege
add isl_basi
c
_
m
a
p_neg
commit
|
commitdiff
|
tree
2009-02-11
Sven Verdoolaege
add
isl_basic_map_sum
commit
|
commitdiff
|
tree
2009-02-10
Sven
Verdoolae
g
e
add isl_
m
ap_
f
ix_si, a
g
enerali
z
ation o
f
isl_basic_map_fi
x
_in
.
.
.
commit
|
commitdiff
|
tree
next