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
S
ven V
e
rdoolae
g
e
move isl_basic_set_
s
ke
w
_to_positiv
e
_
orthant t
o
isl_sample
.
c
commit
|
commitdiff
|
tree
2009-07-15
Sv
e
n Verdoo
l
aege
isl_tab
.
c: fi
x
typo in comment
commit
|
commitdiff
|
tree
2009-07-15
S
ve
n
Verdo
o
laege
isl_basic_set_sample: break early if
s
ample
fo
u
nd in
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
exp
o
rt
isl_tab
_
sample_is_intege
r
commit
|
commitdiff
|
tree
2009-07-15
S
v
en Verdoolaege
is
l
_basic_
s
et_sam
p
le: check sample stored by
i
sl
_
basic_map_i
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdool
a
eg
e
is
l
_basic_
m
ap_is_
e
mpt
y
: re
m
o
v
e stal
e
sample
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
add
isl_polyhedr
o
n
_
sample
a
pplication
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
int
r
oduce generali
z
e
d
basis reduction based sampling
commit
|
commitdiff
|
tree
2009-07-15
S
v
en Ver
d
o
o
laege
add isl_seq_cdiv_q
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
isl_sa
m
ple
.
c: in
t
erval_sample: drop redunda
n
t argument
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
i
s
l_sample
.
c: clean up handling of l
i
nealit
y
space
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaeg
e
isl_sa
m
p
le
.
c: extra
c
t out sampl
e
_eq
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
isl_sample
.
c: inter
v
al_sample:
handle equ
a
liti
e
s
directly
commit
|
commitdiff
|
tree
2009-07-13
S
v
en Ver
d
oolaege
isl_sample
.
c: e
x
tract out em
p
ty_sampl
e
commit
|
commitdiff
|
tree
2009-07-13
S
ven Verdoolaege
i
sl_sam
p
le
.
c:
general
i
z
e
point_sample t
o
zero_sam
p
le
commit
|
commitdiff
|
tree
2009-07-13
Sven Ver
d
ool
a
ege
isl_tab: don't
c
reate new
undo recor
d
s
d
urin
g
ro
l
lback
commit
|
commitdiff
|
tree
2009-07-13
S
v
e
n Ver
d
oolaege
i
s
l_tab_mi
n
: use g
e
nera
l
rollb
a
ck mechanism
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n Verdoolaeg
e
isl_t
a
b: op
t
ionally save dual solution
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
i
s
l_tab:
add isl_tab_add_val
i
d_eq
commit
|
commitdiff
|
tree
2009-07-13
Sven Verd
o
o
laege
exp
o
rt i
s
l_t
a
b_alloc
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
add isl_int_le
commit
|
commitdiff
|
tree
2009-07-13
Sven
V
erd
o
olaege
pr
i
vatel
y
exp
o
rt isl_basic_set_rece
s
sion_cone
commit
|
commitdiff
|
tree
2009-07-13
Sven V
e
rdoolaege
isl_convex_
h
ul
l
.
c: add missing
assig
n
m
e
nt
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
p
rivately expor
t
isl_basic_s
e
t_lineality_space
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
isl_
v
ec: ke
e
p
track of
i
sl
_
ctx
commit
|
commitdiff
|
tree
2009-07-12
Sven Verdo
o
laege
isl_coal
e
sce
.
c: fix typ
o
commit
|
commitdiff
|
tree
2009-06-13
Sven Verd
o
olaege
update p
i
plib for change in co
n
f
igu
r
e arg
u
ment
s
commit
|
commitdiff
|
tree
2009-06-11
Sven
Ve
r
doolaege
is
l
_basic_map_drop_redundant_divs
:
coalesce divs if
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven
V
e
r
doolaege
i
s
l_
b
asic_m
a
p_drop_red
u
n
da
n
t
_di
v
s: s
e
t
div
e
xpression
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
S
ven Verdoolaege
isl_basic_map_drop_redund
a
nt_divs: drop more kinds
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Ver
d
oola
e
ge
isl
_
m
a
p_compu
t
e_d
i
v
s
: drop obviously redundant di
v
s
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Ver
d
oolaege
isl_map_piplib
.
c: e
x
tremum_
o
n
:
detect equalities fir
s
t
commit
|
commitdiff
|
tree
2009-06-11
Sven Ver
d
oola
e
ge
isl_
p
ip_basic_
m
ap_co
m
pute_
d
ivs:
r
emove some
equalities
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
S
v
en Verd
o
o
l
ae
g
e
isl_p
i
p_
b
asic_map_
c
ompute_div
s
: separate o
u
t dimensio
n
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_
b
as
i
c_set_preimag
e
: handle d
i
vs in inp
u
t
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_input_omega
.
c: m
a
ke va
r
i
able_{free,n
e
w} static
commit
|
commitdiff
|
tree
2009-06-11
Sven
V
e
rdoolaege
i
s
l
_map
.
c:
m
a
k
e add_divs
s
t
atic
commit
|
commitdiff
|
tree
2009-06-11
Sv
e
n V
e
rdoolaege
isl_basi
c
_
m
ap_si
m
pli
f
y: dete
c
t div
constr
a
i
n
ts
w
hile
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
S
ven Verdoolaeg
e
isl_basic_map
_
dro
p
: properly han
d
le
dimen
s
ions of type
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Ver
d
oolaeg
e
add isl_
i
n
t
_mul_u
i
commit
|
commitdiff
|
tree
2009-06-07
Sv
e
n V
e
rdoolaege
add
i
sl_seq_
f
div_q
commit
|
commitdiff
|
tree
2009-06-07
Sven Verd
o
olaege
ad
d
isl_seq_fdiv_r
commit
|
commitdiff
|
tree
2009-06-07
Sv
e
n Verdoolaege
isl_basic_map_detec
t
_equalities: proper
l
y handle empty
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Ve
r
doolaege
isl
_
basic_
m
ap_is_e
m
pty: explicitly mark basi
c
sets
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
is
l
_map
.
c: order_divs: swap wit
h
cor
r
ect div
commit
|
commitdiff
|
tree
2009-06-07
Sve
n
Verdoolaege
isl_map_coalesce
:
remove extra divs introduced by isl_map_al
.
.
.
commit
|
commitdiff
|
tree
2009-06-05
Sven Verd
o
olae
g
e
add is
l
_map_coales
c
e
commit
|
commitdiff
|
tree
2009-05-19
Sven Verdoola
e
ge
a
d
d
isl_s
e
t
_produ
c
t
commit
|
commitdiff
|
tree
2009-05-19
Sven
V
erdoolaege
export isl_map
_
dim
commit
|
commitdiff
|
tree
2009-05-06
Sve
n
Verdoolae
g
e
isl_map
_
c
o
nvex_
h
ull: handle unbounded, but point
e
d
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven Verd
o
olaege
privately export i
s
l
_mat_unimod
u
l
ar_com
p
lete
commit
|
commitdiff
|
tree
2009-05-06
Sven
V
erdoo
l
aege
is
l
_ta
b
.
c: add isl_tab_g
e
t_sample_value
commit
|
commitdiff
|
tree
2009-05-06
Sven V
e
rdoolae
g
e
i
s
l_
m
ap_convex_hull: avoid introducing lin
e
ality
s
pace
s
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven Ver
d
oo
l
aege
a
d
d two more convex hull tes
t
cas
e
s
commit
|
commitdiff
|
tree
2009-05-06
Sven Ve
r
doolae
g
e
i
s
l
_map_convex_
h
ull
:
r
e
move lineality
space if any
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sve
n
Verdool
a
e
g
e
add isl_basic_set_is_universe
commit
|
commitdiff
|
tree
2009-05-06
Sven Ve
r
doolaege
add isl_se
t
_get
_
dim
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdo
o
laege
isl_convex_hull
.
c: up
d
ate wr
a
p_fa
c
et to the fact we
.
.
.
commit
|
commitdiff
|
tree
2009-05-05
Sven
V
e
rdoolaeg
e
is
l
_convex_hull
.
c: fix
typo in comme
n
t
commit
|
commitdiff
|
tree
2009-05-05
Sven
V
e
r
d
o
olaege
i
sl_coalesce
.
c: fi
x
typo i
n
com
m
ent
commit
|
commitdiff
|
tree
2009-05-05
S
ven Verdoolaege
isl_tab
.
c: fix
typo
i
n commen
t
commit
|
commitdiff
|
tree
2009-03-23
S
ven V
e
r
doolaege
add isl
_
basic_set_get
_
dim
commit
|
commitdiff
|
tree
2009-03-23
Sve
n
Verdoolaege
isl_basic
_
map_gist: normalize d
i
v
s (if any
)
i
n contex
t
commit
|
commitdiff
|
tree
2009-03-23
Sven V
e
rdool
a
e
g
e
isl_basi
c
_map
_
sim
p
lify: rem
o
ve duplicate divs before
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
S
ve
n
Verd
o
olaege
add isl_basi
c
_
s
et_di
v
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdo
o
lae
g
e
change calling conv
e
nt
i
on
of isl
_
bas
i
c_map_div
commit
|
commitdiff
|
tree
2009-03-23
Sven
V
erd
o
olaege
isl_ma
p
_s
i
m
plify
.
c: use
t
_gist: break early
if t
h
e
r
e
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Verd
o
olaege
isl
_
m
ap_simplify
.
c: u
s
e
t
_gist:
b
re
a
k
early if intersect
i
on
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdo
o
laege
a
dd isl_
b
asic_s
e
t_f
a
st_is_empty
commit
|
commitdiff
|
tree
2009-03-23
Sven Ve
r
doolaege
u
pdate piplib to 1
.
4
.
0
commit
|
commitdiff
|
tree
2009-03-23
S
v
en Verdoolaege
i
sl_tab
.
c: store number of eq
u
a
l
ities among the constr
a
in
t
s
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven
Ve
r
doolaege
i
sl_mat_exte
n
d: prope
r
ly exte
n
d matrices wit
h
reordered
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
doolaeg
e
isl_map_gi
s
t: han
d
le
s
ome special c
a
ses
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
er
d
oolaege
add isl_map_uni
v
erse
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolae
g
e
a
d
d
isl_ba
s
ic_map_fa
s
t_is_empty
commit
|
commitdiff
|
tree
2009-03-20
S
v
en
Verdoola
e
g
e
isl_basic_map_gist
:
replace b
y
new version based o
n
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
ven Ver
d
o
o
l
aege
isl_map_simplif
y
.
c: compute_elimination_index: don
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
e
n Ver
d
o
ol
a
ege
a
d
d isl_m
a
p
_
implicit_equalities
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
doolaege
add isl_basi
c
_
s
e
t_
f
ree_equality
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verdoolaege
is
l
_map_conv
e
x
_hu
l
l
:
mar
k
res
u
lt
a
s not hav
i
ng any
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
olaege
convex_hull
:
coalesc
e
s
e
t first
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rd
o
ola
e
g
e
add isl_s
e
t_coalesc
e
commit
|
commitdiff
|
tree
2009-03-20
S
v
e
n Verdoolaege
isl_input_ome
g
a
.
c: basic_ma
p
_read: acc
e
pt
"+" in constraints
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdoo
l
aege
a
d
d i
s
l_basi
c
_set_alloc_div
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdoolaege
ad
d
isl
_
set_
a
lign_d
i
v
s
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolae
g
e
uset_affin
e
_hull:
i
g
nor
e
directio
n
s
i
n a
f
fine hull
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
ven V
e
rdoolaege
isl_b
a
sic_map
_
i
mpli
c
it
_
equalit
i
es: perform Gauss
i
an
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
ve
n
Ve
r
doolaege
is
l
_af
f
ine_hull
.
c
:
outs
i
de_point: check for ob
v
ious
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
privately
e
xp
o
rt isl_basic_set_contains
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verd
o
olaege
isl_ctx: add n
e
g
o
ne
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_vec_dump:
h
andl
e
NULL vec
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdoola
e
g
e
is
l
_affine_hull
.
c: extract us
e
t_
a
ffine
_
hull
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdoolaege
isl
_
m
at_transpo
s
e: handle
non-rectangular matrices
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
do
o
la
e
g
e
isl_map_simple_hull: comput
e
affine
hull before al
i
g
nin
g
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_map_sim
p
le_hull: mark
resu
l
t as not having any
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verdoolaeg
e
add isl_set_bounded_simple_h
u
l
l
commit
|
commitdiff
|
tree
2009-03-20
S
ven
Verdoolaege
isl_map
_
affine_hu
l
l: detect equalities of inte
g
er affine
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_basi
c
_
m
a
p_dup
:
copy flags of
o
rigi
n
al to dupl
i
cate
commit
|
commitdiff
|
tree
2009-03-20
S
v
e
n
Verdoolaege
isl_ba
s
ic_map_extend_dim: move responsi
b
ili
t
y of cow
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
e
rdoola
e
ge
isl_bas
i
c_map_extend_
d
im: on
l
y extend con
s
t
raint matrix
.
.
.
commit
|
commitdiff
|
tree
next