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 Verdoo
l
aege
isl_mat: keep track of isl_ctx
commit
|
commitdiff
|
tree
2009-07-16
Sv
e
n Verdoolaege
isl
_
basic_set_
s
amp
l
e:
d
o
n
'
t project out lineality space
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Ver
d
oolaege
isl_b
a
sic_m
a
p_fix_pos:
m
icr
o
-
optimi
z
ation
commit
|
commitdiff
|
tree
2009-07-15
Sven Verd
o
olaege
mo
v
e isl_
b
a
s
ic_set_
s
kew_to_positive_or
t
h
a
n
t
to i
s
l_
s
ample
.
c
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
isl_
t
a
b
.
c:
f
i
x ty
p
o
i
n co
m
ment
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdo
o
laege
isl_
b
asic_set_sample:
b
reak
e
ar
l
y if sa
m
ple found in
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
S
ven Verdoolaeg
e
expo
r
t isl
_
tab_sample_is_integer
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolae
g
e
isl_
b
as
i
c_set
_
sample: c
h
e
c
k
s
ample st
o
re
d
by isl_basic_map
_
i
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven
Verdoolaege
isl_basi
c
_m
a
p_is_empty
:
remove
stale sample
commit
|
commitdiff
|
tree
2009-07-15
Sven Ve
r
d
ool
a
ege
add isl_polyhedron_sample app
l
ication
commit
|
commitdiff
|
tree
2009-07-15
S
v
e
n
Verdoolaege
introduce generalized basis r
e
duction based
s
ampling
commit
|
commitdiff
|
tree
2009-07-15
Sve
n
V
erdoolaege
a
dd isl_se
q
_cdiv_q
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdool
a
ege
isl_sample
.
c: in
t
erval_samp
l
e: drop
redundant argument
commit
|
commitdiff
|
tree
2009-07-15
Sve
n
V
e
rdo
o
laege
isl_sample
.
c: clean up handling of lineal
i
ty sp
a
ce
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
isl_
s
ample
.
c: e
x
tract out sample
_
e
q
commit
|
commitdiff
|
tree
2009-07-13
S
ven Verdoolaege
isl_
s
ample
.
c
:
in
t
erval_sample
:
hand
l
e e
q
ualit
i
es dir
e
ctly
commit
|
commitdiff
|
tree
2009-07-13
S
v
e
n Verdoolaege
isl_s
a
mple
.
c: extra
c
t out empty_sample
commit
|
commitdiff
|
tree
2009-07-13
Sven V
e
rdoolaege
isl_sample
.
c:
g
ener
a
l
i
ze point_s
a
mple to z
e
ro_s
a
mpl
e
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoo
l
aege
isl
_
tab: don't
create
n
ew undo
records
during rollback
commit
|
commitdiff
|
tree
2009-07-13
S
ven Verdoo
l
aeg
e
isl
_
tab
_
min: use gene
r
a
l
roll
b
a
ck mechan
i
sm
commit
|
commitdiff
|
tree
2009-07-13
Sve
n
Verdoolaege
is
l
_tab: optionally save dual solution
commit
|
commitdiff
|
tree
2009-07-13
S
ven Ve
r
d
o
olaege
isl_t
a
b: add isl_
t
ab_add_valid_eq
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n Ve
r
dool
a
eg
e
export isl_tab_alloc
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdo
o
la
e
ge
add isl_int_le
commit
|
commitdiff
|
tree
2009-07-13
S
v
e
n
V
e
r
d
oolaege
p
rivately
export isl
_
basic_set
_
recession_cone
commit
|
commitdiff
|
tree
2009-07-13
Sven
Verdoolaege
isl
_
c
o
nvex
_
hull
.
c: a
d
d miss
i
ng a
s
s
i
gnme
n
t
commit
|
commitdiff
|
tree
2009-07-13
Sven
V
erd
o
olaege
privately export isl_basic_s
e
t_lin
e
ality_space
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdo
o
laege
isl_vec: keep track of isl_ctx
commit
|
commitdiff
|
tree
2009-07-12
Sve
n
Verdoolaege
isl_c
o
alesc
e
.
c: fi
x
typo
commit
|
commitdiff
|
tree
2009-06-13
S
v
e
n
V
erdoolaege
update pi
p
l
i
b
f
or c
h
an
g
e in c
o
nfigure arguments
commit
|
commitdiff
|
tree
2009-06-11
Sv
e
n
V
e
r
d
oolaege
isl_basic_map_drop_redu
n
d
ant_divs: coalesce divs if
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_basic_map_drop_redundant_di
v
s: set div expre
s
sion
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_basic_map_
d
rop_redundan
t
_divs: drop mor
e
kinds
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
S
v
e
n
Verdo
o
laege
isl_map_co
m
pute
_
divs: drop
obviously
redu
n
dant divs
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven
Verd
o
olaege
is
l
_
m
ap_pip
l
ib
.
c: ex
t
remum_o
n
: detect equaliti
e
s first
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl
_
pip_
b
asic_map_compute_d
i
vs: remove some equaliti
e
s
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven V
e
rdo
o
lae
g
e
isl_pip_basic_ma
p
_comp
u
te_divs: sep
a
rate out dimension
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Ve
r
doolaege
is
l
_b
a
sic_set
_
prei
m
age:
handle di
v
s in
i
nput
commit
|
commitdiff
|
tree
2009-06-11
Sven V
e
r
d
oolaege
i
s
l_input_
o
me
g
a
.
c: make variable_{free
,
new} static
commit
|
commitdiff
|
tree
2009-06-11
Sven Verd
o
olaege
isl_m
a
p
.
c: make
add_di
v
s
st
a
tic
commit
|
commitdiff
|
tree
2009-06-11
Sv
e
n Verdool
a
e
g
e
isl_
b
asic_m
a
p
_
simpli
f
y:
detect
div co
n
straints while
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Ve
r
d
o
olaeg
e
isl_basic_map_drop
:
properly handle d
i
mensio
n
s
o
f type
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Ver
d
oolaege
a
d
d
i
sl_int_mul_ui
commit
|
commitdiff
|
tree
2009-06-07
Sven Ver
d
oolaeg
e
add isl_seq_fdi
v
_q
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdo
o
lae
g
e
add
i
sl_s
e
q
_fdiv_
r
commit
|
commitdiff
|
tree
2009-06-07
S
ven Verdoolaege
isl_ba
s
ic
_
map_detect_equal
i
ties: properly
handle em
p
ty
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdo
o
laege
isl_
b
asic_
m
ap_is_empty: explicitly mark basic
sets
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoola
e
ge
isl_
m
ap
.
c: order_divs: swap with correc
t
di
v
commit
|
commitdiff
|
tree
2009-06-07
S
ven Ve
r
doolaege
isl_map_c
o
alesce: remove ext
r
a divs intr
o
duced by isl_
m
ap_al
.
.
.
commit
|
commitdiff
|
tree
2009-06-05
Sven Verdoolaege
add isl_map_coale
s
ce
commit
|
commitdiff
|
tree
2009-05-19
Sven
V
e
rdoolae
g
e
add isl_set_product
commit
|
commitdiff
|
tree
2009-05-19
Sv
e
n Verdoolaege
e
xport i
s
l_
m
ap_
d
im
commit
|
commitdiff
|
tree
2009-05-06
Sven
V
erdoolaege
i
s
l_map_conve
x
_hull: handl
e
unb
o
unded,
but
pointed
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
S
v
e
n
Verdoolaege
priv
a
tely export isl_mat_unimodular_com
p
lete
commit
|
commitdiff
|
tree
2009-05-06
S
ve
n
Verdoolaege
isl_tab
.
c: add i
s
l_
t
ab_get_sa
m
p
le_value
commit
|
commitdiff
|
tree
2009-05-06
Sv
e
n Ver
d
oola
e
ge
isl_
m
ap_conv
e
x_hull:
a
void introducing linealit
y
spaces
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
S
v
en
V
erdoolaege
add
t
wo more convex hull test cases
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolae
g
e
isl_map
_
conv
e
x
_
hull: rem
o
ve
lineality sp
a
ce if any
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven
Ve
r
doola
e
ge
add i
s
l_basic_set
_
is_un
i
verse
commit
|
commitdiff
|
tree
2009-05-06
Sv
e
n Verdoolaege
a
dd isl_set_get_d
i
m
commit
|
commitdiff
|
tree
2009-05-05
Sven Ver
d
oolaege
i
s
l_
c
onvex_hull
.
c: update wrap_f
a
cet to the
fa
c
t
we
.
.
.
commit
|
commitdiff
|
tree
2009-05-05
Sven Ver
d
oolaege
isl_
c
onvex
_
hull
.
c: fix typo in c
o
mment
commit
|
commitdiff
|
tree
2009-05-05
S
v
en
V
erd
o
o
laege
isl_c
o
alesce
.
c
:
fix typo i
n
c
omment
commit
|
commitdiff
|
tree
2009-05-05
Sven
Verdoolaege
isl_t
a
b
.
c: fix ty
p
o in
c
omment
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdool
a
e
g
e
add isl_basi
c
_
s
e
t
_get_dim
commit
|
commitdiff
|
tree
2009-03-23
Sven V
e
rdoolaege
i
s
l
_b
a
sic
_
map_gist: normalize div
s
(if any)
in context
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
i
s
l_basic_map_sim
p
lify:
remove duplicate divs before
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Ver
d
oo
l
a
ege
add
isl_basi
c
_set_div
commit
|
commitdiff
|
tree
2009-03-23
S
v
en
Verdoolaege
change calli
n
g
c
o
nvention of isl_basic_m
a
p
_div
commit
|
commitdiff
|
tree
2009-03-23
Sv
e
n Ve
r
doolaege
i
s
l_map_sim
p
li
f
y
.
c:
uset_gist:
b
reak early if
there
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Ver
d
oolaege
isl_map_simplify
.
c:
uset
_
g
ist: break early if interse
c
ti
o
n
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Verd
o
olae
g
e
ad
d
i
s
l_
b
asic_s
e
t_fast_i
s
_em
p
ty
commit
|
commitdiff
|
tree
2009-03-23
S
v
en
Verdoolaege
updat
e
piplib to 1
.
4
.
0
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
isl_ta
b
.
c: store num
b
er of
e
qualities among the constraints
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven
Ver
d
o
olaege
isl_mat_extend
:
prope
r
l
y
extend matrices with
reordered
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Ver
d
oolaege
isl_m
a
p_gi
s
t: h
a
ndle s
o
me specia
l
cases
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
o
o
l
a
ege
add
i
s
l_
m
ap_univers
e
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolae
g
e
add isl_basic_map_fast_is_empty
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolae
g
e
isl_basic_map_gist
:
replace by ne
w
version based on
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
Ver
d
oo
l
aege
is
l
_map_simplify
.
c: compute_elimination_index: don
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
ad
d
isl_map_impl
i
cit_
e
qu
a
lit
i
es
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
oola
e
g
e
add isl
_
b
a
s
i
c
_set_free_equali
t
y
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoo
l
ae
g
e
i
sl_map
_
convex_hull
:
mark
re
s
ult
a
s
not having any
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Ver
d
o
o
laege
c
o
nvex
_
hull: coa
l
esce
set fir
s
t
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoola
e
ge
add isl_
s
et_coales
c
e
commit
|
commitdiff
|
tree
2009-03-20
S
v
en
V
erdoo
l
aege
isl_input_om
e
ga
.
c
: basic_
m
ap_re
a
d
:
acc
e
pt "+" in constraints
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
add isl_basic_s
e
t_alloc_div
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
add isl_
s
et_align_divs
commit
|
commitdiff
|
tree
2009-03-20
S
ven
Ver
d
o
olaege
uset_affine_hull: ignore directions
i
n af
f
ine hull
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Ve
r
doolae
g
e
isl_basic_
m
ap_im
p
l
i
ci
t
_eq
u
alities: perform Gaussian
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdoolaege
isl_affine
_
hull
.
c: outside_po
i
n
t: c
h
ec
k
f
o
r
o
bv
i
ous
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
privately expo
r
t isl_ba
s
ic_s
e
t_c
o
ntains
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdoolaege
isl_ct
x
: add n
e
go
n
e
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
olaege
is
l
_vec_dump: handle NULL vec
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rdoolaege
isl_affine_hull
.
c: ex
t
ract uset_affine_
h
ull
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl
_
mat_
t
r
ansp
o
s
e
: handle non-rectangu
l
ar m
a
trices
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdo
o
laege
isl_map_si
m
ple_hull:
compute affine hull
b
e
f
ore aligning
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_map_sim
p
l
e
_hul
l
: mark res
u
lt as not h
a
ving any
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verdoo
l
aege
add isl_set
_
bounded_simple_hull
commit
|
commitdiff
|
tree
2009-03-20
S
v
en
Verdo
o
laege
is
l
_map_
a
ff
i
ne_hull: detect
equalit
i
es
of integer affine
.
.
.
commit
|
commitdiff
|
tree
next