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_map_intersect: allow intersection with pure parameter constraints
2009-02-22
S
v
en Verdoolae
g
e
isl_map_
i
ntersec
t
: allo
w
intersection with p
u
re parameter
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolaeg
e
isl
_
basic_map_af
f
ine_hull
:
f
i
x search for integer points
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolaege
isl_bas
i
c
_
map_overlyin
g
_s
e
t: don't
a
dd div cons
t
raints
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
S
ven Verdoolae
g
e
isl_
d
im
.
c: update n_name (only) when changi
n
g
names
commit
|
commitdiff
|
tree
2009-02-15
Sv
e
n Verdo
o
laeg
e
fix se
r
ious error in isl_mat_param
e
t
er_comp
r
essi
o
n
commit
|
commitdiff
|
tree
2009-02-11
Sven Verdoo
l
aeg
e
ex
p
o
rt is
l
_basic_map_inters
e
ct_range
commit
|
commitdiff
|
tree
2009-02-11
Sven Verdoolaege
add is
l
_basic_ma
p
_flo
o
rdiv
commit
|
commitdiff
|
tree
2009-02-11
Sven Verdoolae
g
e
add is
l
_basi
c
_
m
ap_
f
as
t
_is_fixed
commit
|
commitdiff
|
tree
2009-02-11
Sven V
e
rdoolaege
a
d
d
isl_basi
c
_ma
p
_
n
e
g
commit
|
commitdiff
|
tree
2009-02-11
Sven Ve
r
do
o
laege
add isl_basic_map_sum
commit
|
commitdiff
|
tree
2009-02-10
Sven Verdoolaege
add is
l
_
m
ap_fix_si, a gene
r
ali
z
ation o
f
isl_bas
i
c_map_fix_in
.
.
.
commit
|
commitdiff
|
tree
2009-02-04
Sv
e
n Verdoolaege
isl
_
map_s
i
m
p
lify
.
c: rem
o
ve_dup
l
ic
a
te_divs: remove
d
ivs
.
.
.
commit
|
commitdiff
|
tree
2009-02-04
S
v
en Verdool
a
e
g
e
isl
_
b
a
si
c
_map_g
a
us
s
: be caref
u
l not to introd
u
ce circu
l
ar
.
.
.
commit
|
commitdiff
|
tree
2009-02-04
S
ven Verdoola
e
ge
ad
d
functions
for setti
n
g isl_div
s
commit
|
commitdiff
|
tree
2009-02-04
Sven
V
erdoolaeg
e
isl_m
a
p_from
_
quast: don'
t
thro
w
away a
n
y
bottom leaves
commit
|
commitdiff
|
tree
2009-02-04
Sven Verdool
a
e
g
e
isl_map
_
si
m
plify
.
c: normal
i
z
e
_divs:
f
ix use of variab
l
e
.
.
.
commit
|
commitdiff
|
tree
2009-02-04
Sven Ve
r
d
oolaege
isl_m
a
t_var
i
able_c
o
mpression: f
i
x us
e
aft
e
r free
commit
|
commitdiff
|
tree
2009-02-03
Sven Verdoolae
g
e
isl_map_sim
p
lify
.
c: normal
i
ze_di
v
s:
ensure
e
noug
h
existentia
.
.
.
commit
|
commitdiff
|
tree
2009-02-03
S
ven Verdoola
e
ge
isl_h
a
sh_t
a
b
l
e_remove: update number of entries
commit
|
commitdiff
|
tree
2009-01-22
Sven
V
erdoolaege
isl_ma
p
_s
i
mple_hull:
p
l
u
g memory leak
commit
|
commitdiff
|
tree
2009-01-09
S
v
e
n
V
erd
o
olaege
a
dd std::ostream &operator<<(std::ostream &os, is
l
_
i
nt
.
.
.
commit
|
commitdiff
|
tree
2009-01-08
Sve
n
Verdoolaeg
e
normalize
divs involved
in equaliti
e
s
commit
|
commitdiff
|
tree
2009-01-08
Sven Verdoolaege
isl_map_underlying_set: drop names from
d
imesion in
.
.
.
commit
|
commitdiff
|
tree
2009-01-06
Sven Verdoola
e
ge
ad
d
isl
_
ma
t
_
parameter
_
compression
commit
|
commitdiff
|
tree
2009-01-06
Sven Verdoola
e
g
e
isl_equalities
.
c:
e
xtract and export isl_
m
a
t_v
a
riabl
e
_compre
.
.
.
commit
|
commitdiff
|
tree
2009-01-06
S
ven Verdoolae
g
e
add isl_
b
asic
_
set_is_empty
commit
|
commitdiff
|
tree
2009-01-06
Sve
n
Verdoolaeg
e
a
dd isl_mat
_
righ
t
_k
e
rnel
commit
|
commitdiff
|
tree
2009-01-06
Sven
V
e
rdoolaege
ad
d
i
sl_
m
at_col_submul
commit
|
commitdiff
|
tree
2009-01-06
Sven
Verdo
o
l
a
e
g
e
add isl_seq_submul
commit
|
commitdiff
|
tree
2009-01-06
Sven Verd
o
olaege
i
s
l_map
_
simplif
y
.
c
:
extr
a
ct out simpl
i
fy and relat
e
d
.
.
.
commit
|
commitdiff
|
tree
2009-01-06
Sven
V
e
rdoolaege
isl_co
n
strain
t
:
add limited support for addin
g
divs
commit
|
commitdiff
|
tree
2009-01-06
S
ven
Verdo
o
laege
change cal
l
ing
conventions of
i
sl_basic_set_h
a
s_defining
_
.
.
.
commit
|
commitdiff
|
tree
2008-12-28
S
v
en Verdoo
l
ae
g
e
add isl_basic
_
{
s
et,ma
p
}_dim
commit
|
commitdiff
|
tree
2008-12-28
Sven
V
e
r
d
o
ola
e
g
e
isl_basic_map_
g
ist: al
s
o exp
l
oit equalities i
n
gisted
se
t
commit
|
commitdiff
|
tree
2008-12-28
Sven Ver
d
oo
l
aege
isl_basic_map
_
overlying_set: simplify
r
esulting ba
s
ic
m
ap
commit
|
commitdiff
|
tree
2008-12-25
S
ven Verdo
o
la
e
g
e
isl_str
e
am: properly reference ctx
commit
|
commitdiff
|
tree
2008-12-25
Sven Verdoola
e
g
e
isl_
s
tr
e
am
.
c: ex
t
racted from isl_in
p
ut_omega
.
c
commit
|
commitdiff
|
tree
2008-12-25
Sv
e
n Verdoo
l
aege
add isl_basic_s
e
t_read_from
_
str
commit
|
commitdiff
|
tree
2008-12-24
Sven Verdoolaege
export isl_s
e
t_c
o
mpute_divs
commit
|
commitdiff
|
tree
2008-12-24
Sven Verdoo
l
aege
isl_b
a
sic_map
_
align_di
v
s: ch
e
ck div
s
of sr
c
basic map
.
.
.
commit
|
commitdiff
|
tree
2008-12-24
Sven Verdoolaege
is
l
_map_gist: ensure divs of m
a
p a
r
e kn
o
wn
commit
|
commitdiff
|
tree
2008-12-24
S
ve
n
V
e
rdoolae
g
e
isl_
b
asic
_
ma
p
_comput
e
_divs:
on
l
y
(
re)compute divs if
.
.
.
commit
|
commitdiff
|
tree
2008-12-24
Sven Ver
d
oolaege
i
s
l_basic_map
_
eliminate_
v
ar
s
: better handling
of divs
commit
|
commitdiff
|
tree
2008-12-23
Sven Ver
d
oolaege
add
isl_div abstraction, simil
a
r
to isl_constraint
commit
|
commitdiff
|
tree
2008-12-22
Sven Verdoolaege
isl_
b
asi
c
_se
t
_co
m
p
ar
e
_at:
c
ombine constrai
n
ts before
.
.
.
commit
|
commitdiff
|
tree
2008-12-22
Sve
n
Verdoolae
g
e
isl
_
map_underlying_set:
align
d
ivs before c
a
lling
t
h
is
.
.
.
commit
|
commitdiff
|
tree
2008-12-22
Sven Verdoo
l
aege
isl_basic_m
a
p
_
over
l
yi
n
g_set: properly handle divs in
.
.
.
commit
|
commitdiff
|
tree
2008-12-22
Sven Ve
r
do
o
laege
isl_basic_
m
ap_al
i
gn_d
i
v
s: d
o
n't make a
s
sumptions on
.
.
.
commit
|
commitdiff
|
tree
2008-12-22
S
ven Verdoolaege
avoid increasing "e
x
tra
"
without al
s
o e
x
t
ending t
h
e
.
.
.
commit
|
commitdiff
|
tree
2008-12-19
Sven Verdoolaege
a
d
d is
l
_set_uni
v
erse
commit
|
commitdiff
|
tree
2008-12-19
Sven Verdoolaege
r
emove isl
_
ctx argument from
fu
n
c
tions accepting isl_di
m
.
.
.
commit
|
commitdiff
|
tree
2008-12-19
S
ven Verdool
a
e
g
e
isl_convex_
h
ull
.
c: remo
v
e d
e
ad c
o
de
commit
|
commitdiff
|
tree
2008-12-15
Sven Verdoolaege
add isl_constraint_negate
commit
|
commitdiff
|
tree
2008-12-14
Sven Ve
r
d
oolaege
a
dd isl
_
basic_set_
a
dd_constraint for
a
ddin
g
manually
.
.
.
commit
|
commitdiff
|
tree
2008-12-14
Sven V
e
r
doolaege
replace i
s
l_basic_
s
et_constraint
b
y
ref
c
ounted isl_constr
a
int
commit
|
commitdiff
|
tree
2008-12-14
S
ven Verdoola
e
ge
allow parame
t
ers and dime
n
s
i
on
s
to be na
m
ed
commit
|
commitdiff
|
tree
2008-12-14
S
v
en Verdoola
e
ge
introd
u
ce isl_hash_table and move h
a
s
h
ing declara
t
ion
s
.
.
.
commit
|
commitdiff
|
tree
2008-12-14
Sven Ver
d
oo
l
aege
introduce
internal isl_dim_m
a
p
for repre
s
enting ma
p
pings
.
.
.
commit
|
commitdiff
|
tree
2008-12-14
Sven Verdoolaege
i
n
tro
d
u
c
e
isl_dim
structure for representing shared
.
.
.
commit
|
commitdiff
|
tree
2008-12-14
Sven Ver
d
oolaege
isl_map
.
c
:
avoid potential NULL derefe
r
ence
commit
|
commitdiff
|
tree
2008-12-02
Sven Verdoolaege
Add ba
c
kup mp_get_memory_functions implementation for
.
.
.
commit
|
commitdiff
|
tree
2008-12-02
Sven Verdo
o
laege
isl
_
map
.
c: fix typo in commen
t
commit
|
commitdiff
|
tree
2008-12-02
Sven Verd
o
olaege
add gist test
commit
|
commitdiff
|
tree
2008-11-11
Sv
e
n Verdo
o
l
a
e
g
e
update pipl
i
b for improved effi
c
i
e
ncy
commit
|
commitdiff
|
tree
2008-11-08
Sve
n
V
erd
o
olaege
ad
d
is
l
_set_d
i
m_is_un
i
que
commit
|
commitdiff
|
tree
2008-11-08
Sven Verdoo
l
a
e
ge
add
i
sl_set_get
_
hash
commit
|
commitdiff
|
tree
2008-11-08
Sven Verdoola
e
ge
isl_
m
ap
.
c: fix typo in com
m
ent
commit
|
commitdiff
|
tree
2008-11-08
Sven Verdoolaege
isl_basic_map_alloc_div: clear unused extra coe
f
ficients
commit
|
commitdiff
|
tree
2008-10-24
Sven V
e
rdoolaege
add isl_bas
i
c
_set_remov
e
_divs
commit
|
commitdiff
|
tree
2008-10-14
S
v
en Verdo
o
laege
use GMP f
l
ags
wh
e
n compiling isl_test
commit
|
commitdiff
|
tree
2008-10-14
S
v
en Ve
r
d
o
o
lae
g
e
use u
i
nt_32_t from stdint
.
h instead of u_int_32_t
commit
|
commitdiff
|
tree
2008-10-14
Sven Verdoolaege
u
pdate pipl
i
b
f
or l
i
cense change and release isl under
.
.
.
commit
|
commitdiff
|
tree
2008-10-14
Sven Verdoo
l
aege
clear extra coefficients in
isl
_
b
a
sic_map_alloc_{in
.
.
.
commit
|
commitdiff
|
tree
2008-10-14
S
ven Ve
r
doolaege
is
l
_{set,map}_dup
:
copy subset
s
ins
t
e
a
d of duping
t
hem
commit
|
commitdiff
|
tree
2008-10-14
Sven
Verdoola
e
ge
isl_basic_map
_
elimi
n
a
te_vars: upda
t
e number
o
f extra
.
.
.
commit
|
commitdiff
|
tree
2008-10-14
Sven Ver
d
oolaege
isl_basic_map_
g
i
s
t: u
n
ique lower
o
r upper bounds are
.
.
.
commit
|
commitdiff
|
tree
2008-10-14
Sven
V
e
r
do
o
la
e
ge
isl_basic_map_convex_hull: unique l
o
wer or upper bou
n
ds
.
.
.
commit
|
commitdiff
|
tree
2008-10-14
S
v
en V
e
rdo
o
laege
isl_ba
s
ic_set_gist: remove r
e
dun
d
a
n
t
c
o
nstra
i
nts w
i
th
.
.
.
commit
|
commitdiff
|
tree
2008-10-14
Sven Verdoolaege
add some
f
u
n
ctions for manipul
a
ting
c
onstrain
t
s
commit
|
commitdiff
|
tree
2008-10-14
Sven Verdoolaege
e
x
p
ort
i
s
l_basic_set_
d
up
commit
|
commitdiff
|
tree
2008-10-14
Sven Verdoolaege
is
l
_s
e
t_gis
t
: redu
c
e
resu
l
t using equ
a
lities of
c
onte
x
t
commit
|
commitdiff
|
tree
2008-10-14
Sv
e
n Verdoolaeg
e
add
isl_basic_se
t
_interval and isl_basic_set_p
r
oduct
commit
|
commitdiff
|
tree
2008-10-14
Sven Verdoolaege
add i
s
l_
s
et_simple_hull
commit
|
commitdiff
|
tree
2008-10-14
Sven Verdoo
l
aege
add
isl_set
_
f
as
t
_
is_disjo
i
nt
commit
|
commitdiff
|
tree
2008-10-13
Sven Verd
o
o
l
aeg
e
expo
r
t isl
_
set
_
eliminate
_
dims
commit
|
commitdiff
|
tree
2008-10-13
S
v
en Verdoolae
g
e
a
d
d
i
sl_basic_se
t
_pri
n
t and
isl_set_p
r
int
for printi
n
g
.
.
.
commit
|
commitdiff
|
tree
2008-10-13
Sven Verdo
o
laege
a
dd isl_{set,map}_fast_is_equal
commit
|
commitdiff
|
tree
2008-10-13
Sven Ver
d
oolaege
is
l
_bas
i
c_map_e
l
iminate_
v
ars: ens
u
re variable is elimi
n
ate
d
.
.
.
commit
|
commitdiff
|
tree
2008-10-13
Sven Verdoolaege
add is
l
_map_remove_inputs
commit
|
commitdiff
|
tree
2008-10-13
Sv
e
n
V
erdoola
e
ge
add i
s
l_set_lower_bound_dim
commit
|
commitdiff
|
tree
2008-10-13
Sven Verdoolaege
add
i
s
l
_set_fast
_
dim
_
has_fixed_lower
_
b
o
und
commit
|
commitdiff
|
tree
2008-10-13
S
ven Verdoolaege
add
i
sl_ba
s
ic_set_d
i
m_residue_class
commit
|
commitdiff
|
tree
2008-10-13
Sven Ver
d
o
olaege
add
i
sl
_
set_
g
i
s
t
commit
|
commitdiff
|
tree
2008-10-13
Sven
V
erdo
o
la
e
ge
add isl_set_fast_
d
i
m
_i
s
_fi
x
e
d
a
nd
isl_ma
p
_f
a
s
t
_input_is_f
i
xed
commit
|
commitdiff
|
tree
2008-10-13
S
v
en Verdool
a
e
ge
ad
d
isl_map_delt
a
s
commit
|
commitdiff
|
tree
2008-10-13
Sv
e
n
Verdoola
e
ge
add isl_basi
c
_set_compa
r
e_at
commit
|
commitdiff
|
tree
2008-10-13
Sven Verdoolaege
clear
r
ational flags from
r
esulting
convex hull
commit
|
commitdiff
|
tree
2008-10-13
Sven Ver
d
oolaege
isl
_
basic_map_is_em
p
ty: don't
c
omp
u
te
s
ampl
e
for rati
o
nal
.
.
.
commit
|
commitdiff
|
tree
2008-10-13
Sve
n
Verdoolaege
co
n
vex_hull: use elimination base
d
convex hull for
.
.
.
commit
|
commitdiff
|
tree
2008-10-12
Sven Verdoolaege
wrap_facet: missing error path
commit
|
commitdiff
|
tree
next