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-10-21
Sven Verdool
a
e
ge
isl_basic_set_solve_ilp:
h
andle obvious
l
y em
p
ty s
e
ts
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoo
l
a
e
ge
isl
_
basic_
s
et_solve_i
l
p: fi
x
hand
l
i
n
g
of sets with
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdool
a
ege
add
i
s
l_s
e
t_re
m
o
v
e
commit
|
commitdiff
|
tree
2009-10-21
Sv
e
n Verdoolaege
add isl_se
t
_fi
x
commit
|
commitdiff
|
tree
2009-10-21
Sve
n
Verdo
o
l
aege
add isl_
b
asic_
s
e
t_
f
ix
commit
|
commitdiff
|
tree
2009-10-21
Sv
e
n Verdool
a
ege
ex
t
ract isl_basic_se
t
_s
c
an from polyto
p
e_scan
.
c
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
isl_ba
s
ic_map_simplify:
a
vo
i
d re
m
o
val of div definitions
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sven Verd
o
olaege
isl_map
.
c:
d
eclare va
r
iable at start of
c
ode block
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
isl_ba
s
i
c
_set_project
_
out: handle rational sets
commit
|
commitdiff
|
tree
2009-10-21
Sven
Verdoolaege
add i
s
l
_bas
i
c
_
set_remove
commit
|
commitdiff
|
tree
2009-10-21
Sve
n
V
e
rdoola
e
g
e
isl_tab_pip
:
ke
e
p cache of
p
a
rtial so
l
ut
i
o
n
s
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdo
o
laeg
e
isl_t
a
b_p
i
p
:
d
on't free
is
l
_sol on
erro
r
condition
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoolae
g
e
i
s
l
_tab: su
p
port ge
n
e
ric undo re
c
or
d
s
commit
|
commitdiff
|
tree
2009-10-16
Sven
Verdoolaege
add isl_mat_is_equa
l
commit
|
commitdiff
|
tree
2009-10-16
S
v
en Ver
d
o
o
laege
isl
_
tab_pip
.
c: remove
so
m
e code duplication between
.
.
.
commit
|
commitdiff
|
tree
2009-10-16
Sv
e
n
Verdo
o
l
aege
isl_map_is_subse
t
: add special case fo
r
s
i
nglet
o
n maps
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
i
sl_map_compute
_
divs:
skip computation
i
f divs are
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
Sven Ver
d
oolaege
isl_map
_
is_sub
s
et: explo
i
t
anothe
r
easy
s
pec
i
al c
a
se
commit
|
commitdiff
|
tree
2009-10-12
Sven
V
erdoolaege
ad
d
isl_map_
f
as
t
_is_unive
r
s
e
commit
|
commitdiff
|
tree
2009-10-12
Sv
e
n Ve
r
doola
e
ge
add isl_set_size
commit
|
commitdiff
|
tree
2009-10-12
Sv
e
n Verd
o
olaege
mar
k
some functions as
requiring use of return v
a
lue
commit
|
commitdiff
|
tree
2009-10-12
Sve
n
Verdoolaege
isl_
t
ab:
improved err
o
r handling
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
isl_tab_pip
.
c:
i
nc
r
e
m
entally b
u
i
ld recession
c
one of
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
Sve
n
V
e
rdoolaege
is
l
_
t
ab_
p
i
p
.
c
:
propa
g
a
te some equal
i
ties
f
rom gbr conte
x
t
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sv
e
n Verdoolaege
is
l
_tab_pip
.
c: det
e
c
t equalities in gbr context
o
n
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven Verdoolae
g
e
add
i
sl_tab_detect_e
q
ualit
i
es
commit
|
commitdiff
|
tree
2009-10-10
Sven
V
er
d
oola
e
ge
add isl_ta
b
_s
e
t_initial_basi
s
_with_cone
commit
|
commitdiff
|
tree
2009-10-10
Sven Verd
o
olaege
isl_ta
b
_
pip: use
g
eneralized bas
i
s reduction b
a
sed
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven Verdoolaege
i
s
l_tab_
p
ip:
a
d
d generalized
b
asis reduction
b
ased
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven
V
erdoolaege
isl_tab_pip
.
c: extr
a
ct
o
ut context
hand
l
ing
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaeg
e
isl_
t
ab_pip
.
c: add
_
div: use more relia
b
le w
a
y
t
o test
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sve
n
Verdoola
e
g
e
isl_ta
b
_basic_map_partial_lexopt: remove s
a
mples
t
hat
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_
t
ab
.
c
:
e
x
t
ract out sampl
e
s handling from isl_tab_pip
.
c
commit
|
commitdiff
|
tree
2009-10-09
S
ve
n
Verdoolaege
isl
_
af
f
i
n
e
_h
u
l
l
.
c
:
uset_affine_hul
l
_bounded: us
e
tabl
e
aus
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_basic_map_detect_eq
u
alities: keep track of sample
commit
|
commitdiff
|
tree
2009-10-09
S
v
en V
e
rdoolaege
isl_basic_ma
p
_detect_
e
qualit
i
es: only compu
t
e
r
ecessi
o
n
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven
Verdoolae
g
e
is
l
_tab_sample: han
d
le unbounded
di
r
ections in initial
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
ven Verdool
a
ege
is
l
_tab_c
o
mpute_reduced_basis: handle unboun
d
e
d dir
e
ction
s
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
ex
p
loit equalities in i
s
l
_ta
b
_
s
ample
commit
|
commitdiff
|
tree
2009-10-09
S
v
en
V
erd
o
olaeg
e
isl_ta
b
: kee
p
(in)eq
u
al
i
tie
s
of bset (if any) i
n
s
ync
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoo
l
ae
g
e
isl_tab_sample: be
more verbose about unbounded directions
commit
|
commitdiff
|
tree
2009-10-09
Sv
e
n Verdoola
e
ge
separate
out
i
sl_tab_s
a
m
ple from samp
l
e_bounded
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
sample_bounded: re
i
mplement
t
o work directly
o
n a tableau
commit
|
commitdiff
|
tree
2009-10-09
S
ven Verdoola
e
ge
isl
_
tab_
c
ompute_re
d
uced_basis:
wo
r
k wi
t
h
a
ffi
n
e
ba
s
is
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven
Ve
r
d
oolaeg
e
isl_tab_comput
e
_reduced_basi
s
: all
o
w incr
e
m
e
n
tal
comp
u
ta
t
ion
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_polytop
e
_s
c
an: u
s
e is
l
_tab_from_bas
i
c_se
t
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolae
g
e
separ
a
te out
is
l
_
ta
b
_reduc
e
d_basi
s
from isl
_
b
asic
_
set_reduce
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sv
e
n V
e
rd
o
o
l
aege
basis_re
d
u
c
tion
_
t
a
b
.
c: use isl_tab
_
product
t
o
c
ons
t
ruct
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verd
o
olaege
add
isl_t
a
b_produ
c
t
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoola
e
ge
i
s
l_basi
c
_set_
r
educed_basis: fix
v
alue
i
n directions
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
ven Verdoolaege
isl_basic_set_reduced_basis: fix up documen
t
a
t
i
o
n
commit
|
commitdiff
|
tree
2009-10-08
Sven V
e
rdoolaege
basis_r
e
duc
t
i
on_tab
.
c:
keep track o
f
con_offset instead
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoolaege
add isl_tab_add_eq
commit
|
commitdiff
|
tree
2009-10-08
Sv
e
n Verdo
o
laege
isl
_
tab_a
d
d_valid_eq
:
add s
p
ecial
treatment
f
or manifestly
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven V
e
r
d
oola
e
g
e
isl_tab_ext
e
nd_cons: check tab argu
m
e
n
t
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoolaege
rename isl_t
a
b_detect_equalitie
s
to
i
sl_tab_detect_implicit
_
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven
V
erdoolaege
isl_
t
a
b
_fro
m
_recessio
n
_cone: tak
e
basic set inst
e
ad
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoolaege
isl_ilp
.
c: separate out solve_ilp_search
commit
|
commitdiff
|
tree
2009-10-08
Sv
e
n Verdoola
e
ge
isl
_
sa
m
ple
.
c: basic_set_sample: r
e
member bounded
n
ess
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoolaege
a
dd isl_polyhedron_
d
e
t
ect_equalities test a
p
plication
commit
|
commitdiff
|
tree
2009-10-07
Sven V
e
rdoolaege
add isl
_
basic_set_detect_equalities
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolaege
isl_tab_allocate
_
con: add e
x
tra assertion
commit
|
commitdiff
|
tree
2009-10-07
S
v
en
Verdoolaeg
e
is
l
_sample
.
c: basic_set_reduced: fix
typ
o
preven
t
ing
.
.
.
commit
|
commitdiff
|
tree
2009-10-07
Sven
V
erdoola
e
ge
isl_tab_basic_map_partial_lexopt: simpl
i
fy r
e
su
l
t
commit
|
commitdiff
|
tree
2009-10-07
Sven Verd
o
olaege
pr
i
v
a
tely export
isl_basic_set
_
add_{in,}eq
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolaege
p
r
i
vately expor
t
isl_basic_se
t
_sample
_
with_con
e
commit
|
commitdiff
|
tree
2009-10-07
S
v
en V
e
rdool
a
ege
a
dd isl_
b
asic_s
e
t
_un
d
erlyin
g
_set
commit
|
commitdiff
|
tree
2009-10-07
Sven
V
e
r
d
oolaege
is
l
_tab
.
c: clo
s
e_row: push un
d
o re
c
ord fo
r
setting
.
.
.
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdool
a
ege
ad
d
isl_mat_vec_in
v
erse_p
r
oduct
commit
|
commitdiff
|
tree
2009-10-07
Sven Ve
r
d
o
ola
e
ge
a
dd isl_mat_co
n
c
a
t
commit
|
commitdiff
|
tree
2009-10-07
Sven Ver
d
oolaege
ad
d
i
s
l_int
_
divexact_ui
commit
|
commitdiff
|
tree
2009-10-05
S
v
en Verdo
o
laege
add
isl_
s
et_
d
im_
r
esidue_
c
l
a
ss
commit
|
commitdiff
|
tree
2009-10-03
S
v
e
n Verdoolaege
fi
x
lo
n
g stan
d
ing bug
i
n
isl_m
a
t
_invers
e
_prod
u
c
t
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaege
add isl_basic_map
_
foreach_lexmi
n
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaege
add isl_se
t
_
p
roject_out
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaege
add isl_
s
et_detec
t
_e
q
u
al
i
ties
commit
|
commitdiff
|
tree
2009-10-02
S
v
en Ver
d
oolaege
add
i
sl_set_foreach_basic_set
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdool
a
e
g
e
add i
s
l_
s
et_lift
i
n
g
commit
|
commitdiff
|
tree
2009-10-02
Sven
V
e
rdoolaege
isl_
d
im_s
i
ze
:
check
argument
commit
|
commitdiff
|
tree
2009-10-02
Sv
e
n V
e
rdoo
l
aege
export isl_mat heade
r
commit
|
commitdiff
|
tree
2009-10-02
S
ven Ver
d
oolaege
add isl_basic_map_lexmin
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoo
l
aege
add isl_map_foreach_basic
_
m
a
p
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoo
l
aeg
e
conf
i
g
ure
.
ac:
f
ix
c
ut-an
d
-paste error in ori
g
inal
c
ommit
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaege
add isl_int_get_si
commit
|
commitdiff
|
tree
2009-10-02
S
v
en V
e
rdoolaege
export isl
_
se
t
_sampl
e
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdo
o
l
aeg
e
add is
l
_basic_set_univer
s
e_like_set
commit
|
commitdiff
|
tree
2009-10-02
Sven Verd
o
olaege
add isl_set
_
is_strict_subset
commit
|
commitdiff
|
tree
2009-09-20
Sven V
e
rdoolaege
add isl_set_univ
e
r
s
e_li
k
e
commit
|
commitdiff
|
tree
2009-09-20
Sv
e
n Verdoolae
g
e
A
X
_SUBMODULE: s
e
t
PKG
_
CO
N
FIG
_
PATH
commit
|
commitdiff
|
tree
2009-09-20
Sven Verdool
a
ege
create pk
g
-confi
g
file
commit
|
commitdiff
|
tree
2009-09-20
S
ven
V
erdoolaege
AX_SUBMODULE: drop opti
o
ns
that
a
re meaningless
g
i
ven
.
.
.
commit
|
commitdiff
|
tree
2009-08-30
Sven V
e
rdo
o
lae
g
e
add i
s
l_map_su
m
commit
|
commitdiff
|
tree
2009-08-30
Sven
Verdoolaege
add i
s
l_m
a
p
_floor
d
iv
commit
|
commitdiff
|
tree
2009-08-30
S
v
en Verd
o
o
laege
add isl_
m
ap
_
n
eg
commit
|
commitdiff
|
tree
2009-08-30
Sve
n
Verdoolaege
a
d
d
i
s
l
_map_is_strict_subset
commit
|
commitdiff
|
tree
2009-08-30
Sven V
e
rdoolaege
add
i
sl_map_
f
ast_is_fixe
d
commit
|
commitdiff
|
tree
2009-08-30
Sven Ve
r
doo
l
aege
a
dd
i
sl_map_iden
t
i
t
y
_
l
ike
commit
|
commitdiff
|
tree
2009-08-30
Sven Verd
o
olaeg
e
rename is
l
_map_i
d
entity_like to
i
s
l_map_identity
_
like_basic
_
map
commit
|
commitdiff
|
tree
2009-08-28
S
v
en Verdoolaege
add isl_
p
oly
t
ope_s
c
a
n
ap
p
l
ication
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdool
a
e
g
e
i
s
l_seq_normali
z
e: us
e
pre-allocated
tem
p
orary
v
ariable
.
.
.
commit
|
commitdiff
|
tree
next