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_map_coalesce: handle more cases
2009-11-01
Sven Verdoolaege
isl
_
ta
b
_pip
.
c: ignore dead columns wh
e
n c
h
ecki
n
g integralit
y
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
is
l
_pip: optionall
y
pe
r
form some
c
heck on the resul
t
s
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdool
a
ege
p
u
t opti
o
ns
in a separat
e
isl_optio
n
s structure
commit
|
commitdiff
|
tree
2009-10-21
Sven Ver
d
oolaege
a
dd rudiment
a
ry argument par
s
ing facility
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
isl_tab_compute_reduced_basis: handle
e
mpty tables
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
isl_b
a
s
i
c_se
t
_solve_i
l
p: han
d
l
e
obvio
u
sly empty sets
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
isl_basic_se
t
_
s
olve_ilp: fix handling of sets
with
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdo
o
laege
add isl_set_
r
emove
commit
|
commitdiff
|
tree
2009-10-21
Sv
e
n Ve
r
doo
l
a
e
g
e
add i
s
l_set_fi
x
commit
|
commitdiff
|
tree
2009-10-21
Sven Ve
r
doolaege
add isl_
b
a
sic_set_
f
i
x
commit
|
commitdiff
|
tree
2009-10-21
Sven
V
erdoolaege
extrac
t
isl_basic_set_scan from
p
o
lytope_scan
.
c
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
isl_bas
i
c_map
_
simp
l
i
fy:
a
void removal
o
f
d
iv
d
efini
t
ions
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sven
V
e
rdo
o
laege
isl
_
map
.
c:
decl
a
re variable a
t
st
a
rt of
c
ode block
commit
|
commitdiff
|
tree
2009-10-21
Sven
V
erd
o
ol
a
e
g
e
isl_bas
i
c
_
set_project_out: hand
l
e
r
ation
a
l
sets
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoo
l
aege
ad
d
isl
_
basic_set_remove
commit
|
commitdiff
|
tree
2009-10-21
S
ven Verdoo
l
aeg
e
isl_tab_pip: keep cache o
f
partial sol
u
tions
commit
|
commitdiff
|
tree
2009-10-16
Sv
e
n Verdoolaeg
e
is
l
_t
a
b_pip:
d
on't
free isl_sol on error condit
i
on
commit
|
commitdiff
|
tree
2009-10-16
Sven Ver
d
ool
a
e
g
e
isl_tab
:
s
u
pport gener
i
c und
o
records
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdo
o
laege
add isl_mat_is_equa
l
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoola
e
ge
isl_tab_p
i
p
.
c: remov
e
some code duplicatio
n
bet
w
een
.
.
.
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoolaege
isl_
m
ap_i
s
_subset: add special case
fo
r
si
n
gl
e
ton maps
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoo
l
a
e
ge
isl_map
_
c
ompute_divs: ski
p
co
m
putation if
d
ivs are
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaeg
e
i
sl_map_is_subset: exploit anot
h
er easy specia
l
case
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolae
g
e
add isl_map_fast
_
is_un
i
verse
commit
|
commitdiff
|
tree
2009-10-12
S
v
en V
e
rdoolaege
add isl_set_size
commit
|
commitdiff
|
tree
2009-10-12
S
v
en Ver
d
o
o
laege
mark some fun
c
tions
as req
u
iring
u
se of return value
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoo
l
aege
isl_tab: improved erro
r
handling
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
isl_tab_p
i
p
.
c: i
n
crementally
build
r
ecession cone
of
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdo
o
laege
isl_tab_pip
.
c: propa
g
a
t
e some equalitie
s
f
r
om gbr
c
ontext
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sv
e
n Ver
d
o
ol
a
ege
isl_tab_pip
.
c:
d
etect equalitie
s
in gbr
c
o
nt
e
x
t on
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven
Verdoolaege
a
d
d isl_t
a
b_d
e
tect
_
equ
a
li
t
ies
commit
|
commitdiff
|
tree
2009-10-10
Sven
V
e
r
doolaege
add
i
sl_
t
ab_set_initia
l
_basis_with_con
e
commit
|
commitdiff
|
tree
2009-10-10
Sven
V
e
rdoolaege
isl
_
tab_pip: us
e
gene
r
alized basi
s
r
e
duction
based
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven Ve
r
doolaeg
e
i
s
l_tab_pip
:
add generalized basi
s
reduction base
d
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
i
sl_tab_pi
p
.
c
:
e
x
t
r
act out co
n
t
e
xt handling
commit
|
commitdiff
|
tree
2009-10-09
Sve
n
V
erd
o
o
laege
isl_t
a
b_pip
.
c:
a
d
d
_div
:
use more re
l
i
able way to test
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
v
e
n
Verdoolaege
isl_tab_basic_map_partial_lexopt
:
re
m
o
ve sa
m
ples
t
hat
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
v
en Verdoolaege
isl_tab
.
c
: ext
r
act
out
s
amples handling fro
m
isl_t
a
b_pi
p
.
c
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_affine_hull
.
c:
u
s
et_affine
_
hull
_
bounded
:
use t
a
ble
a
u
s
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoo
l
aege
isl_basic_map_detect_equalities: keep track of
s
ample
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_basic_map_detect_equalities: onl
y
compute recessio
n
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sve
n
Verdoolaege
isl
_
t
ab_sample: handle unbo
u
nded dir
e
c
tions
i
n
i
n
i
t
ial
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
i
sl_tab_comput
e
_reduced_b
a
sis: han
d
le unbounded di
r
ection
s
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sve
n
Verd
o
olaege
exploit
e
qualities
i
n isl_tab_sample
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolae
g
e
isl_tab: k
e
ep (in)
e
qualitie
s
of
b
set (if a
n
y)
i
n sync
commit
|
commitdiff
|
tree
2009-10-09
S
v
e
n Verdo
o
laege
i
s
l_tab_sampl
e
: be m
o
re
ve
r
bose about un
b
o
und
e
d dir
e
c
t
ions
commit
|
commitdiff
|
tree
2009-10-09
Sven
Verdoo
l
aege
separate out
i
sl_tab
_
sample f
r
om sample
_
bounded
commit
|
commitdiff
|
tree
2009-10-09
S
v
e
n
Verdoo
l
aege
s
a
mple_boun
d
ed: reim
p
lement
to work directly on a tableau
commit
|
commitdiff
|
tree
2009-10-09
S
v
e
n
Verdoolaege
is
l
_t
a
b_compute_r
e
duc
e
d_basis:
w
o
r
k
with affine basis
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolae
g
e
isl_ta
b
_compu
t
e_reduced_ba
s
is: al
l
ow inc
r
ement
a
l computation
commit
|
commitdiff
|
tree
2009-10-09
S
v
en Ve
r
dool
a
ege
i
sl_polytope_scan: use isl_tab_from_basic_s
e
t
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
separ
a
t
e o
u
t is
l
_tab_reduced_b
a
sis fro
m
isl_basic
_
s
e
t_
r
educe
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sv
e
n Ver
d
o
olaege
basis_reduction_tab
.
c: use isl_tab_
p
roduct to c
o
nstruct
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven V
e
rdoolaege
add isl_tab_pro
d
u
c
t
commit
|
commitdiff
|
tree
2009-10-09
Sven Verd
o
olaege
isl_basic_set_reduced_basis: fix value in directions
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Ver
d
o
o
l
aege
i
s
l_basic_set_reduced_basis: fix u
p
docum
e
nta
t
ion
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoo
l
aege
basi
s
_reducti
o
n_tab
.
c: ke
e
p track of co
n
_offset instead
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sve
n
Ve
r
doolaege
ad
d
isl_t
a
b_
a
d
d_
e
q
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoolaege
isl
_
tab_add_valid_eq: add
special tre
a
tment
f
or
manifestly
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoolaege
isl_tab
_
extend_cons: c
h
eck tab argument
commit
|
commitdiff
|
tree
2009-10-08
Sve
n
Verdoolaege
rename isl_tab_detect_equalities to isl_t
a
b_detect_implicit_
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven
Verdoolaeg
e
isl_tab_fr
o
m_r
e
cess
i
on_cone: take basic set instead
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdo
o
l
a
e
ge
isl
_
ilp
.
c:
separate
o
ut solve_i
l
p_search
commit
|
commitdiff
|
tree
2009-10-08
Sve
n
Verdoolaege
isl_sampl
e
.
c: basic_set_sample:
reme
m
b
er bounded
n
ess
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoolaege
add isl_polyhedron
_
de
t
ect_equa
l
i
t
ie
s
test appl
i
c
ation
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdo
o
laege
add isl_basic_set_de
t
ect_equ
a
lit
i
es
commit
|
commitdiff
|
tree
2009-10-07
Sven
Ve
r
doolaege
isl_tab_allocate_c
o
n: add extra assertion
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolaege
isl_s
a
mpl
e
.
c:
bas
i
c
_set_reduced: fi
x
typo
p
re
v
enting
.
.
.
commit
|
commitdiff
|
tree
2009-10-07
Sv
e
n Verdoolaege
isl_tab_bas
i
c_
m
ap_partial_lexo
p
t:
s
implify result
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoo
l
aege
pri
v
at
e
ly e
x
po
r
t is
l
_bas
i
c_set_add_{in,}eq
commit
|
commitdiff
|
tree
2009-10-07
Sve
n
V
erdoolaege
privatel
y
export isl_
b
a
s
i
c
_se
t
_sampl
e
_with_c
o
ne
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdool
a
ege
add isl_basic_set_unde
r
lying_set
commit
|
commitdiff
|
tree
2009-10-07
Sven Ver
d
oolaege
i
sl
_
tab
.
c
: cl
o
se_row: push undo r
e
c
o
rd for setting
.
.
.
commit
|
commitdiff
|
tree
2009-10-07
Sve
n
Verdoo
l
aege
add
i
s
l
_mat_vec_
i
nverse_pro
d
u
ct
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoo
l
aege
add isl_m
a
t
_concat
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdo
o
laege
ad
d
isl_int_di
v
exact_ui
commit
|
commitdiff
|
tree
2009-10-05
Sven
V
erdoolaege
a
d
d isl_set_dim_re
s
idue_cla
s
s
commit
|
commitdiff
|
tree
2009-10-03
Sven Ve
r
doolaege
f
i
x long standing bug
in isl_mat_
i
nverse_pro
d
uct
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoola
e
ge
add isl_basic_map_foreach_lexmin
commit
|
commitdiff
|
tree
2009-10-02
Sven
V
erdool
a
ege
add isl_s
e
t_project_out
commit
|
commitdiff
|
tree
2009-10-02
S
v
en V
e
r
doolaege
a
dd isl_
s
et_detect_equalities
commit
|
commitdiff
|
tree
2009-10-02
S
ven
V
erdo
o
laege
add is
l
_
set_fore
a
ch
_
basic_set
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaege
add isl_set_lifting
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoo
l
a
ege
isl_dim_size: check argument
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaege
export isl_mat header
commit
|
commitdiff
|
tree
2009-10-02
Sv
e
n
V
erdoolaege
add isl_basic_
m
ap_lexmin
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdo
o
laege
add isl_map
_
for
e
ach
_
b
a
s
ic_m
a
p
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaege
configure
.
ac: fix
cut-a
n
d-paste
error
in
origin
a
l com
m
it
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaege
add isl_in
t
_ge
t
_si
commit
|
commitdiff
|
tree
2009-10-02
Sven Ve
r
doolaege
export isl_set
_
sample
commit
|
commitdiff
|
tree
2009-10-02
S
ven Verdoo
l
a
ege
add isl_basic_set_univers
e
_like
_
set
commit
|
commitdiff
|
tree
2009-10-02
Sven
V
e
rdoolaege
add isl_set_is
_
strict_subse
t
commit
|
commitdiff
|
tree
2009-09-20
S
ve
n
Verdoolaege
add isl_set_univers
e
_like
commit
|
commitdiff
|
tree
2009-09-20
Sven Verdool
a
ege
AX_SUBMODULE:
s
et PKG_CONFIG_PAT
H
commit
|
commitdiff
|
tree
2009-09-20
Sven
Verd
o
o
l
aeg
e
cre
a
te pkg-config fi
l
e
commit
|
commitdiff
|
tree
2009-09-20
Sve
n
Ve
r
dool
a
eg
e
AX_SUBMOD
U
LE
:
drop
o
ptions that a
r
e meaningless given
.
.
.
commit
|
commitdiff
|
tree
2009-09-16
Sven Verd
o
olaege
isl_basic_map_f
r
o
m_constrai
n
t: return copy
of bmap
.
.
.
commit
|
commitdiff
|
tree
2009-09-16
Sve
n
Verdoolaege
d
oc: fix description of lexicog
r
ahpic
orde
r
r
e
lations
commit
|
commitdiff
|
tree
2009-09-16
Sven
V
er
d
oo
l
aege
add isl_map_lex_le
a
nd isl_
m
ap
_
lex_ge
commit
|
commitdiff
|
tree
2009-09-14
S
ve
n
Verd
o
ola
e
ge
expor
t
isl_basic_map_gist
commit
|
commitdiff
|
tree
next