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_mat: keep track of isl_ctx
2009-07-16
Sven Verdoolaege
isl_mat: keep
track of i
s
l_ctx
commit
|
commitdiff
|
tree
2009-07-16
Sven Ve
r
d
oolaege
isl_basic_set_sample: don
'
t
project out
lineality space
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolae
g
e
is
l
_basic_map_fi
x
_pos
:
micro-opt
i
miza
t
ion
commit
|
commitdiff
|
tree
2009-07-15
S
v
en Verdoolaege
move isl
_
basic_set_skew_to_
p
ositive_orth
a
nt to isl_sam
p
le
.
c
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
isl_t
a
b
.
c
: fix typo in comment
commit
|
commitdiff
|
tree
2009-07-15
Sven V
e
rdoolaege
isl_basic_s
e
t_sample:
break early
if
s
ample found in
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sve
n
Ver
d
oolaege
export isl_t
a
b_sample_
i
s_integer
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdo
o
laege
is
l
_b
a
sic_set_sam
p
le: ch
e
ck sa
m
ple store
d
b
y
i
s
l
_basic
_
map
_
i
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
S
ven Verdoolaege
is
l
_
b
asic_map_is_emp
t
y: remove sta
l
e sam
p
le
commit
|
commitdiff
|
tree
2009-07-15
S
ven
V
erdoolaeg
e
add i
s
l_polyhedro
n
_
s
a
m
ple appl
i
cation
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
introduce generalized basis reduction based sampling
commit
|
commitdiff
|
tree
2009-07-15
Sven
Verdoolaege
add
isl_
s
eq_cdiv
_
q
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
isl_sampl
e
.
c: interval_sample: dr
o
p re
d
undant a
r
gument
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolae
g
e
is
l
_sa
m
ple
.
c: clean up handli
n
g of lineality spac
e
commit
|
commitdiff
|
tree
2009-07-13
S
v
en
V
er
d
oolaege
i
s
l_sample
.
c: extract
out sample
_
eq
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n
Verdoolaege
isl_sample
.
c
: interval_sample:
handle eq
u
aliti
e
s
d
i
r
ectl
y
commit
|
commitdiff
|
tree
2009-07-13
S
ven Verdool
a
ege
isl_sample
.
c: extract o
u
t
empty_
s
ample
commit
|
commitdiff
|
tree
2009-07-13
S
v
e
n Verdoolaege
i
s
l_sample
.
c: gene
r
alize point_sample to
z
e
r
o_s
a
mp
l
e
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
i
s
l
_
tab: don't create n
e
w
u
n
do re
c
ords during rollb
a
ck
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n Verdool
a
ege
i
sl_tab_m
i
n:
u
se gene
r
al rollback mechanism
commit
|
commitdiff
|
tree
2009-07-13
Sve
n
Ver
d
oolaeg
e
isl
_
ta
b
: opt
i
onally sav
e
d
u
al solut
i
on
commit
|
commitdiff
|
tree
2009-07-13
Sven V
e
rdoo
l
aege
isl_t
a
b
:
add isl_tab_
a
dd_valid_eq
commit
|
commitdiff
|
tree
2009-07-13
Sve
n
Verdo
o
laeg
e
ex
p
ort
i
sl_tab
_
alloc
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdool
a
ege
add
isl_int
_
le
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdool
a
ege
privat
e
ly export is
l
_bas
i
c_set_rec
e
ssion_cone
commit
|
commitdiff
|
tree
2009-07-13
S
ven Verdoolaege
i
s
l_co
n
vex_hull
.
c
:
add mis
s
ing a
s
si
g
nment
commit
|
commitdiff
|
tree
2009-07-13
Sve
n
Verdoolaege
privat
e
ly export isl_ba
s
ic_set_lineali
t
y_space
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n Verdoo
l
aege
isl_ve
c
: kee
p
trac
k
of isl_ctx
commit
|
commitdiff
|
tree
2009-07-12
Sven Verdoolaege
isl_coalesce
.
c: fix typo
commit
|
commitdiff
|
tree
2009-06-13
Sv
e
n Verdoolaege
u
pdat
e
piplib
for
c
h
ange
in confi
g
ure arguments
commit
|
commitdiff
|
tree
2009-06-11
S
v
en Ve
r
doolaege
isl_ba
s
ic_map_drop_redundant_divs:
coa
l
esce div
s
if
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven V
e
rdoolaege
isl_b
a
sic_
m
ap_dro
p
_re
d
u
n
dant_div
s
: set div expression
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verd
o
o
laege
isl_b
a
s
ic
_
m
ap_drop_redundant_divs: drop mo
r
e ki
n
d
s
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoo
l
aege
i
s
l_map
_
c
ompute_divs: drop ob
v
iously
red
u
nd
a
nt divs
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
S
ven Verdo
o
l
aege
isl_map_piplib
.
c:
e
xtremum_on: detect equalities
f
i
r
s
t
commit
|
commitdiff
|
tree
2009-06-11
Sven
V
erdoolaege
is
l
_pip_basic_map_compute_d
i
vs: remove some equalities
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sve
n
Ver
d
oolaege
isl_pip_basic_map_compute
_
divs: sepa
r
a
t
e out dimension
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sv
e
n Ver
d
oolaege
isl_basic_set_pr
e
image: handle d
i
vs in input
commit
|
commitdiff
|
tree
2009-06-11
S
ven Verdoolaege
isl_i
n
put_o
m
ega
.
c: make varia
b
le_{f
r
ee,new} static
commit
|
commitdiff
|
tree
2009-06-11
S
ve
n
Verd
o
olaege
i
sl_map
.
c: make add_d
i
vs
static
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdool
a
ege
isl_basic_map
_
s
i
mplify
:
detect div constraints whil
e
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven V
e
rdoolaege
isl_basic_map_drop:
p
r
op
e
rly handle
dime
n
sions of type
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
add i
s
l_int_mu
l
_ui
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
add
i
sl_seq_fdiv_q
commit
|
commitdiff
|
tree
2009-06-07
Sven
V
e
r
doolaege
add isl_s
e
q_fdi
v
_
r
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
isl_b
a
s
ic_map
_
detect_
e
qualities: prop
e
r
ly handle empt
y
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
is
l
_basic
_
m
ap_is_
e
m
p
ty: exp
l
icitly
m
ark
basic set
s
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaeg
e
isl_ma
p
.
c: order
_
div
s
: swap with correct div
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
isl_map_coalesce: r
e
move extra
divs intro
d
uced by isl
_
map_
a
l
.
.
.
commit
|
commitdiff
|
tree
2009-06-05
Sven Verdoolaege
ad
d
isl_ma
p
_c
o
alesce
commit
|
commitdiff
|
tree
2009-05-19
Sven Verdoolaeg
e
add is
l
_set_p
r
o
duc
t
commit
|
commitdiff
|
tree
2009-05-19
S
ven Verdool
a
e
g
e
ex
p
ort isl_map
_
dim
commit
|
commitdiff
|
tree
2009-05-06
Sve
n
V
erdoolaege
isl_m
a
p_convex
_
hull: han
d
le unbounded, but pointed
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoo
l
aeg
e
p
r
ivately e
x
po
r
t isl_mat_uni
m
odular_com
p
lete
commit
|
commitdiff
|
tree
2009-05-06
Sv
e
n Verdoolaege
isl_tab
.
c: a
d
d isl_tab_get_s
a
mple_value
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
isl_map_conv
e
x_
h
ul
l
: a
v
oid in
t
r
oducing lineali
t
y spaces
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
add
t
w
o
more con
v
ex hull
t
est cases
commit
|
commitdiff
|
tree
2009-05-06
Sven
Verdoo
l
aege
isl_map
_
con
v
e
x_hull: remove line
a
l
i
ty space if any
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
S
v
en Ve
r
d
o
olae
g
e
add isl_basic_set_is_universe
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdool
a
ege
ad
d
isl_se
t
_get_dim
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoola
e
ge
is
l
_
convex_hull
.
c
:
update
w
rap_facet to the
f
act we
.
.
.
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoolaege
i
sl_convex
_
hull
.
c:
f
i
x typo
i
n comm
e
nt
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoo
l
aege
isl_coalesce
.
c
:
fix typo in comment
commit
|
commitdiff
|
tree
2009-05-05
Sven Ver
d
oolaege
isl
_
tab
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2009-05-05
Sven Ver
d
oolaege
co
n
figure
.
i
n
:
s
e
t AC_CONFI
G
_
M
AC
R
O_DIR
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdo
o
lae
g
e
a
d
d isl_basic_set_get_dim
commit
|
commitdiff
|
tree
2009-03-23
S
v
en Verdo
o
laege
isl_b
a
sic_map_gist: n
o
rmalize div
s
(
i
f
a
ny) in conte
x
t
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
isl_basic_
m
ap_simplify: remove duplicate
d
i
vs before
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoo
l
a
eg
e
add isl_bas
i
c
_set_div
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
c
hange cal
l
ing convention of isl_basic_
m
ap_div
commit
|
commitdiff
|
tree
2009-03-23
Sven
Verd
o
ol
a
ege
i
s
l_map_simpl
i
fy
.
c: us
e
t_gist: bre
a
k early if there
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
S
v
e
n Verdoolaege
isl_map_simpli
f
y
.
c:
u
se
t
_
g
i
s
t: b
r
eak ear
l
y if int
e
rsecti
o
n
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
add isl_b
a
sic_set_fa
s
t
_is_empty
commit
|
commitdiff
|
tree
2009-03-23
Sve
n
Verdoolae
g
e
update pipl
i
b
to 1
.
4
.
0
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
isl_tab
.
c: store number of equalitie
s
among the constraint
s
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
i
s
l_mat_exte
n
d:
p
r
operly ext
e
nd
ma
t
rices with reordered
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdoolae
g
e
i
s
l_map_gist: handle some special cases
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoola
e
ge
a
dd isl_map_universe
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
add isl_basic_ma
p
_
fa
s
t_is_e
m
pty
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdoo
l
ae
g
e
isl_basic_map_gi
s
t:
r
eplace
b
y new version based on
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
ola
e
ge
i
s
l_
m
ap_s
i
mplify
.
c: compute_eli
m
in
a
tion_index:
d
o
n
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdoolaeg
e
a
d
d i
s
l_map_impl
i
cit_equ
a
l
i
ties
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
oolae
g
e
add isl_bas
i
c
_set_fre
e
_
eq
u
ality
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
oolaege
isl
_
map
_
convex
_
hull:
m
ark r
e
sult as
not
h
av
i
ng a
n
y
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdoolaeg
e
convex_h
u
ll: coalesce set first
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n V
e
rdoolaege
add isl_set_coalesce
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdool
a
ege
i
s
l_inpu
t
_omega
.
c
: basic_map_read: acce
p
t
"
+" in constraints
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoo
l
a
ege
add
i
sl_bas
i
c_
s
et_alloc_d
i
v
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verd
o
ol
a
ege
add isl_s
e
t_align_
d
ivs
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
uset_affi
n
e_
h
ull: ig
n
ore
d
irections
i
n affine hull
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoola
e
ge
isl_basic_map_i
m
plicit_equalities
:
p
erfor
m
Gaussian
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
ven
Ve
r
doo
l
ae
g
e
isl_affine_hull
.
c: o
u
tside_point: check for obvi
o
us
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
privately e
x
port isl_b
a
sic_set_contains
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n V
e
rdoolaege
isl_
c
tx: add negone
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdo
o
laege
isl_vec
_
d
ump: handle NULL
v
ec
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdoolaege
isl
_
affine_hu
l
l
.
c
:
extract uset_affine_hull
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdool
a
ege
isl_mat_tr
a
n
s
pose: handle non-rectangular
matric
e
s
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
olaege
isl
_
ma
p
_
s
imp
l
e_hul
l
: compute
a
ffine hull be
f
ore
a
lig
n
ing
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
i
s
l_map_simple_hull: m
a
rk result as
not having any
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verdoola
e
ge
add isl_
s
et_bounded_s
i
mple_h
u
ll
commit
|
commitdiff
|
tree
next