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_align_divs
2009-03-20
Sven Verdool
a
ege
ad
d
isl_set
_
align_d
i
vs
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdoolaege
use
t
_
a
ffine_hull: ignore directions in affine
hull
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl
_
bas
i
c
_
map_implic
i
t_equ
a
li
t
ies: pe
r
f
orm
Gau
s
sian
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdoolaege
isl
_
affine
_
hull
.
c
: outside_
p
oint: c
h
eck for obvious
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoola
e
ge
p
rivat
e
l
y exp
o
rt isl_
b
asic_set_
c
ontai
n
s
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
e
r
doola
e
ge
i
sl_ctx: a
d
d ne
g
one
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
oolaege
isl_vec_dump:
h
andle NULL vec
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolae
g
e
isl_affine_
h
ull
.
c: extract uset_
a
ffi
n
e_h
u
ll
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdoolaege
i
sl
_
mat_
t
r
anspose: handle non-rectang
u
lar matrices
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolae
g
e
i
sl_map_simple
_
h
ull: compu
t
e affine hull before a
l
igni
n
g
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdoola
e
g
e
isl
_
map_simp
l
e_hull: ma
r
k res
u
lt
a
s
not havin
g
any
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
doolaeg
e
a
dd isl_set_bo
u
nded_si
m
p
l
e_hul
l
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
is
l
_map
_
affine_hull: detec
t
e
q
u
a
l
ities of integer af
f
ine
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_basic_map_dup:
cop
y
fl
a
g
s
of original to du
p
licate
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
r
d
o
o
laege
isl_b
a
sic_
m
a
p
_
e
xte
n
d
_
dim: move
respo
n
sibility of
cow
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rdoolaege
i
s
l_bas
i
c_map_extend_dim: onl
y
ex
t
end constraint matr
i
x
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdool
a
ege
isl_solve_
l
p
:
use table
a
us i
n
stead of cal
l
ing
p
iplib
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
doolaeg
e
isl_so
l
ve
_
lp:
accept affine o
b
ject funct
i
on instead
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
Ve
r
do
o
l
a
e
ge
isl_map_si
m
p
le_hull
:
use h
a
sh tables and tabl
e
a
u
s
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
do
o
l
aege
i
sl_conv
e
x_
h
ul
l
.
c:
e
x
tract
o
ut uset_simple_hu
l
l
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdoolaege
isl_c
o
nvex_hull
.
c: extend: av
o
id
wrapping around already
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdoolaege
isl_convex_hu
l
l
.
c: introd
u
c
e
prot
o
_hull based
o
n o
b
vious
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
o
l
a
ege
isl_
c
onvex_hull
.
c: move init
i
al hull construction int
o
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
o
l
aege
is
l
_convex_hul
l
.
c:
move
c
omputation of bounds into
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
doolaege
isl_map_co
n
vex_hul
l
: check for boundedness using recession
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
i
s
l_basic_map_c
o
nvex_
h
ull: u
s
e
tableau to detect
r
e
dun
d
a
n
t
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rd
o
olaege
i
s
l
_
aff
i
ne_hull
.
c: us
e
tabl
e
au
to detect implicit equal
i
ties
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
oolaege
isl_tab
.
c: d
o
n't detect equ
a
li
t
ies whil
e
setting up
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
ven V
e
rdoolaege
add interna
l
r
epresentation o
f
LP tableaus
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
V
erdoolaege
add isl_
m
at_e
x
tend
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdoo
l
ae
g
e
add
i
sl_set_dim
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
priva
t
e
l
y
e
x
p
ort is
l
_basic_
{
set,ma
p
}
_norma
l
ize_
c
on
s
t
r
a
i
nts
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdo
o
lae
g
e
ad
d
isl
_
basic_se
t
_extend_dim
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
do
o
laege
isl_basic_ma
p
_eliminat
e
_vars: cle
a
r divs f
i
rst
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
do
o
l
a
e
ge
isl_basic_
m
ap_el
i
minate_va
r
s: remove all dependen
t
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verd
o
olaege
add isl_hash_tabl
e
_
alloc and isl
_
hash_table_
f
r
e
e
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verdoolaege
i
sl_has
h
_
t
abl
e
_init: ta
k
e
mi
n
imal s
i
ze i
n
stead of
n
umber
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rdoolaege
i
s
l
_
{basic_,}set_pr
e
im
a
ge:
drop
c
tx
a
rgument
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
do
o
l
a
ege
i
sl_bas
i
c_ma
p
_in
t
ers
e
c
t
:
r
e
u
s
e
s
a
mple value
of
e
it
h
er
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdoolaege
a
d
d isl
_
int_ge
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Ver
d
oolaege
i
sl_basic_set_has_def
i
ning_ine
q
ualities: f
i
x t
y
po
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
is
l
_cons
t
raint_div:
perform
r
equir
e
d reference
increase
.
.
.
commit
|
commitdiff
|
tree
2009-03-08
Sven
V
erdoolaege
isl_basic_map: put in
e
qua
l
ities before equalities
commit
|
commitdiff
|
tree
2009-03-08
S
v
en Verdoolaege
add isl_se
q
_norm
a
l
i
ze
commit
|
commitdiff
|
tree
2009-03-08
Sven
V
erdool
a
ege
isl_ctx
.
h: make F
L
_
ISSET
return a b
o
o
l
ean v
a
lue
commit
|
commitdiff
|
tree
2009-03-08
Sven
V
erdool
a
eg
e
rename F_
a
n
d FL_ macros to ISL_F_ an
d
I
SL
_
F
L_ t
o
av
o
id
.
.
.
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdoolaege
add isl_ma
t
_swap_cols
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdool
a
eg
e
i
sl
_
mat_d
u
mp:
a
lso indent NULL ma
t
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdoolaege
a
dd isl_calloc_type
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdoola
e
ge
i
s
l_map_convex_h
u
l
l:
n
ormalize map
f
irst
commit
|
commitdiff
|
tree
2009-03-08
Sven
V
erdoolaege
i
sl_set_pre
i
mage: clear
I
SL_SET_NO
R
MALIZED flag
commit
|
commitdiff
|
tree
2009-02-23
Sven Verdool
a
ege
add isl_basic_m
a
p_detect_
e
qualities
commit
|
commitdiff
|
tree
2009-02-22
Sve
n
Verdoolaeg
e
add is
l
_ma
p
_
r
emo
v
e
commit
|
commitdiff
|
tree
2009-02-22
Sve
n
Verd
o
olaege
ex
p
ort isl_basic_map_i
s
_equal
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolaege
add
i
sl
_
basic_m
a
p_remove
commit
|
commitdiff
|
tree
2009-02-22
Sven Ver
d
o
o
la
e
ge
a
d
d isl_
d
im_range
commit
|
commitdiff
|
tree
2009-02-22
Sven V
e
rdoolaege
add isl
_
map_product
commit
|
commitdiff
|
tree
2009-02-22
Sven
V
erdoolaege
add isl_bas
i
c
_
map_add_constrai
n
t
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolaege
add
isl_dim
_
add
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoo
l
aeg
e
isl_map_piplib
.
c: i
s
l_map
_
from_quast: properly
keep
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sven V
e
rd
o
olaege
change
c
al
l
ing convention
o
f isl_basic_map_{equal
,
less_at
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolaeg
e
a
d
d
isl_
m
ap_
c
opy_ba
s
i
c_map and i
s
l_map_drop_basic_map
commit
|
commitdiff
|
tree
2009-02-22
Sven
V
erdoolaege
add isl_ma
p
_from_range
commit
|
commitdiff
|
tree
2009-02-22
Sv
e
n Verdoolae
g
e
add i
s
l_map_fast_is_empty
commit
|
commitdiff
|
tree
2009-02-22
S
v
en Verdoolaege
change
c
alling convention of isl
_
map_empty
a
n
d ad
d
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sven V
e
rd
o
olaege
isl_m
a
p
_
in
t
ersect_{d
o
m
ain,range}
:
allow
i
nter
s
e
ct
i
on
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sve
n
Verdoolaege
isl_
m
ap_intersect: allow
i
nt
e
rs
e
ction
wi
t
h
pure pa
r
ameter
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoola
e
ge
isl_basi
c
_map_affi
n
e_hull:
f
i
x search for integ
e
r
points
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolaeg
e
isl_b
a
sic_map_ove
r
lying_set: don't add div constraints
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolaege
isl_dim
.
c
:
upda
t
e
n_nam
e
(o
n
ly) when changing names
commit
|
commitdiff
|
tree
2009-02-15
Sven Ver
d
oola
e
ge
fix seriou
s
err
o
r in isl_ma
t
_par
a
m
e
ter_compres
s
ion
commit
|
commitdiff
|
tree
2009-02-11
Sven Verdoolaege
export i
s
l_
b
as
i
c_m
a
p_in
t
ersect_range
commit
|
commitdiff
|
tree
2009-02-11
Sven Verdoolaeg
e
a
d
d is
l
_basic
_
map_floordiv
commit
|
commitdiff
|
tree
2009-02-11
Sven Verdoolaege
a
dd isl_basic_map_f
a
st_is_fixed
commit
|
commitdiff
|
tree
2009-02-11
Sven Verdoola
e
ge
add is
l
_
basic_m
a
p
_
neg
commit
|
commitdiff
|
tree
2009-02-11
Sven
V
erdoolaege
add is
l
_ba
s
i
c
_map_sum
commit
|
commitdiff
|
tree
2009-02-10
Sven Verd
o
olaege
add isl_map_fix
_
si,
a
generalization of isl
_
ba
s
i
c
_
m
ap_fix_in
.
.
.
commit
|
commitdiff
|
tree
2009-02-04
Sven Ve
r
doo
l
aege
isl
_
m
a
p_simplify
.
c: remove_duplicate_divs
:
remove
divs
.
.
.
commit
|
commitdiff
|
tree
2009-02-04
S
v
e
n
Verdoolaege
isl_bas
i
c_map_gau
s
s: be care
f
ul not to
i
ntroduce
c
ircular
.
.
.
commit
|
commitdiff
|
tree
2009-02-04
Sven
V
erdoolaege
add f
u
nctions for s
e
tt
i
ng i
s
l_divs
commit
|
commitdiff
|
tree
2009-02-04
Sven Verd
o
o
l
a
ege
isl_
m
a
p
_f
r
om_q
u
ast: don't
t
h
r
ow aw
a
y an
y
b
ottom l
e
a
v
es
commit
|
commitdiff
|
tree
2009-02-04
Sve
n
V
e
rdoolaege
i
sl_map_
s
i
mplify
.
c: normaliz
e
_divs: fix use of v
a
r
iable
.
.
.
commit
|
commitdiff
|
tree
2009-02-04
Sven V
e
rdoolaege
i
s
l_mat_variabl
e
_compressio
n
: fix
u
se after free
commit
|
commitdiff
|
tree
2009-02-03
Sven Verdoolaege
isl_m
a
p_sim
p
lify
.
c: normalize
_
d
ivs: ensure enough existentia
.
.
.
commit
|
commitdiff
|
tree
2009-02-03
Sven Verdoolaeg
e
i
sl_ha
s
h_table_r
e
m
o
ve: u
p
dat
e
numbe
r
of en
t
ries
commit
|
commitdiff
|
tree
2009-01-22
Sven V
e
rdool
a
e
ge
isl
_
m
ap_simple_hull: plug memory leak
commit
|
commitdiff
|
tree
2009-01-09
Sve
n
Verdo
o
laege
add std::ostream &ope
r
a
to
r
<<(s
t
d::ostream
&
os, isl_int
.
.
.
commit
|
commitdiff
|
tree
2009-01-08
S
ven V
e
rd
o
olaege
normalize
divs invo
l
ve
d
in equalitie
s
commit
|
commitdiff
|
tree
2009-01-08
Sven
V
erdoolaege
isl_map_underlying_set: drop
names from
dimesion in
.
.
.
commit
|
commitdiff
|
tree
2009-01-06
S
v
en Verd
o
olaege
ad
d
is
l
_mat_pa
r
am
e
te
r
_compre
s
s
i
o
n
commit
|
commitdiff
|
tree
2009-01-06
Sven Verdoo
l
aege
isl_equa
l
ities
.
c: e
x
tract and export isl_mat_va
r
iable_compre
.
.
.
commit
|
commitdiff
|
tree
2009-01-06
S
v
en Ver
d
oolaege
add
i
sl_basic_
s
et_is_empty
commit
|
commitdiff
|
tree
2009-01-06
Sven Verdoolae
g
e
ad
d
isl_mat_righ
t
_
k
ern
e
l
commit
|
commitdiff
|
tree
2009-01-06
Sve
n
Verdoolaege
add isl_mat_col_submul
commit
|
commitdiff
|
tree
2009-01-06
Sv
e
n V
e
rdoo
l
aege
add isl_seq_s
u
b
m
ul
commit
|
commitdiff
|
tree
2009-01-06
S
v
e
n
V
e
rdoolaege
isl_map_simplify
.
c: extract o
u
t simplify and related
.
.
.
commit
|
commitdiff
|
tree
2009-01-06
S
v
en Verdoolaege
isl_con
s
traint
:
add limited
s
upport
fo
r
addin
g
divs
commit
|
commitdiff
|
tree
2009-01-06
Sven Verdool
a
ege
chan
g
e
c
a
llin
g
conven
t
i
ons of isl_basic_set_has_defining_
.
.
.
commit
|
commitdiff
|
tree
2008-12-28
Sv
e
n Verd
o
olaege
ad
d
isl
_
b
a
sic_{set,
m
ap}_dim
commit
|
commitdiff
|
tree
2008-12-28
Sven Verd
o
olaeg
e
i
s
l_
b
a
s
ic_m
a
p
_gi
s
t: also exp
l
oit
e
quali
t
ies in
g
isted set
commit
|
commitdiff
|
tree
next