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
change calling convention of isl_basic_map_{equal,less_at,more_at}
2009-02-22
S
v
en Verdoolaege
cha
n
ge calling convention of
i
sl_
b
asic_ma
p
_
{
equal,less_at
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolaege
add
isl_
m
ap_copy_basic_m
a
p and isl_map_drop_basic_map
commit
|
commitdiff
|
tree
2009-02-22
S
ven Verdoolae
g
e
add isl_map_from_rang
e
commit
|
commitdiff
|
tree
2009-02-22
S
v
en Verdoolaege
add
isl_
m
ap_fast_is_e
m
pty
commit
|
commitdiff
|
tree
2009-02-22
S
v
en Verdoolaege
change
c
alling convention of isl_map_
e
mpty and add
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sv
e
n Verdoo
l
aege
isl_map_i
n
tersect_{doma
i
n,r
a
nge}: all
o
w intersection
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sve
n
Ve
r
doolaege
isl_map_
i
n
ters
e
ct: allow
i
ntersection with pure pa
r
ame
t
er
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolae
g
e
isl_basi
c
_map_aff
i
ne_hu
l
l
: fix search for integ
e
r points
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolaege
isl_bas
i
c_map_overlying_set: don't add div
constr
a
ints
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sve
n
V
erdo
o
laege
isl_dim
.
c:
upd
a
te
n
_name (only) when ch
a
nging na
m
e
s
commit
|
commitdiff
|
tree
2009-02-15
Sven Verdoolaege
f
i
x serious error
in isl_mat_par
a
meter_c
o
m
p
ression
commit
|
commitdiff
|
tree
2009-02-11
Sven Verdool
a
ege
expor
t
isl_b
a
s
ic_map_intersect_range
commit
|
commitdiff
|
tree
2009-02-11
Sven V
e
rdoolae
g
e
a
d
d isl_
b
asic_m
a
p_fl
o
ordiv
commit
|
commitdiff
|
tree
2009-02-11
S
v
e
n
V
erdoo
l
aege
ad
d
is
l
_basic_map_fast_is_fixed
commit
|
commitdiff
|
tree
2009-02-11
S
v
en Verdoolaege
add i
s
l_basic_map_neg
commit
|
commitdiff
|
tree
2009-02-11
S
v
en Verdoolae
g
e
add
is
l
_basic_map
_
sum
commit
|
commitdiff
|
tree
2009-02-10
Sv
e
n Verdoo
l
aege
add isl_map_fix_si,
a generalization
of isl_basic_map_fix_in
.
.
.
commit
|
commitdiff
|
tree
2009-02-04
S
v
en Verdoolae
g
e
is
l
_map_si
m
plify
.
c
: remove_
d
uplicate_
d
ivs: remove divs
.
.
.
commit
|
commitdiff
|
tree
2009-02-04
S
ven Verdoolaege
i
s
l_b
a
sic_map_gauss
:
be care
f
ul not
t
o introd
u
ce c
i
r
cul
a
r
.
.
.
commit
|
commitdiff
|
tree
2009-02-04
Sven Ve
r
doolaege
add functi
o
n
s for
setting isl
_
divs
commit
|
commitdiff
|
tree
2009-02-04
Sven
Verdoo
l
a
ege
i
sl_ma
p
_from_quast
:
don
'
t thro
w
away any
b
o
ttom
le
a
v
es
commit
|
commitdiff
|
tree
2009-02-04
Sve
n
Verd
o
olaege
isl_m
a
p_simplify
.
c: normalize_divs: fix u
s
e
of va
r
iabl
e
.
.
.
commit
|
commitdiff
|
tree
2009-02-04
Sven Verdoolaege
isl_mat
_
vari
a
ble_compression: f
i
x use aft
e
r
fr
e
e
commit
|
commitdiff
|
tree
2009-02-03
Sven Verdool
a
ege
isl_map_s
i
mp
l
ify
.
c: n
o
rmalize_divs: ens
u
re enough existentia
.
.
.
commit
|
commitdiff
|
tree
2009-02-03
S
ven Verdool
a
ege
is
l
_hash_t
a
ble_rem
o
ve: upda
t
e num
b
er of entries
commit
|
commitdiff
|
tree
2009-01-22
Sven Verdoolaege
isl_m
a
p_simple_hul
l
: plug memory le
a
k
commit
|
commitdiff
|
tree
2009-01-09
S
ven Verdoolaege
a
d
d s
t
d::ostream &ope
r
ator<<(
s
td
:
:os
t
ream
&os, isl_int
.
.
.
commit
|
commitdiff
|
tree
2009-01-08
Sven Verdoolaege
norma
l
ize
divs involved i
n
equaliti
e
s
commit
|
commitdiff
|
tree
2009-01-08
Sven
V
e
rdoolaege
isl_map_u
n
derlying_se
t
: dr
o
p na
m
es fr
o
m dimesion
i
n
.
.
.
commit
|
commitdiff
|
tree
2009-01-06
Sven Verdoolaege
a
d
d isl_mat_
p
arameter_compr
e
ssion
commit
|
commitdiff
|
tree
2009-01-06
Sven Verdool
a
ege
isl_
e
q
ualitie
s
.
c: extract
a
nd ex
p
o
rt isl_mat_variable_compre
.
.
.
commit
|
commitdiff
|
tree
2009-01-06
S
v
en Verdoo
l
aege
add isl
_
bas
i
c_set_is_empty
commit
|
commitdiff
|
tree
2009-01-06
Sven
Verdool
a
ege
ad
d
isl_mat_right_kernel
commit
|
commitdiff
|
tree
2009-01-06
Sven Ver
d
oolaege
add isl_mat
_
c
ol_subm
u
l
commit
|
commitdiff
|
tree
2009-01-06
Sven Verdoo
l
aege
add is
l
_seq_sub
m
u
l
commit
|
commitdiff
|
tree
2009-01-06
Sven Ve
r
doolaege
isl_map_simplify
.
c: extract
o
ut simplif
y
and related
.
.
.
commit
|
commitdiff
|
tree
2009-01-06
Sven Verdoola
e
ge
isl
_
con
s
traint: add limi
t
ed support for adding divs
commit
|
commitdiff
|
tree
2009-01-06
Sve
n
Verdoolaege
change calling conventions of isl_ba
s
ic_set_has_def
i
ning_
.
.
.
commit
|
commitdiff
|
tree
2008-12-28
Sven Verdoolaege
a
dd isl_bas
i
c
_
{set,
m
ap}_dim
commit
|
commitdiff
|
tree
2008-12-28
Sven Verdoolaege
is
l
_basi
c
_map
_
g
ist: also
e
xploi
t
equa
l
ities i
n
gis
t
ed set
commit
|
commitdiff
|
tree
2008-12-28
Sven Verd
o
olaege
isl_basi
c
_map_ov
e
rlying_set
:
simplify resulting basic map
commit
|
commitdiff
|
tree
2008-12-25
S
v
en Ver
d
oola
e
ge
isl_stream: properly
refe
r
e
n
ce ctx
commit
|
commitdiff
|
tree
2008-12-25
Sv
e
n
V
e
r
do
o
l
a
e
g
e
i
s
l_st
r
eam
.
c:
extract
e
d from isl_inp
u
t_omega
.
c
commit
|
commitdiff
|
tree
2008-12-25
Sven Verdoo
l
aege
add
i
sl_basic_s
e
t_rea
d
_from_str
commit
|
commitdiff
|
tree
2008-12-24
S
ven Verdoola
e
g
e
ex
p
ort i
s
l_set_co
m
pute_divs
commit
|
commitdiff
|
tree
2008-12-24
Sven Ve
r
d
o
o
laege
isl_basic_ma
p
_align_d
i
vs: che
c
k di
v
s o
f
src
b
asic
m
a
p
.
.
.
commit
|
commitdiff
|
tree
2008-12-24
Sv
e
n Ve
r
doola
e
ge
isl
_
ma
p
_gist: e
n
sure divs o
f
map are known
commit
|
commitdiff
|
tree
2008-12-24
Sven
V
er
d
oolaege
i
sl_b
a
sic_map_compute_d
i
vs
:
only
(re)
c
ompute divs if
.
.
.
commit
|
commitdiff
|
tree
2008-12-24
S
ven V
e
rdoolaege
i
s
l_b
a
sic_map_eliminate_var
s
:
b
etter handling of di
v
s
commit
|
commitdiff
|
tree
2008-12-23
S
v
en Ve
r
doolaege
add isl_div abstractio
n
,
simila
r
to isl_
c
on
s
traint
commit
|
commitdiff
|
tree
2008-12-22
Sven Verdool
a
ege
isl_
b
asic_se
t
_
comp
a
re_at
:
combine constraints bef
o
re
.
.
.
commit
|
commitdiff
|
tree
2008-12-22
S
ve
n
Verdo
o
l
a
eg
e
isl_map_
u
nderlyi
n
g_s
e
t:
a
lign d
i
vs before callin
g
thi
s
.
.
.
commit
|
commitdiff
|
tree
2008-12-22
Sv
e
n V
e
rdoolaege
isl_basic_map_ov
e
rlying_se
t
: properly ha
n
dle divs in
.
.
.
commit
|
commitdiff
|
tree
2008-12-22
S
v
e
n Verdoola
e
g
e
i
sl_basic_map_align_div
s
: don't make assumpti
o
n
s
on
.
.
.
commit
|
commitdiff
|
tree
2008-12-22
S
v
e
n Verdoolaege
a
void i
n
creas
i
ng "extra" witho
u
t a
l
so exte
n
ding the
.
.
.
commit
|
commitdiff
|
tree
2008-12-19
Sven
V
erdo
o
laege
a
d
d isl_set_universe
commit
|
commitdiff
|
tree
2008-12-19
Sven Verdoolaege
rem
o
ve isl_ctx argument
f
rom function
s
ac
c
e
p
ting
isl_dim
.
.
.
commit
|
commitdiff
|
tree
2008-12-19
Sven Verdoolaege
isl_co
n
vex
_
hul
l
.
c: remo
v
e dead code
commit
|
commitdiff
|
tree
2008-12-15
Sv
e
n Verdoolaege
add isl_const
r
aint_negate
commit
|
commitdiff
|
tree
2008-12-14
Sven Verdoolaege
add i
s
l
_
bas
i
c_set_add_constraint for addin
g
manua
l
ly
.
.
.
commit
|
commitdiff
|
tree
2008-12-14
Sven Verdoola
e
ge
replace isl_basic_set_const
r
aint
by refcounte
d
isl_constraint
commit
|
commitdiff
|
tree
2008-12-14
Sven Verdoolaege
all
o
w parame
t
ers and d
i
mensions to be nam
e
d
commit
|
commitdiff
|
tree
2008-12-14
Sven
Verdo
o
laege
introduce isl_
h
a
sh_t
a
ble a
n
d move h
a
shing declaration
s
.
.
.
commit
|
commitdiff
|
tree
2008-12-14
Sven Verdo
o
l
a
ege
introduc
e
internal isl
_
d
i
m_map for repr
e
sen
t
ing mappin
g
s
.
.
.
commit
|
commitdiff
|
tree
2008-12-14
S
ven Verdo
o
laege
introdu
c
e isl_di
m
structure for
r
epresenti
n
g shar
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-12-14
S
v
en Verdoolaege
isl_map
.
c: avoid potent
i
al NU
L
L
d
erefe
r
enc
e
commit
|
commitdiff
|
tree
2008-12-02
Sven Ve
r
doolaege
Add backup mp_g
e
t_memor
y
_functi
o
ns implementation for
.
.
.
commit
|
commitdiff
|
tree
2008-12-02
Sv
e
n
V
e
r
doo
l
aege
isl_ma
p
.
c: f
i
x typo in c
o
mment
commit
|
commitdiff
|
tree
2008-12-02
Sven
V
er
d
o
o
laege
add gist test
commit
|
commitdiff
|
tree
2008-11-11
Sven V
e
rdoolaege
u
pda
t
e piplib for
improved effic
i
e
ncy
commit
|
commitdiff
|
tree
2008-11-08
Sven
Verdoolaege
add isl_set_dim_is_un
i
q
u
e
commit
|
commitdiff
|
tree
2008-11-08
Sven Verdoolaege
ad
d
i
s
l
_
set_get_hash
commit
|
commitdiff
|
tree
2008-11-08
Sven Verdoolaege
isl_map
.
c
: fix typo i
n
comment
commit
|
commitdiff
|
tree
2008-11-08
Sven
Verdoolaege
is
l
_basic_map_all
o
c_div: clear unused ext
r
a coefficien
t
s
commit
|
commitdiff
|
tree
2008-10-24
S
ven V
e
rdoola
e
ge
add isl
_
b
a
si
c
_
s
et_remove_
d
iv
s
commit
|
commitdiff
|
tree
2008-10-14
Sven Ver
d
oola
e
ge
use GMP
f
lags when compil
i
n
g
isl_test
commit
|
commitdiff
|
tree
2008-10-14
Sv
e
n Verdool
a
ege
use
ui
n
t_32_t fr
o
m stdint
.
h ins
t
e
a
d of u_int_32
_
t
commit
|
commitdiff
|
tree
2008-10-14
Sv
e
n Ver
d
oo
l
aege
upd
a
t
e
piplib f
o
r lic
e
nse
c
h
ange and rele
a
se isl
u
n
d
er
.
.
.
commit
|
commitdiff
|
tree
2008-10-14
Sven Verdoolaege
clear ext
r
a coefficient
s
in isl_basic
_
map_alloc
_
{
in
.
.
.
commit
|
commitdiff
|
tree
2008-10-14
Sven Verdoolaege
isl_{set,map}_dup: copy s
u
b
sets ins
t
ead of dup
i
ng them
commit
|
commitdiff
|
tree
2008-10-14
Sv
e
n Verdoolaege
i
s
l_bas
i
c
_map_eliminate_va
r
s
:
update number of
e
x
t
r
a
.
.
.
commit
|
commitdiff
|
tree
2008-10-14
Sven
V
e
r
doolaege
isl_basic
_
map_gist:
unique lower or upper bo
u
nds are
.
.
.
commit
|
commitdiff
|
tree
2008-10-14
Sven Verdoolaege
isl_basic_map_
c
on
v
ex_hull: unique lower
or upper
b
ounds
.
.
.
commit
|
commitdiff
|
tree
2008-10-14
Sven Verdoolaege
i
s
l
_basic_set_
g
ist: remove
r
edunda
n
t constraints with
.
.
.
commit
|
commitdiff
|
tree
2008-10-14
Sven
V
e
rdoolaege
add some functions f
o
r manipu
l
ating constraints
commit
|
commitdiff
|
tree
2008-10-14
S
v
en
V
erdoo
l
ae
g
e
exp
o
r
t isl_ba
s
ic_se
t
_dup
commit
|
commitdiff
|
tree
2008-10-14
Sven V
e
rdoo
l
aege
isl_set_
g
ist: reduce result using equalities of context
commit
|
commitdiff
|
tree
2008-10-14
Sven Ver
d
oolaege
add isl_b
a
s
ic_
s
et_inter
v
al and isl_b
a
sic_
s
et_product
commit
|
commitdiff
|
tree
2008-10-14
S
v
e
n Verd
o
olaege
add isl_set_simple_hull
commit
|
commitdiff
|
tree
2008-10-14
Sven Verdo
o
laege
a
dd isl_set
_
fast_is
_
disjoint
commit
|
commitdiff
|
tree
2008-10-13
Sven
Ve
r
d
o
olaege
export i
s
l_set_elim
i
n
ate_dims
commit
|
commitdiff
|
tree
2008-10-13
S
v
en V
e
r
d
oolaege
add isl
_
b
asic_set_print and isl_set_print for p
r
i
n
ting
.
.
.
commit
|
commitdiff
|
tree
2008-10-13
Sven Verdoolaege
add isl_{s
e
t,map}_fast_i
s
_
equal
commit
|
commitdiff
|
tree
2008-10-13
Sven Verdoo
l
aege
isl_basic_map_elimina
t
e_
v
ars: ensure variable
is elim
i
nated
.
.
.
commit
|
commitdiff
|
tree
2008-10-13
Sv
e
n
Verdoolaege
add isl_ma
p
_remov
e
_input
s
commit
|
commitdiff
|
tree
2008-10-13
Sv
e
n Verdoola
e
ge
add isl_set
_
lower_
b
ound_d
i
m
commit
|
commitdiff
|
tree
2008-10-13
S
ven Verd
o
olaege
a
d
d is
l
_
s
et_fast_dim_has_fixed_lower_bou
n
d
commit
|
commitdiff
|
tree
2008-10-13
S
v
en Verdo
o
l
a
ege
add
i
s
l
_ba
s
ic_set_dim_r
e
sidu
e
_
c
l
ass
commit
|
commitdiff
|
tree
2008-10-13
S
v
en Verd
o
olaege
add isl_set_gist
commit
|
commitdiff
|
tree
2008-10-13
Sven Verdoola
e
ge
add isl_s
e
t_fast_dim
_
is_fixed and isl_map_fast
_
i
n
put_is_fixed
commit
|
commitdiff
|
tree
next