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_map_get_dim
2009-03-20
Sven Verdoolaege
isl_ma
p
_
c
onvex
_
hull: mark result as
n
o
t having any
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdoolaege
co
n
vex_hull: coa
l
esce s
e
t fi
r
st
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdoola
e
ge
add isl_se
t
_c
o
alesce
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl
_
input_om
e
ga
.
c: b
a
sic_map
_
r
ead
:
accept "+" in constraints
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
ola
e
ge
a
d
d isl_basic_set_al
l
o
c_div
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Ve
r
doolaege
add isl_set
_
align_divs
commit
|
commitdiff
|
tree
2009-03-20
S
v
en
V
e
rdoolaege
uset_affin
e
_
hull
:
ignore dir
e
cti
o
n
s
in
a
ffine
hull
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
V
erdoolaege
isl_basic_map_
i
mplici
t
_
e
qualitie
s
:
p
erform Gaussian
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdool
a
eg
e
i
sl_affin
e
_hu
l
l
.
c: outsi
d
e_point: check f
o
r obvious
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
pri
v
atel
y
export isl_basic_se
t
_cont
a
ins
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoola
e
ge
isl
_
ctx: add
ne
g
one
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdoolae
g
e
isl_vec_dump:
h
andl
e
N
U
LL vec
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
i
s
l
_
affine_hull
.
c:
e
xtract
u
s
et_affin
e
_hull
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdo
o
laege
i
sl_mat_transpose: handle non-re
c
t
a
ngu
l
ar m
a
trices
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verdoolaege
isl_
m
ap_simpl
e
_hull:
c
o
mpute affine hull before
a
l
igni
n
g
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdoolaege
isl
_
map_s
i
mple_hull: mark resu
l
t as not having an
y
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verd
o
olaege
a
dd isl_set_bounded_simple_h
u
ll
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdo
o
lae
g
e
isl
_
ma
p
_affine_hull
:
detect
e
q
ualities o
f
integer affine
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdoo
l
a
e
ge
is
l
_
b
as
i
c_map_du
p
:
copy flags of or
i
ginal to dup
l
icat
e
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdool
a
ege
isl_
b
asic_map
_
extend
_
dim: move respons
i
bility of cow
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdoolaege
isl_
b
a
s
ic_
m
ap_
e
xtend
_
dim: on
l
y extend constraint matri
x
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
V
er
d
oolaege
i
sl_solve_
l
p: use tableaus instead o
f
c
a
l
l
i
ng p
i
plib
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoo
l
aege
isl_solve_l
p
:
a
ccept affine
object f
u
nc
t
ion instead
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoo
l
aege
is
l
_map
_
simple_hull: use hash tables and tab
l
eaus
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n
Verdoolaege
isl_co
n
vex_h
u
l
l
.
c: ext
r
act out uset
_
simple_hull
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolae
g
e
isl_conve
x
_
hull
.
c:
extend: av
o
id wr
a
pping around alr
e
ady
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
Ve
r
doolaege
is
l
_convex_hull
.
c: introduce pro
t
o
_
hul
l
bas
e
d on obvious
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_convex
_
h
u
l
l
.
c: mov
e
initial hull
c
onstruc
t
ion into
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
dool
a
eg
e
is
l
_
convex_hull
.
c
:
move computat
i
on of bounds into
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
ven
V
e
rdoolaege
i
s
l_
m
ap_convex_h
u
ll: check for boundedness using
r
ecess
i
on
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
doolaege
is
l
_ba
s
ic
_
map_convex_hull
:
use tableau to det
e
ct
redundan
t
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdoolaege
isl_affine_hul
l
.
c: use
t
ablea
u
to detect im
p
licit equalities
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_tab
.
c: don't
d
e
tect eq
u
alities while setting up
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
add internal rep
r
esentat
i
on of LP t
a
bleaus
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
oolaeg
e
add
i
sl_m
a
t_
e
xten
d
commit
|
commitdiff
|
tree
2009-03-20
Sven
Ve
r
doolaege
ad
d
isl_set_dim
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdoolae
g
e
privately
expor
t
isl_
b
a
s
ic
_
{set,map}_normalize_con
s
t
ra
i
n
t
s
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
e
r
dool
a
ege
add isl_
b
asic_set_extend
_
dim
commit
|
commitdiff
|
tree
2009-03-20
S
v
e
n Verdool
a
ege
isl_basic_ma
p
_elimin
a
te_v
a
rs
:
c
lea
r
divs first
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdoolaege
isl
_
basic_m
a
p_eliminate_vars
:
re
m
ove all dependent
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdo
o
laeg
e
add isl_hash_table_alloc a
n
d isl_h
a
sh_table_free
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Ver
d
o
o
la
e
ge
isl_ha
s
h
_
tab
l
e_
i
nit: take min
i
ma
l
size inste
a
d of number
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rdoolaege
isl_{basic
_
,}set_preimage:
drop ctx argume
n
t
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoo
l
a
e
g
e
isl_basic_map_int
e
rsect:
r
euse sam
p
le v
a
l
ue o
f
e
i
ther
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaeg
e
add isl_int_ge
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolae
g
e
isl_bas
i
c_s
e
t_h
a
s_defining_inequalities: fix typo
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verd
o
olaege
i
s
l_c
o
nstraint_div: perform r
e
quired ref
e
rence increase
.
.
.
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdoolaege
is
l
_
b
a
s
i
c
_map: put inequal
i
ties before equ
a
lities
commit
|
commitdiff
|
tree
2009-03-08
S
v
en Verdool
a
eg
e
add isl_s
e
q
_
normalize
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdo
o
laege
i
s
l_ctx
.
h: make F
L
_
I
S
SET return a boolean va
l
u
e
commit
|
commitdiff
|
tree
2009-03-08
Sve
n
V
e
r
doola
e
ge
r
ename F
_
and FL_ macros to ISL_
F
_
and
I
SL_F
L
_
to avoid
.
.
.
commit
|
commitdiff
|
tree
2009-03-08
Sven Verd
o
olaege
add isl_
m
at_swap_cols
commit
|
commitdiff
|
tree
2009-03-08
Sven Ve
r
do
o
l
a
e
ge
isl_mat
_
dump: also indent NULL
m
at
commit
|
commitdiff
|
tree
2009-03-08
Sven
V
erdool
a
e
g
e
ad
d
isl_calloc_type
commit
|
commitdiff
|
tree
2009-03-08
Sven
Ver
d
oolaege
isl_ma
p
_
con
v
ex_hu
l
l: no
r
mal
i
ze
m
a
p fir
s
t
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdoolaege
isl
_
set_preimage: cle
a
r ISL_S
E
T_NORMA
L
IZED
flag
commit
|
commitdiff
|
tree
2009-02-23
Sven Verdoolaege
add isl_b
a
sic_map_detect_
e
q
ualities
commit
|
commitdiff
|
tree
2009-02-22
Sven Ver
d
o
o
lae
g
e
add is
l
_map_remove
commit
|
commitdiff
|
tree
2009-02-22
Sven V
e
r
d
oolaege
e
xpor
t
isl_basic_
m
a
p_is_equal
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolaege
add
i
sl_basi
c
_map
_
r
e
m
ove
commit
|
commitdiff
|
tree
2009-02-22
S
v
en Verdoolaege
ad
d
isl_dim_range
commit
|
commitdiff
|
tree
2009-02-22
Sven Verd
o
o
laege
ad
d
isl_
m
ap_product
commit
|
commitdiff
|
tree
2009-02-22
S
v
en V
e
rdoolaege
a
dd isl_basic_map_
a
d
d_constrai
n
t
commit
|
commitdiff
|
tree
2009-02-22
S
v
en
Verdoola
e
ge
add isl_dim_a
d
d
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolaege
isl_
m
ap_pi
p
lib
.
c: isl
_
map_from_quast: pr
o
perly keep
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolaege
chan
g
e calli
n
g c
o
nvention o
f
isl_basic_
m
ap_{equ
a
l,les
s
_at
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sven
V
erdoolaege
add isl_
m
ap_copy_basic_map and
isl_map_drop_basic_map
commit
|
commitdiff
|
tree
2009-02-22
Sven Ve
r
doola
e
ge
ad
d
i
sl_m
a
p_fro
m
_range
commit
|
commitdiff
|
tree
2009-02-22
Sven
Verdool
a
ege
add isl_map
_
fast_is_empty
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolaege
c
hange calling convention of
i
sl_map_empty and add
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
S
v
en Verdoolaege
isl_map_i
n
t
e
rsect_{do
m
ain,range}
:
a
llow in
t
e
r
s
ection
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sve
n
Verdool
a
e
ge
isl
_
map_intersect:
allow intersection with pure para
m
eter
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolaege
i
sl_basic_map_affin
e
_
h
ull: fix search for integer p
o
ints
commit
|
commitdiff
|
tree
2009-02-22
Sven
V
erdoolaege
is
l
_basic_m
a
p_overlying_set: do
n
't ad
d
d
i
v constraints
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
S
ven Verdoolaege
isl_dim
.
c: update n_name
(on
l
y
)
when changi
n
g
names
commit
|
commitdiff
|
tree
2009-02-15
Sven
Verdoolaege
fix serious error in
isl_mat_para
m
e
t
e
r
_
com
p
ressi
o
n
commit
|
commitdiff
|
tree
2009-02-11
Sve
n
V
e
rd
o
ola
e
ge
export isl_basi
c
_
m
ap_intersect
_
range
commit
|
commitdiff
|
tree
2009-02-11
Sven Verdoolaege
a
dd isl_
b
a
sic_map_floordiv
commit
|
commitdiff
|
tree
2009-02-11
S
v
en Ve
r
d
o
olaege
add isl
_
basic_map_fast_is_fixed
commit
|
commitdiff
|
tree
2009-02-11
Sven
V
erdoola
e
ge
add isl_bas
i
c_ma
p
_neg
commit
|
commitdiff
|
tree
2009-02-11
Sv
e
n Verdoolaege
a
d
d is
l
_basic_map_sum
commit
|
commitdiff
|
tree
2009-02-10
Sven
V
e
rdoolaege
add isl
_
ma
p
_fix_si, a
g
e
neraliz
a
tion of isl_
b
a
sic_map_fi
x
_in
.
.
.
commit
|
commitdiff
|
tree
2009-02-04
Sven Verdoo
l
aege
i
s
l
_
map_simplify
.
c: remo
v
e_duplicate_divs: remove divs
.
.
.
commit
|
commitdiff
|
tree
2009-02-04
Sven Verdoolae
g
e
isl
_
basic_map_gauss:
be
c
areful
not
to
introduce circular
.
.
.
commit
|
commitdiff
|
tree
2009-02-04
Sven Verdoolaege
add functi
o
ns for setti
n
g isl_divs
commit
|
commitdiff
|
tree
2009-02-04
S
v
en Verdoolaege
i
sl_map_fro
m
_
quast: don't thr
o
w away any bottom lea
v
es
commit
|
commitdiff
|
tree
2009-02-04
Sven Verdoo
l
aege
isl_
m
ap_simplify
.
c:
normaliz
e
_
divs: f
i
x use of variable
.
.
.
commit
|
commitdiff
|
tree
2009-02-04
Sve
n
Verdoolaege
isl_mat_variable_c
o
mpression: fix use after free
commit
|
commitdiff
|
tree
2009-02-03
Sven
Verdool
a
ege
isl_map_simplify
.
c: no
r
maliz
e
_divs: ensure enough exi
s
tenti
a
.
.
.
commit
|
commitdiff
|
tree
2009-02-03
S
v
en
Verdoo
l
aege
i
s
l_hash_
t
able_remo
v
e: upd
a
te n
u
mber of entries
commit
|
commitdiff
|
tree
2009-01-22
Sven
V
e
r
doolaege
isl_map_simple_hull: plug memo
r
y
l
eak
commit
|
commitdiff
|
tree
2009-01-09
S
v
e
n
Verdo
o
laege
a
d
d std::
o
stream &opera
t
or<<(std::ostream &os,
isl_int
.
.
.
commit
|
commitdiff
|
tree
2009-01-08
Sven Ve
r
doolaeg
e
normalize
d
i
vs
invol
v
ed in equali
t
ies
commit
|
commitdiff
|
tree
2009-01-08
Sven Ve
r
doolaeg
e
is
l
_map_underlyin
g
_set: drop names from d
i
mesion in
.
.
.
commit
|
commitdiff
|
tree
2009-01-06
Sven
V
e
rdoola
e
ge
add isl_
m
at_parameter_com
p
r
ession
commit
|
commitdiff
|
tree
2009-01-06
Sven Verdoolaeg
e
isl_equalities
.
c
: e
x
tract
a
nd export isl_mat_
v
ariable_compre
.
.
.
commit
|
commitdiff
|
tree
2009-01-06
Sven Verdoolaege
a
dd isl_basic_set_is
_
e
m
pty
commit
|
commitdiff
|
tree
2009-01-06
Sven Verdo
o
laege
add isl
_
mat_
r
ight_
k
erne
l
commit
|
commitdiff
|
tree
2009-01-06
S
v
en V
e
rdoolaege
add is
l
_
ma
t
_col_s
u
bmul
commit
|
commitdiff
|
tree
2009-01-06
Sven
V
erdoolaege
add isl_seq_subm
u
l
commit
|
commitdiff
|
tree
next