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
add isl_seq_cdiv_q
2009-07-15
Sven
V
e
rdoolaege
add isl_se
q
_cdiv_
q
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdo
o
l
aege
isl_
s
ample
.
c:
i
nt
e
rval_sample:
drop redun
d
a
n
t arg
u
m
e
n
t
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdool
a
eg
e
isl_sample
.
c:
c
lean
up handl
i
ng of line
a
lity space
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
is
l
_sample
.
c: extr
a
ct
out sample_eq
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n V
e
rdoo
l
aege
isl_s
a
mple
.
c: i
n
terval_sam
p
le: handle
e
q
ualiti
e
s d
i
r
e
ctly
commit
|
commitdiff
|
tree
2009-07-13
S
ven Verdoolaege
isl
_
sample
.
c:
e
x
t
ract
o
ut e
m
pt
y
_sample
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n
Verdoo
l
aeg
e
isl
_
s
ample
.
c
:
genera
l
ize poi
n
t
_
s
am
p
le
to zero_sampl
e
commit
|
commitdiff
|
tree
2009-07-13
S
v
e
n Ver
d
oolaege
isl_
t
ab: don't create
n
ew undo r
e
c
o
rds duri
n
g rollback
commit
|
commitdiff
|
tree
2009-07-13
Sven V
e
rdoolaege
isl_t
a
b
_
min:
u
se general
ro
l
l
b
a
ck m
e
ch
a
nism
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n
V
erdoolaege
isl_tab: optional
l
y save dual
s
olution
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n Verdoolaege
isl_tab: add isl_tab
_
ad
d
_vali
d
_eq
commit
|
commitdiff
|
tree
2009-07-13
Sven Verd
o
o
l
a
e
g
e
export isl_ta
b
_alloc
commit
|
commitdiff
|
tree
2009-07-13
Sve
n
Verdoolaege
add
i
sl_
i
nt_le
commit
|
commitdiff
|
tree
2009-07-13
S
ven Verdoolaege
private
l
y exp
o
rt isl_basi
c
_set_r
e
cessio
n
_cone
commit
|
commitdiff
|
tree
2009-07-13
Sven V
e
r
d
oolaege
isl_
c
onvex_hull
.
c
: add missin
g
assi
g
nment
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoola
e
ge
privatel
y
export
i
sl_basic_set_line
a
l
ity_space
commit
|
commitdiff
|
tree
2009-07-13
Sven Verd
o
o
l
a
ege
isl
_
vec
:
kee
p
t
rack of is
l
_ctx
commit
|
commitdiff
|
tree
2009-07-12
Sven Ve
r
d
o
ola
e
ge
isl_coalesc
e
.
c: fix typo
commit
|
commitdiff
|
tree
2009-06-13
S
v
e
n
V
erdoo
l
aege
update p
i
plib
for change in
c
onfig
u
re arguments
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_bas
i
c_map_drop_re
d
undant_divs:
coalesce divs if
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_basi
c
_map_drop_re
d
undant_divs: se
t
d
i
v exp
r
ession
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sv
e
n Verd
o
o
l
aege
isl_
b
asic_map_
d
rop_red
u
nda
n
t_d
i
v
s
: drop m
o
re
k
inds
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sv
e
n Verd
o
olaege
is
l
_
m
ap_comp
u
t
e
_divs: drop o
b
viously redundant di
v
s
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verd
o
olaege
isl_map_piplib
.
c: ext
r
emu
m
_on:
d
etect equalities first
commit
|
commitdiff
|
tree
2009-06-11
Sve
n
Verdoola
e
ge
isl_
p
ip_b
a
s
i
c_ma
p
_
compute_
d
ivs: remove some
e
qualities
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_pip_ba
s
ic_m
a
p_compute_divs: separate out dimension
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Ve
r
doo
l
a
e
ge
i
sl_basic
_
set_p
r
ei
m
age: handle divs
in input
commit
|
commitdiff
|
tree
2009-06-11
Sven
V
erdoo
l
aege
is
l
_
i
np
u
t_omega
.
c
:
make variable_{free
,
new
}
static
commit
|
commitdiff
|
tree
2009-06-11
S
ven Verdoolaege
i
s
l
_m
a
p
.
c: ma
k
e add_divs sta
t
ic
commit
|
commitdiff
|
tree
2009-06-11
Sven Ver
d
oolaege
i
sl_
b
asic_map_s
i
m
p
l
i
f
y
: detect div
constraints whil
e
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sv
e
n Ver
d
oolaege
isl_basic_map
_
drop: p
r
o
p
erly handle dimensions of t
y
pe
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
add isl_int_mul_ui
commit
|
commitdiff
|
tree
2009-06-07
S
v
en
Ver
d
o
o
l
a
ege
add
isl_s
e
q_fdiv
_
q
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoo
l
aege
ad
d
i
sl_seq
_
fdiv_r
commit
|
commitdiff
|
tree
2009-06-07
Sven Ve
r
doolaeg
e
isl_basic_map_det
e
ct_equalities: properly handle empty
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Ve
r
d
o
o
l
aege
i
s
l
_basic
_
m
a
p_
i
s_empty: explic
i
tly m
a
rk basic sets
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verd
o
o
laeg
e
i
s
l_map
.
c: o
r
der_divs: swa
p
with correct di
v
commit
|
commitdiff
|
tree
2009-06-07
Sve
n
V
e
rdoolaege
isl_
m
ap_
c
oalesce
:
remove extra divs introduce
d
by isl_map_al
.
.
.
commit
|
commitdiff
|
tree
2009-06-05
Sv
e
n Ve
r
doolae
g
e
add isl_map_
c
oalesce
commit
|
commitdiff
|
tree
2009-05-19
Sven Ve
r
d
o
ol
a
ege
add isl_s
e
t_
p
roduct
commit
|
commitdiff
|
tree
2009-05-19
Sven Verdoolae
g
e
export isl_map_
d
i
m
commit
|
commitdiff
|
tree
2009-05-06
Sve
n
Verdool
a
ege
isl
_
map
_
co
n
vex_
h
ull: handle unbounded, bu
t
pointed
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoo
l
aege
private
l
y expor
t
i
sl_m
a
t_unimodu
l
ar_complete
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdool
a
eg
e
isl_tab
.
c
: add
i
s
l
_tab_get_
s
ample_valu
e
commit
|
commitdiff
|
tree
2009-05-06
Sven
V
erdoolaege
i
sl_map_conv
e
x_hull
:
a
v
oid i
n
trodu
c
ing lineali
t
y
spac
e
s
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven Ve
r
doolaege
add tw
o
more convex hull test cases
commit
|
commitdiff
|
tree
2009-05-06
S
v
en V
e
rdoolaeg
e
isl_
m
ap_conve
x
_
h
ull: remove
lineality space if a
n
y
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
a
d
d isl_
b
asic_set_is_un
i
verse
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
add isl_se
t
_get_dim
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoolaege
isl_convex_hull
.
c: updat
e
wr
a
p
_facet to the
f
act we
.
.
.
commit
|
commitdiff
|
tree
2009-05-05
Sv
e
n Verdoolaege
i
sl_
c
onvex_hull
.
c
: fix typo i
n
c
o
m
men
t
commit
|
commitdiff
|
tree
2009-05-05
Sv
e
n Verdoola
e
ge
isl_coales
c
e
.
c: f
i
x typo
i
n comment
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoolaege
isl_tab
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2009-05-05
Sven
Verdoolaege
configure
.
in: se
t
A
C_CONFIG_MACRO_DIR
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdo
o
laege
add isl_
b
asic_set_get_dim
commit
|
commitdiff
|
tree
2009-03-23
Sve
n
Ve
r
d
o
olaege
isl_basic_map_gist: norm
a
lize divs
(if any) in cont
e
xt
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
isl_bas
i
c_map_simplify: remove dupl
i
c
ate div
s
before
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
add
isl
_
basic_set
_
div
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
change callin
g
conventio
n
of is
l
_basic_map_div
commit
|
commitdiff
|
tree
2009-03-23
S
v
en Verdoolaege
isl_map_simplify
.
c: uset
_
gis
t
: break earl
y
if the
r
e
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
S
ven
Verdool
a
ege
isl_map_
s
i
m
plify
.
c:
uset_gist: break early if
i
n
tersection
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Ve
r
doolae
g
e
a
dd
i
sl_b
a
sic_set_
f
ast_is_emp
t
y
commit
|
commitdiff
|
tree
2009-03-23
Sve
n
V
erdoolaege
upda
t
e
p
iplib to 1
.
4
.
0
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
isl_tab
.
c: store n
u
m
b
e
r of e
q
ualities among the constra
i
n
t
s
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
isl_mat_ext
e
nd:
p
roperly extend
m
atrice
s
with reordered
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdool
a
ege
i
sl_map
_
gist:
h
andle
s
om
e
special cas
e
s
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolae
g
e
ad
d
isl_map_univers
e
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Ver
d
oolaege
add isl_basic_map_
f
a
s
t_is_emp
t
y
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
i
sl_bas
i
c_map_g
i
st: replace by new versi
o
n ba
s
ed
on
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
e
rdoolaege
isl_map_simp
l
ify
.
c
: compute_elim
i
nation_
i
n
d
ex: d
o
n
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rdoolaege
ad
d
isl
_
ma
p
_implic
i
t_
e
quali
t
ies
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaeg
e
add isl_
b
asic_set_free_equality
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdoolae
g
e
i
sl_map_conv
e
x_hull
:
mark res
u
lt as not hav
i
ng any
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
Ve
r
doolaege
c
onvex_hull
:
coalesce set first
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdoolaege
add i
s
l_set_coalesce
commit
|
commitdiff
|
tree
2009-03-20
S
ve
n
Verdoolaege
isl_input_
o
mega
.
c
:
ba
s
ic_map_read: accep
t
"+"
i
n co
n
straints
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
doolaege
add
i
sl
_
b
a
s
i
c_set_alloc_div
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rdoolaege
ad
d
isl_set_align_divs
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdool
a
e
ge
uset
_
affine_hull: ignore directions in affine hull
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
o
olaege
isl_basic_ma
p
_implicit_e
q
u
a
lities: perform Gaus
s
ian
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdoolaege
i
sl_affine_hull
.
c:
outside_point
:
check
for obvious
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdoolaeg
e
privately
export isl_basic_set_contains
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
oolaege
isl_ctx
:
add negone
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rd
o
olaege
i
sl
_
vec_dump
:
handle NUL
L
v
ec
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdoolaege
isl_affine_hull
.
c: extract
use
t
_
affin
e
_hull
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
i
s
l_
m
at_tra
n
sp
o
se: handle non-rectangular matrices
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoola
e
g
e
isl_map_simple_hul
l
: compute aff
i
ne
hull bef
o
r
e ali
g
ning
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
is
l
_map_simple_hull: ma
r
k r
e
sult
a
s not having any
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
r
d
o
o
l
ae
g
e
a
d
d isl_set_bound
e
d_simple_h
u
ll
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verd
o
olaege
isl_map_affine_hull: detect equalities of integer affine
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdoolaege
is
l
_b
a
sic_map_
d
up: copy flags of o
r
iginal
t
o duplicate
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
V
e
rdo
o
laege
i
sl_bas
i
c_map_extend_dim: move respo
n
sibili
t
y of cow
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
ven V
e
rdoolae
g
e
isl
_
bas
i
c_map_extend
_
dim: only extend
c
o
nst
r
aint matr
i
x
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdo
o
laege
isl_solv
e
_l
p
: use tableaus instead of calling piplib
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdoolaege
isl_solve_lp: accep
t
affi
n
e object funct
i
on instead
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdo
o
la
e
ge
isl_map_simp
l
e_
h
ull:
u
se hash
t
ables a
n
d table
a
us
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
d
o
ola
e
ge
isl_convex_h
u
ll
.
c
: extract out uset_simple_h
u
ll
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
ool
a
ege
isl_co
n
vex_hull
.
c: exte
n
d:
a
vo
i
d
wrapping aroun
d
a
lready
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
V
e
rdool
a
ege
i
s
l_convex_
h
ul
l
.
c: introduce
p
roto_hull based on
obvious
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
o
olaege
isl
_
convex_hul
l
.
c:
m
ove
i
nit
i
al hull c
o
nstructio
n
into
.
.
.
commit
|
commitdiff
|
tree
next