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
Sven Verdoolaege
isl_ta
b
: do
n
't create
n
ew und
o
re
c
ords during
r
o
l
lback
commit
|
commitdiff
|
tree
2009-07-13
S
v
en Verdo
o
laege
isl_tab_min: use general rollbac
k
mechanism
commit
|
commitdiff
|
tree
2009-07-13
Sven Ve
r
doolaege
isl
_
tab: optionally save dual
solution
commit
|
commitdiff
|
tree
2009-07-13
Sve
n
Verdoolaege
is
l
_tab:
a
d
d
i
sl_tab_add_valid_eq
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
export isl_tab_alloc
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoo
l
aege
a
dd isl_
i
nt
_
le
commit
|
commitdiff
|
tree
2009-07-13
Sven
Verd
o
olaege
pri
v
at
e
l
y
export is
l
_b
a
sic
_
set_recessio
n
_
cone
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdo
o
laege
isl
_
convex_hull
.
c: add mi
s
sing
assi
g
nme
n
t
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n Verd
o
o
l
aege
privately
e
xport isl_basic_se
t
_lineal
i
ty_space
commit
|
commitdiff
|
tree
2009-07-13
Sve
n
Verdo
o
lae
g
e
isl_vec: keep track of isl_c
t
x
commit
|
commitdiff
|
tree
2009-07-12
Sven Verdoolaege
isl_coa
l
esce
.
c: f
i
x typo
commit
|
commitdiff
|
tree
2009-06-13
Sven V
e
rdoolaege
update piplib f
o
r c
h
a
n
ge in confi
g
ure arguments
commit
|
commitdiff
|
tree
2009-06-11
Sv
e
n
Verdoolae
g
e
isl_basi
c
_map_drop_r
e
du
n
dant_divs:
c
oalesce divs
i
f
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoola
e
ge
i
sl_basic_
m
ap_drop_re
d
undant_d
i
vs
:
set
d
i
v expression
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven
V
erdoolaege
isl_basic_map_drop_redunda
n
t_d
i
vs: drop more
k
i
n
ds
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sve
n
V
e
r
doolaege
isl_map_
c
ompute_divs: drop
o
bviously r
e
dun
d
a
n
t divs
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
S
ven Verdoo
l
aege
is
l
_
map_piplib
.
c: extremum_on: detect equalities
f
i
rst
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_pip_basi
c
_map_compute_
d
i
vs: remove some equal
i
t
i
e
s
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdo
o
laeg
e
isl_pip_ba
s
i
c_map_compu
t
e_divs: s
e
p
a
rate
o
u
t
dimensio
n
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_basi
c
_set_preima
g
e: h
a
ndle divs in input
commit
|
commitdiff
|
tree
2009-06-11
S
v
en Verd
o
olaege
isl
_
input_omega
.
c: make v
a
riable_{f
r
ee,new
}
s
t
at
i
c
commit
|
commitdiff
|
tree
2009-06-11
Sven
Verdoolaege
isl_map
.
c: make add_divs
static
commit
|
commitdiff
|
tree
2009-06-11
Sve
n
Verdoo
l
aege
isl_
b
asic_map_simplify
:
detect div c
o
nst
r
aints wh
i
le
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven
V
erdoolaege
isl_basic_ma
p
_drop: prope
r
l
y
handle dimensi
o
ns
o
f t
y
pe
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verd
o
olaege
a
d
d
i
sl_int_mul
_
ui
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
add isl
_
seq_fdiv_q
commit
|
commitdiff
|
tree
2009-06-07
Sven
Verdoolaege
add isl
_
seq_
f
div_r
commit
|
commitdiff
|
tree
2009-06-07
S
ven Verdoolaege
is
l
_basic_map_detect_
e
q
ualitie
s
: properly handle empty
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven
Verd
o
olae
g
e
isl_bas
i
c_map
_
is_em
p
ty:
e
xplicitly mark basic sets
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Ve
r
doolaege
isl_map
.
c: order_divs: swap with c
o
rrect div
commit
|
commitdiff
|
tree
2009-06-07
Sven Ve
r
doola
e
ge
i
sl_map_co
a
lesce: remove ex
t
ra d
i
vs introduc
e
d by i
s
l
_
m
a
p_a
l
.
.
.
commit
|
commitdiff
|
tree
2009-06-05
Sv
e
n Ve
r
dool
a
ege
add isl_ma
p
_coa
l
esc
e
commit
|
commitdiff
|
tree
2009-05-19
Sv
e
n V
e
rdoolaege
add
isl_set_produ
c
t
commit
|
commitdiff
|
tree
2009-05-19
Sven Verdoolaege
export isl
_
m
a
p
_
d
im
commit
|
commitdiff
|
tree
2009-05-06
Sven
V
e
r
d
oolaege
i
sl_map_
c
onvex_hull: handle unbounded, but
p
o
int
e
d
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
S
v
e
n V
e
rdoolaege
privately
e
xport i
s
l_mat_
u
nimo
d
ular_complete
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolae
g
e
isl_tab
.
c: add isl
_
tab
_
g
et_s
a
m
p
l
e
_value
commit
|
commitdiff
|
tree
2009-05-06
S
v
en Verdoolae
g
e
isl_map_c
o
n
v
ex
_
hu
l
l: av
o
id introducing lineal
i
ty spaces
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
S
v
en
Verd
o
olaege
add two
mor
e
convex hull test cas
e
s
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
isl_map_c
o
nvex_hul
l
:
remove lineality sp
a
ce if an
y
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven Ver
d
oolaege
add
isl_ba
s
i
c_set_is_
u
niverse
commit
|
commitdiff
|
tree
2009-05-06
Sven Verd
o
olaege
add isl_s
e
t_ge
t
_dim
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdo
o
laege
isl_
c
onvex
_
hull
.
c: update w
r
ap_f
a
cet to the fact we
.
.
.
commit
|
commitdiff
|
tree
2009-05-05
S
ven V
e
rdoo
l
ae
g
e
i
s
l_c
o
n
v
ex_
h
u
l
l
.
c
:
f
ix typo in comm
e
nt
commit
|
commitdiff
|
tree
2009-05-05
S
v
e
n
Verdoo
l
aege
isl_coale
s
ce
.
c: fix
typo in comment
commit
|
commitdiff
|
tree
2009-05-05
Sven Ve
r
doolaege
isl_tab
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoolaege
c
o
n
f
ig
u
re
.
in: s
e
t AC_CONFIG_MACRO_DIR
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolae
g
e
add isl_basic_set_
g
e
t
_
d
i
m
commit
|
commitdiff
|
tree
2009-03-23
Sve
n
Verdo
o
laege
isl
_
b
asic_map_g
i
st: normal
i
ze
d
ivs (if any) in
c
ont
e
xt
commit
|
commitdiff
|
tree
2009-03-23
S
v
en Verdoolaege
isl_basic_map_
s
i
m
plify:
r
emove duplicate divs
befo
r
e
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sv
e
n
Verdoolaege
add
i
sl_
b
asic_set_div
commit
|
commitdiff
|
tree
2009-03-23
Sven
Verdool
a
eg
e
change calli
n
g
c
onven
t
io
n
of
i
sl_ba
s
ic_map_div
commit
|
commitdiff
|
tree
2009-03-23
Sve
n
Verdoo
l
aege
i
s
l_map_simp
l
ify
.
c: use
t
_gist
:
break
ear
l
y if there
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sv
e
n Verd
o
olaege
isl_map_simplify
.
c: use
t
_
g
i
st:
break early if i
n
t
ersec
t
ion
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sve
n
Verdoolae
g
e
add isl_basic_s
e
t_fast_
i
s_empty
commit
|
commitdiff
|
tree
2009-03-23
Sven
V
erdoolaege
up
d
a
te pipli
b
to 1
.
4
.
0
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
isl_t
a
b
.
c: store number of equal
i
ties among the
constraints
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdo
o
lae
g
e
i
s
l_mat_
e
xtend: pr
o
perly exten
d
matrices with reor
d
ered
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rdoolaeg
e
isl_map_gist: handle some special
c
ases
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n
Verdoolaege
a
dd isl_
m
ap_universe
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdool
a
ege
ad
d
isl_basic_map_fas
t
_
i
s_empty
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdo
o
laege
isl_basic_map_g
i
st: replace by new version
b
ase
d
on
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdool
a
ege
isl_map_
s
imp
l
i
f
y
.
c:
comput
e
_elimination_inde
x
:
don
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
a
d
d is
l
_
m
ap_impli
c
it_eq
u
a
l
ities
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
add
isl_basic_set_free_equality
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdoolaege
is
l
_map_convex_hu
l
l: mark
r
e
sul
t
as not
h
aving any
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
er
d
o
o
laege
co
n
vex_hull: coalesce set first
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
ol
a
ege
a
d
d isl_set_coalesce
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
r
doolae
g
e
is
l
_input_omeg
a
.
c
:
b
asic_
m
ap_read:
a
ccept "+" in constr
a
in
t
s
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verdoola
e
ge
add i
s
l_basi
c
_set_alloc_div
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
V
er
d
oola
e
ge
ad
d
is
l
_set_
a
lign_div
s
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
uset_
a
ffine_hull:
ignore
direct
i
ons
i
n affi
n
e hull
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
V
erdoolaege
isl_basic_map_imp
l
icit_equalities:
p
erform Gaussian
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdoolaeg
e
i
s
l_a
f
fine_hull
.
c: out
s
ide_point:
c
heck for obvious
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n V
e
rdoolaege
priv
a
t
e
ly
export isl_basic_set_contains
commit
|
commitdiff
|
tree
2009-03-20
S
ven
Verdoo
l
aege
i
s
l_
c
tx: add ne
g
one
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Ve
r
doolaege
isl_
v
e
c_d
u
mp:
h
andle
N
U
L
L ve
c
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
is
l
_aff
i
n
e
_hu
l
l
.
c
:
extract uset_affine_hull
commit
|
commitdiff
|
tree
2009-03-20
S
v
e
n Verdoolaege
is
l
_mat_trans
p
o
se: han
d
le no
n
-rec
t
a
n
gu
l
ar matrices
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
is
l
_
m
ap_s
i
m
ple_
h
ull: c
o
mpute affine hull before align
i
ng
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
olae
g
e
isl_map_simple_hull: mark resul
t
a
s not having any
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdoolaege
add isl_
s
et_bounded_sim
p
le_hul
l
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdoola
e
ge
is
l
_
m
ap_a
f
fine_
h
ull: de
t
ect equalities of
i
nteger
a
ffine
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
e
r
d
o
o
l
aege
isl_basic
_
map_dup: copy flags
of ori
g
in
a
l
t
o
d
uplicate
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
doolaege
isl_b
a
sic_map_extend_dim
:
move responsibility o
f
cow
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdoolaeg
e
is
l
_
b
asic
_
m
ap_extend_dim
:
only extend
c
onstraint matrix
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
e
r
doolae
g
e
isl_solve_
l
p: use t
a
bleaus in
s
tead of
c
alling pipl
i
b
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaeg
e
is
l
_so
l
ve_lp:
a
ccept affine ob
j
ect fu
n
cti
o
n
in
s
tead
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
olaege
isl_map_sim
p
le_hull: use
h
ash tables an
d
tabl
e
aus
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdool
a
ege
isl_c
o
nv
e
x_hull
.
c: extract o
u
t uset
_
sim
p
le_hull
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n V
e
rdool
a
ege
isl_conve
x
_hull
.
c:
e
xte
n
d: avoid wrapping around alrea
d
y
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_co
n
vex
_
hull
.
c:
introduce proto_hull ba
s
e
d
on
obvious
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoola
e
ge
isl_con
v
ex_hull
.
c:
move ini
t
ial hull co
n
structio
n
i
n
to
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl
_
convex_hull
.
c: mo
v
e computa
t
i
o
n of
bound
s
i
n
to
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_map_co
n
vex_
h
ull
:
c
h
ec
k
for boundedness using rec
e
ssion
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdool
a
eg
e
isl_ba
s
ic_map_
c
onvex_hul
l
:
u
s
e
tableau to detect redundant
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
oolaege
isl_affi
n
e_hull
.
c: use table
a
u
to detect implici
t
equalities
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_tab
.
c: don't
d
e
t
e
c
t equal
i
ties while settin
g
up
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verdoolaege
add internal repres
e
ntation
of L
P
tableaus
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdo
o
laege
add isl_mat
_
e
x
tend
commit
|
commitdiff
|
tree
next