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_contains
2009-03-20
Sven Ve
r
doola
e
ge
privately export
i
sl_bas
i
c_set_contain
s
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl
_
ctx:
add
negone
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdoo
l
a
e
ge
isl
_
vec_dump:
h
andle NULL vec
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdoolaege
isl_affine
_
hull
.
c: extract u
s
et_a
f
f
i
n
e
_hu
l
l
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Ver
d
oolaege
isl_
m
a
t_transp
o
s
e
: handl
e
non-rectang
u
l
ar matrices
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
doo
l
aege
isl_map_simple_hu
l
l:
com
p
ute affine hull before aligning
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_map_simple_h
u
ll: mark result
a
s
n
ot hav
i
ng any
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoo
l
a
e
ge
add isl_set_bound
e
d_simple_hull
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdoo
l
aeg
e
isl_map_a
f
fine_hull: detect equalit
i
es of integer affine
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdoolaege
isl_bas
i
c_map_dup: copy flags of ori
g
i
nal to
d
uplicate
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdoolae
g
e
isl_basic_ma
p
_exte
n
d_dim:
m
o
v
e re
s
ponsibility of cow
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
ven Ve
r
doolaege
isl_ba
s
i
c_map_
e
xtend_dim: only
e
x
t
en
d
co
n
st
r
a
int matrix
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_
s
o
l
ve_lp: u
s
e tableaus
in
s
tead
of callin
g
piplib
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoo
l
a
e
ge
i
s
l_solve
_
l
p
: accept
a
f
fine object function instead
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
ven V
e
rdoolaege
isl_
m
ap_simple_h
u
ll: use hash tables a
n
d tableaus
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoola
e
ge
isl_convex_hull
.
c:
ex
t
ract
out us
e
t_
s
i
mple_hul
l
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_conve
x
_hull
.
c: extend:
avoid
w
rapp
i
ng ar
o
und
al
r
eady
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_convex_hu
l
l
.
c: intro
d
uce proto_h
u
ll
b
ased o
n
obvious
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_convex_hull
.
c
: move
i
n
itial hull co
n
structio
n
into
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdoola
e
ge
isl_c
o
nvex_
h
u
ll
.
c:
move computation o
f
b
ounds into
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
i
sl_map_convex_hu
l
l:
c
he
c
k for boun
d
ednes
s
usi
n
g recession
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
oolaege
isl_basic_map_
c
onvex
_
hull: us
e
tableau to detect re
d
undant
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_affine_hull
.
c:
u
se
t
a
b
leau to
d
etec
t
implicit equ
a
lities
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdoolaege
isl_tab
.
c: don't
d
etect equali
t
ies
while setting u
p
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
oolae
g
e
add inte
r
nal representation of LP
tabl
e
a
u
s
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolae
g
e
add isl_mat_extend
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
doolaege
add is
l
_set_di
m
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
d
o
olaeg
e
privately export isl_ba
s
ic_{set,map}_nor
m
a
l
i
ze_constraint
s
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
add isl_b
a
sic
_
set_extend_dim
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rdoolaeg
e
isl_basic_map
_
e
liminat
e
_vars: clear divs first
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdool
a
ege
isl_basic_map_e
l
iminate
_
vars
:
remove a
l
l dependent
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verdoolaege
add isl_hash
_
table_alloc and isl_
h
a
s
h_table
_
f
ree
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
d
oolaege
isl_
h
ash_tab
l
e_ini
t
: take mini
m
a
l
size instead of num
b
er
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdoolaege
isl_{basic_,}
s
et
_
p
r
eimage: dro
p
ctx argume
n
t
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdoolaege
is
l
_
b
asic_map_inters
e
c
t:
r
e
use sample value of eithe
r
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
oolaege
add isl
_
int_ge
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdo
o
laege
isl_basi
c
_se
t
_ha
s
_defining_inequal
i
t
ies:
f
ix
t
ypo
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoo
l
aege
isl_constr
a
int_div: perform re
q
uired
r
eferen
c
e
incr
e
ase
.
.
.
commit
|
commitdiff
|
tree
2009-03-08
S
v
en Verdoolaege
i
sl_bas
i
c_ma
p
: put
inequalities be
f
ore equalities
commit
|
commitdiff
|
tree
2009-03-08
Sven V
e
rdoola
e
ge
add isl_seq_normalize
commit
|
commitdiff
|
tree
2009-03-08
S
v
en V
e
rdoolaege
isl
_
c
t
x
.
h: make
F
L_ISS
E
T return a boole
a
n va
l
ue
commit
|
commitdiff
|
tree
2009-03-08
S
ven
Verdoolaege
rename F_ and FL_ macros to ISL_F_ and ISL_FL_ to avoid
.
.
.
commit
|
commitdiff
|
tree
2009-03-08
S
ven Verdoolaege
ad
d
isl_
m
at_swap_
c
ols
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdoolaege
isl_mat_dump: als
o
in
d
ent NULL
mat
commit
|
commitdiff
|
tree
2009-03-08
Sv
e
n Verdoo
l
ae
g
e
a
d
d isl_calloc_type
commit
|
commitdiff
|
tree
2009-03-08
S
ven Verdoolaeg
e
isl
_
m
a
p_convex_hull: normalize
m
ap first
commit
|
commitdiff
|
tree
2009-03-08
S
ven Verdoolaege
isl_set_preima
g
e
:
c
lear ISL_SET_NOR
M
A
L
IZED flag
commit
|
commitdiff
|
tree
2009-02-23
S
ven Verdoolaege
add
i
sl_basic_map_de
t
ect_e
q
ualities
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolaege
add isl_map_remo
v
e
commit
|
commitdiff
|
tree
2009-02-22
Sv
e
n Verdoolaege
e
xpor
t
isl_basic_map
_
is_equal
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolaege
add isl_basi
c
_map_remov
e
commit
|
commitdiff
|
tree
2009-02-22
Sv
e
n Verdoolaege
add isl
_
dim_r
a
nge
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdo
o
l
a
ege
ad
d
isl_map_pro
d
uct
commit
|
commitdiff
|
tree
2009-02-22
Sven
Verdoo
l
aege
add
i
sl_basi
c
_map_ad
d
_c
o
nstrain
t
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolaege
add
isl_dim_a
d
d
commit
|
commitdiff
|
tree
2009-02-22
S
v
en Verdoolaeg
e
isl_map_pip
l
ib
.
c:
i
sl
_
map_from_quast: proper
l
y keep
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolae
g
e
ch
a
nge ca
l
ling con
v
ention of is
l
_basic_map_{
e
qual,less
_
at
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sven Ver
d
oolaege
ad
d
isl_map_copy_basic_m
a
p a
n
d isl_map
_
drop_basic_map
commit
|
commitdiff
|
tree
2009-02-22
Sv
e
n Verdoolaege
add isl_map_f
r
o
m
_range
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolaege
a
d
d isl_map_fast_is_empty
commit
|
commitdiff
|
tree
2009-02-22
S
v
en Verdoolaege
cha
n
ge calling c
o
nven
t
i
o
n
o
f isl_map_empty and add
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sven
Verdoolaege
i
sl_map_in
t
ersect_{domain,range}: allow intersecti
o
n
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
S
v
en Ve
r
doolae
g
e
isl
_
map_int
e
rsect:
allow
i
n
te
r
se
c
tion
with pure
p
arame
t
er
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolaege
isl_basic_map_affin
e
_
h
ull
:
f
i
x s
e
arch for integer
point
s
commit
|
commitdiff
|
tree
2009-02-22
Sven
V
erdoo
l
aege
is
l
_basic_map_overlying_set:
d
on't add
d
iv
c
onstraints
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoo
l
a
e
g
e
isl_
d
im
.
c: update n_nam
e
(on
l
y)
when changing names
commit
|
commitdiff
|
tree
2009-02-15
Sven Verdoolae
g
e
fix serious error
in isl_mat_parameter_co
m
press
i
on
commit
|
commitdiff
|
tree
2009-02-11
Sven V
e
rdoolaege
export isl_bas
i
c_map_intersect_range
commit
|
commitdiff
|
tree
2009-02-11
Sven Verdoolae
g
e
add isl_basic_m
a
p_
f
loordiv
commit
|
commitdiff
|
tree
2009-02-11
Sven Verdool
a
ege
add isl_basic
_
map_fast_i
s
_fixe
d
commit
|
commitdiff
|
tree
2009-02-11
Sven Ver
d
oolaege
add
isl_basic_map_neg
commit
|
commitdiff
|
tree
2009-02-11
Sven Verdoolaege
add isl_ba
s
ic_map_sum
commit
|
commitdiff
|
tree
2009-02-10
Sven Verdo
o
l
a
ege
add isl_map_fix_si, a genera
l
i
zation
o
f isl_bas
i
c_
m
a
p_f
i
x_i
n
.
.
.
commit
|
commitdiff
|
tree
2009-02-04
S
v
en Verd
o
olaeg
e
isl
_
map_simplify
.
c: remove_du
p
licate_divs
:
remove divs
.
.
.
commit
|
commitdiff
|
tree
2009-02-04
Sve
n
Ver
d
oolaege
isl_basic_
m
ap_gauss: be care
f
ul not
to
introduce circular
.
.
.
commit
|
commitdiff
|
tree
2009-02-04
S
ven Verd
o
olae
g
e
a
d
d functions fo
r
setting
i
sl_divs
commit
|
commitdiff
|
tree
2009-02-04
Sven
Verd
o
olaege
i
sl_map_from
_
q
u
as
t
:
d
on't
thro
w
a
w
ay any bo
t
tom leaves
commit
|
commitdiff
|
tree
2009-02-04
Sve
n
Verdoolaege
isl_map
_
simplify
.
c
: no
r
mal
i
z
e_divs: fix u
s
e of v
a
riabl
e
.
.
.
commit
|
commitdiff
|
tree
2009-02-04
Sven Verd
o
olaege
i
s
l_m
a
t_variable_
c
om
p
r
e
ssion:
f
i
x use
after
free
commit
|
commitdiff
|
tree
2009-02-03
Sven Verdoolaege
isl
_
map_simplif
y
.
c: normalize_divs:
e
n
s
ur
e
enough existent
i
a
.
.
.
commit
|
commitdiff
|
tree
2009-02-03
Sven Verdoolaege
isl_hash_
t
abl
e
_remove:
update number of entries
commit
|
commitdiff
|
tree
2009-01-22
S
ven
V
e
rdo
o
laege
isl_map_simple_hu
l
l: p
l
ug memor
y
leak
commit
|
commitdiff
|
tree
2009-01-09
Sv
e
n Ver
d
oolaege
add st
d
::ostream &operator<<(
s
td::o
s
tream &os, isl_int
.
.
.
commit
|
commitdiff
|
tree
2009-01-08
Sv
e
n Ve
r
doolaege
n
o
r
malize div
s
inv
o
lved in equ
a
l
ities
commit
|
commitdiff
|
tree
2009-01-08
S
ven Verdoolae
g
e
isl_map
_
u
nderlying_se
t
:
dro
p
names f
r
om
dime
s
io
n
in
.
.
.
commit
|
commitdiff
|
tree
2009-01-06
Sven
Verd
o
o
lae
g
e
add isl_mat_pa
r
a
m
et
e
r_compression
commit
|
commitdiff
|
tree
2009-01-06
Sven Verdool
a
ege
i
sl_equaliti
e
s
.
c: ex
t
ra
c
t
and export isl_
m
at_var
i
able
_
compre
.
.
.
commit
|
commitdiff
|
tree
2009-01-06
Sven V
e
rdoolaege
add
isl_basic
_
set_is_empty
commit
|
commitdiff
|
tree
2009-01-06
S
ven Verdoola
e
ge
add
isl
_
mat_right_k
e
rn
e
l
commit
|
commitdiff
|
tree
2009-01-06
Sven
Verdool
a
ege
add
i
s
l
_
m
a
t_col_
s
ubmul
commit
|
commitdiff
|
tree
2009-01-06
Sven Verdoolaege
add
isl_seq_submu
l
commit
|
commitdiff
|
tree
2009-01-06
S
v
en
Verdool
a
ege
isl_map
_
simplify
.
c: ext
r
act out
s
imp
l
ify and r
e
lated
.
.
.
commit
|
commitdiff
|
tree
2009-01-06
Sven Verd
o
olaege
is
l
_constraint: ad
d
limited supp
o
rt for ad
d
ing
d
ivs
commit
|
commitdiff
|
tree
2009-01-06
S
v
en Verdo
o
la
e
ge
change calling
conventions of i
s
l
_
basic
_
set_has_def
i
ning_
.
.
.
commit
|
commitdiff
|
tree
2008-12-28
Sven
V
erdoo
l
aeg
e
a
d
d isl_
b
asic_{set,m
a
p}
_
d
im
commit
|
commitdiff
|
tree
2008-12-28
Sven Ve
r
doolaege
isl_basic_map_gi
s
t:
also exploit eq
u
alities in gisted set
commit
|
commitdiff
|
tree
2008-12-28
S
ven Verdoolae
g
e
isl_basic_map_overlying_set: simpli
f
y resulting ba
s
ic
m
ap
commit
|
commitdiff
|
tree
2008-12-25
Sv
e
n
V
erdo
o
laege
is
l
_stream: prop
e
rly
r
ef
e
r
e
nce ctx
commit
|
commitdiff
|
tree
2008-12-25
S
ven Verdoolaege
isl_str
e
am
.
c:
e
x
t
ra
c
ted
f
rom isl_input_
o
mega
.
c
commit
|
commitdiff
|
tree
2008-12-25
Sv
e
n Verdoolaege
add
i
s
l_basic_set_rea
d
_from_str
commit
|
commitdiff
|
tree
next