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: fix some regressions introduced by recent extensions
2009-12-08
Sven Verdoo
l
aege
isl_map_is_subs
e
t
:
break off as soon as d
i
ff
e
rence
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven Verdoolaege
compu
t
e s
e
t difference using a b
a
cktracking alg
o
rith
m
commit
|
commitdiff
|
tree
2009-12-07
S
ve
n
V
e
r
dool
a
ege
isl_map_
s
ub
t
rac
t
.
c: ext
r
act from isl_map
.
c
commit
|
commitdiff
|
tree
2009-12-07
Sven V
e
rdoolaege
i
s
l_tab: keep
tr
a
c
k
of isl_basic
_
map instead of isl_b
a
sic_set
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolae
g
e
priv
a
t
ely
export isl_b
a
sic_map_contains
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolaege
add isl_basic_map_add_ineq and isl_basic_m
a
p_
a
dd_eq
commit
|
commitdiff
|
tree
2009-12-07
Sven Verd
o
olaege
isl_t
a
b_detect_redundant:
re
t
u
rn stat
u
s instead of
.
.
.
commit
|
commitdiff
|
tree
2009-12-07
Sven Ve
r
doolaege
isl_tab: add is
l
_tab_freeze_const
r
aint
commit
|
commitdiff
|
tree
2009-11-29
Sven Verdoolaege
isl_tab
_
add_ineq and
i
sl_tab_mark_empty
:
re
t
u
r
n sta
t
us
.
.
.
commit
|
commitdiff
|
tree
2009-11-29
Sven
V
e
rdool
a
ege
add m
i
ssin
g
AUTHORS file
commit
|
commitdiff
|
tree
2009-11-29
Sven
V
erdo
o
laege
isl_bas
i
c_set_swap_vars: re-gau
s
s resu
l
ting bset
commit
|
commitdiff
|
tree
2009-11-16
Sv
e
n
Verdool
a
ege
add
i
s
l_bas
i
c
_
map_fi
r
st_
c
onstraint
commit
|
commitdiff
|
tree
2009-11-15
Sven Verdoo
l
aege
e
xport isl_b
a
sic_map_lexmax
commit
|
commitdiff
|
tree
2009-11-15
Sven Verdool
a
ege
a
d
d isl_bas
i
c_set_lexmax
commit
|
commitdiff
|
tree
2009-11-15
S
ven Ver
d
oolaege
i
sl
_
map_dr
o
p_basic_ma
p
: consiste
n
t
l
y
keep
basic map
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verd
o
olaege
i
s
l_ta
b
: row is only
(
ob
v
iously)
redunda
n
t
if it
does
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
S
ven Verdoo
l
aege
isl_basic_map_simpl
i
fy: m
a
k
e
sure to r
e
ru
n
Gau
s
s whe
n
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdoolaege
isl_
t
ab_basic_map_par
t
ial_lexopt: use
context con
s
t
rain
t
s
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sve
n
Verdoolaege
isl_tab_pip
.
c: ig
n
ore dead
columns when checking
integ
r
a
l
it
y
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdo
o
laege
i
s
l_pi
p
:
opti
o
n
ally
p
e
r
form some
c
hec
k
on the results
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
put o
p
tions in
a separate
i
sl_o
p
tions
structure
commit
|
commitdiff
|
tree
2009-10-21
S
ven Ve
r
dool
a
ege
add rudimentary argument parsing faci
l
ity
commit
|
commitdiff
|
tree
2009-10-21
Sven
V
erdoolaege
isl
_
tab
_
compute_reduce
d
_basis: handle em
p
ty tabl
e
s
commit
|
commitdiff
|
tree
2009-10-21
Sven Verd
o
olaege
isl_ba
s
ic_set_solve_ilp
:
handle ob
v
iously
e
mpty s
e
ts
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
isl_basic
_
set_solve_ilp: fix handlin
g
of sets with
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdool
a
ege
add
i
s
l_set_remove
commit
|
commitdiff
|
tree
2009-10-21
Sven
Ve
r
doo
l
a
e
g
e
add isl_set_fix
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
a
dd
i
sl_basic_set_fix
commit
|
commitdiff
|
tree
2009-10-21
Sv
e
n Verdoolaege
e
xtract is
l
_ba
s
ic_set
_
scan from pol
y
tope_scan
.
c
commit
|
commitdiff
|
tree
2009-10-21
Sven
V
e
rdoolaege
i
sl_basic_map_simplify: avoid
rem
o
val of div
d
ef
i
niti
o
ns
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
S
v
en
Verd
o
ol
a
ege
i
s
l
_ma
p
.
c:
d
ec
l
are variabl
e
at start of co
d
e
b
l
oc
k
commit
|
commitdiff
|
tree
2009-10-21
Sven
Verdoolaege
isl_basic_set_project_out: ha
n
dle ra
t
ional se
t
s
commit
|
commitdiff
|
tree
2009-10-21
Sve
n
Verdoolaege
add is
l
_
b
asic_set_r
e
move
commit
|
commitdiff
|
tree
2009-10-21
Sven Ver
d
ool
a
ege
isl_tab_pip:
keep c
a
che of partial solutions
commit
|
commitdiff
|
tree
2009-10-16
S
v
en Verd
o
olaege
isl
_
ta
b
_
p
ip: don't fre
e
isl_so
l
on error c
o
nd
i
t
ion
commit
|
commitdiff
|
tree
2009-10-16
Sven V
e
rdoolaege
isl
_
tab: sup
p
o
rt generic undo records
commit
|
commitdiff
|
tree
2009-10-16
S
v
e
n
Verd
o
olaege
add
i
sl_mat_is_equa
l
commit
|
commitdiff
|
tree
2009-10-16
Sven
V
erdoolaege
isl_tab_pip
.
c: remove some code dupl
i
cation b
e
tween
.
.
.
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoolaege
isl_
m
a
p
_is_subs
e
t: add s
p
ecial
case for singleton maps
commit
|
commitdiff
|
tree
2009-10-12
Sven Ver
d
oolaege
isl_map_co
m
pute_divs: skip co
m
putati
o
n i
f
divs a
r
e
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoo
l
aege
isl_map_is
_
su
b
set
:
exploit ano
t
h
er
e
a
s
y
s
pecial case
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolae
g
e
add isl_map_fast_
i
s_universe
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
add
i
sl_
s
et_size
commit
|
commitdiff
|
tree
2009-10-12
Sv
e
n
Verdoolaege
mark some functions
a
s
requir
i
ng use of retur
n
val
u
e
commit
|
commitdiff
|
tree
2009-10-12
S
v
e
n Verdool
a
ege
i
sl
_
tab: i
m
proved error handling
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoo
l
ae
g
e
i
sl_tab_pip
.
c: incrementally build rece
s
s
i
on cone of
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
S
v
e
n
Verdoolaeg
e
isl_tab
_
pip
.
c
:
pr
o
pagate
s
ome
e
q
u
a
l
i
t
ies from
g
br context
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sv
e
n Verd
o
olaege
isl_ta
b
_pi
p
.
c: detect equalities in
gbr
c
ontext
o
n
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven Ver
d
oolaeg
e
add isl_tab
_
detect_
e
q
ualities
commit
|
commitdiff
|
tree
2009-10-10
Sve
n
Verd
o
olaege
a
dd
isl_tab_set_initial_ba
s
is_
w
ith_
c
one
commit
|
commitdiff
|
tree
2009-10-10
Sven Verdoolaege
isl_ta
b
_pip:
u
s
e
generalized ba
s
is
reduction ba
s
ed
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
S
v
en V
e
r
d
oolaeg
e
i
sl_tab_pip: add gener
a
lize
d
basi
s
r
e
ducti
o
n
based
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoo
l
a
e
ge
i
s
l
_tab_pip
.
c: extract out
con
t
ext handling
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
i
s
l_tab_pip
.
c:
a
d
d_div:
use more reliable way to test
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
v
en Verdool
a
eg
e
i
s
l
_tab
_
basic_
m
ap_par
t
ia
l
_lexopt
:
remove
sample
s
that
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
is
l
_tab
.
c: extract out samples h
a
n
dling from isl_t
a
b_pip
.
c
commit
|
commitdiff
|
tree
2009-10-09
Sv
e
n Verdool
a
ege
isl_affin
e
_hull
.
c:
u
se
t
_a
f
fine
_
hull_bounded: use t
a
bleaus
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sve
n
Verdoolaeg
e
isl_ba
s
ic_map_detect
_
equali
t
ies: keep
track of s
a
mple
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdo
o
laege
isl_
b
asic_map_dete
c
t_e
q
ualities: only
compute recession
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdo
o
laege
i
s
l_t
a
b_sam
p
le
:
handle un
b
ounded directions in initial
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven
V
erdoolae
g
e
isl_tab_
c
ompute_reduced_basis: handle unbounded d
i
rectio
n
s
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
explo
i
t equa
l
i
ties in isl_t
a
b_sample
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoo
l
aege
isl_tab: keep
(
i
n
)equalities of bset (if any) in sy
n
c
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolae
g
e
i
sl_t
a
b_s
a
mple: be more v
e
rbose
a
b
out u
n
bounded directions
commit
|
commitdiff
|
tree
2009-10-09
Sven V
e
rdool
a
ege
sep
a
rat
e
out isl_tab
_
sample from sample_bounded
commit
|
commitdiff
|
tree
2009-10-09
S
ven Verdoolaege
sample_bo
u
nded
:
reimplement
t
o
work d
i
rectly on a tabl
e
a
u
commit
|
commitdiff
|
tree
2009-10-09
Sve
n
Verdoolaege
isl
_
tab_
c
ompute_
r
educ
e
d_basis: work with affine basis
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven
V
erdoolaege
is
l
_tab_
c
ompu
t
e_
r
educed_basis: allow i
n
cremental com
p
utat
i
on
commit
|
commitdiff
|
tree
2009-10-09
Sven
Verdoolaeg
e
isl_polytope_sc
a
n: u
s
e
isl_tab_from_bas
i
c
_
set
commit
|
commitdiff
|
tree
2009-10-09
S
v
e
n
Verdoolae
g
e
se
p
arate out isl_tab_re
d
uced_basis from isl_basic_set_
r
educe
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
v
e
n Verdoolaege
b
asis_reduction_tab
.
c: use i
s
l_tab_product
t
o co
n
s
truct
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
ven Verdoolaege
a
dd isl_
t
ab_pro
d
uct
commit
|
commitdiff
|
tree
2009-10-09
Sven
Verdoolaeg
e
isl_basic
_
set_re
d
uced_basis: f
i
x
val
u
e in d
i
r
ect
i
ons
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolae
g
e
isl_basic_set_reduced_
b
asis: fix up
d
o
c
umentation
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdo
o
l
aege
basis_reducti
o
n_t
a
b
.
c: keep track of con_offset
i
nstead
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Ver
d
ool
a
ege
a
d
d isl_tab_add_eq
commit
|
commitdiff
|
tree
2009-10-08
Sv
e
n Verdoolaege
i
s
l_tab_add_valid_eq: a
d
d specia
l
treatment for manif
e
stly
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoolae
g
e
i
sl_tab_extend_cons: ch
e
ck tab argume
n
t
commit
|
commitdiff
|
tree
2009-10-08
Sv
e
n Verdoolaege
rename isl_tab_d
e
tect_equa
l
it
i
es
to is
l
_tab_detect_impl
i
cit_
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Ver
d
oolaege
is
l
_tab_from_rece
s
sion_cone: tak
e
b
a
sic set ins
t
ead
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
S
v
e
n
Ve
r
doolaege
isl_ilp
.
c: se
p
arate ou
t
solve_ilp_sea
r
c
h
commit
|
commitdiff
|
tree
2009-10-08
Sven Ve
r
doolaeg
e
i
sl_sample
.
c:
basi
c
_set_samp
l
e: remember boundednes
s
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdo
o
lae
g
e
a
dd isl_polyhed
r
on_detect_equal
i
tie
s
test applicatio
n
commit
|
commitdiff
|
tree
2009-10-07
Sv
e
n Verdoolaege
add isl_basic_set_de
t
ect_eq
u
alities
commit
|
commitdiff
|
tree
2009-10-07
S
ven
Verdool
a
e
ge
isl_tab_
a
llocate_
c
on: add extra asser
t
ion
commit
|
commitdiff
|
tree
2009-10-07
Sven
Ver
d
o
o
laeg
e
i
s
l_sample
.
c: basic_set_r
e
duced: fix typo preventing
.
.
.
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolaege
i
sl_ta
b
_basic
_
map_partial_lex
o
p
t:
simp
l
ify r
e
sult
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdo
o
lae
g
e
priva
t
ely export
is
l
_basic_set_add_{in,
}
e
q
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdool
a
ege
privately
e
x
port
isl_ba
s
ic_se
t
_s
a
m
ple
_
with_cone
commit
|
commitdiff
|
tree
2009-10-07
S
v
e
n
Verdoolaege
a
dd isl_basic_set_u
n
derlying_set
commit
|
commitdiff
|
tree
2009-10-07
Sven Ver
d
o
ol
a
e
ge
isl_tab
.
c: close
_
row: push u
n
do
recor
d
for set
t
ing
.
.
.
commit
|
commitdiff
|
tree
2009-10-07
Sven Verd
o
olaege
add isl_mat_vec_inverse_pr
o
duct
commit
|
commitdiff
|
tree
2009-10-07
Sve
n
V
er
d
oolaege
a
d
d isl_mat_concat
commit
|
commitdiff
|
tree
2009-10-07
S
ven Verdoolae
g
e
add
isl_int_divexact
_
u
i
commit
|
commitdiff
|
tree
2009-10-05
Sven V
e
rdoolaege
add isl_set_
d
im_re
s
idue_class
commit
|
commitdiff
|
tree
2009-10-03
Sven
V
erdoolaege
fix long standing
b
ug i
n
isl_ma
t
_inve
r
s
e_
p
roduct
commit
|
commitdiff
|
tree
2009-10-02
Sven Verd
o
ola
e
ge
add isl_basic
_
m
a
p_foreach_le
x
min
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaege
add
i
sl_se
t
_project_out
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdo
o
laege
a
d
d isl
_
set_d
e
tect_equa
l
itie
s
commit
|
commitdiff
|
tree
2009-10-02
Sven
Verdoo
l
aege
add
isl_s
e
t_foreach_basic_set
commit
|
commitdiff
|
tree
next