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
move isl_basic_set_skew_to_positive_orthant to isl_sample.c
2009-07-15
Sven Verdoola
e
ge
move isl_basic_
s
e
t_skew_t
o
_positive_orthant to
i
sl_sample
.
c
commit
|
commitdiff
|
tree
2009-07-15
Sv
e
n Verdoolaege
isl_tab
.
c: fix typo in comm
e
nt
commit
|
commitdiff
|
tree
2009-07-15
Sven Verd
o
olaege
isl_b
a
sic_set_sample:
b
reak
e
a
r
ly
if sample found in
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
S
ven Verdoolaege
export isl_tab_
s
ample_is_i
n
teger
commit
|
commitdiff
|
tree
2009-07-15
S
ven Verdoolaege
isl_basic_set
_
s
a
m
p
le:
check sample st
o
red by isl_basic_map_i
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
isl_basic_m
a
p_is_empty
:
remove stal
e
sample
commit
|
commitdiff
|
tree
2009-07-15
Sven
Ver
d
oolae
g
e
add is
l
_poly
h
e
d
r
on_samp
l
e app
l
i
ca
t
io
n
commit
|
commitdiff
|
tree
2009-07-15
S
v
en Verdoolaege
introduce gene
r
alized basis reduct
i
on based
s
ampli
n
g
commit
|
commitdiff
|
tree
2009-07-15
Sven V
e
rdoolaege
ad
d
isl_seq_cdiv_q
commit
|
commitdiff
|
tree
2009-07-15
Sven Ve
r
doolaeg
e
isl_sampl
e
.
c: interval_sample: drop redundant argument
commit
|
commitdiff
|
tree
2009-07-15
S
ven Verdoolaege
isl_sample
.
c:
clean up handli
n
g of lineality space
commit
|
commitdiff
|
tree
2009-07-13
Sven
V
e
rdoolae
g
e
isl_
s
ampl
e
.
c: extract out sample_
e
q
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
isl_sam
p
le
.
c: in
t
erval_sample: handle equalities
directly
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoola
e
ge
isl_sa
m
ple
.
c: extract
o
ut empty_sample
commit
|
commitdiff
|
tree
2009-07-13
Sven Ver
d
o
o
laege
isl_s
a
mp
l
e
.
c: gener
a
lize point_sample t
o
zero_sample
commit
|
commitdiff
|
tree
2009-07-13
S
ven Verd
o
olaege
isl_tab:
don't cre
a
te
n
ew undo
r
ecords during rollback
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
is
l
_tab_min: use
g
e
n
eral r
o
llb
a
ck mechanism
commit
|
commitdiff
|
tree
2009-07-13
Sven Ver
d
oolaeg
e
i
s
l_ta
b
: opt
i
onall
y
save dual solution
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoola
e
g
e
isl_tab: add isl_tab_a
d
d_valid_eq
commit
|
commitdiff
|
tree
2009-07-13
Sven
V
erdoolaege
export isl_tab_
a
llo
c
commit
|
commitdiff
|
tree
2009-07-13
Sven
V
erd
o
olaege
ad
d
isl_int_le
commit
|
commitdiff
|
tree
2009-07-13
S
v
en V
e
rdoola
e
ge
privatel
y
export i
s
l_basic_s
e
t_re
c
ession_co
n
e
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
isl_convex_hull
.
c:
a
dd mi
s
sing assignment
commit
|
commitdiff
|
tree
2009-07-13
S
v
en Verdoolae
g
e
p
ri
v
ately export isl_basic_set_li
n
eali
t
y_space
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdool
a
ege
is
l
_
v
ec: k
e
ep track of isl_ctx
commit
|
commitdiff
|
tree
2009-07-12
Sven Verdoo
l
a
e
g
e
isl_coalesce
.
c:
fix typ
o
commit
|
commitdiff
|
tree
2009-06-13
Sven V
e
rdoolae
g
e
u
p
d
a
t
e
piplib for
c
han
g
e in
configure arguments
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
i
s
l
_
basic_map_dro
p
_
r
edundant_divs:
c
oalesce divs if
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoo
l
aeg
e
i
sl_b
a
s
ic_map_drop_red
u
ndan
t
_
di
v
s: set div expression
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
S
v
e
n Verdool
a
ege
i
s
l
_basi
c
_map_drop
_
re
d
undant_divs: drop mo
r
e kinds
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven V
e
rdo
o
laege
isl_map_compute_divs: drop
o
b
viously re
d
undant divs
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdo
o
laege
is
l
_ma
p
_piplib
.
c
: extremum_on: de
t
ect equali
t
ies fi
r
st
commit
|
commitdiff
|
tree
2009-06-11
Sven
V
e
rdoolaege
isl_pip_basic_m
a
p
_
compu
t
e_div
s
:
remo
v
e
some
e
q
u
alities
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven
Verdoo
l
aege
isl
_
p
ip_
b
asic_ma
p
_compute_divs: separate out dimensi
o
n
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven
V
erdoolaege
isl_
b
asic_set_pr
e
i
m
a
ge:
h
andle divs in input
commit
|
commitdiff
|
tree
2009-06-11
Sven V
e
r
doola
e
ge
isl
_
input_omega
.
c: mak
e
var
i
abl
e
_{fr
e
e,
n
ew} st
a
tic
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdool
a
e
ge
i
s
l_map
.
c: ma
k
e
a
dd_d
i
vs static
commit
|
commitdiff
|
tree
2009-06-11
Sv
e
n V
e
rd
o
ola
e
g
e
isl_basic_ma
p
_sim
p
lify
:
de
t
e
ct div
c
o
n
s
tr
a
ints while
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Ve
r
doola
e
ge
isl_b
a
si
c
_ma
p
_drop: prop
e
rly hand
l
e dimensions o
f
type
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven V
e
rdoola
e
ge
add is
l
_int_m
u
l_ui
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoola
e
ge
add isl_seq_
f
div_q
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
a
dd isl_seq_fdiv_r
commit
|
commitdiff
|
tree
2009-06-07
Sv
e
n
V
erdo
o
laege
isl_basic_
m
ap_detect_eq
u
a
l
i
t
ies: prope
r
ly
h
andle empty
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
S
v
en Verdoolaege
isl_basic_m
a
p_is_
e
mpty: explicitly mark b
a
sic sets
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Ve
r
doolaege
is
l
_map
.
c: orde
r
_divs: swap wit
h
correct di
v
commit
|
commitdiff
|
tree
2009-06-07
S
v
e
n Verdo
o
l
a
e
ge
i
s
l_map_coalesce:
r
emove extra divs introduced by isl_map_
a
l
.
.
.
commit
|
commitdiff
|
tree
2009-06-05
Sven Verdoolaeg
e
add isl_map_coalesce
commit
|
commitdiff
|
tree
2009-05-19
Sven
V
erdoolae
g
e
add is
l
_set_product
commit
|
commitdiff
|
tree
2009-05-19
Sven
V
erdoola
e
ge
export
i
sl_map_dim
commit
|
commitdiff
|
tree
2009-05-06
Sv
e
n Verdoolaege
isl_map_convex_
h
ul
l
:
h
a
n
d
le unbounded, but point
e
d
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolae
g
e
p
rivately expor
t
isl_mat_unimodular_complete
commit
|
commitdiff
|
tree
2009-05-06
Sven Verd
o
o
l
aege
i
s
l_t
a
b
.
c: ad
d
is
l
_
tab_get_sample_
v
a
l
u
e
commit
|
commitdiff
|
tree
2009-05-06
Sv
e
n V
e
rdo
o
laege
isl_map_
c
o
nvex_hu
l
l: avoid introducing lineality spaces
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven
V
e
rd
o
olaege
add two more convex hull test cases
commit
|
commitdiff
|
tree
2009-05-06
Sven Ver
d
oolaege
isl_map_convex_hu
l
l
: remove line
a
l
ity space if any
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven Ve
r
do
o
l
a
ege
ad
d
isl_basic_s
e
t_is_univ
e
rse
commit
|
commitdiff
|
tree
2009-05-06
Sven
V
erdoolaege
add
isl
_
set_get_dim
commit
|
commitdiff
|
tree
2009-05-05
S
v
en Ver
d
o
ola
e
ge
isl_convex
_
hull
.
c
:
update wrap_facet to the f
a
ct we
.
.
.
commit
|
commitdiff
|
tree
2009-05-05
S
ven Verdool
a
ege
i
s
l
_convex_hull
.
c:
f
ix typo in comment
commit
|
commitdiff
|
tree
2009-05-05
Sven
Verdoolaege
isl
_
coa
l
es
c
e
.
c: fix typo
i
n comment
commit
|
commitdiff
|
tree
2009-05-05
S
ven
Ver
d
oola
e
ge
isl_tab
.
c:
fix
typo in comment
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdo
o
l
a
ege
conf
i
gure
.
in: se
t
AC_CONFIG_MACRO_DIR
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoola
e
ge
add isl_ba
s
ic_set_get_dim
commit
|
commitdiff
|
tree
2009-03-23
Sven
Verdoolaege
isl_basic_
m
ap_gis
t
: norma
l
ize divs (if
a
n
y
) i
n
context
commit
|
commitdiff
|
tree
2009-03-23
S
ven Verdoolaeg
e
isl_basic_map_
s
im
p
li
f
y: remo
v
e
duplica
t
e
divs
b
e
f
o
re
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
add isl_basic
_
s
et
_
div
commit
|
commitdiff
|
tree
2009-03-23
S
v
en
V
er
d
oolae
g
e
change calling convention
o
f isl_basic_m
a
p_div
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
isl_map_simplif
y
.
c: u
s
et
_
gist: break early if t
h
ere
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven V
e
rdo
o
laege
isl_map_simplify
.
c
: uset_g
i
st:
b
reak
ea
r
ly i
f
i
n
te
r
se
c
tion
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sve
n
Verdoolaege
add isl_b
a
sic_s
e
t_fast_is_empty
commit
|
commitdiff
|
tree
2009-03-23
S
ven Ver
d
oolaege
updat
e
piplib to
1
.
4
.
0
commit
|
commitdiff
|
tree
2009-03-23
S
v
en Verdo
o
laege
i
s
l_tab
.
c: sto
r
e
number
o
f equa
l
ities amo
n
g
th
e
constraint
s
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoola
e
ge
i
sl_mat_extend: properl
y
extend
matrices w
i
th reord
e
r
e
d
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdoolaeg
e
i
s
l_map_
g
is
t
: handle some spec
i
a
l ca
s
es
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verdoola
e
ge
add isl_ma
p
_u
n
iv
e
rs
e
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdoolaege
add
is
l
_basic_m
a
p_fast_is_empty
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoola
e
g
e
isl_b
a
sic_map_gist: replace by new version based o
n
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
i
s
l
_
map_si
m
plify
.
c: compu
t
e_eliminatio
n
_i
n
d
ex: don
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n V
e
rdoolaege
add i
s
l_
m
ap_
i
mplicit_equal
i
ties
commit
|
commitdiff
|
tree
2009-03-20
S
v
e
n
V
erdoolaege
add isl_basic_s
e
t_free_equality
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verd
o
olaege
isl_map_convex_hull:
mark result as not having an
y
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdoolaege
c
o
n
ve
x
_hull: coalesce s
e
t first
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
add isl_set
_
c
o
alesce
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erd
o
olaege
isl_
i
nput_omega
.
c
:
b
a
sic_map_read: accept "+" in constra
i
nts
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
doolaeg
e
a
d
d isl_basic_set_alloc_div
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdoolaege
add isl_set_
a
li
g
n_d
i
vs
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolae
g
e
u
set_affine_hull:
i
gnore directions in affine
hul
l
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
oola
e
g
e
isl
_
ba
s
ic_map_impli
c
it_eq
u
alities: perform Gau
s
sian
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdoolaege
isl_aff
i
ne_hul
l
.
c
: outsid
e
_point: che
c
k for obvious
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
privately expo
r
t isl_bas
i
c_s
e
t_contai
n
s
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoo
l
aege
isl_ctx
:
add n
e
gone
commit
|
commitdiff
|
tree
2009-03-20
S
ven
Verdoolaege
i
s
l_
v
ec_dump:
handle NU
L
L vec
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_affine_hull
.
c: ex
t
ract use
t
_
affin
e
_hull
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_mat_transpose: handle non-rectang
u
lar m
a
trices
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
is
l
_
map_si
m
ple_hull: compute af
f
ine
h
ull before
a
ligning
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
oolaege
isl_map_simple_
h
ull: mark r
e
sult as not havin
g
any
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verdoolaege
add isl
_
set_bo
u
nded_sim
p
le_hul
l
commit
|
commitdiff
|
tree
2009-03-20
S
v
e
n
Verd
o
olae
g
e
isl_map_a
f
fine_hull: detec
t
equalit
i
es o
f
integer affine
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
oolaege
isl_bas
i
c
_
map_dup: copy flags of
o
rigi
n
al to duplica
t
e
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdoolaeg
e
isl_basic_m
a
p_
e
xtend_d
i
m:
move responsibility of
cow
.
.
.
commit
|
commitdiff
|
tree
next