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_convex_hull: check for boundedness using recession cone
2009-03-20
Sve
n
Verdoolaege
isl_map_con
v
e
x
_
h
ull
:
ch
e
ck for boundedness using recession
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
ol
a
ege
i
s
l_basi
c
_map_convex_hu
l
l
: use tableau to detect
r
edundant
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolae
g
e
isl_tab
.
c: d
o
n't d
e
tect eq
u
alities while setting up
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
er
d
oolaege
add isl_mat_extend
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
add isl_set_dim
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
private
l
y export
i
sl_b
a
s
i
c_{set,map}_norma
l
iz
e
_constra
i
nts
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rdoolaege
add isl_basic_se
t
_
e
xtend_dim
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
doola
e
g
e
isl_basic
_
map_el
i
mina
t
e_vars:
clear divs
fir
s
t
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_basic_map_
e
lim
i
nate_vars:
remo
v
e all dependent
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdoolae
g
e
a
d
d
i
s
l_
h
a
sh_tab
l
e_al
l
o
c and isl
_
has
h
_ta
b
le_free
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdoolaege
isl_hash_table_init: take minimal size inst
e
ad o
f
number
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_{basic_,}set_preimage:
d
rop ctx argument
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_basi
c
_map_intersect:
r
euse sam
p
le value of either
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
olaege
a
d
d
isl_int_ge
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoo
l
a
ege
is
l
_constraint_
d
iv: perform re
q
uired refe
r
e
nce in
c
re
a
se
.
.
.
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdo
o
laeg
e
isl_basic_map: pu
t
inequ
a
l
i
ties b
e
fore equalities
commit
|
commitdiff
|
tree
2009-03-08
Sven V
e
rdoo
l
ae
g
e
a
dd
isl
_
seq_normaliz
e
commit
|
commitdiff
|
tree
2009-03-08
Sve
n
Verdo
o
laege
isl_ctx
.
h: make FL_
I
SSET return a boolean value
commit
|
commitdiff
|
tree
2009-03-08
Sven Verd
o
olaege
rename F_
a
n
d FL_ macros to ISL
_
F_ an
d
IS
L
_F
L
_
to avoid
.
.
.
commit
|
commitdiff
|
tree
2009-03-08
S
v
en Verdoolae
g
e
add isl_mat_swap_
c
ols
commit
|
commitdiff
|
tree
2009-03-08
Sv
e
n Verdoola
e
ge
isl_m
a
t_dump: also inde
n
t N
U
LL mat
commit
|
commitdiff
|
tree
2009-03-08
Sve
n
Verdoolaege
add
i
sl_
c
a
lloc_type
commit
|
commitdiff
|
tree
2009-03-08
Sven V
e
rdo
o
l
a
ege
isl_map_convex_hull
:
n
o
rmalize map first
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdoolaege
isl_set_preimage: clear ISL_SET_NORMALIZED flag
commit
|
commitdiff
|
tree
2009-02-23
S
ven Verd
o
ola
e
ge
add i
s
l
_b
a
s
ic_map_detect_equalities
commit
|
commitdiff
|
tree
2009-02-22
Sv
e
n Verdoolaege
expo
r
t is
l
_basic_map_is_equal
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolaege
add
i
sl_basic_map_rem
o
ve
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoola
e
g
e
a
dd isl_di
m
_
range
commit
|
commitdiff
|
tree
2009-02-22
Sven
V
erd
o
o
l
aege
ad
d
isl
_
map_
p
roduct
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolaege
add
isl_basic
_
m
a
p_add_co
n
straint
commit
|
commitdiff
|
tree
2009-02-22
Sv
e
n Verdo
o
laege
isl_map
_
p
i
plib
.
c:
isl_map_from_quast: prop
e
rly kee
p
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
S
ven Verdoolaege
change calling conve
n
tion of
isl_basic_map_{equ
a
l,less
_
at
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sven V
e
r
d
oolaege
add
isl_map_
c
opy_b
a
s
i
c_
m
ap and isl_map_drop_basic_
m
ap
commit
|
commitdiff
|
tree
2009-02-22
S
v
en Verdoolaege
add isl_map_from_rang
e
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolaeg
e
add
isl_
m
ap_fast_is_empty
commit
|
commitdiff
|
tree
2009-02-22
Sv
e
n Verd
o
olaege
change calling c
o
nvention of isl_map_e
m
pty
and add
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolaege
i
s
l_
m
ap_intersect_
{
domain,range}:
a
llow interse
c
ti
o
n
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sv
e
n
Verdoolaege
isl_map_inte
r
sect: al
l
ow
intersecti
o
n with pure parameter
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoo
l
aege
isl
_
basi
c
_map_affine_hull
:
fix search for integer points
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdo
o
la
e
ge
i
sl_basic_map_ov
e
r
l
ying_set: don't add di
v
const
r
aints
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolaege
isl_dim
.
c: update n_name (only) when
c
h
a
ng
i
n
g
n
ame
s
commit
|
commitdiff
|
tree
2009-02-15
Sven
Verdoolaege
f
i
x serious error in isl
_
mat_parameter_compression
commit
|
commitdiff
|
tree
2009-02-11
Sven V
e
rd
o
olaege
export isl_basic_
m
ap_i
n
tersect_range
commit
|
commitdiff
|
tree
2009-02-11
Sven Verdoolaege
add is
l
_basic_map_floor
d
iv
commit
|
commitdiff
|
tree
2009-02-11
Sven Ve
r
doolaege
a
d
d
isl_
b
asic_map_fas
t
_is
_
fixed
commit
|
commitdiff
|
tree
2009-02-11
Sven Verdoolaege
ad
d
isl_b
a
s
i
c_map_
n
eg
commit
|
commitdiff
|
tree
2009-02-11
Sve
n
Verdoo
l
aege
a
d
d isl_basic_map_sum
commit
|
commitdiff
|
tree
2009-02-10
Sve
n
Verdo
o
laege
add isl_ma
p
_fi
x
_si, a gen
e
raliza
t
ion of is
l
_
basic_map_
f
ix_in
.
.
.
commit
|
commitdiff
|
tree
2009-02-04
Sven Ver
d
o
o
laeg
e
isl_map
_
simplif
y
.
c: remove_duplicate_di
v
s:
remove divs
.
.
.
commit
|
commitdiff
|
tree
2009-02-04
S
v
en Verdoolaege
isl_basic
_
map_ga
u
ss:
be
careful not to
introduce c
i
rcular
.
.
.
commit
|
commitdiff
|
tree
2009-02-04
Sven V
e
rdool
a
ege
add
f
unctions
f
o
r setting isl_divs
commit
|
commitdiff
|
tree
2009-02-04
Sven Verdoolaege
isl_map_from_quast: do
n
't
t
hr
o
w away any bottom leaves
commit
|
commitdiff
|
tree
2009-02-04
Sv
e
n
V
erdoolaege
isl_map_simpli
f
y
.
c: norm
a
lize_divs: fix use of variab
l
e
.
.
.
commit
|
commitdiff
|
tree
2009-02-04
Sv
e
n Ver
d
oo
l
aege
isl_mat_v
a
ri
a
ble_compre
s
sion: fix
use after
free
commit
|
commitdiff
|
tree
2009-02-03
Sven Verdoolaege
isl
_
m
a
p_simplify
.
c: normalize
_
di
v
s: ens
u
r
e
enou
g
h existent
i
a
.
.
.
commit
|
commitdiff
|
tree
2009-02-03
Sv
e
n Verdoolaege
i
sl_hash_
t
a
ble
_
remove: updat
e
numb
e
r of ent
r
ies
commit
|
commitdiff
|
tree
2009-01-22
Sven Verdoo
l
aeg
e
isl_
m
ap_simple
_
hull: plug memory leak
commit
|
commitdiff
|
tree
2009-01-09
Sven Verdoolae
g
e
add
std
:
:
ostream &opera
t
or<<(std::ostream &os, isl_int
.
.
.
commit
|
commitdiff
|
tree
2009-01-08
Sven
V
erd
o
olaeg
e
n
o
rmalize
divs involved in eq
u
a
lities
commit
|
commitdiff
|
tree
2009-01-08
Sven V
e
rdo
o
l
a
e
ge
is
l
_map_
u
nd
e
rlying_set:
d
r
o
p
na
m
e
s
from dimesion
i
n
.
.
.
commit
|
commitdiff
|
tree
2009-01-06
Sven Verdoola
e
ge
ad
d
i
s
l_ma
t
_paramete
r
_compressio
n
commit
|
commitdiff
|
tree
2009-01-06
Sven Verd
o
o
laege
isl_equ
a
lities
.
c: extract and export i
s
l_mat_variable_compre
.
.
.
commit
|
commitdiff
|
tree
2009-01-06
Sven Verdoolaege
add isl_basic_set_is_empty
commit
|
commitdiff
|
tree
2009-01-06
Sven Verdoo
l
aege
a
dd isl_mat_right_ke
r
nel
commit
|
commitdiff
|
tree
2009-01-06
S
ven
V
erdoola
e
ge
add i
s
l
_
mat_col_submul
commit
|
commitdiff
|
tree
2009-01-06
Sven Verdo
o
laege
isl_map_simplify
.
c
:
extr
a
ct out simplify a
n
d
related
.
.
.
commit
|
commitdiff
|
tree
2009-01-06
Sven Ver
d
oolaege
isl_constrai
n
t: a
d
d l
i
mited support for adding divs
commit
|
commitdiff
|
tree
2009-01-06
Sven Verdoolaege
change calling
conventions of
i
sl_
b
a
sic_
s
et_
h
as_defini
n
g_
.
.
.
commit
|
commitdiff
|
tree
2008-12-28
Sven V
e
rdoo
l
aege
add isl_b
a
sic_{set,m
a
p}_dim
commit
|
commitdiff
|
tree
2008-12-28
Sven Verd
o
o
laege
isl_basic_map_gist:
a
lso exploit equali
t
ies in gis
t
ed set
commit
|
commitdiff
|
tree
2008-12-28
Sven Ve
r
dool
a
e
ge
isl_
b
asic
_
m
a
p_overlying_set:
s
i
mplif
y
resulti
n
g ba
s
ic map
commit
|
commitdiff
|
tree
2008-12-23
Sven Ver
d
oolaege
add isl_div abstr
a
ction
,
similar to isl_con
s
traint
commit
|
commitdiff
|
tree
2008-12-22
Sven Verdoolae
g
e
i
s
l_basic
_
set_compare_at: combine constraints bef
o
re
.
.
.
commit
|
commitdiff
|
tree
2008-12-22
Sven V
e
rd
o
olaege
isl
_
m
ap_u
n
der
l
ying_set: align divs b
e
fore calling
t
hi
s
.
.
.
commit
|
commitdiff
|
tree
2008-12-22
Sv
e
n Verdoolaege
isl_basic_map
_
o
v
erlying
_
s
e
t
:
p
roperly ha
n
dle divs
in
.
.
.
commit
|
commitdiff
|
tree
2008-12-22
Sve
n
Verdoolaege
isl_basic_m
a
p_align_divs
:
d
o
n
'
t make assumptions on
.
.
.
commit
|
commitdiff
|
tree
2008-12-22
Sve
n
Verdool
a
e
ge
avoid
i
ncreasing "ext
r
a
"
without
a
lso extending
the
.
.
.
commit
|
commitdiff
|
tree
2008-12-19
S
ve
n
V
e
rd
o
o
l
ae
g
e
add isl_set_universe
commit
|
commitdiff
|
tree
2008-12-19
Sv
e
n Verdool
a
e
g
e
r
emove isl_ctx argument
f
rom
f
unctions
accepting
i
sl_dim
.
.
.
commit
|
commitdiff
|
tree
2008-12-19
Sven Verdoolaege
isl_convex_hull
.
c: remov
e
dead code
commit
|
commitdiff
|
tree
2008-12-15
Sven Verdo
o
lae
g
e
a
d
d
i
sl_con
s
traint_negate
commit
|
commitdiff
|
tree
2008-12-14
Sven Verdoolaege
add isl_basic_set_
a
dd_cons
t
r
aint for a
d
ding
m
a
n
ually
.
.
.
commit
|
commitdiff
|
tree
2008-12-14
Sven Verdoo
l
aege
replace isl_ba
s
ic
_
set_
c
onstraint
by
refcou
n
t
e
d isl_constrai
n
t
commit
|
commitdiff
|
tree
2008-12-14
Sven
Verdoo
l
aeg
e
all
o
w para
m
eters and dimens
i
ons t
o
be named
commit
|
commitdiff
|
tree
2008-12-14
Sven Verdoolaege
introduce isl_hash_table an
d
move
hashing declara
t
io
n
s
.
.
.
commit
|
commitdiff
|
tree
2008-12-14
Sve
n
Ve
r
doolaeg
e
introduce internal isl_dim_m
a
p for repres
e
nting mapp
i
ngs
.
.
.
commit
|
commitdiff
|
tree
2008-12-14
S
ven Verdo
o
laege
introduce isl_dim structur
e
f
or
r
epresenting shared
.
.
.
commit
|
commitdiff
|
tree
2008-12-14
Sven Verdool
a
ege
isl
_
map
.
c: avoid potential NULL dereference
commit
|
commitdiff
|
tree
2008-12-02
Sven
V
erdoolaege
Ad
d
backup
mp
_
g
et_
m
emory_f
u
n
ct
i
ons imple
m
entation
for
.
.
.
commit
|
commitdiff
|
tree
2008-12-02
Sven Verdo
o
laege
is
l
_map
.
c: fix typo
in comment
commit
|
commitdiff
|
tree
2008-12-02
S
ven Ve
r
dool
a
eg
e
add
gis
t
test
commit
|
commitdiff
|
tree
2008-11-11
Sven Verdoolaege
update piplib
f
or
impro
v
ed efficien
c
y
commit
|
commitdiff
|
tree
2008-11-08
Sven
V
erdoo
l
aeg
e
add isl_
s
et_di
m
_is_uni
q
ue
commit
|
commitdiff
|
tree
2008-11-08
Sv
e
n
V
er
d
oolae
g
e
add
i
s
l
_
set_get_has
h
commit
|
commitdiff
|
tree
2008-11-08
Sven Verd
o
olae
g
e
isl_map
.
c: fix
t
y
p
o in co
m
ment
commit
|
commitdiff
|
tree
2008-11-08
Sv
e
n Verdool
a
e
g
e
isl_basic_map_alloc_div:
clear unused extra coeffi
c
ients
commit
|
commitdiff
|
tree
2008-10-24
Sven Verdoolaege
add
isl_basic_set_remove_divs
commit
|
commitdiff
|
tree
2008-10-14
Sven Ver
d
oolaege
us
e
GM
P
flags w
h
e
n
c
ompili
n
g isl_test
commit
|
commitdiff
|
tree
2008-10-14
S
v
en V
e
rd
o
olaege
u
s
e u
i
nt_32_t from stdint
.
h in
s
t
ead
o
f
u_int_32_t
commit
|
commitdiff
|
tree
2008-10-14
S
v
en
Ve
r
doolaege
u
p
date
piplib f
o
r license change an
d
release isl under
.
.
.
commit
|
commitdiff
|
tree
next