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_set_get_dim
2009-05-06
S
ven Verdoolaege
add isl_set_g
e
t_dim
commit
|
commitdiff
|
tree
2009-05-05
Sven
V
e
rdoolaege
isl_convex
_
hull
.
c:
up
d
a
t
e wr
a
p_facet to the fact we
.
.
.
commit
|
commitdiff
|
tree
2009-05-05
S
v
en
Verdool
a
e
g
e
i
s
l_co
n
vex_
h
ull
.
c: fix typo in
c
o
mment
commit
|
commitdiff
|
tree
2009-05-05
Sve
n
Verdoolaege
isl_coalesce
.
c: f
i
x
t
ypo in c
o
mment
commit
|
commitdiff
|
tree
2009-05-05
Sve
n
Verdoolaege
isl_tab
.
c: fix
typo in comment
commit
|
commitdiff
|
tree
2009-03-23
S
v
e
n
Verdoolaege
add isl_ba
s
ic_set_get_di
m
commit
|
commitdiff
|
tree
2009-03-23
Sven V
e
rdoolaege
is
l
_basic
_
map_gi
s
t
: normali
z
e
divs (if any) in context
commit
|
commitdiff
|
tree
2009-03-23
Sven Ve
r
doolaege
i
sl_basic_
m
ap_simplify: remove duplicate divs
b
e
f
ore
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
S
ven Verdoolaeg
e
add isl_basic_set
_
div
commit
|
commitdiff
|
tree
2009-03-23
Sven V
e
rdool
a
ege
cha
n
ge ca
l
ling convention of isl_ba
s
ic_map_div
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoo
l
aeg
e
isl_
m
ap_simpli
f
y
.
c: u
s
et_gist:
b
reak ear
l
y
if th
e
re
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven
V
er
d
o
olaege
isl_map_simplify
.
c
:
u
s
e
t_
g
ist: break
early if intersection
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdo
o
l
aeg
e
add is
l
_basic_set_fas
t
_is_empty
commit
|
commitdiff
|
tree
2009-03-23
Sven
V
erdoolaege
update pipl
i
b to 1
.
4
.
0
commit
|
commitdiff
|
tree
2009-03-23
Sven Verd
o
o
laege
isl_tab
.
c: store numb
e
r of equalitie
s
among
t
he
const
r
aints
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
i
s
l_
m
at_ext
e
nd: pr
o
pe
r
ly e
x
tend matrices
w
ith reo
r
dered
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
e
rdoo
l
a
e
ge
isl_map_gist: handle s
o
me speci
a
l ca
s
es
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
a
d
d
isl_
m
ap
_
universe
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
add isl_
b
asi
c
_map_fast_is_e
m
p
t
y
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
e
rdool
a
ege
isl_basic_map_gist: r
e
place by new ve
r
sio
n
b
ased on
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_map_sim
p
lif
y
.
c
:
c
ompu
t
e_elim
i
nation_index: don
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdool
a
ege
ad
d
isl_ma
p
_
i
mpli
c
it_equalities
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
V
e
rdool
a
ege
ad
d
is
l
_
b
asic_set_free_equal
i
t
y
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_map_conv
e
x_hull:
m
ark resu
l
t
as not havi
n
g any
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
convex_hull: coa
l
esce se
t
fir
s
t
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
er
d
ool
a
ege
a
d
d isl_se
t
_coalesce
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verd
o
olaege
isl_input_ome
g
a
.
c
:
b
as
i
c_map_
r
ead: accept
"+"
in cons
t
rain
t
s
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
add isl_basic_set_all
o
c_div
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdoolaege
ad
d
i
s
l_set_align
_
div
s
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
doolae
g
e
uset_affine_
h
ull
:
ignore di
r
ections in affine hull
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_basic_ma
p
_
i
mplicit_equal
i
ti
e
s: p
e
rform Gaussian
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdoo
l
aege
isl_affine_hull
.
c: outside_poi
n
t:
c
h
eck for obvi
o
u
s
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaeg
e
p
rivat
e
ly export isl_bas
i
c_set_contains
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdoolaege
isl_ctx: ad
d
n
e
gone
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verdoolaeg
e
isl_vec
_
d
u
m
p: handle N
U
LL
vec
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rdo
o
laege
i
sl
_
affine_hul
l
.
c: ex
t
ra
c
t uset_affine_h
u
l
l
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoo
l
aege
i
sl_mat_transpose:
h
and
l
e non-re
c
tangu
l
a
r
m
a
trices
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n V
e
rdoolaege
i
s
l_map_s
i
mple_hull:
c
o
mpute aff
i
ne hull before a
l
ign
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_ma
p
_
simple_hull: mark res
u
l
t a
s
not having any
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
o
l
a
ege
a
dd i
s
l_set_boun
d
ed_si
m
p
l
e_hull
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Ver
d
o
olae
g
e
isl_
m
ap_affine_hull: detect
equalities of integer affi
n
e
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
e
n Verdoolaege
isl_basic_map_dup: copy flags o
f
or
i
ginal to du
p
li
c
ate
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
oolaeg
e
isl_basi
c
_map_ext
e
nd_dim: move
responsibility of cow
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_basic_m
a
p_extend
_
d
i
m: only e
x
t
e
n
d
constrai
n
t
m
atrix
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erd
o
o
l
a
ege
isl_solve_lp: use tab
l
eaus in
s
tead of
calling piplib
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Ve
r
doolaege
isl_
s
olve
_
l
p
:
accept
a
ff
i
ne
object function instead
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
i
sl_map_simple
_
hull: use
h
a
sh tables and tablea
u
s
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_convex_hul
l
.
c: ext
r
act out uset
_
simple_hu
l
l
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaeg
e
isl_convex_hull
.
c: extend: a
v
oid wrapping ar
o
und alrea
d
y
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verdoolaege
isl_convex_h
u
l
l
.
c
: i
n
trod
u
ce proto_hull ba
s
ed
o
n obvious
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
oolaege
is
l
_co
n
v
e
x_hull
.
c: move
initial hull con
s
truc
t
ion
into
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaeg
e
isl_
c
o
n
vex_hull
.
c: move computation of bounds into
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
o
laege
isl_ma
p
_convex_hull: c
h
eck for bo
u
nde
d
n
e
ss using recession
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
olaege
isl_basic_map
_
c
onvex_hull: use table
a
u to detect redundan
t
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
doolaege
is
l
_tab
.
c:
don't detect equ
a
litie
s
while setting
u
p
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdoolaege
add isl_mat_extend
commit
|
commitdiff
|
tree
2009-03-20
S
ven Ver
d
ool
a
eg
e
add
isl_set_dim
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verdoolaeg
e
privately export isl
_
basic
_
{se
t
,map}
_
normalize_constr
a
ints
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
add isl_basic_set_extend_dim
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rdo
o
laege
isl_b
a
sic_map_eliminat
e
_vars: clear divs first
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
i
sl_basic_
m
ap_eliminate_va
r
s: rem
o
ve all depen
d
ent
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
doolaege
a
dd isl_hash_ta
b
le_alloc and
isl
_
h
ash
_
table_free
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Ve
r
do
o
laege
isl_h
a
sh_
t
able_
i
n
i
t:
t
a
k
e
m
inim
a
l size i
n
stea
d
of number
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdoola
e
ge
isl_
{
ba
s
ic_,}s
e
t_preimage: d
r
o
p ctx argument
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_basi
c
_map_intersect: reuse sa
m
pl
e
value of e
i
ther
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Ve
r
doolaege
add i
s
l
_in
t
_ge
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdoolaege
isl_cons
t
raint_div:
perform required
refe
r
ence
i
ncrease
.
.
.
commit
|
commitdiff
|
tree
2009-03-08
Sv
e
n V
e
rdoo
l
aege
isl_
b
asic_map
:
put ine
q
ualities before equalities
commit
|
commitdiff
|
tree
2009-03-08
S
ven Ve
r
d
o
ola
e
g
e
a
dd isl_seq_normal
i
ze
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdo
o
lae
g
e
i
s
l_ct
x
.
h: mak
e
FL_I
S
S
ET return a boolean
value
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdoolaege
rename F_ a
n
d FL_ mac
r
os
to ISL
_
F_ a
n
d
I
SL_FL_ to avoid
.
.
.
commit
|
commitdiff
|
tree
2009-03-08
Sven
V
erdoolaege
a
d
d isl_mat_swap_cols
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdool
a
e
g
e
isl_mat_dump: also ind
e
nt NUL
L
mat
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdoolaege
ad
d
i
sl_calloc_type
commit
|
commitdiff
|
tree
2009-03-08
S
v
en Verdoolaege
i
sl_map_con
v
ex
_
hull: normalize map fi
r
st
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdoolaege
isl
_
set_prei
m
age: clear ISL_SET_NO
R
M
ALIZED flag
commit
|
commitdiff
|
tree
2009-02-23
Sve
n
Ve
r
dool
a
ege
add isl_basic_map_dete
c
t_equal
i
ti
e
s
commit
|
commitdiff
|
tree
2009-02-22
Sven V
e
rdoolaege
export
isl_basic_map_i
s
_e
q
ual
commit
|
commitdiff
|
tree
2009-02-22
Sven Ver
d
oolaege
add
isl_bas
i
c
_
map_remove
commit
|
commitdiff
|
tree
2009-02-22
Sven Ver
d
oolaege
add
i
sl_dim_range
commit
|
commitdiff
|
tree
2009-02-22
S
v
en
V
erdoolaege
add isl_
m
ap_
p
ro
d
uc
t
commit
|
commitdiff
|
tree
2009-02-22
Sven Ver
d
oo
l
aege
add isl_b
a
s
ic_
m
ap_add
_
cons
t
raint
commit
|
commitdiff
|
tree
2009-02-22
Sv
e
n Verdoolaege
isl_map_pip
l
i
b
.
c:
i
sl
_
map_from_quast: properly keep
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolaege
c
hange cal
l
i
n
g co
n
vent
i
on
o
f isl_basic
_
m
a
p_{equ
a
l,less_at
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
S
ven Ve
r
doolaege
add isl_ma
p
_copy_basic_map a
n
d isl_ma
p
_
drop_bas
i
c
_map
commit
|
commitdiff
|
tree
2009-02-22
S
ven Verdoolaege
add
i
sl_map_from_range
commit
|
commitdiff
|
tree
2009-02-22
Sve
n
Ve
r
doolaege
add isl_
m
ap_
f
ast_is_empty
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolaege
chan
g
e
cal
l
i
n
g convention of i
s
l
_
map_
e
mp
t
y
and add
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolaege
isl_ma
p
_intersect_{domain,ran
g
e}: allow
i
n
tersect
i
on
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sv
e
n Verdoolaege
isl_map_inter
s
e
ct: allow intersection
w
ith pure parameter
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
S
v
e
n
Verdo
o
l
aege
isl_basic_map_af
f
ine_hull: fix search for inte
g
er points
commit
|
commitdiff
|
tree
2009-02-22
Sven V
e
rdoolaege
isl_basic_map_over
l
ying_set: don't add div constraints
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolaege
isl_
d
im
.
c: up
d
a
te n_name (
o
nly) when cha
n
ging n
a
mes
commit
|
commitdiff
|
tree
2009-02-15
S
v
en Ver
d
oolaege
fix serious
e
rror i
n
isl_mat_par
a
met
e
r_
c
o
mpressi
o
n
commit
|
commitdiff
|
tree
2009-02-11
S
v
en
Verdoolaege
export
isl_basic
_
map_intersect_range
commit
|
commitdiff
|
tree
2009-02-11
Sven Verd
o
olaege
add isl_basic_map_floordiv
commit
|
commitdiff
|
tree
2009-02-11
Sven Verdoo
l
aege
add isl_basic_map_fas
t
_is_fixed
commit
|
commitdiff
|
tree
2009-02-11
S
v
en Verd
o
ol
a
e
g
e
add isl_basic_map_n
e
g
commit
|
commitdiff
|
tree
2009-02-11
Sven Verdoolaege
add isl_b
a
sic_map_su
m
commit
|
commitdiff
|
tree
2009-02-10
S
ven Verdoolaege
a
d
d
i
sl_map_fix_si, a gener
a
l
izati
o
n of isl_basic
_
m
a
p_fi
x
_
i
n
.
.
.
commit
|
commitdiff
|
tree
next