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
privately export isl_basic_{set,map}_normalize_constraints
2009-03-20
Sve
n
V
erd
o
olaege
p
r
ivately
e
x
port
isl_basic_{se
t
,ma
p
}
_normalize_
c
onstr
a
ints
commit
|
commitdiff
|
tree
2009-03-20
S
v
e
n
Verdool
a
ege
a
dd isl_bas
i
c_set_extend_dim
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdoolaege
isl_basic_map_eliminate_vars: clear
divs
first
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaeg
e
isl_basic_map_eliminate_vars: remov
e
all dependent
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdool
a
ege
a
dd isl_hash_table_alloc and isl
_
hash_table_free
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoola
e
ge
is
l
_hash_table_init: take minimal size instead of nu
m
b
e
r
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
ve
n
Verdool
a
ege
isl_{basic_,}set_prei
m
age: drop c
t
x
argume
n
t
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoo
l
ae
g
e
isl_bas
i
c_
m
ap_intersect: r
e
use sample
v
alue of
e
ither
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
r
d
oolaege
a
d
d
isl_int_
g
e
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdoolaege
isl_constraint_div: perfor
m
re
q
uired refer
e
nce in
c
rease
.
.
.
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdoo
l
a
ege
isl_basic_map: put inequalities bef
o
re
e
q
u
a
lities
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdoolaege
add isl_seq
_
normaliz
e
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdool
a
ege
i
s
l_ctx
.
h: make FL
_
ISSET return
a boolean v
a
l
ue
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdoolaege
rename F_ a
n
d F
L
_ macros to ISL_F_ and I
S
L_FL_ t
o
avoi
d
.
.
.
commit
|
commitdiff
|
tree
2009-03-08
Sv
e
n Verdoolaeg
e
a
dd
isl_mat
_
swap_cols
commit
|
commitdiff
|
tree
2009-03-08
Sven Ve
r
doola
e
ge
isl_mat
_
dump: also
i
nden
t
NUL
L
m
a
t
commit
|
commitdiff
|
tree
2009-03-08
Sven V
e
rdool
a
ege
add
isl_ca
l
loc_type
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdoolaege
isl_m
a
p
_
co
n
vex_hull: n
o
rmal
i
ze map first
commit
|
commitdiff
|
tree
2009-03-08
Sven
V
erdoolaege
isl_set_preimage: clear ISL_S
E
T_NORMALIZED flag
commit
|
commitdiff
|
tree
2009-02-23
Sven Verdoola
e
ge
add isl_basic_map_detect_
e
qu
a
lities
commit
|
commitdiff
|
tree
2009-02-22
S
v
en
V
e
r
doolaege
expor
t
i
sl_basic_map_is
_
e
q
ual
commit
|
commitdiff
|
tree
2009-02-22
Sve
n
Ve
r
doolae
g
e
add
isl_basic_map_remove
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolaege
add isl_dim_range
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolaege
a
d
d is
l
_map_product
commit
|
commitdiff
|
tree
2009-02-22
Sven
V
erdoola
e
g
e
add isl
_
b
asic_map_add_constraint
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdo
o
laege
isl_map_piplib
.
c
:
isl_map_from_quast: properly kee
p
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sven
V
e
rdoo
l
ae
g
e
change
c
alling co
n
vention of is
l
_
b
a
s
i
c_map_{equal,less_at
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdo
o
laege
a
d
d
is
l
_
map_cop
y
_basic_map and
isl_map
_
drop_b
a
sic
_
map
commit
|
commitdiff
|
tree
2009-02-22
Sven
Verdoolaege
add isl_map_from_ra
n
ge
commit
|
commitdiff
|
tree
2009-02-22
Sven V
e
rdoo
l
aege
add isl_map_fast_i
s
_empty
commit
|
commitdiff
|
tree
2009-02-22
Sven
V
e
rdoolaege
change calling con
v
ention of isl_map_e
m
pty
a
nd add
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolaege
isl
_
map_intersec
t
_{do
m
ain,ra
n
ge}: al
l
ow
i
nters
e
ction
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sve
n
Verdo
o
laege
isl_map_intersect:
allow
inter
s
ection with pu
r
e par
a
meter
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sv
e
n Verdoolae
g
e
isl_basic_map_affine_h
u
ll:
f
ix
s
earch
for i
n
teger
point
s
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolaege
isl_basic_map_ov
e
rl
y
in
g
_
set: don'
t
add div const
r
a
ints
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoola
e
ge
is
l
_
dim
.
c: upd
a
te n_name (only) when chan
g
i
n
g names
commit
|
commitdiff
|
tree
2009-02-15
S
v
en
Verd
o
olaege
fix serious err
o
r
i
n
isl_ma
t
_p
a
r
a
m
eter_compr
e
s
s
i
on
commit
|
commitdiff
|
tree
2009-02-11
Sven Ver
d
oolaege
export
is
l
_basic_map_intersect_ran
g
e
commit
|
commitdiff
|
tree
2009-02-11
Sven Verdoolae
g
e
add isl_basic_map_floordiv
commit
|
commitdiff
|
tree
2009-02-11
Sve
n
Verdoolaege
a
d
d isl
_
basic_map_fast_is_f
i
xed
commit
|
commitdiff
|
tree
2009-02-11
Sven Verdool
a
ege
a
d
d
i
sl_bas
i
c
_m
a
p_neg
commit
|
commitdiff
|
tree
2009-02-11
S
ven Verdoolaege
a
dd is
l
_basic_map_
s
um
commit
|
commitdiff
|
tree
2009-02-10
S
ven
Verdoolaege
add isl_map_fix_si, a g
e
n
er
a
li
z
ati
o
n
o
f isl_basic_map_fix
_
i
n
.
.
.
commit
|
commitdiff
|
tree
2009-02-04
S
v
en
V
erdoolaege
isl_map_simpl
i
fy
.
c: remo
v
e_dup
l
ic
a
te_divs
:
re
m
o
v
e div
s
.
.
.
commit
|
commitdiff
|
tree
2009-02-04
Sven Verdoolaege
isl_b
a
s
i
c_map_gauss: b
e
car
e
ful
n
ot to introduce circular
.
.
.
commit
|
commitdiff
|
tree
2009-02-04
S
ve
n
V
erdoolaege
ad
d
fun
c
tions for setting
isl_divs
commit
|
commitdiff
|
tree
2009-02-04
Sven Verdo
o
laege
isl_m
a
p_from_
q
uast: don't
throw away an
y
bottom leaves
commit
|
commitdiff
|
tree
2009-02-04
S
ven V
e
r
doolaege
is
l
_map_si
m
plif
y
.
c: nor
m
al
i
z
e_divs: fix use of variable
.
.
.
commit
|
commitdiff
|
tree
2009-02-04
Sven Verdoolaege
i
sl_mat_variable_compression: fix
u
se after fre
e
commit
|
commitdiff
|
tree
2009-02-03
Sven Verdoolaege
i
sl_map_simplify
.
c: norm
a
l
i
ze_divs: ensure enough exist
e
nt
i
a
.
.
.
commit
|
commitdiff
|
tree
2009-02-03
Sven Verdo
o
la
e
ge
isl_hash_
t
a
b
le_remov
e
:
u
p
d
ate
n
umb
e
r of entri
e
s
commit
|
commitdiff
|
tree
2009-01-22
Sven Verdoolaege
isl_map
_
sim
p
le_hull: plug memo
r
y l
e
ak
commit
|
commitdiff
|
tree
2009-01-09
Sven Verdoo
l
aeg
e
add std::ostream &
o
perator<<(
s
td
:
:ostr
e
a
m
&
o
s, isl_int
.
.
.
commit
|
commitdiff
|
tree
2009-01-08
S
v
en Ve
r
doolaege
n
o
rmalize divs involved
i
n
e
qualities
commit
|
commitdiff
|
tree
2009-01-08
Sven V
e
rdoo
l
aege
i
sl_map
_
u
n
der
l
ying_set: drop names fro
m
d
imesion i
n
.
.
.
commit
|
commitdiff
|
tree
2009-01-06
Sven Ver
d
oolaege
a
dd i
s
l_
m
at_p
a
rame
t
er_c
o
mpress
i
o
n
commit
|
commitdiff
|
tree
2009-01-06
S
v
en
Ver
d
oolaege
isl_equalities
.
c
: extract and expo
r
t
i
sl
_
m
at_variable_co
m
pre
.
.
.
commit
|
commitdiff
|
tree
2009-01-06
Sven
Verdo
o
laege
a
d
d
i
s
l
_
bas
i
c_set_is_empty
commit
|
commitdiff
|
tree
2009-01-06
Sv
e
n Verdoolaege
add isl
_
ma
t
_right_
k
ernel
commit
|
commitdiff
|
tree
2009-01-06
Sven Verdoolaege
add isl_mat_
c
ol_submul
commit
|
commitdiff
|
tree
2009-01-06
Sv
e
n Verdoolaege
is
l
_map_simpli
f
y
.
c: extract o
u
t
s
i
mpl
i
fy and relate
d
.
.
.
commit
|
commitdiff
|
tree
2009-01-06
Sven Verdoo
l
aege
isl_co
n
str
a
int: add
l
i
m
ited s
u
ppo
r
t for add
i
n
g divs
commit
|
commitdiff
|
tree
2009-01-06
Sven Verd
o
ol
a
ege
c
ha
n
ge calling
c
onventions o
f
isl_b
a
s
ic_set_has_defining_
.
.
.
commit
|
commitdiff
|
tree
2008-12-28
S
ven Verd
o
olaege
add isl_basi
c
_{set
,
m
ap}
_
d
i
m
commit
|
commitdiff
|
tree
2008-12-28
Sven Verdoo
l
aege
isl_bas
i
c_map_gist: also exploit equalit
i
es
i
n
g
i
s
t
ed set
commit
|
commitdiff
|
tree
2008-12-28
Sven Verdoolaege
isl_basic_ma
p
_overlying_
s
et: simplify resulti
n
g basic map
commit
|
commitdiff
|
tree
2008-12-23
Sven
V
erdool
a
ege
add
isl_div abstra
c
ti
o
n, similar to isl_co
n
straint
commit
|
commitdiff
|
tree
2008-12-22
Sven Verdoo
l
a
e
ge
isl_
b
a
s
i
c_set_com
p
are_at
:
combine con
s
traints befor
e
.
.
.
commit
|
commitdiff
|
tree
2008-12-22
Sve
n
Verdoola
e
g
e
isl_
m
ap_underlyi
n
g_set: align divs before
ca
l
ling this
.
.
.
commit
|
commitdiff
|
tree
2008-12-22
Sven Verdoo
l
aege
isl_bas
i
c_map
_
ov
e
r
l
ying_set
:
p
roperly handle di
v
s in
.
.
.
commit
|
commitdiff
|
tree
2008-12-22
Sven Verdoolaege
isl_basic_map_align_divs: d
o
n
't ma
k
e assu
m
ptions o
n
.
.
.
commit
|
commitdiff
|
tree
2008-12-22
Sv
e
n Verdoolaege
av
o
id increasi
n
g "ex
t
r
a" with
o
u
t al
s
o extending the
.
.
.
commit
|
commitdiff
|
tree
2008-12-19
Sven Verdoolaege
add isl_se
t
_universe
commit
|
commitdiff
|
tree
2008-12-19
S
v
en Verdoolaege
remove isl_
c
tx argument from
fun
c
tions
accepting i
s
l_dim
.
.
.
commit
|
commitdiff
|
tree
2008-12-19
Sven V
e
rdoola
e
ge
isl
_
c
o
nvex_hull
.
c: r
e
move dead code
commit
|
commitdiff
|
tree
2008-12-15
Sven Verdoolaeg
e
add isl_
c
o
n
s
t
raint_nega
t
e
commit
|
commitdiff
|
tree
2008-12-14
S
v
e
n
Verd
o
olaege
ad
d
is
l
_basic_set
_
add
_
c
o
nstraint for adding man
u
all
y
.
.
.
commit
|
commitdiff
|
tree
2008-12-14
Sven Verdoolaege
replace
isl_basic_set_c
o
n
stra
i
nt by refc
o
u
nte
d
i
sl_const
r
a
i
n
t
commit
|
commitdiff
|
tree
2008-12-14
Sven Verdoola
e
ge
allow
p
arameters and dimensions
t
o
b
e na
m
ed
commit
|
commitdiff
|
tree
2008-12-14
Sven Verdoola
e
ge
intro
d
uce isl_hash_table and move hashing declarations
.
.
.
commit
|
commitdiff
|
tree
2008-12-14
Sven
V
e
rdoolaeg
e
in
t
roduce internal isl_dim_m
a
p for repres
e
nt
i
ng mappings
.
.
.
commit
|
commitdiff
|
tree
2008-12-14
Sven
V
e
r
doolaege
introduce isl_dim structure
f
or re
p
res
e
nt
i
n
g
shared
.
.
.
commit
|
commitdiff
|
tree
2008-12-14
Sv
e
n
Ve
r
d
oo
l
aege
isl_map
.
c: avoid pote
n
t
i
al NU
L
L dereference
commit
|
commitdiff
|
tree
2008-12-02
Sven Verdoo
l
aege
A
dd
backup mp_get_memory_
f
unction
s
implementation for
.
.
.
commit
|
commitdiff
|
tree
2008-12-02
Sv
e
n Verdoolaege
isl_
m
ap
.
c: fix typ
o
i
n comment
commit
|
commitdiff
|
tree
2008-12-02
Sven Verdoolaege
add gis
t
te
s
t
commit
|
commitdiff
|
tree
2008-11-11
Sven V
e
rd
o
olaege
update piplib f
o
r im
p
roved efficienc
y
commit
|
commitdiff
|
tree
2008-11-08
Sven Verdoolaege
add isl_set_dim_is_uniqu
e
commit
|
commitdiff
|
tree
2008-11-08
S
v
e
n Verdoolaege
add is
l
_s
e
t_get_hash
commit
|
commitdiff
|
tree
2008-11-08
Sven Verdoolaege
isl_m
a
p
.
c: fix typo in com
m
ent
commit
|
commitdiff
|
tree
2008-11-08
Sven Verdoolaege
is
l
_
b
asi
c
_map_alloc_div:
cl
e
ar unuse
d
ex
t
ra c
o
e
ff
i
ci
e
n
t
s
commit
|
commitdiff
|
tree
2008-10-24
Sven Verd
o
o
laeg
e
a
d
d isl_b
a
sic_
s
et
_
r
e
m
ov
e
_d
i
vs
commit
|
commitdiff
|
tree
2008-10-14
Sv
e
n Verdo
o
laege
use GMP
f
lags when comp
i
ling i
s
l
_test
commit
|
commitdiff
|
tree
2008-10-14
S
v
en V
e
rdo
o
laege
u
se uint_32_t from
s
tdint
.
h ins
t
ead of u_i
n
t
_32_t
commit
|
commitdiff
|
tree
2008-10-14
Sven
V
erd
o
olae
g
e
update piplib f
o
r lice
n
se ch
a
n
g
e
a
nd release
isl
u
nd
e
r
.
.
.
commit
|
commitdiff
|
tree
2008-10-14
Sven Verdoolaege
c
l
ear extra co
e
ffi
c
ient
s
i
n is
l
_b
a
si
c
_ma
p
_
a
l
l
oc_{in
.
.
.
commit
|
commitdiff
|
tree
2008-10-14
S
v
e
n Verd
o
o
l
aege
isl_{
s
et,map}_dup:
c
opy su
b
sets inste
a
d
of duping them
commit
|
commitdiff
|
tree
2008-10-14
Sven Verdoola
e
ge
isl
_
bas
i
c_map_eliminate_va
r
s: update number o
f
ex
t
ra
.
.
.
commit
|
commitdiff
|
tree
2008-10-14
Sven
V
e
rdoolaege
i
s
l_ba
s
ic
_
map_gis
t
: unique
l
ower
or upper bounds are
.
.
.
commit
|
commitdiff
|
tree
2008-10-14
Sven Verdo
o
laege
isl
_
b
asic_map_conve
x
_h
u
ll: unique lower or u
p
per bounds
.
.
.
commit
|
commitdiff
|
tree
next