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
Sven Verdoolaege
chang
e
calling conv
e
ntion of isl
_
bas
i
c_map_{equal
,
l
e
ss_at
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sv
e
n
V
erdoolaege
add isl_map_c
o
py
_
basic_map a
n
d is
l
_map
_
drop_basic_map
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolaege
add isl_map_f
r
om_range
commit
|
commitdiff
|
tree
2009-02-22
S
ven
V
e
r
doolae
g
e
add isl_ma
p
_
f
ast_is_empty
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolaege
change calling
c
onvention of isl_map_empty and
a
dd
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sven
Verdoolaege
isl_map
_
intersect_{domain,rang
e
}
: all
o
w intersection
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sven Verd
o
ol
a
ege
i
s
l
_
map_interse
c
t: allow interse
c
ti
o
n with p
u
re parameter
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolaege
isl_basic_map_affine_
h
ull:
f
ix sear
c
h for integer points
commit
|
commitdiff
|
tree
2009-02-22
S
v
en Ver
d
oolaege
isl_basic_map
_
overlying_set
:
don't add
div co
n
s
t
raints
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sven
Ve
r
d
oolaege
isl_dim
.
c: update n_name (only) wh
e
n c
h
anging names
commit
|
commitdiff
|
tree
2009-02-15
Sven Ve
r
doolaege
fix
s
erious error in
i
sl_ma
t
_
parame
t
er_compression
commit
|
commitdiff
|
tree
2009-02-11
Sven V
e
rdoolaege
ex
p
ort isl_bas
i
c_
m
ap_intersec
t
_range
commit
|
commitdiff
|
tree
2009-02-11
Sven V
e
rdo
o
laege
add isl
_
b
a
s
ic_map_floo
r
div
commit
|
commitdiff
|
tree
2009-02-11
Sven
V
e
r
doolaege
add
i
sl_
b
asic_map_fast_is_fixed
commit
|
commitdiff
|
tree
2009-02-11
Sven Verdoo
l
aege
add is
l
_basic_
m
a
p
_
neg
commit
|
commitdiff
|
tree
2009-02-11
Sven Verdoolaege
add isl
_
basi
c
_map_sum
commit
|
commitdiff
|
tree
2009-02-10
Sven V
e
rdoolaege
a
dd isl_map_fix_
s
i,
a generalization of isl_bas
i
c_map_
f
ix_in
.
.
.
commit
|
commitdiff
|
tree
2009-02-04
S
v
e
n Verdoolaege
i
s
l_ma
p
_simplify
.
c:
r
e
m
ove
_
duplicate_divs: remove
divs
.
.
.
commit
|
commitdiff
|
tree
2009-02-04
Sven Verdoolaeg
e
is
l
_ba
s
ic_map_
g
auss: be c
a
reful no
t
t
o
in
t
roduce circu
l
ar
.
.
.
commit
|
commitdiff
|
tree
2009-02-04
Sven Ver
d
oolaeg
e
add functions fo
r
setting is
l
_divs
commit
|
commitdiff
|
tree
2009-02-04
Sven Verd
o
olaege
i
s
l_map_fro
m
_quast: don't thr
o
w away an
y
bottom leaves
commit
|
commitdiff
|
tree
2009-02-04
Sven Verdoolaege
isl_map_simpl
i
fy
.
c: norma
l
i
ze_divs: fix use
o
f
v
a
riable
.
.
.
commit
|
commitdiff
|
tree
2009-02-04
Sven Verdo
o
laege
i
sl
_
m
at_variab
l
e_compre
s
sion: fix use after
free
commit
|
commitdiff
|
tree
2009-02-03
Sven Ver
d
o
o
laege
i
sl_map_
s
i
m
plif
y
.
c: norma
l
i
z
e_divs: en
s
u
re enough ex
i
stentia
.
.
.
commit
|
commitdiff
|
tree
2009-02-03
Sven Verdoolaege
isl_hash_tab
l
e_remove: updat
e
num
b
er
of entries
commit
|
commitdiff
|
tree
2009-01-22
Sven Verdoolaege
i
sl_
m
ap_simpl
e
_hull: p
l
ug
memory leak
commit
|
commitdiff
|
tree
2009-01-09
Sv
e
n Verdoolaege
add
std::ost
r
e
am
&
o
pera
t
or<<(s
t
d::o
s
tream &os,
isl_int
.
.
.
commit
|
commitdiff
|
tree
2009-01-08
Sven Verdoolaege
n
o
rmalize di
v
s i
n
vo
l
ved in equaliti
e
s
commit
|
commitdiff
|
tree
2009-01-08
Sven Verdool
a
e
ge
isl_m
a
p_underlying_set: drop na
m
es from
d
imesion i
n
.
.
.
commit
|
commitdiff
|
tree
2009-01-06
Sven Verdoolae
g
e
a
d
d
i
s
l_mat_parameter_compression
commit
|
commitdiff
|
tree
2009-01-06
S
ven Ver
d
o
o
l
a
e
g
e
isl_eq
u
alities
.
c: extract an
d
ex
p
ort isl_mat_varia
b
le_compre
.
.
.
commit
|
commitdiff
|
tree
2009-01-06
Sven Verdo
o
lae
g
e
add isl_basic
_
set
_
is_empt
y
commit
|
commitdiff
|
tree
2009-01-06
Sven V
e
rdoolae
g
e
add isl_
m
at_right_
k
ernel
commit
|
commitdiff
|
tree
2009-01-06
Sven Verd
o
olae
g
e
add isl
_
mat_col_submul
commit
|
commitdiff
|
tree
2009-01-06
S
v
en Verdoolaege
add i
s
l_
s
e
q
_submul
commit
|
commitdiff
|
tree
2009-01-06
Sven Verdoolaege
is
l
_map_simplify
.
c: extract ou
t
simpl
i
f
y and related
.
.
.
commit
|
commitdiff
|
tree
2009-01-06
Sve
n
Ve
r
doolaege
isl_constrai
n
t: add
limited
support
fo
r
a
d
ding divs
commit
|
commitdiff
|
tree
2009-01-06
S
v
en Verdoolaeg
e
ch
a
nge call
i
ng con
v
entio
n
s
o
f isl_basic_set
_
ha
s
_de
f
ining_
.
.
.
commit
|
commitdiff
|
tree
2008-12-28
S
v
en
V
erdoo
l
aege
add isl_bas
i
c_{set,map}_dim
commit
|
commitdiff
|
tree
2008-12-28
Sven
V
er
d
oolaege
isl_ba
s
ic_map_gist:
a
l
s
o
exploit equ
a
li
t
i
es in gist
e
d s
e
t
commit
|
commitdiff
|
tree
2008-12-28
Sven Verd
o
olae
g
e
isl_basic_map_over
l
y
i
ng_set: simplif
y
resulting ba
s
i
c
map
commit
|
commitdiff
|
tree
2008-12-25
Sven Verdoolaege
isl_st
r
eam:
pr
o
perl
y
reference c
t
x
commit
|
commitdiff
|
tree
2008-12-25
S
v
en Verd
o
ol
a
ege
isl_
s
tream
.
c: extrac
t
ed from isl_
i
n
put_omega
.
c
commit
|
commitdiff
|
tree
2008-12-25
Sve
n
Ve
r
doolae
g
e
add i
s
l_basic_se
t
_read_
f
rom_st
r
commit
|
commitdiff
|
tree
2008-12-24
Sven
V
erdoola
e
ge
export
i
sl
_
set_c
o
m
p
ute_divs
commit
|
commitdiff
|
tree
2008-12-24
Sve
n
Verdoolaege
isl_basic_map_ali
g
n
_
divs: che
c
k divs of src
basic ma
p
.
.
.
commit
|
commitdiff
|
tree
2008-12-24
Sven
Verdoolaege
isl_map_gist: ensure
d
ivs of map ar
e
known
commit
|
commitdiff
|
tree
2008-12-24
S
v
en V
e
rdoolaege
isl_bas
i
c_map_
c
omput
e
_
divs: only (re)com
p
ute divs
i
f
.
.
.
commit
|
commitdiff
|
tree
2008-12-24
Sve
n
Verdoolaege
isl_b
a
sic_map_elimin
a
te
_
vars
:
b
e
tter
h
a
n
dling of div
s
commit
|
commitdiff
|
tree
2008-12-23
Sven Verdoola
e
g
e
add isl_div ab
s
trac
t
ion, sim
i
l
a
r
to i
s
l_
c
onstraint
commit
|
commitdiff
|
tree
2008-12-22
Sv
e
n
Verdoolaege
isl_basic_set_
c
ompare_at: combine
c
onstraints b
e
for
e
.
.
.
commit
|
commitdiff
|
tree
2008-12-22
S
v
e
n Verdoo
l
aege
isl_m
a
p_u
n
derlying_set:
a
lign divs b
e
for
e
c
a
lling this
.
.
.
commit
|
commitdiff
|
tree
2008-12-22
Sven Ve
r
doolaege
i
sl_basic_m
a
p_overlyin
g
_set: pro
p
erly handle divs in
.
.
.
commit
|
commitdiff
|
tree
2008-12-22
Sven Verdoolaege
isl_
b
asic_ma
p
_align_divs: don't make assu
m
ptions on
.
.
.
commit
|
commitdiff
|
tree
2008-12-22
Sve
n
V
erd
o
o
l
aege
avoid increasing
"
e
x
tra" withou
t
also
e
xtending the
.
.
.
commit
|
commitdiff
|
tree
2008-12-19
Sve
n
Verd
o
olaege
add isl_set_universe
commit
|
commitdiff
|
tree
2008-12-19
Sven
V
erd
o
olaege
remove isl_ct
x
a
rg
u
me
n
t
from functions accepting
i
sl_dim
.
.
.
commit
|
commitdiff
|
tree
2008-12-19
Sven Verdoo
l
aeg
e
isl
_
c
onvex_hu
l
l
.
c: r
e
m
ov
e
d
e
a
d code
commit
|
commitdiff
|
tree
2008-12-15
Sven Verdo
o
laege
add isl_constraint_negate
commit
|
commitdiff
|
tree
2008-12-14
Sven Verdool
a
ege
add
i
sl_basic_set_ad
d
_c
o
nstraint for addin
g
manu
a
l
l
y
.
.
.
commit
|
commitdiff
|
tree
2008-12-14
Sve
n
Verdoola
e
ge
replace isl_b
a
si
c
_s
e
t_cons
t
r
a
int by refc
o
unted isl_constrai
n
t
commit
|
commitdiff
|
tree
2008-12-14
Sve
n
V
erdool
a
e
ge
allow parameters an
d
d
imensions to be na
m
e
d
commit
|
commitdiff
|
tree
2008-12-14
S
ven
Verd
o
olaege
introduce i
s
l
_hash_table and
move hashing dec
l
arations
.
.
.
commit
|
commitdiff
|
tree
2008-12-14
Sven Ve
r
doola
e
ge
intro
d
uce inter
n
al isl_dim_map for r
e
presenting mappings
.
.
.
commit
|
commitdiff
|
tree
2008-12-14
Sven Verdoolaege
introduce
isl_dim
structure for
r
e
pre
s
enting shared
.
.
.
commit
|
commitdiff
|
tree
2008-12-14
Sven Ve
r
doo
l
aeg
e
i
sl_m
a
p
.
c: avoid potential
NULL de
r
ef
e
rence
commit
|
commitdiff
|
tree
2008-12-02
Sven Verdoolaege
Ad
d
b
a
ckup mp_g
e
t_memory_f
u
nctions implemen
t
ation for
.
.
.
commit
|
commitdiff
|
tree
2008-12-02
S
v
en V
e
rdoolaege
isl_map
.
c: fi
x
ty
p
o in
comment
commit
|
commitdiff
|
tree
2008-12-02
S
ven Verdoolaege
add gi
s
t test
commit
|
commitdiff
|
tree
2008-11-11
Sv
e
n Verdoo
l
aege
u
pdate
pipli
b
f
o
r i
m
pr
o
ved
e
fficiency
commit
|
commitdiff
|
tree
2008-11-08
Sven Ver
d
ool
a
ege
add isl_set_
d
im_is
_
unique
commit
|
commitdiff
|
tree
2008-11-08
Sven Verdoolaege
a
d
d isl_set_g
e
t
_hash
commit
|
commitdiff
|
tree
2008-11-08
Sv
e
n Verdoolaege
isl_
m
ap
.
c:
f
i
x typo in comm
e
n
t
commit
|
commitdiff
|
tree
2008-11-08
Sven
V
erdool
a
e
g
e
i
s
l_basic_map_alloc_div: clear unused extra co
e
f
ficie
n
ts
commit
|
commitdiff
|
tree
2008-10-24
Sv
e
n Verdoo
l
ae
g
e
add isl_basic_
s
et_
r
e
move_d
i
vs
commit
|
commitdiff
|
tree
2008-10-14
Sve
n
Verdoolaege
u
s
e
G
MP flags w
h
e
n
c
ompiling isl_test
commit
|
commitdiff
|
tree
2008-10-14
Sven Verdoolaege
use uint_32_t
from stdint
.
h instead of u_i
n
t_32_t
commit
|
commitdiff
|
tree
2008-10-14
Sven Verdoolaeg
e
update piplib
f
o
r license change
and release isl
u
n
der
.
.
.
commit
|
commitdiff
|
tree
2008-10-14
S
ve
n
V
er
d
oolaege
clear extr
a
coeffici
e
nts in isl_ba
s
ic_map_alloc_
{
i
n
.
.
.
commit
|
commitdiff
|
tree
2008-10-14
Sven
V
erdoolaege
isl_{se
t
,map}_dup:
copy subsets instead of duping them
commit
|
commitdiff
|
tree
2008-10-14
Sven Verdoolaege
isl_basi
c
_map_el
i
mi
n
ate_vars: update
num
b
er of extra
.
.
.
commit
|
commitdiff
|
tree
2008-10-14
Sv
e
n Ve
r
do
o
laege
isl_b
a
sic_map_
g
ist
:
u
nique lower or upper bo
u
nds are
.
.
.
commit
|
commitdiff
|
tree
2008-10-14
Sven Verdoolaege
isl_basic_ma
p
_
c
on
v
ex_hull: unique
l
ower or
u
pper bounds
.
.
.
commit
|
commitdiff
|
tree
2008-10-14
Sven Verdoolaeg
e
isl_basic_set_gist:
remove
r
e
du
n
dant constraints with
.
.
.
commit
|
commitdiff
|
tree
2008-10-14
Sven Ver
d
oolaege
add some f
u
nc
t
i
on
s
f
or manipulati
n
g
con
s
t
r
aints
commit
|
commitdiff
|
tree
2008-10-14
Sven Verdoolaeg
e
e
xport isl_b
a
sic_s
e
t_dup
commit
|
commitdiff
|
tree
2008-10-14
S
ven Verdoolaege
isl_se
t
_g
i
s
t
: reduce result u
s
ing equa
l
ities of contex
t
commit
|
commitdiff
|
tree
2008-10-14
S
ven V
e
rdoolaege
add isl_basic_set_i
n
terval and i
s
l_
b
as
i
c_set_product
commit
|
commitdiff
|
tree
2008-10-14
Sven V
e
rdoolaege
add isl_set_simple_
h
ull
commit
|
commitdiff
|
tree
2008-10-14
Sven Verdool
a
ege
add i
s
l_set_fa
s
t
_is_disjoint
commit
|
commitdiff
|
tree
2008-10-13
Sven
V
erdoo
l
aege
export isl_set_elimin
a
te
_
di
m
s
commit
|
commitdiff
|
tree
2008-10-13
Sven Verdoolaege
a
d
d isl_basic_set_print and isl_set_print fo
r
printing
.
.
.
commit
|
commitdiff
|
tree
2008-10-13
Sv
e
n Ver
d
o
o
l
aege
ad
d
i
sl_{set,map}_fast_is_equal
commit
|
commitdiff
|
tree
2008-10-13
Sve
n
V
erdoolaege
isl_basic_map_eliminate_vars: ensure
v
ariable is el
i
minat
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-10-13
Sven Ve
r
doolaeg
e
add isl_m
a
p_remove_inputs
commit
|
commitdiff
|
tree
2008-10-13
Sv
e
n Verdoolaege
ad
d
isl_set_lower_
b
oun
d
_
dim
commit
|
commitdiff
|
tree
2008-10-13
Sven Verdoolaege
add isl_set_fast_dim_has_fixe
d
_l
o
wer_bound
commit
|
commitdiff
|
tree
2008-10-13
S
v
en Verdo
o
laege
add
i
s
l_basic
_
set_dim_residue_cla
s
s
commit
|
commitdiff
|
tree
2008-10-13
Sven Verdoolaege
add isl_
s
et_gist
commit
|
commitdiff
|
tree
2008-10-13
Sve
n
V
e
rdoolaege
ad
d
isl_set_fas
t
_
d
im_is_fix
e
d and isl_map_fast_
i
nput_i
s
_fixed
commit
|
commitdiff
|
tree
next