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
privately export isl_basic_{set,map}_normalize_constraints
2009-03-20
Sven Verdool
a
e
ge
priva
t
ely export
i
sl_basic_{set,map
}
_
n
ormalize_
c
on
s
traints
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdo
o
lae
g
e
add is
l
_
b
a
sic_set_exte
n
d_d
i
m
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erd
o
o
l
a
e
ge
isl
_
ba
s
ic_map_eliminate_vars
:
clear divs firs
t
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoo
l
aege
isl_
b
a
sic_
m
ap_eliminate
_
vars:
remo
v
e all dep
e
ndent
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolae
g
e
add i
s
l_has
h
_table_all
o
c
and isl_hash_t
a
ble_
f
r
ee
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdoolaege
is
l
_hash_table_ini
t
: take
m
inima
l
s
i
z
e
instea
d
of
n
umber
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
doo
l
aeg
e
isl_{
b
a
s
i
c
_,}set_prei
m
a
g
e: dro
p
ctx argum
e
nt
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_bas
i
c
_
ma
p
_
inte
r
se
c
t: reuse
sampl
e
value of
either
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rdoolaege
a
dd isl_
i
n
t
_ge
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdoolaege
isl_basic_set_has_defining_inequalities:
fix typo
commit
|
commitdiff
|
tree
2009-03-20
S
ven Ve
r
do
o
la
e
ge
isl_constr
a
int_div: perform required re
f
er
e
nce incre
a
s
e
.
.
.
commit
|
commitdiff
|
tree
2009-03-08
S
v
en Verdoo
l
a
ege
isl_
b
asic_map: put inequa
l
itie
s
before equalities
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdo
o
laege
a
d
d i
s
l
_seq_no
r
ma
l
ize
commit
|
commitdiff
|
tree
2009-03-08
Sven Ve
r
doo
l
aege
isl_ctx
.
h: make FL_ISSET r
e
turn a boole
a
n value
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdoo
l
aege
rename
F_ and FL_ m
a
cros
to ISL_F_
and ISL_FL
_
to avo
i
d
.
.
.
commit
|
commitdiff
|
tree
2009-03-08
S
ven
V
e
rdoolaege
add
i
sl_mat_swap_cols
commit
|
commitdiff
|
tree
2009-03-08
Sv
e
n Verdoolae
g
e
isl_mat_dump: also i
n
dent NULL mat
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdoolaege
add isl_ca
l
loc_type
commit
|
commitdiff
|
tree
2009-03-08
Sven
V
erdoolaege
i
sl_m
a
p_convex_hul
l
: norm
a
lize map f
i
rst
commit
|
commitdiff
|
tree
2009-03-08
S
v
e
n Ver
d
oolaege
isl_set_
p
reimage
:
clear I
S
L_SET_NORMA
L
IZ
E
D flag
commit
|
commitdiff
|
tree
2009-02-23
S
ven
V
erdoola
e
ge
add isl_b
a
sic
_
map_detect_equa
l
ities
commit
|
commitdiff
|
tree
2009-02-22
Sv
e
n Verdoolaege
add
i
sl
_
map_remo
v
e
commit
|
commitdiff
|
tree
2009-02-22
Sv
e
n Verdoolaege
e
xport isl_ba
s
ic_map_is_equal
commit
|
commitdiff
|
tree
2009-02-22
Sven V
e
rdoolaege
add
i
sl
_
basic_map_re
m
ove
commit
|
commitdiff
|
tree
2009-02-22
Sven Ve
r
doolaege
add isl_dim_ra
n
ge
commit
|
commitdiff
|
tree
2009-02-22
S
v
e
n
Verd
o
olaeg
e
add isl_
m
ap_product
commit
|
commitdiff
|
tree
2009-02-22
S
ven Verdoolaege
add isl_basic_map_add_con
s
traint
commit
|
commitdiff
|
tree
2009-02-22
S
ven
V
erdoolaege
add isl_dim_add
commit
|
commitdiff
|
tree
2009-02-22
Sven
V
erdoolaege
isl_map_p
i
plib
.
c: isl_map_from_quast:
p
roperly keep
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolaege
change
call
i
ng convention of isl_ba
s
ic_map_{equal,less_at
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
S
v
en Verdo
o
laege
add isl_
m
ap_copy_basic_map
a
nd
i
sl_m
a
p
_drop_basic_m
a
p
commit
|
commitdiff
|
tree
2009-02-22
Sven
V
erdoolaege
a
d
d isl_
m
ap_from_range
commit
|
commitdiff
|
tree
2009-02-22
Sv
e
n Verdo
o
laege
add isl_map_fast_is_em
p
t
y
commit
|
commitdiff
|
tree
2009-02-22
Sven
V
e
rdoolaege
ch
a
n
ge calli
n
g convention of
isl_
m
ap_empty and add
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sven V
e
rdoolaege
isl_map_inters
e
ct_{domain,rang
e
}
: allo
w
inte
r
section
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sve
n
V
e
r
doolae
g
e
isl
_
map_intersect: allow inte
r
section wi
t
h
pur
e
parameter
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sv
e
n Ver
d
oolaege
isl_basic_map_affine_hu
l
l
: f
i
x search f
o
r integer po
i
n
t
s
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdo
o
laege
isl_bas
i
c_map_overl
y
ing_se
t
:
don
'
t a
d
d d
i
v c
o
nstra
i
n
t
s
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sven
V
erdoo
l
aege
isl_dim
.
c: up
d
ate n_name
(
only) when ch
a
nging names
commit
|
commitdiff
|
tree
2009-02-15
Sven Verd
o
olaeg
e
fix seriou
s
er
r
or i
n
i
sl_mat_
p
arameter_compression
commit
|
commitdiff
|
tree
2009-02-11
Sven
V
e
r
do
o
laege
export isl_ba
s
ic_map_intersect_range
commit
|
commitdiff
|
tree
2009-02-11
Sven Verdoolaege
a
dd
i
sl_basic
_
m
ap_floordi
v
commit
|
commitdiff
|
tree
2009-02-11
Sven Verdoolaege
add isl_basic_map_
f
ast_is_fixed
commit
|
commitdiff
|
tree
2009-02-11
Sve
n
Verdoolaege
add isl_ba
s
i
c_map_neg
commit
|
commitdiff
|
tree
2009-02-11
Sven Verdoola
e
ge
add isl_basic_
m
ap_sum
commit
|
commitdiff
|
tree
2009-02-10
Sven Verd
o
olaeg
e
add
isl_map
_
fix_si
,
a generaliz
a
ti
o
n o
f
isl_basi
c
_map_fix_in
.
.
.
commit
|
commitdiff
|
tree
2009-02-04
Sven
Verd
o
olaeg
e
i
s
l_map_simplify
.
c: remove_duplicate_divs: remove divs
.
.
.
commit
|
commitdiff
|
tree
2009-02-04
Sven
V
er
d
oolaeg
e
isl_basic
_
map_gaus
s
: be caref
u
l not
t
o int
r
oduce
c
ircular
.
.
.
commit
|
commitdiff
|
tree
2009-02-04
Sven Verdoolaege
add functions
for se
t
ting isl
_
divs
commit
|
commitdiff
|
tree
2009-02-04
Sven Verdoo
l
aege
isl_map_
f
rom_quas
t
: don'
t
t
h
row awa
y
any b
o
tto
m
l
e
a
ve
s
commit
|
commitdiff
|
tree
2009-02-04
S
ven V
e
r
d
o
olaege
isl_map
_
si
m
plify
.
c: n
o
rm
a
lize_di
v
s: f
i
x u
s
e of v
a
riable
.
.
.
commit
|
commitdiff
|
tree
2009-02-04
S
v
en Verdoolaege
isl
_
mat_
v
ar
i
able_compression: fi
x
use after
f
ree
commit
|
commitdiff
|
tree
2009-02-03
Sven Verdoo
l
aege
isl_map_sim
p
lify
.
c: normal
i
z
e_divs: ensure e
n
ou
g
h
exi
s
t
enti
a
.
.
.
commit
|
commitdiff
|
tree
2009-02-03
S
ven Verdoolaege
isl
_
hash_table_remove:
update number of entries
commit
|
commitdiff
|
tree
2009-01-22
Sven Verdoolaege
isl_
m
ap_simpl
e
_hull: plug memory leak
commit
|
commitdiff
|
tree
2009-01-09
Sven V
e
rdoolaege
add std::ostre
a
m &ope
r
ator<<(std::ostream
&
o
s,
isl_int
.
.
.
commit
|
commitdiff
|
tree
2009-01-08
Sv
e
n
V
erdoolaege
normalize divs involved in equalities
commit
|
commitdiff
|
tree
2009-01-08
S
v
e
n
Verdoolaege
isl_map_underlying_
s
et: drop names from dimesion in
.
.
.
commit
|
commitdiff
|
tree
2009-01-06
Sve
n
Verdo
o
laege
add isl_mat
_
par
a
meter_co
m
pres
s
ion
commit
|
commitdiff
|
tree
2009-01-06
Sven Verdoola
e
ge
isl_
e
qualiti
e
s
.
c:
extract and
e
xport
is
l
_mat_variable_co
m
pre
.
.
.
commit
|
commitdiff
|
tree
2009-01-06
Sven
V
erd
o
olaege
add isl_basic_set_i
s
_em
p
ty
commit
|
commitdiff
|
tree
2009-01-06
Sven Verdool
a
ege
a
d
d
i
sl_mat_right_ke
r
n
e
l
commit
|
commitdiff
|
tree
2009-01-06
Sven Verdoola
e
ge
add isl_m
a
t_col
_
submul
commit
|
commitdiff
|
tree
2009-01-06
Sven Verdoolaege
a
d
d i
s
l_seq_submul
commit
|
commitdiff
|
tree
2009-01-06
Sven Verdoolae
g
e
isl
_
map_
s
imp
l
ify
.
c: extract out simpli
f
y and relate
d
.
.
.
commit
|
commitdiff
|
tree
2009-01-06
Sven Verdo
o
laege
isl_constraint: add l
i
mited support for add
i
ng
divs
commit
|
commitdiff
|
tree
2009-01-06
S
v
en Ve
r
d
o
o
lae
g
e
change calling conventions
o
f i
s
l_ba
s
i
c
_set_has_defining_
.
.
.
commit
|
commitdiff
|
tree
2008-12-28
Sve
n
V
erdoolaege
add i
s
l
_ba
s
i
c
_{
s
et,m
a
p}_dim
commit
|
commitdiff
|
tree
2008-12-28
Sven Verdoolaege
isl_basic_
m
ap_gi
s
t: also exploit equalit
i
es in
g
isted set
commit
|
commitdiff
|
tree
2008-12-28
Sven V
e
rdool
a
e
ge
isl_bas
i
c_map_ove
r
lying_set: simplify resulting basic map
commit
|
commitdiff
|
tree
2008-12-25
Sven Verdo
o
laege
isl_stream
:
p
r
o
perl
y
refer
e
nce ctx
commit
|
commitdiff
|
tree
2008-12-25
Sven Verd
o
olae
g
e
isl_s
t
ream
.
c: ex
t
racted from isl
_
input_omeg
a
.
c
commit
|
commitdiff
|
tree
2008-12-25
Sven Verdoolaeg
e
a
d
d
isl_basic_set
_
read_f
r
o
m_str
commit
|
commitdiff
|
tree
2008-12-24
Sven Verdoolae
g
e
export isl_set_compute_d
i
vs
commit
|
commitdiff
|
tree
2008-12-24
Sven Verdoolaege
isl_b
a
s
i
c
_
map_align_divs: check divs of src
basic
m
ap
.
.
.
commit
|
commitdiff
|
tree
2008-12-24
S
v
en
V
erdool
a
eg
e
isl_map_gis
t
: ensure di
v
s of map are k
n
own
commit
|
commitdiff
|
tree
2008-12-24
Sven
Verdoolaege
is
l
_bas
i
c_
m
ap_compute_di
v
s: only (re)compute
divs if
.
.
.
commit
|
commitdiff
|
tree
2008-12-24
Sven Verdoolaege
isl_basic_map_elimi
n
at
e
_vars:
b
et
t
er
h
a
n
dling of
d
ivs
commit
|
commitdiff
|
tree
2008-12-23
Sven Verdoolaege
a
d
d isl_div abstraction,
s
i
mi
l
ar to isl_cons
t
r
aint
commit
|
commitdiff
|
tree
2008-12-22
Sven Verdoolaeg
e
i
s
l_
b
asic
_
set
_
compare_at: combine constraints bef
o
re
.
.
.
commit
|
commitdiff
|
tree
2008-12-22
Sven Ver
d
oo
l
aege
isl
_
ma
p
_under
l
ying_set: al
i
gn divs before calling
th
i
s
.
.
.
commit
|
commitdiff
|
tree
2008-12-22
Sven
V
erdoo
l
a
e
ge
isl_b
a
s
ic_m
a
p_overlying_
s
et: properly handle di
v
s in
.
.
.
commit
|
commitdiff
|
tree
2008-12-22
S
ven Verdoolaege
isl_basic_map
_
align_divs:
d
on't make as
s
umption
s
on
.
.
.
commit
|
commitdiff
|
tree
2008-12-22
Sven
Verd
o
ol
a
ege
avoid increasin
g
"ex
t
ra" without also extending
th
e
.
.
.
commit
|
commitdiff
|
tree
2008-12-19
Sven
Verdoolaege
a
d
d isl_s
e
t
_universe
commit
|
commitdiff
|
tree
2008-12-19
Sven Verdoolaege
r
e
move isl
_
ctx argum
e
nt from f
u
nctions acce
p
t
i
ng is
l
_
dim
.
.
.
commit
|
commitdiff
|
tree
2008-12-19
Sven
V
erdoolaege
isl_convex_hull
.
c:
remove
dead
c
od
e
commit
|
commitdiff
|
tree
2008-12-15
Sv
e
n
V
erdoolaege
add isl
_
constra
i
nt_negate
commit
|
commitdiff
|
tree
2008-12-14
S
ven Verdoolae
g
e
ad
d
isl_basi
c
_set_add_cons
t
raint for
a
dding ma
n
ually
.
.
.
commit
|
commitdiff
|
tree
2008-12-14
Sven
Ver
d
o
o
la
e
ge
r
eplace is
l
_basic_s
e
t_constr
a
int by refc
o
u
nte
d
i
s
l_constraint
commit
|
commitdiff
|
tree
2008-12-14
Sven Verdoolae
g
e
allow parameters an
d
dime
n
sions to be
n
a
m
ed
commit
|
commitdiff
|
tree
2008-12-14
Sven Ve
r
doolaege
introduce isl
_
hash_t
a
ble and move
h
a
shing de
c
la
r
ations
.
.
.
commit
|
commitdiff
|
tree
2008-12-14
Sven Verdoolaege
i
ntr
o
d
u
c
e internal is
l
_dim_map for rep
r
esenting map
p
ings
.
.
.
commit
|
commitdiff
|
tree
2008-12-14
Sven Verdoolaege
i
ntroduce isl_dim structure f
o
r representi
n
g s
h
are
d
.
.
.
commit
|
commitdiff
|
tree
2008-12-14
Sven V
e
rdoolaege
isl_map
.
c:
a
v
oid potential NULL de
r
eference
commit
|
commitdiff
|
tree
2008-12-02
Sven
V
er
d
oolaege
Add backup
mp_get_memory_f
u
nctions implementation for
.
.
.
commit
|
commitdiff
|
tree
2008-12-02
Sven Ve
r
dool
a
eg
e
isl_map
.
c: f
i
x typo in comment
commit
|
commitdiff
|
tree
2008-12-02
Sven Verdoolaege
add g
i
st test
commit
|
commitdiff
|
tree
2008-11-11
Sven Verdoolaege
update
pipl
i
b
for improved effici
e
ncy
commit
|
commitdiff
|
tree
2008-11-08
Sven
Verdoolaege
add isl_set_dim
_
i
s_uni
q
ue
commit
|
commitdiff
|
tree
next