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_tab: don't create new undo records during rollback
2009-07-13
S
v
en Verdool
a
ege
isl_tab: don't
create new und
o
r
ec
o
rds duri
n
g roll
b
a
c
k
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaeg
e
isl_
t
ab_min: use ge
n
e
ral rol
l
back m
e
chanism
commit
|
commitdiff
|
tree
2009-07-13
Sven Verd
o
olae
g
e
i
s
l_tab:
option
a
lly
s
a
ve dual
solution
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdo
o
laeg
e
isl
_
tab: add isl
_
tab_add_
v
alid_eq
commit
|
commitdiff
|
tree
2009-07-13
Sven
V
erdoolaege
export isl_tab_allo
c
commit
|
commitdiff
|
tree
2009-07-13
S
ven Verdoolaege
a
d
d
isl_int_le
commit
|
commitdiff
|
tree
2009-07-13
Sve
n
Verdoolaege
p
rivately export
i
sl_basic_set_r
e
cession_
c
one
commit
|
commitdiff
|
tree
2009-07-13
S
ve
n
Verdoola
e
ge
isl_co
n
v
ex_hull
.
c:
a
d
d missing
a
ssignment
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n Verdoolaege
privately
export isl_basic
_
se
t
_lineali
t
y_space
commit
|
commitdiff
|
tree
2009-07-13
Sven
Verdoolaeg
e
isl_vec: ke
e
p
tra
c
k
o
f
is
l
_ctx
commit
|
commitdiff
|
tree
2009-07-12
S
ven Verdoolaege
i
s
l_coalesce
.
c: fix typo
commit
|
commitdiff
|
tree
2009-06-13
Sv
e
n Verdoolaege
update piplib for ch
a
nge in c
o
nfigure a
r
gu
m
e
nts
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_basic_map_drop
_
redunda
n
t_d
i
vs:
c
oal
e
sce
divs
i
f
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven
V
er
d
oolaege
isl_basic
_
map_d
r
o
p
_redundant_divs: set div expression
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sve
n
Verdoola
e
ge
i
s
l
_b
a
sic
_
map_drop
_
redundant_di
v
s
:
drop more kinds
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
S
ven V
e
rdoolaege
isl_map_compute
_
divs: dro
p
obviousl
y
redundan
t
divs
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoola
e
ge
isl_
m
ap_piplib
.
c:
e
xtremum_on
:
detect
e
qualities first
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_pip_b
a
sic_map_compute_
d
ivs: re
m
ove
some
e
qualitie
s
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaeg
e
is
l
_pi
p
_bas
i
c_
m
ap_com
p
ut
e
_divs: separate out
dimension
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_basic
_
set_preimage:
han
d
le d
i
vs
i
n
i
nput
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_i
n
put_o
m
ega
.
c: make variable_{free,new} stati
c
commit
|
commitdiff
|
tree
2009-06-11
S
ven Verdool
a
ege
isl_map
.
c: mak
e
add
_
divs static
commit
|
commitdiff
|
tree
2009-06-11
S
ven V
e
rd
o
olaege
is
l
_basic_ma
p
_
simpl
i
fy: detect div
c
onstraints while
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
S
v
en Verdoolaege
isl_b
a
sic_map_dro
p
:
prop
e
rly ha
n
dle
di
m
ens
i
ons of type
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdool
a
eg
e
add isl_int_mul_
u
i
commit
|
commitdiff
|
tree
2009-06-07
Sven
V
er
d
oolaege
add isl_seq_fdiv_q
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoo
l
aege
add isl_seq_fdiv_r
commit
|
commitdiff
|
tree
2009-06-07
Sven
Verdoolaege
isl_basic_ma
p
_detect
_
equalit
i
es: properly handle empty
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdo
o
l
aege
isl_b
a
sic_map_is_empty: explicitly
m
ark basic sets
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
S
v
en Verdoolaege
isl_m
a
p
.
c: order_divs: swap with
c
orrect div
commit
|
commitdiff
|
tree
2009-06-07
Sv
e
n
Verdoolaege
isl_map_
c
oale
s
ce:
re
m
ove extra divs
i
n
t
rodu
c
ed b
y
isl_
m
a
p_al
.
.
.
commit
|
commitdiff
|
tree
2009-06-05
Sven Verdo
o
la
e
g
e
add isl_map_
c
oalesce
commit
|
commitdiff
|
tree
2009-05-19
Sven Verdoolaeg
e
add isl_set
_
product
commit
|
commitdiff
|
tree
2009-05-19
Sven Ver
d
oolaege
e
x
po
r
t
isl_map_
d
i
m
commit
|
commitdiff
|
tree
2009-05-06
S
v
e
n Verd
o
olaege
i
s
l_map_conv
e
x_hull: handl
e
unbounded, bu
t
p
o
inted
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sv
e
n Verdoolaege
privately ex
p
o
rt isl_mat_unimodular
_
c
o
mplete
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdool
a
ege
isl_tab
.
c: add
i
s
l
_
tab
_
get_s
a
mple_valu
e
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
isl_map_c
o
n
v
ex_hu
l
l: avoid intr
o
d
uci
n
g
l
i
neal
i
ty spaces
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
S
ven Ve
r
doo
l
aege
add tw
o
m
o
re convex h
u
ll tes
t
cases
commit
|
commitdiff
|
tree
2009-05-06
Sven Ve
r
doolaege
i
s
l
_m
a
p_convex
_
hull
:
rem
o
ve
linealit
y
space if any
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven Verd
o
olaege
add is
l
_basic_set_is_uni
v
erse
commit
|
commitdiff
|
tree
2009-05-06
Sven V
e
rdool
a
ege
add isl_set_g
e
t_dim
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoolaege
isl_co
n
vex_hull
.
c: up
d
ate wrap_facet t
o
the fact we
.
.
.
commit
|
commitdiff
|
tree
2009-05-05
Sven Verd
o
o
l
a
e
ge
is
l
_conv
e
x
_hull
.
c
: fix typo in
c
omment
commit
|
commitdiff
|
tree
2009-05-05
Sv
e
n Verdoolaege
isl_coalesce
.
c: fix typo
i
n
comment
commit
|
commitdiff
|
tree
2009-05-05
Sven
V
erdoolaege
isl_
t
ab
.
c
:
fix typo in
c
omment
commit
|
commitdiff
|
tree
2009-03-23
Sven Verd
o
o
laege
add isl_basic_set_
g
et_dim
commit
|
commitdiff
|
tree
2009-03-23
Sven
Verdoolae
g
e
isl_basic_map_gist: normalize divs (if
a
ny) in context
commit
|
commitdiff
|
tree
2009-03-23
S
ven Verdoolaege
isl_bas
i
c_map_simplify: remove dupli
c
ate
d
iv
s
befo
r
e
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sv
e
n Ver
d
oolaege
add isl_basic
_
set_div
commit
|
commitdiff
|
tree
2009-03-23
Sve
n
Ve
r
doolae
g
e
c
h
a
nge
calling convention of isl_
b
asi
c
_map
_
div
commit
|
commitdiff
|
tree
2009-03-23
Sven
Verdoo
l
aege
is
l
_map_simpl
i
f
y
.
c
:
uset_gist: break ea
r
ly if
t
here
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
isl_map_simplif
y
.
c
: uset_gis
t
: b
r
eak early if interse
c
tion
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
S
ven Verdoo
l
aeg
e
add isl_basic_set_fast
_
is_empty
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolae
g
e
updat
e
piplib
t
o 1
.
4
.
0
commit
|
commitdiff
|
tree
2009-03-23
Sven V
e
rdoolaege
is
l
_tab
.
c:
s
tore
number of equ
a
lities among the
c
onstraint
s
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
isl_mat_e
x
tend: properly exten
d
matri
c
es
wi
t
h reo
r
dered
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n
Verdoolaege
isl_map_gi
s
t:
handle some specia
l
cases
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verdoo
l
aeg
e
add isl_m
a
p
_
un
i
v
erse
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
olaege
a
dd isl_basic_map_fast
_
is_e
m
pty
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdoolaege
i
sl_basic_map_g
i
s
t
: replace by ne
w
versi
o
n base
d
on
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaeg
e
isl_map_simplify
.
c: com
p
ute_
e
limina
t
io
n
_index: d
o
n
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdoolaege
a
dd isl_map_i
m
plic
i
t_
e
qualities
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verdoolae
g
e
add isl
_
b
asic_set_free_equality
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaeg
e
isl_map_conve
x
_hull:
mar
k
result
a
s n
o
t ha
v
ing any
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoola
e
ge
c
o
nvex_hull
:
co
a
lesce
set fi
r
st
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n
V
e
rdoo
l
aege
a
dd isl_
s
e
t
_
coal
e
sce
commit
|
commitdiff
|
tree
2009-03-20
S
v
en V
e
rdoola
e
ge
i
s
l
_input_omega
.
c: basic_map_
r
ea
d
: accept "+" i
n
constraints
commit
|
commitdiff
|
tree
2009-03-20
Sven
Ver
d
oola
e
ge
add isl_bas
i
c_s
e
t_alloc
_
d
i
v
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
add is
l
_
s
e
t
_
a
l
ign_divs
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdoolaege
uset_aff
i
ne_hull: ignore directions in affine hul
l
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
e
rdoolaege
isl_
b
as
i
c_map_implicit_equali
t
ies: pe
r
form Gaussian
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
dool
a
e
ge
isl_aff
i
ne_hull
.
c:
o
u
t
side_point: check fo
r
obvious
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
privat
e
l
y export isl_basic_set_c
o
nta
i
ns
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verdoolae
g
e
isl
_
ctx:
add nego
n
e
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rdoola
e
ge
is
l
_vec_dump:
h
andle NULL vec
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_affine_hull
.
c: extr
a
ct
u
set_
a
f
f
i
ne_hu
l
l
commit
|
commitdiff
|
tree
2009-03-20
S
v
en V
e
rdo
o
laege
isl_mat_
t
r
anspos
e
: handle non-recta
n
gular ma
t
rices
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdo
o
l
aege
isl_
m
ap_
s
imple
_
hull: com
p
ute aff
i
ne hull before al
i
gni
n
g
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
Ver
d
oolaege
isl_map_si
m
p
le_hul
l
: m
a
r
k re
s
u
l
t as not having any
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
add isl_s
e
t_b
o
und
e
d
_
s
i
mple_hu
l
l
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdo
o
laege
isl_map_affin
e
_hull: detect equali
t
i
e
s of integ
e
r affine
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
doolaege
isl
_
b
a
s
ic_
m
ap_dup: co
p
y flags of original to du
p
l
ic
a
te
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
i
s
l_basic_map_extend_dim: move responsibi
l
ity
of cow
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
ven V
e
r
doo
l
aege
is
l
_b
a
sic_map_exten
d
_dim: o
n
ly extend constraint matrix
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
en V
e
rdo
o
l
a
ege
isl_solve_lp: use tab
l
eaus ins
t
ead of calling pipli
b
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
ool
a
eg
e
isl_solve_lp: accept affine object f
u
nct
i
on i
n
stead
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdoolaege
is
l
_
ma
p
_simple_hull: use h
a
s
h
ta
b
les and tab
l
eaus
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verdoola
e
ge
isl_co
n
vex_hull
.
c: extract out uset_si
m
ple_hull
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Ver
d
o
o
la
e
ge
isl_c
o
nvex_hu
l
l
.
c:
extend: av
o
id wrappin
g
a
round already
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
dool
a
eg
e
isl_conve
x
_hul
l
.
c
: in
t
roduce
p
rot
o
_hull b
a
sed on
obvious
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
oolae
g
e
isl_con
v
ex_hull
.
c:
move initi
a
l hull construction into
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdoo
l
a
e
ge
isl_conv
e
x
_
hull
.
c
:
move compu
t
a
t
i
o
n
of bounds into
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
en
Verdoolaeg
e
is
l
_map_con
v
e
x_hull: check for boundedness using r
e
cession
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
i
s
l_
b
asic_map_convex_hull
:
use
tableau
to
det
e
c
t redundant
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdool
a
ege
isl_tab
.
c
: don't
detect equalities while setting up
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdoolaege
add isl_mat_
e
xt
e
nd
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Ve
r
doolaege
add isl_set_dim
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdoolaege
pri
v
ately export isl
_
basic_{set,ma
p
}_normalize
_
constraints
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
a
dd isl_basic_s
e
t
_
extend_dim
commit
|
commitdiff
|
tree
next