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_set_dim
2009-03-20
Sv
e
n Verdoolaege
add isl_set_dim
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
privat
e
ly export
isl_basic_{set,map}_normalize_constraints
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verdoolaege
add isl_basic_
s
et_extend_dim
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdoolaege
isl_b
a
sic_
m
ap_elim
i
nate_vars: clear divs first
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdoolaege
isl_b
a
sic
_
map_
e
l
i
minat
e
_var
s
:
re
m
ove
a
ll dependent
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
Ve
r
doo
l
aege
add
i
sl_hash_table_alloc
and isl_hash_table_free
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdo
o
laege
isl_has
h
_
t
able_init: tak
e
minimal
size inste
a
d
of number
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_{ba
s
i
c_,}set_pr
e
imag
e
: drop
c
tx argumen
t
commit
|
commitdiff
|
tree
2009-03-20
S
v
e
n Verdoolae
g
e
i
s
l_basic_map_intersect: reuse sa
m
ple value of either
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
add isl_int
_
ge
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdoola
e
ge
isl_basic_set_has
_
d
e
fining_i
n
eq
u
alities: fix typo
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verd
o
ol
a
e
g
e
i
s
l_con
s
traint_div
:
p
erform required
r
e
ference increase
.
.
.
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdoolaege
isl_b
a
sic_map
:
pu
t
inequ
a
l
i
ti
e
s
b
efore
equalities
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdoo
l
a
e
ge
add isl_seq_
n
ormalize
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdoola
e
ge
isl_ctx
.
h: make FL_ISSET
r
e
turn a boole
a
n value
commit
|
commitdiff
|
tree
2009-03-08
Sven
Ve
r
doolaege
r
ename F_ and FL_ macro
s
t
o IS
L
_F_ and ISL_FL_ to avoid
.
.
.
commit
|
commitdiff
|
tree
2009-03-08
Sven Ve
r
doolaege
add
isl_mat_swap_cols
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdoolaege
i
sl_mat_dump: al
s
o indent
N
ULL mat
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdoolaege
add isl_calloc_type
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdoo
l
aeg
e
isl_map_convex_hull: norm
a
li
z
e map first
commit
|
commitdiff
|
tree
2009-03-08
S
v
en Verdoo
l
aege
isl_
s
et_preimage: cl
e
ar ISL_S
E
T_NORMA
L
IZED
flag
commit
|
commitdiff
|
tree
2009-02-23
Sven Ve
r
d
o
olaege
add isl_basic_map_d
e
tect_equalities
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoo
l
aege
add
isl
_
map_remov
e
commit
|
commitdiff
|
tree
2009-02-22
Sve
n
Verdoolaege
export isl_basic_map_is_equa
l
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdo
o
laege
add isl_basic_map_remove
commit
|
commitdiff
|
tree
2009-02-22
Sve
n
Verdoolaege
add i
s
l_dim_ra
n
ge
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolaege
a
d
d isl_map_p
r
oduc
t
commit
|
commitdiff
|
tree
2009-02-22
Sve
n
Verdoolaege
add isl_b
a
si
c
_map_add_cons
t
raint
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoo
l
a
e
ge
ad
d
isl_dim_add
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolaege
isl_map_
p
iplib
.
c:
isl
_
map_from_quast: properly keep
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolae
g
e
change
c
alling convention of isl_basic_map_{
e
qual,
l
ess_at
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolaege
add isl_m
a
p_c
o
py_basi
c
_map and
i
sl_ma
p
_drop_basi
c
_map
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdool
a
ege
add isl
_
map_from_range
commit
|
commitdiff
|
tree
2009-02-22
Sv
e
n
V
erdoo
l
aege
add isl_map_fast_is_empty
commit
|
commitdiff
|
tree
2009-02-22
Sven
V
e
r
doolaege
change
c
alling c
o
nvention of isl_ma
p
_emp
t
y and add
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
S
ven
V
erdoola
e
ge
isl
_
map_intersect_{
d
o
ma
i
n,r
a
nge}: allow intersection
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdo
o
la
e
ge
i
s
l
_
m
ap_int
e
rsect: allow
i
ntersec
t
ion with pure parameter
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sven Ve
r
doola
e
g
e
isl_ba
s
ic_map_affin
e
_hull: fix
s
earch f
o
r int
e
ger
p
o
i
nts
commit
|
commitdiff
|
tree
2009-02-22
Sven Verd
o
olaege
isl_basic_map_ov
e
rl
y
ing
_
set: don't add div constraints
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
S
ven Verdoo
l
aege
i
s
l_d
i
m
.
c: upd
a
te
n
_name (only) when ch
a
ngin
g
names
commit
|
commitdiff
|
tree
2009-02-15
Sven
V
erdoolaege
fix serious
error in isl_mat_parameter_compression
commit
|
commitdiff
|
tree
2009-02-11
Sven Ver
d
o
olaege
ex
p
or
t
i
sl_basic_map_intersect
_
range
commit
|
commitdiff
|
tree
2009-02-11
Sven Verdoo
l
aege
a
d
d isl_basic_map_floor
d
iv
commit
|
commitdiff
|
tree
2009-02-11
Sv
e
n Verdoolae
g
e
add isl_ba
s
ic_map_fast_is_fixed
commit
|
commitdiff
|
tree
2009-02-11
Sve
n
Verdoolaege
add isl_
b
a
s
ic_map_neg
commit
|
commitdiff
|
tree
2009-02-11
Sve
n
Verdoolaege
add
isl_basic_map_sum
commit
|
commitdiff
|
tree
2009-02-10
S
ven Verdoo
l
aege
add isl_m
a
p_fix_si,
a
genera
l
ization of isl_basic_m
a
p
_fix_in
.
.
.
commit
|
commitdiff
|
tree
2009-02-04
Sven Ver
d
ool
a
ege
isl_ma
p
_simplif
y
.
c: remove_
d
uplic
a
te_divs: r
e
move
d
ivs
.
.
.
commit
|
commitdiff
|
tree
2009-02-04
Sv
e
n Verd
o
ol
a
eg
e
isl_basic_map_gauss:
be ca
r
eful not to introduce circu
l
ar
.
.
.
commit
|
commitdiff
|
tree
2009-02-04
Sve
n
Verdoola
e
ge
add functi
o
ns for sett
i
ng i
s
l
_divs
commit
|
commitdiff
|
tree
2009-02-04
Sven Verdoo
l
aege
isl_map_from_quast: don't throw away any
b
ottom lea
v
es
commit
|
commitdiff
|
tree
2009-02-04
S
v
en Verdoolaege
isl_map_si
m
pli
f
y
.
c: no
r
malize_divs: fix use of
vari
a
ble
.
.
.
commit
|
commitdiff
|
tree
2009-02-04
Sven Verdoola
e
ge
isl_mat_variable_compression: fix use after free
commit
|
commitdiff
|
tree
2009-02-03
Sven Ver
d
oo
l
aege
isl
_
map
_
simplify
.
c:
n
ormalize_divs: ensu
r
e
en
o
ugh existen
t
ia
.
.
.
commit
|
commitdiff
|
tree
2009-02-03
Sv
e
n Verdoolaege
isl_hash
_
table_remo
v
e:
upd
a
t
e
number
o
f e
n
tries
commit
|
commitdiff
|
tree
2009-01-22
Sven
Verd
o
ola
e
ge
isl_ma
p
_simple
_
hull:
plug
m
em
o
ry leak
commit
|
commitdiff
|
tree
2009-01-09
S
v
en
V
e
rdo
o
laege
add
s
td::ost
r
eam &ope
r
a
tor<<(std:
:
o
s
tr
e
am &os, isl_int
.
.
.
commit
|
commitdiff
|
tree
2009-01-08
Sve
n
Verdoolaege
normalize divs inv
o
lved in equa
l
ities
commit
|
commitdiff
|
tree
2009-01-08
Sven Verdoolae
g
e
is
l
_ma
p
_un
d
er
l
y
i
ng_set: drop na
m
es f
r
om dimes
i
on in
.
.
.
commit
|
commitdiff
|
tree
2009-01-06
Sven
Verdo
o
laege
add isl
_
mat_paramete
r
_
c
ompress
i
on
commit
|
commitdiff
|
tree
2009-01-06
Sven Verdo
o
laege
isl_equalities
.
c
: extract and export isl_mat_variable_
c
ompre
.
.
.
commit
|
commitdiff
|
tree
2009-01-06
S
v
en Verdo
o
laege
ad
d
is
l
_basic_set_is_empty
commit
|
commitdiff
|
tree
2009-01-06
Sven
V
erdoolaege
add isl_
m
at_righ
t
_kernel
commit
|
commitdiff
|
tree
2009-01-06
Sve
n
Ver
d
oolaege
add isl_m
a
t_col_submul
commit
|
commitdiff
|
tree
2009-01-06
Sven Ver
d
oolaege
ad
d
isl_
s
eq_submul
commit
|
commitdiff
|
tree
2009-01-06
Sven Verdoola
e
ge
isl_map_s
i
m
p
lify
.
c:
e
x
t
rac
t
out simplify and r
e
l
ated
.
.
.
commit
|
commitdiff
|
tree
2009-01-06
Sven Verdoolaege
isl_constraint
:
add lim
i
ted support for ad
d
ing
d
ivs
commit
|
commitdiff
|
tree
2009-01-06
S
v
en V
e
rdoolae
g
e
ch
a
nge call
i
ng
conventions of isl_bas
i
c_set_has_defining_
.
.
.
commit
|
commitdiff
|
tree
2008-12-28
Sven
Verdoolaege
add
i
sl_basic_{set,map}_dim
commit
|
commitdiff
|
tree
2008-12-28
Sven Verdool
a
ege
isl_basic_m
a
p_gist: also e
x
ploi
t
e
q
uali
t
ies in gisted set
commit
|
commitdiff
|
tree
2008-12-28
S
v
en Verdoolae
g
e
isl_basic_map_overly
i
ng_set
:
simplify res
u
lting ba
s
ic map
commit
|
commitdiff
|
tree
2008-12-25
Sven
Verdoolaege
isl_s
t
ream: properly reference ctx
commit
|
commitdiff
|
tree
2008-12-25
S
v
en Verdool
a
ege
i
sl_stream
.
c: extracted from isl_input_
o
m
e
ga
.
c
commit
|
commitdiff
|
tree
2008-12-25
Sven
V
er
d
oolaege
a
dd is
l
_basic_set_r
e
ad_
f
rom_
s
tr
commit
|
commitdiff
|
tree
2008-12-24
Sven
V
erdoolaege
export
isl
_
set_compute_div
s
commit
|
commitdiff
|
tree
2008-12-24
Sve
n
V
e
rdoolaege
is
l
_b
a
sic_map_align_divs: check divs of sr
c
basic map
.
.
.
commit
|
commitdiff
|
tree
2008-12-24
Sven Verdo
o
laege
isl_map_gi
s
t
: ensure d
i
vs o
f
m
a
p ar
e
known
commit
|
commitdiff
|
tree
2008-12-24
Sven Verdoola
e
g
e
isl_bas
i
c_
m
ap_comp
u
t
e_
d
i
vs:
only (
r
e)compute di
v
s i
f
.
.
.
commit
|
commitdiff
|
tree
2008-12-24
S
v
en Verdoolaege
isl_basic_ma
p
_eliminate_var
s
:
b
etter handling
o
f
divs
commit
|
commitdiff
|
tree
2008-12-23
Sven Verdoolaege
add isl_
d
iv
a
bstr
a
c
tion,
s
imi
l
a
r
t
o isl_c
o
nstraint
commit
|
commitdiff
|
tree
2008-12-22
Sven
V
erdoo
l
aege
isl_basic_set_compare_at: combine con
s
t
r
a
ints before
.
.
.
commit
|
commitdiff
|
tree
2008-12-22
Sve
n
V
e
rdoo
l
aeg
e
isl_
m
a
p
_unde
r
l
ying_set:
align div
s
before ca
l
l
ing
this
.
.
.
commit
|
commitdiff
|
tree
2008-12-22
Sven Verdoolaege
i
sl
_
basi
c
_map_overlying_
s
et: properly handle d
i
v
s
in
.
.
.
commit
|
commitdiff
|
tree
2008-12-22
Sven
V
er
d
o
olaege
isl_b
a
sic_map_align_di
v
s: do
n
't m
a
k
e
assumpti
o
n
s on
.
.
.
commit
|
commitdiff
|
tree
2008-12-22
Sven
V
erdoolaege
avoid incre
a
sing "extra" wi
t
hout
a
l
so extendi
n
g the
.
.
.
commit
|
commitdiff
|
tree
2008-12-19
Sven Verdoolaege
add isl_set_
u
niverse
commit
|
commitdiff
|
tree
2008-12-19
S
ven Verdoola
e
ge
remove isl_ctx argu
m
ent f
r
om functions accepting is
l
_di
m
.
.
.
commit
|
commitdiff
|
tree
2008-12-19
Sven Ve
r
dool
a
eg
e
isl_
c
onvex_hull
.
c: remove dead code
commit
|
commitdiff
|
tree
2008-12-15
Sven Ve
r
doolaege
a
d
d isl_con
s
traint_
n
eg
a
te
commit
|
commitdiff
|
tree
2008-12-14
Sve
n
V
erdoolae
g
e
add isl_basic_set_ad
d
_
c
onstr
a
int for
a
dding man
u
ally
.
.
.
commit
|
commitdiff
|
tree
2008-12-14
Sven Verd
o
o
l
aege
replac
e
isl_b
a
s
ic_se
t
_con
s
tra
i
nt by r
e
fcount
e
d isl_constraint
commit
|
commitdiff
|
tree
2008-12-14
Sven
Verdoola
e
ge
a
l
low pa
r
ameters and dimensions to
b
e named
commit
|
commitdiff
|
tree
2008-12-14
S
ven Verdoolaege
in
t
roduc
e
isl_hash_table and mo
v
e hashing declarations
.
.
.
commit
|
commitdiff
|
tree
2008-12-14
Sven Verdoola
e
g
e
introduce inte
r
nal isl_dim_map for repr
e
senting
m
a
ppings
.
.
.
commit
|
commitdiff
|
tree
2008-12-14
Sven
Ver
d
o
olaege
introd
u
c
e isl_dim structure for representing
s
h
a
r
ed
.
.
.
commit
|
commitdiff
|
tree
2008-12-14
Sve
n
Verdoolaege
isl_ma
p
.
c: avo
i
d
p
o
ten
t
ial NULL dere
f
erence
commit
|
commitdiff
|
tree
2008-12-02
Sven Verdoolaeg
e
Add backup mp_get_memory_functi
o
ns impl
e
mentation for
.
.
.
commit
|
commitdiff
|
tree
2008-12-02
Sve
n
Verdoolaege
isl_map
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2008-12-02
Sv
e
n
Verdo
o
la
e
ge
add gist test
commit
|
commitdiff
|
tree
2008-11-11
Sve
n
Ve
r
doolaege
upd
a
te pip
l
ib for
i
mproved efficiency
commit
|
commitdiff
|
tree
next