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_mat_swap_cols
2009-03-08
Sven
V
e
rdoo
l
a
ege
add is
l
_mat_s
w
ap_cols
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdo
o
laege
isl_
m
at_dump: also indent NULL m
a
t
commit
|
commitdiff
|
tree
2009-03-08
S
v
en
V
erdoolaege
add isl_calloc_type
commit
|
commitdiff
|
tree
2009-03-08
Sven V
e
rdoolaege
isl_map_convex_hull
:
normalize map firs
t
commit
|
commitdiff
|
tree
2009-03-08
S
v
en Verdoolaege
isl_s
e
t_p
r
e
i
m
a
ge: clear IS
L
_SET_NORMAL
I
ZED fl
a
g
commit
|
commitdiff
|
tree
2009-02-23
Sve
n
Verdool
a
eg
e
add isl
_
basi
c
_map_d
e
tect_equaliti
e
s
commit
|
commitdiff
|
tree
2009-02-22
S
ven Verdo
o
laege
add isl_map_r
e
move
commit
|
commitdiff
|
tree
2009-02-22
Sven
Verdoola
e
ge
e
xport isl_basic_map
_
is_equ
a
l
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolaege
add isl_basic_m
a
p_remove
commit
|
commitdiff
|
tree
2009-02-22
Sve
n
Verdoolaege
add i
s
l
_d
i
m_r
a
nge
commit
|
commitdiff
|
tree
2009-02-22
Sven
V
erdoolae
g
e
add isl_
m
ap_product
commit
|
commitdiff
|
tree
2009-02-22
Sven Ve
r
doolaege
add
i
sl_basic_map_add_constrain
t
commit
|
commitdiff
|
tree
2009-02-22
Sven Ve
r
do
o
laege
add i
s
l_dim_add
commit
|
commitdiff
|
tree
2009-02-22
Sve
n
Verdoolaege
isl_map_piplib
.
c
: isl_map_from_quast: properly kee
p
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sve
n
Ve
r
d
o
olaege
change
calling co
n
vent
i
on
of is
l
_basic_map_{equal,l
e
ss_at
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdo
o
l
a
ege
add isl_map_copy_
b
asic_map and isl_map
_
d
r
o
p
_basic_map
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolaege
ad
d
isl_map_from_range
commit
|
commitdiff
|
tree
2009-02-22
Sven
V
erdoolaege
a
d
d
isl_map_fast_is_
e
mpty
commit
|
commitdiff
|
tree
2009-02-22
Sven Ver
d
oo
l
aeg
e
change call
i
ng co
n
vention of isl_m
a
p_em
p
ty a
n
d ad
d
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolaeg
e
isl_map_
i
nt
e
r
s
ect_{
d
omain,range}: allow intersectio
n
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
S
v
en Verdoolaeg
e
i
sl_ma
p
_intersect: a
l
low intersectio
n
with
p
ure p
a
ramet
e
r
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sve
n
Ve
r
dool
a
ege
isl_bas
i
c_map_
a
ffine_hull:
fix search for
in
t
e
g
er
p
oint
s
commit
|
commitdiff
|
tree
2009-02-22
Sven V
e
r
d
o
o
laege
isl_basic_m
a
p_overlying_s
e
t: don't add div con
s
t
r
a
ints
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sven Verd
o
olaege
isl_dim
.
c: update n_name (only) when cha
n
g
ing names
commit
|
commitdiff
|
tree
2009-02-15
Sven
V
erdoolaege
fix serious error in
i
sl_mat_par
a
meter_co
m
pression
commit
|
commitdiff
|
tree
2009-02-11
S
ven V
e
rdoola
e
ge
ex
p
ort isl_basic_map_int
e
rse
c
t_r
a
nge
commit
|
commitdiff
|
tree
2009-02-11
Sven Verd
o
olaege
ad
d
isl_
b
a
sic_
m
ap_floordiv
commit
|
commitdiff
|
tree
2009-02-11
S
ven Verdoola
e
g
e
add isl_basic_map_fast_is_fixed
commit
|
commitdiff
|
tree
2009-02-11
Sven Verdoolae
g
e
add isl_basic_map_
n
eg
commit
|
commitdiff
|
tree
2009-02-11
Sven Verdoo
l
aege
add isl_basi
c
_map_sum
commit
|
commitdiff
|
tree
2009-02-10
Sven Verdoo
l
a
e
ge
add isl_map_fi
x
_si, a gen
e
r
a
lization
o
f i
s
l_basic_m
a
p_fix_in
.
.
.
commit
|
commitdiff
|
tree
2009-02-04
Sven Ve
r
do
o
la
e
ge
isl_m
a
p_simpli
f
y
.
c:
r
e
move_
d
u
p
licate_divs
:
remove
divs
.
.
.
commit
|
commitdiff
|
tree
2009-02-04
S
v
en Ver
d
oolae
g
e
isl_basic_map
_
gauss: be c
a
reful not
to i
n
troduce cir
c
ular
.
.
.
commit
|
commitdiff
|
tree
2009-02-04
Sven Verdoo
l
aege
add functions
for se
t
ting isl_divs
commit
|
commitdiff
|
tree
2009-02-04
Sve
n
Verdoolaege
isl
_
m
ap_
f
rom_quast: don't throw
away any bottom leaves
commit
|
commitdiff
|
tree
2009-02-04
S
v
en Ver
d
oolaege
isl_map_simplify
.
c: nor
m
alize
_
divs: fix use o
f
var
i
ab
l
e
.
.
.
commit
|
commitdiff
|
tree
2009-02-04
Sv
e
n Verdoolaege
i
s
l
_mat_v
a
riable_compression:
fix use afte
r
free
commit
|
commitdiff
|
tree
2009-02-03
Sven Ve
r
doolaege
i
s
l
_
ma
p
_simplif
y
.
c: normalize_divs: ensure enough exi
s
tentia
.
.
.
commit
|
commitdiff
|
tree
2009-02-03
Sven Verdoolaege
i
sl_hash_tabl
e
_remove:
update numb
e
r of
e
n
tries
commit
|
commitdiff
|
tree
2009-01-22
Sven
V
e
rdoo
l
aege
isl_map_sim
p
le_hull: plug memory leak
commit
|
commitdiff
|
tree
2009-01-09
Sven Ver
d
oo
l
ae
g
e
add std::ostream
&
operator<<(std::ostre
a
m &os
,
isl_int
.
.
.
commit
|
commitdiff
|
tree
2009-01-08
Sven Verdoolaege
normalize divs inv
o
lved in
equalit
i
es
commit
|
commitdiff
|
tree
2009-01-08
Sven Verdoolaeg
e
isl_map_und
e
rlying_set:
d
rop na
m
e
s
fr
o
m
di
m
esion
in
.
.
.
commit
|
commitdiff
|
tree
2009-01-06
Sven Verdoola
e
ge
a
d
d
isl_mat_parameter_compress
i
on
commit
|
commitdiff
|
tree
2009-01-06
Sven
Verdoolaege
isl
_
equalit
i
es
.
c:
ext
r
act and
export isl_mat_variable_c
o
mp
r
e
.
.
.
commit
|
commitdiff
|
tree
2009-01-06
Sv
e
n Verdoolaeg
e
add isl_basic_set_is_empty
commit
|
commitdiff
|
tree
2009-01-06
Sven Verdoolaege
ad
d
isl_mat
_
ri
g
ht_kernel
commit
|
commitdiff
|
tree
2009-01-06
S
v
en
V
erd
o
olaege
add isl_ma
t
_col_submu
l
commit
|
commitdiff
|
tree
2009-01-06
Sve
n
Verd
o
olaege
add isl_seq
_
submul
commit
|
commitdiff
|
tree
2009-01-06
Sv
e
n
V
erdoolaege
isl_map_simplify
.
c
: ext
r
act o
u
t simp
l
i
f
y and related
.
.
.
commit
|
commitdiff
|
tree
2009-01-06
Sven Ve
r
do
o
laege
isl_constraint: add limited
s
up
p
ort for
a
d
din
g
divs
commit
|
commitdiff
|
tree
2009-01-06
Sven Verdoolaege
change callin
g
conventions of isl_basic_
s
et_has_defining_
.
.
.
commit
|
commitdiff
|
tree
2008-12-28
Sve
n
Ver
d
oolae
g
e
ad
d
isl_basic_{set,map
}
_dim
commit
|
commitdiff
|
tree
2008-12-28
S
ven Verdoolaege
isl_basic
_
map_g
i
st: also e
x
ploit eq
u
alities in gisted set
commit
|
commitdiff
|
tree
2008-12-28
Sven Verdoolaeg
e
isl_basic_map_
o
verlying_set: sim
p
lify resultin
g
b
as
i
c
m
ap
commit
|
commitdiff
|
tree
2008-12-25
Sven
Verdoo
l
aege
isl_stre
a
m: p
r
o
perly referen
c
e ctx
commit
|
commitdiff
|
tree
2008-12-25
Sven
V
e
rdoolaege
isl_s
t
re
a
m
.
c: extracte
d
f
r
om isl_inpu
t
_omega
.
c
commit
|
commitdiff
|
tree
2008-12-25
Sven Verdoolaege
add isl_basic_set_read_fro
m
_str
commit
|
commitdiff
|
tree
2008-12-24
Sven
Verdoola
e
ge
export isl_set_c
o
mpute_divs
commit
|
commitdiff
|
tree
2008-12-24
Sv
e
n Verdoolaege
isl_basic
_
map_alig
n
_
d
i
vs: che
c
k d
i
vs of src
basic map
.
.
.
commit
|
commitdiff
|
tree
2008-12-24
Sven Verdoolaege
isl_map_gist
:
ensur
e
divs of map are known
commit
|
commitdiff
|
tree
2008-12-24
Sven Verdoola
e
ge
isl_basic_ma
p
_c
o
m
p
ute_di
v
s
: only (re
)
compu
t
e divs
if
.
.
.
commit
|
commitdiff
|
tree
2008-12-24
Sve
n
Verdoolaege
isl_basi
c
_map_eliminate_va
r
s: better handling o
f
div
s
commit
|
commitdiff
|
tree
2008-12-23
Sven Ver
d
oolaege
add
isl_div abstra
c
tio
n
,
similar to isl_cons
t
raint
commit
|
commitdiff
|
tree
2008-12-22
Sven Verdool
a
e
ge
isl_basic_set_compar
e
_at: combine con
s
traints before
.
.
.
commit
|
commitdiff
|
tree
2008-12-22
Sv
e
n Verdoolaege
isl_map_under
l
y
i
ng_set: align div
s
bef
o
r
e calli
n
g this
.
.
.
commit
|
commitdiff
|
tree
2008-12-22
Sven Verdoola
e
ge
isl_basic
_
ma
p
_overlying
_
set: p
r
operl
y
handle divs
i
n
.
.
.
commit
|
commitdiff
|
tree
2008-12-22
Sven
V
erdoolaege
isl_bas
i
c
_map_align_divs:
don't make assumptions on
.
.
.
commit
|
commitdiff
|
tree
2008-12-22
S
ven Verdoolaege
avoid i
n
cre
a
sing "extra" without al
s
o
e
xtending
t
h
e
.
.
.
commit
|
commitdiff
|
tree
2008-12-19
Sven Verdoolae
g
e
a
d
d is
l
_set_universe
commit
|
commitdiff
|
tree
2008-12-19
S
v
en Verdoolaege
remove isl_ctx
a
rgument from
f
unctions acceptin
g
i
s
l_dim
.
.
.
commit
|
commitdiff
|
tree
2008-12-19
Sven Verdoola
e
ge
i
s
l_conve
x
_hull
.
c: re
m
ove dead code
commit
|
commitdiff
|
tree
2008-12-15
Sven Ver
d
oolaege
a
dd isl_constraint_negate
commit
|
commitdiff
|
tree
2008-12-14
Sven
Verdoolaege
add isl_basic_set_add_constra
i
nt for ad
d
i
n
g
manual
l
y
.
.
.
commit
|
commitdiff
|
tree
2008-12-14
S
ven Ver
d
oolaege
r
e
place isl_bas
i
c_set_constraint by refcounte
d
isl_constraint
commit
|
commitdiff
|
tree
2008-12-14
Sven Ver
d
oolaeg
e
al
l
ow parameters and di
m
ensions to
b
e named
commit
|
commitdiff
|
tree
2008-12-14
Sven V
e
rdoolaege
intr
o
du
c
e
isl_hash_ta
b
le and
m
o
ve
h
ashing
d
eclarat
i
ons
.
.
.
commit
|
commitdiff
|
tree
2008-12-14
S
ven V
e
rdoo
l
aege
introduce inter
n
al isl_dim_map for re
p
resent
i
ng
m
appings
.
.
.
commit
|
commitdiff
|
tree
2008-12-14
S
ven
Verdoolaege
introduce isl_d
i
m
s
t
r
ucture for re
p
resenting shared
.
.
.
commit
|
commitdiff
|
tree
2008-12-14
Sven
V
erd
o
olaege
isl_map
.
c: a
v
oid
poten
t
i
a
l
N
U
LL derefe
r
enc
e
commit
|
commitdiff
|
tree
2008-12-02
Sven Verdool
a
ege
Ad
d
backup mp_get_memory_functions implementation
for
.
.
.
commit
|
commitdiff
|
tree
2008-12-02
Sve
n
Verdoolaege
isl_ma
p
.
c: fix typo in commen
t
commit
|
commitdiff
|
tree
2008-12-02
Sven Verdoola
e
ge
add
g
ist test
commit
|
commitdiff
|
tree
2008-11-11
S
v
en
Verd
o
olaege
u
pdat
e
piplib for improved e
f
ficiency
commit
|
commitdiff
|
tree
2008-11-08
S
v
e
n
V
erdoolaege
add isl_s
e
t
_dim_is_uniq
u
e
commit
|
commitdiff
|
tree
2008-11-08
Sven
V
e
rdool
a
ege
add
isl_s
e
t_get_hash
commit
|
commitdiff
|
tree
2008-11-08
Sven Verdoolaege
isl_map
.
c: fi
x
typo in co
m
ment
commit
|
commitdiff
|
tree
2008-11-08
Sven
Verdool
a
e
g
e
is
l
_b
a
sic_map_
a
ll
o
c_d
i
v: clear unused extra coeffi
c
ients
commit
|
commitdiff
|
tree
2008-10-24
Sven Verdoolaege
add isl_basic_set_remove_d
i
vs
commit
|
commitdiff
|
tree
2008-10-14
Sv
e
n Verdo
o
l
a
ege
use
G
MP fla
g
s wh
e
n comp
i
l
ing isl_t
e
s
t
commit
|
commitdiff
|
tree
2008-10-14
Sven Ver
d
oolaege
use uint_32_t
f
rom s
t
dint
.
h
instead o
f
u_
i
nt_32_t
commit
|
commitdiff
|
tree
2008-10-14
Sven Verdoolaege
updat
e
pip
l
ib for license change and rel
e
ase isl und
e
r
.
.
.
commit
|
commitdiff
|
tree
2008-10-14
Sven
Verdoolaege
clear
e
xtr
a
coefficients in
isl_basic_map
_
alloc
_
{in
.
.
.
commit
|
commitdiff
|
tree
2008-10-14
Sven Verd
o
olaege
isl_{set,map
}
_dup: copy subset
s
instead of du
p
ing t
h
em
commit
|
commitdiff
|
tree
2008-10-14
Sven Verdoolaege
isl_basic_map
_
eliminate_vars: update numb
e
r
o
f extra
.
.
.
commit
|
commitdiff
|
tree
2008-10-14
Sv
e
n V
e
rdoo
l
aege
isl
_
basic_map_g
i
st:
u
nique
lower or
u
ppe
r
bounds
are
.
.
.
commit
|
commitdiff
|
tree
2008-10-14
S
v
en Verdoo
l
aeg
e
isl_basic_map_convex_hull: unique lower o
r
upper
boun
d
s
.
.
.
commit
|
commitdiff
|
tree
2008-10-14
Sve
n
Verdool
a
ege
i
s
l_ba
s
ic_
s
et_gist: r
e
m
ove
re
d
undant
c
onstraints with
.
.
.
commit
|
commitdiff
|
tree
2008-10-14
S
v
en Verd
o
olaeg
e
add s
o
me functi
o
ns
f
or manipulating constraint
s
commit
|
commitdiff
|
tree
2008-10-14
S
ven Verdoolaeg
e
expor
t
isl
_
basic_set_dup
commit
|
commitdiff
|
tree
next