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
add isl_set_fast_is_empty
2010-01-24
Sven Ver
d
o
o
laege
add isl_set_fa
s
t_is_empty
commit
|
commitdiff
|
tree
2010-01-13
Sven Verdo
o
laege
p
r
o
perly remove piplib
s
ubmodule
commit
|
commitdiff
|
tree
2010-01-08
Sven
V
erdoolaeg
e
isl
_
basic_map_u
p
date_from_tab: re-ga
u
ss
r
esulting
bmap
commit
|
commitdiff
|
tree
2010-01-01
Sven Verdoolaege
ax_submodul
e
.
m4: don
'
t
l
et --with
-
module conflic
t
w
i
th
.
.
.
commit
|
commitdiff
|
tree
2009-12-25
S
v
en
Ve
r
dool
a
ege
add isl_set_fo
l
l
ows_at
commit
|
commitdiff
|
tree
2009-12-24
Sven Verdoolaege
is
l
_basic_
s
e
t
_compare_at: c
o
mpute re
s
ult in terms of
.
.
.
commit
|
commitdiff
|
tree
2009-12-24
S
ven Ver
d
oola
e
ge
is
l
_ta
b
_
pip
.
c: add
c
uts for all
n
o
n-integer
coo
r
din
a
t
es
.
.
.
commit
|
commitdiff
|
tree
2009-12-19
Sve
n
Ver
d
oolaege
isl_basic_map_gist: don't drop
equa
l
ities from
context
commit
|
commitdiff
|
tree
2009-12-18
S
ven
V
er
d
oola
e
g
e
isl_conv
e
x_hull
.
c: ini
t
ia
l
_face
t
_constraint: drop
all
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoolaeg
e
isl_convex_hull
.
c: is_
i
ndepe
n
dent_
b
ound: normali
z
e
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sven Ve
r
doola
e
ge
isl_c
o
nvex_hu
l
l
.
c: extend: check hu
l
l
a
rgument
commit
|
commitdiff
|
tree
2009-12-18
S
v
e
n
Verdoolaege
isl_mat_right_inverse: be more
verbose on erro
r
c
ondit
i
on
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoolaege
i
s
l
_const
r
aint_du
p
: make sure line r
e
fers to
e
quation
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sv
e
n Verdoolaege
isl_map_intersect: add special case for add
i
n
g
a
s
ingle
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sve
n
Verdo
o
laege
co
m
pute set di
f
ference using a back
t
r
acking algorithm
commit
|
commitdiff
|
tree
2009-12-07
S
ve
n
Verdoolaege
isl_map_sub
t
ract
.
c: extr
a
ct from is
l
_
m
a
p
.
c
commit
|
commitdiff
|
tree
2009-12-07
Sven
Verd
o
ol
a
ege
isl_tab: keep track of
i
s
l
_basic_map instead of isl_b
a
s
ic_set
commit
|
commitdiff
|
tree
2009-12-07
S
ven Verdoolaege
privately export isl_ba
s
ic_map_
c
ont
a
i
n
s
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolaege
add i
s
l_basic_
m
ap_ad
d
_
i
neq and isl_basic_map_add_eq
commit
|
commitdiff
|
tree
2009-12-07
S
ven Verdoolaege
isl_tab_detect_redu
n
d
ant: r
e
t
urn status
i
nste
a
d of
.
.
.
commit
|
commitdiff
|
tree
2009-12-07
Sv
e
n
Verdoolaege
isl
_
tab
:
add isl_tab_fre
e
z
e
_constraint
commit
|
commitdiff
|
tree
2009-11-29
Sven Ve
r
d
o
olaege
isl_tab
_
ad
d
_in
e
q
a
nd i
s
l_tab
_
mark_em
p
ty
:
re
t
ur
n
s
t
atus
.
.
.
commit
|
commitdiff
|
tree
2009-11-29
Sven Verdoolae
g
e
add mis
s
ing AUTHORS file
commit
|
commitdiff
|
tree
2009-11-29
Sven Verdoolaege
is
l
_basic_se
t
_swap_vars: r
e
-gauss resulting bset
commit
|
commitdiff
|
tree
2009-11-16
S
ven Verdo
o
la
e
g
e
a
dd isl_ba
s
ic_map_fir
s
t_con
s
tra
i
nt
commit
|
commitdiff
|
tree
2009-11-15
Sven Ver
d
o
olae
g
e
e
xp
o
rt
isl_b
a
sic_
m
ap_le
x
max
commit
|
commitdiff
|
tree
2009-11-15
Sven Verdoolaege
add isl_
b
asic_set
_
lexmax
commit
|
commitdiff
|
tree
2009-11-15
Sven Verdoolaege
isl
_
map_drop_basic_
m
ap: consiste
n
tly ke
e
p ba
s
ic map
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdool
a
ege
isl
_
ta
b
: row is on
l
y
(
obvio
u
sly
)
redu
n
dant if it does
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdoolaege
isl
_
basic_ma
p
_
si
m
pl
i
fy
:
m
ake s
u
re to reru
n
Gauss when
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdoo
l
aege
is
l
_t
a
b_b
a
s
ic_m
a
p_part
i
al_lexopt: use context co
n
s
t
raints
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven V
e
rdoo
l
aege
i
s
l_tab_p
i
p
.
c: i
g
nore dead col
u
mns when c
h
e
c
king
i
n
tegrality
commit
|
commitdiff
|
tree
2009-10-21
Sven V
e
rdoolaege
isl
_
p
i
p:
optional
l
y
perf
o
rm
s
ome check on
t
he results
commit
|
commitdiff
|
tree
2009-10-21
Sv
e
n Verdo
o
laege
put options in a separate isl_options
s
tructu
r
e
commit
|
commitdiff
|
tree
2009-10-21
Sven Verd
o
olaege
add rudi
m
entary argument p
a
rsi
n
g
f
acilit
y
commit
|
commitdiff
|
tree
2009-10-21
Sv
e
n Ver
d
ool
a
eg
e
isl_tab_c
o
mpute_redu
c
ed_basis: han
d
le
em
p
ty table
s
commit
|
commitdiff
|
tree
2009-10-21
S
v
en Verd
o
olaege
isl
_
basic
_
set_
s
olve_ilp: handle
o
bviously em
p
ty s
e
t
s
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoo
l
a
ege
isl_basic
_
set_solve_il
p
: fix handl
i
n
g
of sets with
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdo
o
laege
add isl_se
t
_remove
commit
|
commitdiff
|
tree
2009-10-21
Sven
V
erd
o
olaege
a
dd
isl_set_fix
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
add isl_basic
_
set_fix
commit
|
commitdiff
|
tree
2009-10-21
S
v
en
Ve
r
do
o
laege
extrac
t
isl_basic_set_scan from polytope_
s
ca
n
.
c
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaeg
e
isl_bas
i
c_map_simp
l
ify: avoid
r
emov
a
l of
d
iv definitions
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolae
g
e
isl_map
.
c: declare
v
ari
a
bl
e
at start of code blo
c
k
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
isl_basic_
s
et_project_out: handle rational sets
commit
|
commitdiff
|
tree
2009-10-21
S
v
e
n Verdoolaege
a
d
d
isl_
b
asi
c
_
set_remove
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdo
o
laege
isl_t
a
b_pip
:
keep c
a
c
he of partial solutions
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoolaege
isl_tab_pip: don't free
isl_so
l
o
n er
r
or con
d
ition
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoolaege
isl_tab: su
p
port generi
c
undo records
commit
|
commitdiff
|
tree
2009-10-16
Sven
V
e
r
d
oolaege
add isl_
m
at_is_equal
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoolaege
isl_
t
ab_pip
.
c: remove some code duplication betwee
n
.
.
.
commit
|
commitdiff
|
tree
2009-10-16
S
v
en Ve
r
doolaege
isl_map_is_su
b
set: add
s
pecial c
a
se for
singleton maps
commit
|
commitdiff
|
tree
2009-10-12
Sv
e
n Verdo
o
l
aege
i
s
l_m
a
p
_
c
ompute_d
i
vs: skip com
p
ut
a
tion if divs are
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
S
v
en Verdoolae
g
e
is
l
_map_is
_
subset: e
x
ploit an
o
t
h
e
r easy spe
c
ial case
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
add i
s
l_map_fast_is_univer
s
e
commit
|
commitdiff
|
tree
2009-10-12
S
ven V
e
r
doo
l
aege
a
d
d
is
l
_set_size
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
mark some
f
un
c
tions as re
q
uirin
g
use of ret
u
rn valu
e
commit
|
commitdiff
|
tree
2009-10-12
Sv
e
n Verdoolaege
isl_tab: improved error handling
commit
|
commitdiff
|
tree
2009-10-12
S
ven Verdoolaege
isl
_
t
a
b_pip
.
c: in
c
rementally
b
uild recession cone
o
f
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
Sven Verd
o
ola
e
g
e
isl_tab_pip
.
c: propagate some equal
i
ties from gbr con
t
ext
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven Ve
r
doolaege
isl_tab_
p
ip
.
c
: de
t
ect e
q
ualitie
s
i
n
gb
r
con
t
ext
o
n
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
S
v
en Verdo
o
laege
add i
s
l
_tab
_
de
t
ect_eq
u
alities
commit
|
commitdiff
|
tree
2009-10-10
Sv
e
n
Ver
d
oolaeg
e
add isl_t
a
b
_
se
t
_initial
_
basis_with_con
e
commit
|
commitdiff
|
tree
2009-10-10
S
v
en
Verd
o
olaege
is
l
_tab
_
p
i
p: use gene
r
alized basi
s
reduc
t
ion based
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
S
ven Verdool
a
ege
i
s
l_tab_pip: add
g
eneralized
b
asis red
u
c
t
ion b
a
se
d
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_tab_pip
.
c: extrac
t
out context
handling
commit
|
commitdiff
|
tree
2009-10-09
Sven
V
erdoola
e
ge
isl_tab
_
pip
.
c: a
d
d_div:
u
se m
o
re reliable way to
t
est
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven V
e
rdoolaege
isl_tab_basic_map_partial_lexopt:
rem
o
ve sam
p
les that
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_tab
.
c: extract out samples handling f
r
om isl_tab_pip
.
c
commit
|
commitdiff
|
tree
2009-10-09
Sven V
e
rdo
o
laege
isl_affine_hull
.
c: u
s
et_affine_
h
ull_boun
d
ed:
u
s
e
t
a
b
lea
u
s
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_
b
asic_
m
ap_de
t
e
c
t_equalities: k
e
e
p track of sample
commit
|
commitdiff
|
tree
2009-10-09
S
ven Verdoolaege
isl_basic_map_detect_equalities: only comp
u
te recession
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
v
en V
e
rd
o
olaege
i
sl_ta
b
_sample: h
a
ndle unbounded
d
i
r
ections in i
n
i
t
ial
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdool
a
ege
isl_t
a
b_compute
_
r
e
duced_basis: h
a
ndl
e
unbounded direction
s
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
v
en
Verdo
o
laege
e
x
ploit equalities in isl_tab
_
samp
l
e
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolae
g
e
isl_t
a
b: k
e
ep (in)
e
qualities
o
f
bset (if any) in
s
ync
commit
|
commitdiff
|
tree
2009-10-09
S
ven Verdoolaege
is
l
_
t
a
b_sample: be more verbose about unb
o
unded dire
c
tions
commit
|
commitdiff
|
tree
2009-10-09
S
ven Verdo
o
laege
se
p
a
rate out isl_tab_sample
from sample_bounded
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdo
o
laege
samp
l
e_bounded: reimplement to work directly on a
t
ableau
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdo
o
laege
isl_tab
_
c
ompute_reduced_basi
s
:
work wi
t
h affi
n
e
basis
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Ve
r
doolaege
isl_tab_compute_reduced_basi
s
: all
o
w increm
e
n
t
a
l
compu
t
a
t
ion
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdool
a
ege
isl_polytop
e
_sc
a
n: use i
s
l_ta
b
_from_basic_set
commit
|
commitdiff
|
tree
2009-10-09
S
v
en
Ver
d
o
o
laege
separate
out is
l
_tab_reduced_basis from isl_bas
i
c_se
t
_reduce
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdo
o
laege
basis_reduc
t
ion
_
tab
.
c:
us
e
isl_tab_produc
t
to constr
u
ct
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sv
e
n Verdoolaeg
e
add isl_
t
a
b
_pr
o
duct
commit
|
commitdiff
|
tree
2009-10-09
Sven
V
e
rdoolaege
i
s
l
_b
a
sic_set_red
u
ced_basis: fix
value
i
n direct
i
ons
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sv
e
n Verdoolaege
isl_basic_set_reduced_
b
a
s
is: fix up doc
u
mentation
commit
|
commitdiff
|
tree
2009-10-08
Sven
V
e
rdoolaege
ba
s
is_reduction_tab
.
c: keep track of con_offset inst
e
ad
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
S
ven V
e
rd
o
ola
e
g
e
add i
s
l_
t
ab_add_eq
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoo
l
aege
is
l
_tab_add_valid_
e
q: add special treatment for manife
s
tly
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoolaege
isl_
t
ab_ex
t
e
n
d_c
o
n
s
:
check tab argument
commit
|
commitdiff
|
tree
2009-10-08
Sven Ver
d
oolaege
renam
e
is
l
_tab_detect_equal
i
ti
e
s
to isl_tab_d
e
tect_implicit_
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Ve
r
doolaege
isl_tab
_
from_recession_con
e
: take
basic set
inste
a
d
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven
V
e
rdoolaege
isl_
i
l
p
.
c: sepa
r
ate out solve_
i
lp_se
a
rch
commit
|
commitdiff
|
tree
2009-10-08
Sve
n
Verdoola
e
ge
isl_sample
.
c
:
basic_
s
et_sample:
r
emember boundedness
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
S
v
e
n
Ver
d
oolaege
ad
d
i
sl
_
p
o
lyhedron_det
e
ct_
e
qualities t
e
s
t applicat
i
on
commit
|
commitdiff
|
tree
2009-10-07
Sven V
e
rdool
a
e
g
e
add
i
sl
_
basic_set_detect_equal
i
t
ies
commit
|
commitdiff
|
tree
2009-10-07
Sve
n
Ver
d
oolae
g
e
isl_t
a
b_allocate_c
o
n
:
add extra asse
r
ti
o
n
commit
|
commitdiff
|
tree
2009-10-07
S
ven Verdoolaeg
e
isl_sample
.
c: bas
i
c_set_reduced: fi
x
typo preventing
.
.
.
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdo
o
laeg
e
isl_tab_bas
i
c_m
a
p_partial
_
l
e
xopt:
s
implify resul
t
commit
|
commitdiff
|
tree
next