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_calloc_type
2009-03-08
Sven Verdool
a
ege
add isl_cal
l
oc_t
y
pe
commit
|
commitdiff
|
tree
2009-03-08
S
v
en Verdoola
e
g
e
isl_map_
c
onvex_hull: normalize ma
p
first
commit
|
commitdiff
|
tree
2009-03-08
S
ven Verdoolaege
isl_set_preimage
:
cle
a
r ISL_SET_NORMALIZED flag
commit
|
commitdiff
|
tree
2009-02-23
Sven
Verdoo
l
aeg
e
add i
s
l
_basic_map_det
e
ct
_
equalitie
s
commit
|
commitdiff
|
tree
2009-02-22
S
v
en Ver
d
oolaeg
e
add is
l
_map_re
m
ove
commit
|
commitdiff
|
tree
2009-02-22
Sve
n
Verdoo
l
aege
export isl_basic_map_is_equal
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolae
g
e
add isl_basic_
m
a
p
_remove
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdo
o
laege
add
i
sl_dim_range
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdool
a
ege
add i
s
l_ma
p
_product
commit
|
commitdiff
|
tree
2009-02-22
Sven
V
e
rd
o
o
l
a
eg
e
add isl
_
basic_
m
ap
_
add_constra
i
n
t
commit
|
commitdiff
|
tree
2009-02-22
S
v
en Verdoolae
g
e
add i
s
l
_
di
m
_
add
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolaege
i
s
l_map_piplib
.
c: isl_map_fr
o
m_quast: prop
e
rly
keep
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoo
l
aege
c
h
a
ng
e
calling convention of isl_basic_map_{
e
qual,less_at
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
S
ven Verdool
a
ege
a
d
d
isl
_
map_copy_b
a
sic_m
a
p and isl_map_drop_basic_map
commit
|
commitdiff
|
tree
2009-02-22
Sve
n
Ve
r
doolaege
add isl
_
map_from_range
commit
|
commitdiff
|
tree
2009-02-22
Sven Ver
d
oolaege
add isl_ma
p
_fast_i
s
_empty
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolaege
chang
e
c
a
lling
convention
of
isl
_
map_empty
and
add
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolaege
i
s
l_map_intersect_{domain,
r
ange}: allo
w
intersection
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolaeg
e
isl_map
_
i
nterse
c
t: a
l
low intersectio
n
with
pure paramete
r
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sv
e
n Verd
o
o
laeg
e
isl_basic_
m
ap_a
f
fi
n
e_hu
l
l:
fix search fo
r
i
n
teger points
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolaege
isl_basic_map_overlying_set: d
o
n't add div con
s
train
t
s
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdo
o
l
a
ege
isl_dim
.
c: u
p
date n_n
a
me (only) wh
e
n changing
n
ames
commit
|
commitdiff
|
tree
2009-02-15
Sven Verdoo
l
ae
g
e
fix serio
u
s error
in is
l
_m
a
t_pa
r
ameter_com
p
ression
commit
|
commitdiff
|
tree
2009-02-11
S
v
en Ve
r
d
o
olaege
exp
o
rt
i
s
l_ba
s
ic_map_int
e
r
sect_range
commit
|
commitdiff
|
tree
2009-02-11
Sven Verdoolaege
add i
s
l_basic
_
map_floor
d
iv
commit
|
commitdiff
|
tree
2009-02-11
Sven Verdoola
e
g
e
add isl_b
a
sic_map
_
fast_is_fixed
commit
|
commitdiff
|
tree
2009-02-11
S
ven Verdoo
l
a
ege
add isl_basic_map_ne
g
commit
|
commitdiff
|
tree
2009-02-11
Sven Verdoolaege
add i
s
l_basic_map_sum
commit
|
commitdiff
|
tree
2009-02-10
Sven Verdoolaege
add isl_
m
a
p
_fix_si, a generalization
of isl
_
basic_map_
f
ix_in
.
.
.
commit
|
commitdiff
|
tree
2009-02-04
Sven
Verdoolaege
isl_map_simpli
f
y
.
c
: remove_duplicate_divs: rem
o
ve divs
.
.
.
commit
|
commitdiff
|
tree
2009-02-04
S
ven Verdoo
l
aeg
e
is
l
_b
a
sic_map_gauss:
be careful
n
ot to
introduce
circular
.
.
.
commit
|
commitdiff
|
tree
2009-02-04
Sven Verdoola
e
ge
add functions for setting isl_divs
commit
|
commitdiff
|
tree
2009-02-04
S
ven Verdoolaege
isl_map
_
from_qu
a
st:
d
on't t
h
row away any bottom leaves
commit
|
commitdiff
|
tree
2009-02-04
Sven Verdoolaege
isl_map_simpl
i
fy
.
c: no
r
m
alize_divs: fix use of
v
ariable
.
.
.
commit
|
commitdiff
|
tree
2009-02-04
Sven Ver
d
oolaeg
e
isl
_
m
a
t
_variable_compres
s
ion:
f
ix use after fr
e
e
commit
|
commitdiff
|
tree
2009-02-03
Sven Ve
r
doo
l
aege
is
l
_map_
s
implify
.
c: normalize
_
div
s
: ensure eno
u
gh existentia
.
.
.
commit
|
commitdiff
|
tree
2009-02-03
Sven Verdoolaeg
e
isl_hash_table_remo
v
e: update number
o
f
entries
commit
|
commitdiff
|
tree
2009-01-22
Sven
Verdo
o
l
ae
g
e
isl_
m
a
p_simpl
e
_hull:
plug m
e
mory leak
commit
|
commitdiff
|
tree
2009-01-09
Sven Verd
o
olaege
add std::ostream
&
o
p
era
t
or<<(std::ostream &
o
s, isl_int
.
.
.
commit
|
commitdiff
|
tree
2009-01-08
Sv
e
n
Verdoolaege
normali
z
e
d
i
vs i
n
vol
v
ed in
e
q
u
alities
commit
|
commitdiff
|
tree
2009-01-08
Sven Verdoolaege
isl_ma
p
_unde
r
lying_se
t
: drop names fro
m
di
m
esion in
.
.
.
commit
|
commitdiff
|
tree
2009-01-06
Sve
n
Verdoola
e
ge
add i
s
l_mat
_
parameter_compression
commit
|
commitdiff
|
tree
2009-01-06
Sven
V
erdoolaege
is
l
_equ
a
l
i
ties
.
c
: extract and export isl_mat_va
r
iable_
c
ompre
.
.
.
commit
|
commitdiff
|
tree
2009-01-06
S
v
en Verdo
o
laege
add isl
_
basic_set_is
_
empty
commit
|
commitdiff
|
tree
2009-01-06
Sven Verdoolaege
add isl_mat_r
i
gh
t
_k
e
r
n
el
commit
|
commitdiff
|
tree
2009-01-06
Sven Verdoolaege
add i
s
l_m
a
t_col
_
submul
commit
|
commitdiff
|
tree
2009-01-06
Sven Ver
d
oo
l
aege
add
isl_seq
_
s
ubm
u
l
commit
|
commitdiff
|
tree
2009-01-06
Sven Ve
r
dool
a
ege
i
sl_ma
p
_simplify
.
c
:
extract out simplify and relate
d
.
.
.
commit
|
commitdiff
|
tree
2009-01-06
Sven Verd
o
olaege
isl_constr
a
int: add limited support fo
r
adding divs
commit
|
commitdiff
|
tree
2009-01-06
Sven
V
e
rdoolaeg
e
chan
g
e calling co
n
vent
i
ons of isl_
b
asic_
s
et_has_defini
n
g_
.
.
.
commit
|
commitdiff
|
tree
2008-12-28
Sven Verdoolaege
add isl_basic_{set,map}_di
m
commit
|
commitdiff
|
tree
2008-12-28
Sven Verd
o
olaege
i
s
l
_
b
asi
c
_map_gist
:
a
lso exploit equalit
i
es in gisted set
commit
|
commitdiff
|
tree
2008-12-28
Sven
Verdoolaege
i
s
l_basic_m
a
p_o
v
erly
i
ng_set: s
i
mplify resulting basic map
commit
|
commitdiff
|
tree
2008-12-25
Sven Verdoolae
g
e
isl_stream:
proper
l
y r
e
ferenc
e
ctx
commit
|
commitdiff
|
tree
2008-12-25
Sv
e
n Verdoolaege
is
l
_stream
.
c: extract
e
d
f
rom isl_input_o
m
ega
.
c
commit
|
commitdiff
|
tree
2008-12-25
Sven Verdoolaege
add isl_b
a
sic
_
set_re
a
d_f
r
om_str
commit
|
commitdiff
|
tree
2008-12-24
S
v
en Verd
o
olaege
export
isl_set_comp
u
te_divs
commit
|
commitdiff
|
tree
2008-12-24
Sv
e
n
V
erdoolaege
isl_bas
i
c_map_ali
g
n_divs:
c
h
eck divs of src basic map
.
.
.
commit
|
commitdiff
|
tree
2008-12-24
Sve
n
Ve
r
doolaege
i
sl_map_gist:
e
nsu
r
e di
v
s of map
are know
n
commit
|
commitdiff
|
tree
2008-12-24
Sv
e
n Verdoolaege
isl_ba
s
i
c_map_c
o
m
p
ut
e
_d
i
vs:
o
n
ly (re)compute divs if
.
.
.
commit
|
commitdiff
|
tree
2008-12-24
Sven Ve
r
doolaege
isl_basi
c
_map
_
elimin
a
te_var
s
: better handling of divs
commit
|
commitdiff
|
tree
2008-12-23
Sven Verdoolaege
add is
l
_
d
iv
a
bstraction, similar to isl_constraint
commit
|
commitdiff
|
tree
2008-12-22
S
v
en
V
erdoolaege
isl_basic_
s
et_c
o
m
p
ar
e
_at:
co
m
bi
n
e
c
onstraints before
.
.
.
commit
|
commitdiff
|
tree
2008-12-22
Sven Verdoolaege
isl_ma
p
_
u
n
derlying
_
s
et
:
align div
s
before calli
n
g this
.
.
.
commit
|
commitdiff
|
tree
2008-12-22
Sven
Verdoola
e
ge
is
l
_basic_map_
o
v
e
rlying_set: properly ha
n
dle divs in
.
.
.
commit
|
commitdiff
|
tree
2008-12-22
Sven Ve
r
doo
l
aeg
e
i
sl_basic_m
a
p_al
i
gn_divs: do
n
't make assumptions on
.
.
.
commit
|
commitdiff
|
tree
2008-12-22
Sv
e
n Verdo
o
laege
avoid increasing "extra"
w
ithout a
l
so extendin
g
th
e
.
.
.
commit
|
commitdiff
|
tree
2008-12-19
Sven Verdoolaege
add isl_set_universe
commit
|
commitdiff
|
tree
2008-12-19
Sven Verdoolaeg
e
remo
v
e isl_ctx argument from functio
n
s
accept
i
ng isl_dim
.
.
.
commit
|
commitdiff
|
tree
2008-12-19
Sven Verd
o
olaege
isl_convex_hull
.
c: remove dead cod
e
commit
|
commitdiff
|
tree
2008-12-15
S
v
en Verdoolaege
add isl_c
o
nstr
a
int_ne
g
a
te
commit
|
commitdiff
|
tree
2008-12-14
Sven V
e
r
d
oolaege
add isl_basic_set_add_constrai
n
t
for ad
d
ing manually
.
.
.
commit
|
commitdiff
|
tree
2008-12-14
Sven Verd
o
o
l
a
eg
e
r
e
place
isl_ba
s
ic_set_constraint by refcounted isl_cons
t
raint
commit
|
commitdiff
|
tree
2008-12-14
Sven
V
e
r
doolaeg
e
allow p
a
ra
m
eter
s
and
di
m
ension
s
t
o
b
e name
d
commit
|
commitdiff
|
tree
2008-12-14
Sve
n
Ve
r
doolaege
introd
u
ce
isl_hash_t
a
ble and mo
v
e hashing d
e
c
lar
a
tions
.
.
.
commit
|
commitdiff
|
tree
2008-12-14
Sv
e
n Ver
d
oola
e
ge
in
t
roduce inte
r
nal isl_dim_map
f
or represen
t
ing mappings
.
.
.
commit
|
commitdiff
|
tree
2008-12-14
Sven Verd
o
olaege
intr
o
duce isl_dim
s
tructure for repre
s
enting shared
.
.
.
commit
|
commitdiff
|
tree
2008-12-14
S
v
en
Verdoolae
g
e
i
s
l_
m
a
p
.
c:
a
v
o
id potential NULL dereference
commit
|
commitdiff
|
tree
2008-12-02
Sven Ve
r
doolaege
A
dd backup mp_get_memory_f
u
n
c
t
i
ons implementation f
o
r
.
.
.
commit
|
commitdiff
|
tree
2008-12-02
S
ven
V
erdoolaeg
e
isl_map
.
c: fix
typo
in
comment
commit
|
commitdiff
|
tree
2008-12-02
Sven Verdoolaege
add gist te
s
t
commit
|
commitdiff
|
tree
2008-11-11
Sven Verdoolaege
updat
e
piplib for improved efficiency
commit
|
commitdiff
|
tree
2008-11-08
S
ven
V
e
r
doolaege
add isl
_
set_dim_is
_
unique
commit
|
commitdiff
|
tree
2008-11-08
Sven Ve
r
doolaege
a
d
d isl_s
e
t
_
g
et_hash
commit
|
commitdiff
|
tree
2008-11-08
Sven Verdoolaege
i
sl_map
.
c: fix
typo
in comment
commit
|
commitdiff
|
tree
2008-11-08
Sven Verdoolaege
i
s
l
_ba
s
ic_map_alloc_div: cl
e
ar
un
u
s
ed extra coefficients
commit
|
commitdiff
|
tree
2008-10-24
Sven Verdoolaege
add
i
sl_basi
c
_se
t
_
remove_divs
commit
|
commitdiff
|
tree
2008-10-14
Sv
e
n Verdoolaege
use GMP flags
w
hen compiling i
s
l_test
commit
|
commitdiff
|
tree
2008-10-14
Sven Ver
d
oolaege
use uint_32_t from
s
tdint
.
h
i
nstead of u_in
t
_32_t
commit
|
commitdiff
|
tree
2008-10-14
Sven Ve
r
doolaege
u
p
date piplib for license change and release
i
s
l
u
nder
.
.
.
commit
|
commitdiff
|
tree
2008-10-14
Sven Verdo
o
laege
cle
a
r extra coeffi
c
ients in is
l
_basic_map_alloc_{in
.
.
.
commit
|
commitdiff
|
tree
2008-10-14
S
v
e
n Verdoola
e
ge
isl_{set,map}_
d
up: c
o
p
y subsets i
n
stead of duping the
m
commit
|
commitdiff
|
tree
2008-10-14
S
ve
n
Ver
d
oolae
g
e
isl_
b
asic_map
_
elimi
n
ate_
v
ars: update number of e
x
tra
.
.
.
commit
|
commitdiff
|
tree
2008-10-14
Sven Verdoola
e
ge
isl_ba
s
ic_map_gist: uniqu
e
lower or upper boun
d
s are
.
.
.
commit
|
commitdiff
|
tree
2008-10-14
Sven Verdoola
e
ge
isl_basic_map_conv
e
x_hull: unique lower or upper bounds
.
.
.
commit
|
commitdiff
|
tree
2008-10-14
Sven Verdoola
e
g
e
isl_basic_set_gis
t
: re
m
o
v
e redu
n
dant
const
r
aints with
.
.
.
commit
|
commitdiff
|
tree
2008-10-14
S
v
en Verdoolaege
a
dd some functions for
m
a
n
ipu
l
a
t
i
n
g c
o
nstrain
t
s
commit
|
commitdiff
|
tree
2008-10-14
Sven Verdoolaege
e
x
port isl_basic_s
e
t
_du
p
commit
|
commitdiff
|
tree
2008-10-14
S
ven Verdoolaege
i
s
l
_
set_
g
i
st: reduce
r
esult using equaliti
e
s
of con
t
e
x
t
commit
|
commitdiff
|
tree
2008-10-14
Sven Verdoolaege
a
d
d i
s
l_basic_set_in
t
erval and isl_b
a
sic_set_product
commit
|
commitdiff
|
tree
next