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_basic_map_is_empty: remove stale sample
2009-07-15
Sven Verdoolaege
i
s
l
_basic_map_
i
s
_
e
mpty: remove stale
sampl
e
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoo
l
a
ege
add isl_polyhedron_samp
l
e applicati
o
n
commit
|
commitdiff
|
tree
2009-07-15
Sven Ve
r
doolaege
intro
d
u
ce
gener
a
lize
d
basis r
e
d
uct
i
on
based sampling
commit
|
commitdiff
|
tree
2009-07-15
S
v
en Verdoo
l
aege
add isl_s
e
q_cdiv_q
commit
|
commitdiff
|
tree
2009-07-15
Sven V
e
rdoola
e
ge
isl_sample
.
c:
interval_sampl
e
: drop redundant argument
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
isl_sample
.
c: c
l
ean up
h
and
l
i
ng of lineality space
commit
|
commitdiff
|
tree
2009-07-13
Sven Verd
o
o
laege
i
s
l_
s
am
p
le
.
c: extr
a
ct
o
ut sample_eq
commit
|
commitdiff
|
tree
2009-07-13
Sve
n
V
e
rdoolaege
isl_sample
.
c: int
e
rv
a
l_s
a
m
p
le: handle equali
t
ie
s
direc
t
ly
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
isl_sa
m
p
le
.
c:
extract out
e
m
pty_sample
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdool
a
e
ge
isl_sample
.
c
: general
i
ze poi
n
t_sample to zero_sample
commit
|
commitdiff
|
tree
2009-07-13
Sve
n
Verdoolaege
isl_tab: don'
t
create new undo
r
ecord
s
during rollb
a
ck
commit
|
commitdiff
|
tree
2009-07-13
Sven Ve
r
doolae
g
e
isl_tab_mi
n
: use general rollbac
k
mechanism
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n Ve
r
do
o
laege
isl_tab: opt
i
o
n
ally save dual soluti
o
n
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdo
o
laege
isl_tab
:
add
i
s
l
_tab_add_valid_eq
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
e
x
port is
l
_tab_alloc
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
add isl
_
in
t
_l
e
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
pr
i
v
ately
e
xport
isl_
b
asic_set
_
re
c
e
ssion
_
con
e
commit
|
commitdiff
|
tree
2009-07-13
Sven V
e
rdoolaege
isl_co
n
v
ex_hull
.
c: ad
d
missing assignment
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
privately export is
l
_basic
_
se
t
_lineali
t
y_spac
e
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n Verdoolaege
isl_vec: kee
p
tra
c
k of
i
sl_ctx
commit
|
commitdiff
|
tree
2009-07-12
Sven Ver
d
oolaege
isl_coales
c
e
.
c: fix typo
commit
|
commitdiff
|
tree
2009-06-13
Sven
Verdoo
l
ae
g
e
update piplib fo
r
chang
e
in
c
o
nfigur
e
arg
u
ments
commit
|
commitdiff
|
tree
2009-06-11
S
v
en Verdool
a
ege
isl_b
a
sic_
m
ap_drop
_
redundant_di
v
s
:
coa
l
esce divs if
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven V
e
rd
o
olaege
isl_ba
s
ic_map_drop
_
r
edunda
n
t_divs: set div expre
s
sio
n
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven V
e
r
d
oolaege
i
s
l
_
basic_
m
ap_dr
o
p_redundant_di
v
s: dr
o
p more kinds
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sve
n
Verdoo
l
aege
i
s
l
_
map
_
com
p
ute_div
s
: d
r
op obviously redundant divs
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_map_piplib
.
c:
e
xtremum_on: detect eq
u
a
l
ities first
commit
|
commitdiff
|
tree
2009-06-11
Sven
Verd
o
olaege
isl_pip_ba
s
ic_map_compute_divs: remove
s
ome equa
l
ities
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_pip
_
basic
_
map_comput
e
_divs: separate out dim
e
n
s
io
n
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
S
v
e
n Verdoolaege
isl_
b
a
sic_set_preimage
:
handle divs i
n
input
commit
|
commitdiff
|
tree
2009-06-11
Sven Ve
r
doolaege
isl_input_omega
.
c: mak
e
variable_{fr
e
e,new}
s
tatic
commit
|
commitdiff
|
tree
2009-06-11
Sv
e
n Verdoolae
g
e
isl_map
.
c: make add_divs st
a
tic
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_basic_map_
s
implif
y
:
d
etect div
c
o
nstraints while
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven
Verdoolaege
isl_bas
i
c_map_d
r
op:
p
roperly h
a
ndle dimen
s
i
ons
o
f type
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven
V
erdoolaege
add isl_int_mul_
u
i
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaeg
e
add
i
sl
_
seq_f
d
i
v_q
commit
|
commitdiff
|
tree
2009-06-07
Sv
e
n
Verdoolaege
add
isl_seq_fdiv_r
commit
|
commitdiff
|
tree
2009-06-07
Sv
e
n Verdool
a
ege
i
s
l_bas
i
c_map_detect_equalitie
s
:
p
roperly ha
n
dle emp
t
y
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoola
e
ge
is
l
_ba
s
ic_map_is_empty: explicitly mark ba
s
i
c sets
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
isl_map
.
c: order_divs:
s
wap wit
h
correct div
commit
|
commitdiff
|
tree
2009-06-07
Sven Ve
r
doola
e
g
e
isl_map_coalesce: remove ext
r
a divs
introduce
d
by isl_
m
ap_al
.
.
.
commit
|
commitdiff
|
tree
2009-06-05
Sven
V
erdoola
e
ge
add i
s
l_map_coa
l
esce
commit
|
commitdiff
|
tree
2009-05-19
Sven
V
erdoo
l
a
e
g
e
add isl_set
_
product
commit
|
commitdiff
|
tree
2009-05-19
Sven Verdoolaege
export is
l
_map_dim
commit
|
commitdiff
|
tree
2009-05-06
Sve
n
Verdoolaege
isl
_
m
ap_c
o
nvex_hull: handle unb
o
unded
,
b
u
t poin
t
ed
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven
V
e
rdool
a
ege
p
rivatel
y
ex
p
ort isl_
m
at
_
unimodular_co
m
plete
commit
|
commitdiff
|
tree
2009-05-06
Sven
Verd
o
o
l
aege
isl_tab
.
c
:
add is
l
_
t
ab_ge
t
_sample_value
commit
|
commitdiff
|
tree
2009-05-06
S
v
e
n
V
erdoolaeg
e
isl_map_convex
_
hull
:
avoid introducing
l
i
ne
a
lity spaces
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven Ver
d
oolae
g
e
add
tw
o
m
ore
c
onvex hul
l
te
s
t cases
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
isl_
m
a
p
_
convex_hull: remove linealit
y
spac
e
if an
y
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven Verd
o
o
laege
add isl_
b
as
i
c_
s
et_is_
u
niverse
commit
|
commitdiff
|
tree
2009-05-06
Sven V
e
rdoolaege
add isl_set_get_dim
commit
|
commitdiff
|
tree
2009-05-05
Sven Ve
r
doolaege
isl_convex_h
u
ll
.
c
: update wr
a
p_facet to the fact we
.
.
.
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoolaege
isl_convex_hull
.
c: fix typo
in comm
e
n
t
commit
|
commitdiff
|
tree
2009-05-05
Sve
n
Verdoolaege
isl_coalesc
e
.
c: fi
x
typo in comment
commit
|
commitdiff
|
tree
2009-05-05
Sv
e
n
Verd
o
o
laege
isl_t
a
b
.
c: fix
t
y
p
o in c
o
mment
commit
|
commitdiff
|
tree
2009-03-23
Sv
e
n Verdoolaeg
e
add isl_basic_s
e
t_get_
d
im
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
isl_basic_m
a
p_gist: normali
z
e divs (if any) in c
o
ntext
commit
|
commitdiff
|
tree
2009-03-23
S
v
en Ve
r
doolaege
isl_
b
asic_ma
p
_
sim
p
li
f
y:
r
emov
e
duplicate divs b
e
f
o
re
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven
V
erdool
a
ege
add isl_ba
s
ic_
s
et
_
div
commit
|
commitdiff
|
tree
2009-03-23
S
ven Verdoolae
g
e
c
h
ange calling
c
onventio
n
of isl_basic_map_div
commit
|
commitdiff
|
tree
2009-03-23
S
ven
V
e
rdoolaege
isl_map_sim
p
lify
.
c
: uset_
g
i
s
t
:
break ea
r
ly if there
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sve
n
Verdoola
e
g
e
i
sl_map_sim
p
li
f
y
.
c
:
uset_gist: break early if i
n
tersec
t
ion
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sve
n
Verdoolaege
a
d
d isl_b
a
sic_set_fast_
i
s_
e
mpty
commit
|
commitdiff
|
tree
2009-03-23
Sven
V
erdoolaege
u
pdat
e
piplib to 1
.
4
.
0
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoo
l
aege
isl_tab
.
c
: store nu
m
ber of equal
i
ti
e
s among the constraints
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
S
ve
n
Verdoolaege
isl_mat_extend:
p
roperly extend matrice
s
with r
e
o
r
d
e
red
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
d
o
olaege
isl_map_gist
:
handle some sp
e
c
ial cases
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
e
rdool
a
eg
e
add is
l
_
m
ap_universe
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoola
e
ge
a
dd isl_basic_map
_
f
a
st_is_empty
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_basic
_
ma
p
_gist: replace by new version based on
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdo
o
lae
g
e
i
sl_m
a
p_simplify
.
c: c
o
m
p
ute_el
i
mination_i
n
dex: don
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdo
o
l
a
ege
add
isl_map_implicit_equalities
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rdoolaeg
e
add i
s
l_basic_
s
e
t_f
r
ee_equal
i
ty
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdool
a
e
ge
i
sl_
m
ap_co
n
vex
_
hull:
m
ark re
s
ult as not having any
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
convex_hull
:
c
oalesce se
t
first
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdo
o
laege
a
dd isl_set_c
o
a
lesce
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_input
_
omega
.
c: basic
_
map_re
a
d: accept "+" i
n
constraints
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdoolaeg
e
a
dd is
l
_basic_set_allo
c
_div
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdoola
e
ge
a
d
d is
l
_set_align_divs
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
olaege
uset_affine
_
hull: ignor
e
di
r
e
ctio
n
s in af
f
ine hull
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_basic_map_im
p
licit_equalities:
perform Gaussian
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl
_
affine_hull
.
c:
o
utsi
d
e_point: che
c
k for obv
i
ous
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaeg
e
pr
i
vately export isl_basic_set_contains
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verdoolaege
isl_c
t
x: add n
e
gone
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
is
l
_vec_d
u
mp: han
d
le NU
L
L vec
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdoo
l
aege
is
l
_
affine_hull
.
c: extract uset_a
f
fine_hull
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verdoolaege
isl
_
mat_tran
s
pose
:
handle non-rec
t
angular ma
t
rices
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
olae
g
e
isl_ma
p
_s
i
mple_hul
l
: compute affine hull befor
e
ali
g
ning
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
oo
l
a
e
g
e
isl_map_simple_hul
l
: ma
r
k re
s
ul
t
as
not having any
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
olaege
add is
l
_se
t
_bound
e
d_simple_hull
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdoolae
g
e
i
sl_map_affin
e
_hull: detect equalities of
i
n
t
e
g
er
a
ffin
e
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_basic_
m
ap_du
p
:
copy fl
a
gs of
o
rigi
n
a
l t
o
duplicate
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verdoolaege
isl_
b
asic_map
_
exten
d
_dim: move re
s
ponsibility
of
cow
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
ven
V
erdoo
l
aege
isl_bas
i
c
_
map_e
x
ten
d
_dim: only extend constrai
n
t
mat
r
ix
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
V
e
rdoolaege
isl
_
s
o
lve_lp: u
s
e table
a
us instead of calling piplib
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl
_
solve_lp: accept a
f
fine object
f
unction instea
d
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
r
d
oolaege
i
s
l_map_simple_hul
l
: use hash ta
b
les and t
a
bleau
s
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_conv
e
x_hull
.
c
:
extr
a
ct out uset_simple_hull
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_convex_hull
.
c: extend: avoid wrapping around already
.
.
.
commit
|
commitdiff
|
tree
next