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_tab_add_valid_eq: keep track of whether equality is negated
2009-02-22
Sven Ver
d
oolaege
i
sl_dim
.
c: update n_name
(
only) when changing names
commit
|
commitdiff
|
tree
2009-02-15
Sve
n
Ve
r
dool
a
ege
fix
serious
e
rror in isl_mat_p
a
rameter_c
o
mpr
e
s
sion
commit
|
commitdiff
|
tree
2009-02-11
Sven Verdoolaeg
e
export
i
s
l
_basic_map_intersect_range
commit
|
commitdiff
|
tree
2009-02-11
Sven Verdoolaege
add isl_basic_ma
p
_floordi
v
commit
|
commitdiff
|
tree
2009-02-11
S
ve
n
Verdoolaege
ad
d
i
s
l_basic_ma
p
_fast
_
i
s
_fi
x
e
d
commit
|
commitdiff
|
tree
2009-02-11
Sven Verd
o
olaege
add isl_basic_map_
n
eg
commit
|
commitdiff
|
tree
2009-02-11
S
ven Verdoolaege
add
isl_basi
c
_map
_
s
u
m
commit
|
commitdiff
|
tree
2009-02-10
Sv
e
n V
e
r
doolaege
add isl_ma
p
_
fix_si,
a generaliza
t
ion of isl
_
basic_map_fix_in
.
.
.
commit
|
commitdiff
|
tree
2009-02-04
Sven
V
erdoolaege
isl_map_simplify
.
c
:
r
e
move_dupli
c
a
te_divs: remove divs
.
.
.
commit
|
commitdiff
|
tree
2009-02-04
Sven Verdoolaege
i
s
l_
b
a
sic_map_gauss: be caref
u
l not
t
o i
n
tr
o
duce c
i
rcular
.
.
.
commit
|
commitdiff
|
tree
2009-02-04
Sv
e
n Verdoola
e
ge
add functi
o
ns f
o
r sett
i
ng
is
l
_divs
commit
|
commitdiff
|
tree
2009-02-04
Sven Ve
r
d
oolaege
isl_map_
f
rom_quast:
don't throw aw
a
y any bottom l
e
ave
s
commit
|
commitdiff
|
tree
2009-02-04
Sven Ve
r
do
o
la
e
g
e
isl_m
a
p_simplify
.
c: normaliz
e
_divs: fix use of
v
ariable
.
.
.
commit
|
commitdiff
|
tree
2009-02-04
Sv
e
n
V
e
rdoolae
g
e
isl_mat_varia
b
le
_
compr
e
ssion: fix use after free
commit
|
commitdiff
|
tree
2009-02-03
Sven Verdoolaege
isl_m
a
p_simplify
.
c
:
normalize_divs: ensure enough existentia
.
.
.
commit
|
commitdiff
|
tree
2009-02-03
Sven
V
e
r
doolaege
isl_
h
ash_ta
b
le_rem
o
ve: upda
t
e number of
entries
commit
|
commitdiff
|
tree
2009-01-22
Sven Verdoolaeg
e
isl
_
map_simple_hull:
p
lug m
e
m
ory l
e
ak
commit
|
commitdiff
|
tree
2009-01-09
S
v
en Verdoolaege
add std::ostream &operat
o
r<<
(
st
d
::o
s
tr
e
am &os, isl_int
.
.
.
commit
|
commitdiff
|
tree
2009-01-08
Sve
n
Verdoolaege
normalize
d
ivs involved in equalities
commit
|
commitdiff
|
tree
2009-01-08
Sven Verdoolaege
isl_map_underlying_s
e
t: drop na
m
e
s
f
rom di
m
esion in
.
.
.
commit
|
commitdiff
|
tree
2009-01-06
Sve
n
Verdool
a
ege
add
i
s
l
_mat_parameter_compress
i
on
commit
|
commitdiff
|
tree
2009-01-06
S
v
en
V
erdoolaege
isl_equali
t
ies
.
c
:
ex
t
ract and
export isl_m
a
t_variable_compre
.
.
.
commit
|
commitdiff
|
tree
2009-01-06
Sven Ve
r
d
oolae
g
e
add
isl_b
a
sic
_
set_is_empty
commit
|
commitdiff
|
tree
2009-01-06
S
v
en
V
erd
o
olaege
add
i
sl_mat_right
_
k
e
rnel
commit
|
commitdiff
|
tree
2009-01-06
Sv
e
n V
e
rdoolaege
add
isl_mat_col_submul
commit
|
commitdiff
|
tree
2009-01-06
Sven Verdoolaege
isl_map_simplify
.
c: extract out simplify an
d
r
e
lated
.
.
.
commit
|
commitdiff
|
tree
2009-01-06
Sven Verdoolaeg
e
i
sl_cons
t
ra
i
nt: add li
m
ited support for adding divs
commit
|
commitdiff
|
tree
2009-01-06
S
ve
n
Verdoolaege
c
h
ange
c
alling conventio
n
s of
isl_b
a
sic
_
s
e
t_has_def
i
n
i
n
g_
.
.
.
commit
|
commitdiff
|
tree
2008-12-28
S
ven Verdo
o
laege
add isl_basic_{se
t
,map}_dim
commit
|
commitdiff
|
tree
2008-12-28
S
v
en Verd
o
olae
g
e
isl_basi
c
_
map_gist: al
s
o exploit equalities
i
n
gisted set
commit
|
commitdiff
|
tree
2008-12-28
Sven V
e
r
d
o
ola
e
ge
isl_ba
s
ic_m
a
p_overlying_set: simplify
res
u
lti
n
g ba
s
ic map
commit
|
commitdiff
|
tree
2008-12-23
Sven
V
erdoolaege
add
i
sl_div abstraction, si
m
ilar
to isl_constra
i
nt
commit
|
commitdiff
|
tree
2008-12-22
Sven Verdoolaege
isl_bas
i
c
_
set_compare_at: combine constr
a
i
n
ts bef
o
r
e
.
.
.
commit
|
commitdiff
|
tree
2008-12-22
S
ven Ve
r
do
o
laege
isl_map_underlying_set: al
i
gn divs be
f
o
r
e call
i
ng this
.
.
.
commit
|
commitdiff
|
tree
2008-12-22
Sven Verdoola
e
ge
isl
_
b
as
i
c
_ma
p
_overlying_
s
et: pr
o
perly handle divs in
.
.
.
commit
|
commitdiff
|
tree
2008-12-22
Sve
n
Verdoolaege
i
s
l_basic_m
a
p_a
l
ign_divs: don't make a
s
sumptions on
.
.
.
commit
|
commitdiff
|
tree
2008-12-22
Sven Verdoola
e
ge
avoid increasing "ex
t
ra" w
i
thou
t
also exten
d
ing the
.
.
.
commit
|
commitdiff
|
tree
2008-12-19
S
ven Verdoolaege
add isl_
s
et_universe
commit
|
commitdiff
|
tree
2008-12-19
Sve
n
Verdoo
l
a
ege
remove isl_ctx argument from
f
u
n
ctions
accept
i
n
g is
l
_dim
.
.
.
commit
|
commitdiff
|
tree
2008-12-19
Sv
e
n Verdoolaege
i
s
l_convex_hull
.
c:
r
e
m
o
ve dead code
commit
|
commitdiff
|
tree
2008-12-15
S
v
en Verdool
a
ege
add i
s
l_constraint_negate
commit
|
commitdiff
|
tree
2008-12-14
Sven
Verdoolaege
a
d
d isl_
b
asic_set_add_
c
onstr
a
int for addi
n
g manually
.
.
.
commit
|
commitdiff
|
tree
2008-12-14
S
v
en Verdo
o
lae
g
e
rep
l
ac
e
isl_b
a
s
ic_set_constraint by r
e
fcounted isl_constr
a
i
nt
commit
|
commitdiff
|
tree
2008-12-14
S
ven Verdoolaege
a
l
l
ow
p
a
ram
e
ter
s
and dimensions
to be named
commit
|
commitdiff
|
tree
2008-12-14
S
v
en Ve
r
doolaege
i
ntroduce
i
sl_hash_table and
m
o
ve hashing d
e
clarat
i
on
s
.
.
.
commit
|
commitdiff
|
tree
2008-12-14
S
v
en Verdoo
l
aege
introduce
internal
isl_dim_map for repr
e
sentin
g
ma
p
pings
.
.
.
commit
|
commitdiff
|
tree
2008-12-14
Sven Verdo
o
laege
intr
o
duce isl_dim structure for representing shared
.
.
.
commit
|
commitdiff
|
tree
2008-12-14
Sven Verd
o
o
laege
isl_map
.
c
:
avoid potent
i
al NU
L
L d
e
reference
commit
|
commitdiff
|
tree
2008-12-02
Sven
V
e
rdoola
e
g
e
Add
b
ackup mp_get_memory_functi
o
ns
i
mplementation for
.
.
.
commit
|
commitdiff
|
tree
2008-12-02
Sven Ver
d
oolaege
isl_ma
p
.
c: f
i
x typo
in comment
commit
|
commitdiff
|
tree
2008-12-02
Sven Verdoolaege
add gist test
commit
|
commitdiff
|
tree
2008-11-11
Sven
V
erdool
a
ege
u
pd
a
t
e
p
iplib for improved e
f
ficiency
commit
|
commitdiff
|
tree
2008-11-08
S
v
en
Verdoolaege
add
i
sl_set_dim
_
is_unique
commit
|
commitdiff
|
tree
2008-11-08
Sven
Verdoolaege
add i
s
l_
s
et_get_hash
commit
|
commitdiff
|
tree
2008-11-08
S
v
en Verdoolaege
isl_m
a
p
.
c: fix typ
o
in co
m
me
n
t
commit
|
commitdiff
|
tree
2008-11-08
Sven Ve
r
doolaege
isl_
b
asic_ma
p
_
a
lloc_d
i
v: clea
r
unused
e
x
tra
coefficien
t
s
commit
|
commitdiff
|
tree
2008-10-24
Sven
V
e
rdoo
l
aege
a
dd isl_b
a
sic_set_remove_div
s
commit
|
commitdiff
|
tree
2008-10-14
S
v
e
n Verdoolaeg
e
use
G
MP f
l
ags when
c
o
mpiling isl_te
s
t
commit
|
commitdiff
|
tree
2008-10-14
Sven V
e
rdool
a
ege
use uint
_
32_t from stdint
.
h instead of u_int_3
2
_t
commit
|
commitdiff
|
tree
2008-10-14
Sven Verdo
o
laege
up
d
at
e
piplib for licen
s
e
ch
a
nge
a
nd releas
e
isl under
.
.
.
commit
|
commitdiff
|
tree
2008-10-14
Sven
Verdoolaege
clea
r
extra coef
f
i
c
i
e
n
t
s in is
l
_basic_map_all
o
c_{i
n
.
.
.
commit
|
commitdiff
|
tree
2008-10-14
Sven Verdoolaege
isl_{
s
et,map}_dup: co
p
y subsets ins
t
ead of dup
i
ng them
commit
|
commitdiff
|
tree
2008-10-14
Sven Ver
d
oolaege
isl_bas
i
c_m
a
p_eliminate
_
v
a
rs: up
d
ate numbe
r
of extra
.
.
.
commit
|
commitdiff
|
tree
2008-10-14
Sven V
e
rdoo
l
aege
isl_basic_map_gi
s
t: unique
lower o
r
upper bou
n
ds are
.
.
.
commit
|
commitdiff
|
tree
2008-10-14
Sven Verdoolaeg
e
isl_basi
c
_map_con
v
ex_
h
ull: unique
lower or upper bounds
.
.
.
commit
|
commitdiff
|
tree
2008-10-14
Sven V
e
rdoo
l
aege
isl
_
basi
c
_set
_
gist: remove re
d
undant
c
onstra
i
n
t
s with
.
.
.
commit
|
commitdiff
|
tree
2008-10-14
S
v
e
n Verdoolaege
add some functions for
mani
p
u
l
a
t
i
ng cons
t
raints
commit
|
commitdiff
|
tree
2008-10-14
Sven
Ve
r
doolaege
export isl_basic_set_d
u
p
commit
|
commitdiff
|
tree
2008-10-14
Sven Ver
d
oolaege
i
sl_set_gist: reduce result using equalities of context
commit
|
commitdiff
|
tree
2008-10-14
S
ven Verdoolaege
add isl_
b
asic_set_interval
and
i
s
l_basi
c
_s
e
t_p
r
oduct
commit
|
commitdiff
|
tree
2008-10-14
Sven Verdoolaege
a
dd isl_set_si
m
p
le
_
hull
commit
|
commitdiff
|
tree
2008-10-14
Sven V
e
rdoolaege
add isl_s
e
t_fast_is_disjo
i
n
t
commit
|
commitdiff
|
tree
2008-10-13
Sven Ver
d
oolaege
ex
p
ort isl_set_el
i
mi
n
ate_dims
commit
|
commitdiff
|
tree
2008-10-13
Sven
Verdoo
l
aege
add isl_ba
s
ic_se
t
_pr
i
n
t
a
nd
isl_set_print for
pr
i
nting
.
.
.
commit
|
commitdiff
|
tree
2008-10-13
Sv
e
n Ve
r
doola
e
g
e
add isl_{set,ma
p
}
_f
a
st_is_equal
commit
|
commitdiff
|
tree
2008-10-13
Sven Ve
r
doolaege
isl_basi
c
_map_eliminate_var
s
:
e
nsure variable is elimina
t
ed
.
.
.
commit
|
commitdiff
|
tree
2008-10-13
Sv
e
n V
e
r
d
o
o
laege
add isl_map_remove
_
inputs
commit
|
commitdiff
|
tree
2008-10-13
Sve
n
Ve
r
doolaege
add isl_set_lower
_
bound_dim
commit
|
commitdiff
|
tree
2008-10-13
Sven Verdoolaege
a
dd isl_set_fast
_
dim_has_fixed_lower_bound
commit
|
commitdiff
|
tree
2008-10-13
S
v
en Verdoolae
g
e
add
i
sl_basic_set_dim_res
i
due
_
class
commit
|
commitdiff
|
tree
2008-10-13
Sven Verdo
o
laege
add isl_set_
g
ist
commit
|
commitdiff
|
tree
2008-10-13
Sven
V
erdoolaege
add isl_set
_
fast_di
m
_is_fixe
d
a
nd
i
sl_map
_
f
a
st
_
input_is_fixed
commit
|
commitdiff
|
tree
2008-10-13
Sven V
e
rdoolaege
add isl_map_deltas
commit
|
commitdiff
|
tree
2008-10-13
Sven Verdoo
l
aege
add isl_basic_set_compare_at
commit
|
commitdiff
|
tree
2008-10-13
Sven Verdoolaege
clear
r
ational flags from resulting convex hul
l
commit
|
commitdiff
|
tree
2008-10-13
Sven V
e
rdoola
e
ge
isl_basic_map_is_emp
t
y: don't comput
e
sample
for rat
i
onal
.
.
.
commit
|
commitdiff
|
tree
2008-10-13
Sven
V
erdoo
l
ae
g
e
c
o
n
v
ex_hull
:
use
e
limination
based c
o
nv
e
x
h
ull
f
o
r
.
.
.
commit
|
commitdiff
|
tree
2008-10-12
Sv
e
n Verdoolaege
wrap
_
face
t
: mi
s
sing
erro
r
path
commit
|
commitdiff
|
tree
2008-10-12
Sve
n
Verdoolae
g
e
isl_convex_hull: fix constr
u
ction o
f
ini
t
ial facet
commit
|
commitdiff
|
tree
2008-10-12
Sven Verdoolaege
i
sl_ba
s
i
c
_
map_eliminate_
v
ars: remo
v
e
all redundant
.
.
.
commit
|
commitdiff
|
tree
2008-10-12
S
ven Verdoola
e
ge
add is
l
_basic_set_remo
v
e_dims
commit
|
commitdiff
|
tree
2008-10-12
Sven V
e
rdoolae
g
e
ad
d
i
sl_set_copy
_
b
asic_set and isl_set_drop_basic_s
e
t
commit
|
commitdiff
|
tree
2008-10-12
Sven Ver
d
o
ola
e
ge
isl_convex_hull
.
c
: make sure we
don't overallocate
.
.
.
commit
|
commitdiff
|
tree
2008-10-12
Sven V
e
rdoolaege
isl_basic
_
map_affine_hull:
allow computation of aff
i
ne
.
.
.
commit
|
commitdiff
|
tree
2008-10-12
Sv
e
n Ver
d
ool
a
ege
isl_convex_hull: fix memory
l
eak in error path
commit
|
commitdiff
|
tree
2008-10-11
Sven
V
e
rdoolaege
ad
d
i
s
l_set_re
m
ove_di
m
s
commit
|
commitdiff
|
tree
2008-10-11
Sven Verdoolae
g
e
add
i
sl_set_{from,to}_underlying_set
commit
|
commitdiff
|
tree
2008-10-11
Sven Ver
d
oolaege
add i
s
l
_basic
_
set_fr
o
m_under
l
ying_
s
et
commit
|
commitdiff
|
tree
2008-10-11
Sven Ver
d
oolaege
isl_basic_map_ov
e
rly
i
ng
_
s
e
t: fix possible NULL access
commit
|
commitdiff
|
tree
2008-10-11
Sven
Verdoolaege
is
l
_set_dump: dump more information
commit
|
commitdiff
|
tree
next