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_convex_hull: use tableau to detect redundant constraints
2009-03-20
Sven
V
erdoolaege
isl_basic_map_convex_hull: use tableau to
dete
c
t redundant
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
o
o
laege
is
l
_
affi
n
e
_hull
.
c: use tableau to d
e
t
e
ct i
m
pli
c
it equalities
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
e
rdoo
l
a
eg
e
i
sl_tab
.
c: don't detect eq
u
alit
i
es
whi
l
e
setting up
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
e
rd
o
olaege
add i
n
ternal repr
e
sentation of
L
P tableaus
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verd
o
olaeg
e
add isl_mat_extend
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verdoolaeg
e
add isl
_
s
et
_
dim
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verdoolaege
privately export i
s
l_basic_{set,ma
p
}_norma
l
i
ze_c
o
n
s
traints
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdoolaege
add i
s
l
_basic_set_e
x
tend
_
dim
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoola
e
ge
isl_
b
asic
_
map_elimi
n
ate_vars: cle
a
r
divs firs
t
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
doola
e
ge
isl_basic
_
map_elim
i
nate_vars
:
remove all dependent
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdoolaege
add
i
s
l_hash_table_a
l
l
o
c and isl_hash_table_fr
e
e
commit
|
commitdiff
|
tree
2009-03-20
S
v
en
V
er
d
o
o
lae
g
e
isl_hash_tab
l
e_init
:
take min
i
mal siz
e
instead of nu
m
be
r
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdoolaeg
e
i
s
l_
{
basic_,}set_preima
g
e: d
r
op ctx argu
m
ent
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdoola
e
ge
isl_basi
c
_map_in
t
ersect: r
e
use sa
m
ple v
a
lue o
f
e
i
ther
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
add isl
_
int_ge
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_b
a
sic_set_h
a
s_defining_inequaliti
e
s: fix
t
ypo
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdoolaege
is
l
_c
o
nstraint_d
i
v: perf
o
rm req
u
i
r
ed referen
c
e increase
.
.
.
commit
|
commitdiff
|
tree
2009-03-08
S
ven Verdoo
l
aege
i
sl_
b
asic
_
map:
p
ut inequ
a
lit
i
e
s before eq
u
al
i
tie
s
commit
|
commitdiff
|
tree
2009-03-08
Sve
n
Verd
o
ola
e
ge
add isl_seq_n
o
rmalize
commit
|
commitdiff
|
tree
2009-03-08
Sven Ver
d
oolaege
i
s
l
_
ctx
.
h: ma
k
e
FL_
I
S
S
ET return a bool
e
an value
commit
|
commitdiff
|
tree
2009-03-08
Sv
e
n Verdoolaege
rename F_ and FL_ m
a
cros to ISL_
F
_ and ISL_FL_ to avoi
d
.
.
.
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdoolaeg
e
a
d
d is
l
_mat_swap_cols
commit
|
commitdiff
|
tree
2009-03-08
Sven Ve
r
d
o
olaege
isl
_
mat_dump: also indent NULL mat
commit
|
commitdiff
|
tree
2009-03-08
Sven
V
erdoolaege
add is
l
_calloc_type
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdoolaege
isl
_
map_convex_hull:
normali
z
e
map first
commit
|
commitdiff
|
tree
2009-03-08
S
v
en Ver
d
oolaege
isl_se
t
_
preimage: clear
I
SL_SET_NO
R
M
ALIZED flag
commit
|
commitdiff
|
tree
2009-02-23
Sven V
e
rdool
a
ege
a
dd
i
s
l
_bas
i
c_map_detect_eq
u
alities
commit
|
commitdiff
|
tree
2009-02-22
Sve
n
Verdoolaege
a
d
d isl_map_remove
commit
|
commitdiff
|
tree
2009-02-22
Sven
V
e
rdoo
l
a
e
g
e
exp
o
rt isl_basic_map_
i
s_equal
commit
|
commitdiff
|
tree
2009-02-22
Sven
Verdoolaege
ad
d
isl_basic_map_re
m
ove
commit
|
commitdiff
|
tree
2009-02-22
S
ven Verd
o
ola
e
ge
add i
s
l_dim
_
r
a
nge
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdo
o
lae
g
e
add isl_
m
ap_
p
roduct
commit
|
commitdiff
|
tree
2009-02-22
Sven V
e
rdoolae
g
e
add isl_basi
c
_map_add_
c
onstr
a
i
nt
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolaege
a
dd isl_
d
i
m_add
commit
|
commitdiff
|
tree
2009-02-22
Sven V
e
rdoolaege
isl_map_p
i
plib
.
c:
i
sl_map
_
from_quast: properly keep
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sve
n
Verdoolaege
c
h
a
nge cal
l
ing conve
n
tion of i
s
l
_
basic_map_{
e
q
u
al,les
s
_at
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sv
e
n
V
er
d
o
olaege
add isl_map_copy
_
basic_map and isl_map_drop_basic_map
commit
|
commitdiff
|
tree
2009-02-22
Sven Ve
r
d
oolaege
a
d
d isl_map
_
from
_
rang
e
commit
|
commitdiff
|
tree
2009-02-22
Sve
n
Verdoo
l
aege
a
dd
i
sl_ma
p
_fast_is_
e
mpty
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolae
g
e
change callin
g
convention of isl_
m
ap_empty and add
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sven Ve
r
doolaeg
e
isl_m
a
p_intersec
t
_{d
o
ma
i
n,range}: allo
w
in
t
er
s
ectio
n
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolaege
isl_ma
p
_interse
c
t
:
allow intersectio
n
w
i
t
h
pure parameter
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sven Ve
r
d
oolaege
isl_ba
s
ic_map_affine_hull: fix search for integer
poin
t
s
commit
|
commitdiff
|
tree
2009-02-22
Sv
e
n Verdoo
l
aege
is
l
_basic_map_ove
r
lying_set: do
n
't add di
v
constraints
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolaege
isl_
d
im
.
c:
u
pdat
e
n_
n
ame (only) when
c
hanging
names
commit
|
commitdiff
|
tree
2009-02-15
Sven Verdoolaege
fix serious erro
r
in
i
s
l_m
a
t_parame
t
er
_
compr
e
ssi
o
n
commit
|
commitdiff
|
tree
2009-02-11
S
v
en Verdoolaege
expor
t
isl_b
a
sic_map_i
n
tersect_range
commit
|
commitdiff
|
tree
2009-02-11
Sven
V
erdoolaege
add isl_basic_map_floo
r
d
i
v
commit
|
commitdiff
|
tree
2009-02-11
Sve
n
Verdoolaege
add i
s
l
_ba
s
ic_map_fast_is_fi
x
ed
commit
|
commitdiff
|
tree
2009-02-11
Sven Verdo
o
l
a
e
ge
a
d
d
isl_basic_map_neg
commit
|
commitdiff
|
tree
2009-02-11
Sven Verdoolaege
a
d
d isl_basic_map_sum
commit
|
commitdiff
|
tree
2009-02-10
Sven Verdoolaege
a
d
d is
l
_map_
f
ix_si, a ge
n
eralizatio
n
o
f isl
_
ba
s
ic_map_fix_in
.
.
.
commit
|
commitdiff
|
tree
2009-02-04
S
ven Verdoolaege
isl_map_simplify
.
c
: r
e
move_
d
uplicate_divs: remove divs
.
.
.
commit
|
commitdiff
|
tree
2009-02-04
Sven Verd
o
o
l
a
ege
isl_b
a
s
ic_map_gauss: be careful not to introduc
e
circular
.
.
.
commit
|
commitdiff
|
tree
2009-02-04
S
ven
V
erdool
a
ege
a
d
d functions for setting
is
l
_
divs
commit
|
commitdiff
|
tree
2009-02-04
Sve
n
Verdoolaege
is
l
_
map_from
_
quast: don't throw away any bottom l
e
aves
commit
|
commitdiff
|
tree
2009-02-04
Sven Ve
r
doolaege
isl_m
a
p_simplify
.
c
:
norm
a
lize
_
d
ivs
:
fix u
s
e
of variable
.
.
.
commit
|
commitdiff
|
tree
2009-02-04
S
ven Verdoola
e
ge
isl_mat_variable
_
c
o
m
p
ression: fix use after
free
commit
|
commitdiff
|
tree
2009-02-03
Sven Verdoolaege
isl_map_sim
p
lify
.
c: norm
a
l
ize_
d
i
v
s:
e
nsure
enoug
h
existe
n
tia
.
.
.
commit
|
commitdiff
|
tree
2009-02-03
S
v
en
V
erdo
o
laege
isl_hash_tab
l
e_r
e
mo
v
e: update number of en
t
ri
e
s
commit
|
commitdiff
|
tree
2009-01-22
Sven Verdoo
l
aege
i
s
l_map_simpl
e
_hull: plug memory
l
eak
commit
|
commitdiff
|
tree
2009-01-09
Sven Ver
d
ool
a
e
ge
add std::ostre
a
m &o
p
e
ra
t
or<<(s
t
d::ostr
e
a
m &os, isl_
i
nt
.
.
.
commit
|
commitdiff
|
tree
2009-01-08
S
ven Ve
r
doolaege
normalize divs involved in equal
i
ties
commit
|
commitdiff
|
tree
2009-01-08
Sven
V
erdoola
e
ge
i
s
l_ma
p
_underlying_set: drop name
s
from
d
imes
i
on in
.
.
.
commit
|
commitdiff
|
tree
2009-01-06
Sven Verdoo
l
aege
a
dd isl_mat_para
m
e
t
er_comp
r
ession
commit
|
commitdiff
|
tree
2009-01-06
Sven Verdoolaeg
e
isl_equalities
.
c:
extract and
e
xport is
l
_mat
_
variable_compre
.
.
.
commit
|
commitdiff
|
tree
2009-01-06
Sve
n
Verd
o
o
l
aege
add isl_bas
i
c_set_is_empty
commit
|
commitdiff
|
tree
2009-01-06
S
ven
Verdoolaeg
e
a
d
d
isl_mat_right_kernel
commit
|
commitdiff
|
tree
2009-01-06
Sven V
e
rd
o
olae
g
e
add
isl_mat_col
_
su
b
mul
commit
|
commitdiff
|
tree
2009-01-06
Sven Ver
d
oo
l
aeg
e
add isl_seq_su
b
mul
commit
|
commitdiff
|
tree
2009-01-06
Sven Verdoolaege
isl_map_s
i
mpl
i
fy
.
c: extract out simp
l
ify and related
.
.
.
commit
|
commitdiff
|
tree
2009-01-06
Sven Verdoolaege
isl_constr
a
i
nt: add l
i
mited support for adding
div
s
commit
|
commitdiff
|
tree
2009-01-06
Sven Verdoolaege
change callin
g
conventions of i
s
l_ba
s
ic
_
set_has_defi
n
ing_
.
.
.
commit
|
commitdiff
|
tree
2008-12-28
Sven
Verdo
o
laege
add
i
s
l
_bas
i
c_{set,map}_di
m
commit
|
commitdiff
|
tree
2008-12-28
Sven Verdoola
e
ge
i
sl_basic_ma
p
_
gist: also expl
o
it e
q
u
a
lities i
n
gisted s
e
t
commit
|
commitdiff
|
tree
2008-12-28
Sve
n
Verdoolaege
isl_ba
s
ic_m
a
p_overlying_set:
simplify resulti
n
g basic map
commit
|
commitdiff
|
tree
2008-12-25
Sven
V
erdo
o
laege
isl_stream: properly referenc
e
ctx
commit
|
commitdiff
|
tree
2008-12-25
Sv
e
n Verdoolaege
isl
_
s
tream
.
c:
e
xtracted from isl_input_
o
mega
.
c
commit
|
commitdiff
|
tree
2008-12-25
Sv
e
n Verdo
o
laege
ad
d
isl_basic_set_read_from_str
commit
|
commitdiff
|
tree
2008-12-24
Sv
e
n
V
erd
o
olaege
e
x
p
ort isl_set_compute_divs
commit
|
commitdiff
|
tree
2008-12-24
Sven Verdoolaeg
e
isl_basi
c
_map_a
l
ign_
d
ivs: check di
v
s of src basic map
.
.
.
commit
|
commitdiff
|
tree
2008-12-24
Sven Verdo
o
laege
isl_map_gist: ensure divs of map
ar
e
known
commit
|
commitdiff
|
tree
2008-12-24
S
ven
Ver
d
oo
l
aeg
e
isl_basic_
m
ap_c
o
mpute_divs: only
(
r
e)compute
divs if
.
.
.
commit
|
commitdiff
|
tree
2008-12-24
Sven
Verdoolaege
isl_ba
s
ic_map_
e
li
m
inat
e
_
v
a
r
s
:
be
t
ter ha
n
dling of divs
commit
|
commitdiff
|
tree
2008-12-23
Sven Verd
o
olaege
a
d
d isl_div abstracti
o
n,
s
i
mila
r
to i
s
l_constra
i
nt
commit
|
commitdiff
|
tree
2008-12-22
Sven Verdoolaege
isl_basic_set_compare_at: combine con
s
tr
a
ints befor
e
.
.
.
commit
|
commitdiff
|
tree
2008-12-22
Sv
e
n Verdoo
l
aege
isl_map_un
d
erlying
_
s
et: align div
s
be
f
ore calling this
.
.
.
commit
|
commitdiff
|
tree
2008-12-22
Sven Verdoolaege
isl_basic_map_over
l
ying_set: pro
p
erly handle divs in
.
.
.
commit
|
commitdiff
|
tree
2008-12-22
Sv
e
n Verdoolaege
isl_basic_
m
ap
_
align_divs: don't m
a
ke a
s
sumpti
o
ns on
.
.
.
commit
|
commitdiff
|
tree
2008-12-22
S
v
en Verdoolae
g
e
avoid increasing "extra" w
i
tho
u
t a
l
so extending the
.
.
.
commit
|
commitdiff
|
tree
2008-12-19
Sven Verdoolaege
a
d
d isl_set_universe
commit
|
commitdiff
|
tree
2008-12-19
Sven Verdoolaege
remo
v
e isl_ct
x
a
r
gu
m
ent fro
m
f
un
c
tion
s
accepting isl_dim
.
.
.
commit
|
commitdiff
|
tree
2008-12-19
Sv
e
n
Ver
d
oolaege
is
l
_convex_hul
l
.
c: re
m
ove dea
d
code
commit
|
commitdiff
|
tree
2008-12-15
Sven Verdoolaeg
e
add isl
_
constraint_
n
egate
commit
|
commitdiff
|
tree
2008-12-14
S
v
e
n Verdoolaege
add i
s
l_basic_set_add_co
n
s
t
raint for adding man
u
a
lly
.
.
.
commit
|
commitdiff
|
tree
2008-12-14
Sven Verdoolaege
replace i
s
l_basic_set_con
s
traint by refc
o
unted isl_con
s
train
t
commit
|
commitdiff
|
tree
2008-12-14
Sven Verdoolaege
allow par
a
m
e
ters and di
m
ensions
t
o
be named
commit
|
commitdiff
|
tree
2008-12-14
Sven Verdoolaeg
e
introduce isl_hash_table and move hashing decl
a
rations
.
.
.
commit
|
commitdiff
|
tree
2008-12-14
Sven
Verd
o
olaege
introduce internal is
l
_di
m
_m
a
p for repres
e
nting mappin
g
s
.
.
.
commit
|
commitdiff
|
tree
2008-12-14
Sve
n
Verdoolaege
i
ntr
o
du
c
e isl_d
i
m st
r
ucture for representing
s
hared
.
.
.
commit
|
commitdiff
|
tree
next