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_input_omega.c: fix check for memory allocation error
2010-01-24
Sven Verdool
a
ege
isl_input_omega
.
c
:
fi
x
chec
k
f
or
memory al
l
ocation
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sve
n
Ve
r
doolaege
isl_stream_next_token
:
s
k
ip
comment lines
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
isl_
t
ab_
b
asic_map_partial_lexopt:
p
r
o
p
erly handle empty
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven
V
erdoolae
g
e
isl_basic_map_set_to_empty: remove
s
ample (if an
y
)
commit
|
commitdiff
|
tree
2010-01-24
S
v
e
n Verdoo
l
aege
add
i
sl_set_fast_is_empty
commit
|
commitdiff
|
tree
2010-01-13
Sven Verdoolaege
p
roper
l
y
remove pipli
b
s
ubmodule
commit
|
commitdiff
|
tree
2010-01-08
Sven Verdo
o
l
ae
g
e
i
s
l_
b
asic
_
map_
u
p
date
_
from_tab: re-g
a
uss resu
l
ting bmap
commit
|
commitdiff
|
tree
2010-01-01
Sven
V
e
rdoolaege
ax_submodule
.
m4: don't let
--with-modul
e
conflict with
.
.
.
commit
|
commitdiff
|
tree
2009-12-25
Sve
n
V
e
rdoola
e
ge
add is
l
_
set_follows
_
at
commit
|
commitdiff
|
tree
2009-12-24
Sven Verdoolaege
isl_basic_set_
c
ompar
e
_at: compute res
u
lt in te
r
ms of
.
.
.
commit
|
commitdiff
|
tree
2009-12-24
Sv
e
n Verdoolaege
is
l
_tab_pip
.
c:
a
dd
cuts
f
or all
n
o
n
-
in
t
e
g
e
r coordin
a
tes
.
.
.
commit
|
commitdiff
|
tree
2009-12-19
Sven Verdo
o
laege
isl_basic_m
a
p_gis
t
:
don
'
t
drop equalities from context
commit
|
commitdiff
|
tree
2009-12-18
Sven V
e
rdoo
l
a
e
ge
isl_conve
x
_h
u
ll
.
c:
initia
l
_
f
acet_co
n
straint: drop all
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sven
Verd
o
o
laege
i
sl_convex_h
u
ll
.
c:
i
s
_
i
ndependent_bound:
n
ormalize
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoolaege
isl_convex_hull
.
c
:
e
x
tend: ch
e
ck
hull argumen
t
commit
|
commitdiff
|
tree
2009-12-18
Sven Ve
r
doolae
g
e
isl_mat_right
_
inv
e
rse: be
m
ore verbose on error condi
t
ion
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoolaege
i
s
l_c
o
nstraint_dup:
m
ake s
u
re line refers to equati
o
n
.
.
.
commit
|
commitdiff
|
tree
2009-12-16
S
v
e
n
Verdool
a
eg
e
ad
d
copyright
stateme
n
ts
commit
|
commitdiff
|
tree
2009-12-16
Sve
n
Verdoolaege
remov
e
functions for c
o
n
v
erting between isl and
P
olyLib
commit
|
commitdiff
|
tree
2009-12-16
Sven Verdoolaege
isl
_
tab_solve
_
lp:
i
nvert optimal v
a
lue ba
c
k when com
p
uting
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven V
e
rdoola
e
ge
i
sl_map_inters
e
ct: add
special
c
ase for add
i
n
g
a sin
g
l
e
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven V
e
rdoolaege
i
sl_ma
p
_i
s
_
s
ub
s
et: br
e
ak off as soon as diffe
r
ence
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sve
n
Verdoolaege
c
o
mpu
t
e s
e
t
d
i
f
feren
c
e using a backtrackin
g
a
l
g
orithm
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolaege
i
sl_map_subtract
.
c
:
ex
t
ract from isl_map
.
c
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolaege
isl_tab: keep
t
rac
k
of is
l
_basic
_
map in
s
tead of i
s
l
_basic_
s
et
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdo
o
laege
p
r
ivately e
x
port
i
sl_
b
asic
_
map_contains
commit
|
commitdiff
|
tree
2009-12-07
Sven
V
er
d
oolaege
a
d
d isl_basic_map_add_ineq
a
n
d
isl_basic_map_
a
dd
_
e
q
commit
|
commitdiff
|
tree
2009-12-07
S
v
e
n Ve
r
doolaege
isl_tab_d
e
tect_redundan
t
: return status in
s
tead of
.
.
.
commit
|
commitdiff
|
tree
2009-12-07
Sv
e
n Verdoolaege
isl_t
a
b: add isl_ta
b
_free
z
e_constra
i
nt
commit
|
commitdiff
|
tree
2009-11-29
Sven Verdoo
l
aege
isl_tab_add_ineq and isl_ta
b
_mark_empty: return status
.
.
.
commit
|
commitdiff
|
tree
2009-11-29
Sven Verd
o
olaege
a
d
d missing A
U
T
H
O
RS fi
l
e
commit
|
commitdiff
|
tree
2009-11-29
Sven Verdoolae
g
e
i
s
l
_basic_set
_
swap_vars: re-g
a
us
s
resulting bset
commit
|
commitdiff
|
tree
2009-11-16
Sven
V
er
d
oolaege
add isl_basic_map_first_co
n
straint
commit
|
commitdiff
|
tree
2009-11-15
S
ven
V
erdoolaege
export isl_basic_map
_
l
e
xmax
commit
|
commitdiff
|
tree
2009-11-15
Sve
n
Ve
r
doolaege
add isl_b
a
sic_set_lex
m
ax
commit
|
commitdiff
|
tree
2009-11-15
Sven V
e
rdool
a
e
ge
isl_map
_
drop_basic_ma
p
: consistently k
e
ep
basi
c
map
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdoolaege
i
s
l
_tab: row is only
(
o
b
v
iously) redundant if i
t
does
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdool
a
ege
i
sl_ba
s
ic_map_simpl
i
fy: m
a
ke sure to
reru
n
Gauss when
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdoolaege
isl_tab_ba
s
ic
_
map_partial_le
x
opt
:
use co
n
text constrai
n
ts
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sve
n
Verdoolaege
isl_ta
b
_
p
ip
.
c: ignore dead co
l
umns when
c
h
ecking
i
ntegrality
commit
|
commitdiff
|
tree
2009-10-21
Sven Ve
r
doo
l
ae
g
e
isl_pip: optiona
l
ly
p
erfor
m
s
o
me check on the results
commit
|
commitdiff
|
tree
2009-10-21
Sven Verd
o
olaege
p
ut option
s
in a separ
a
t
e
isl_option
s
str
u
cture
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
ad
d
rud
i
menta
r
y argument parsin
g
facility
commit
|
commitdiff
|
tree
2009-10-21
Sven
Verdoola
e
ge
i
s
l
_
t
a
b_comput
e
_r
e
duced
_
basis
:
h
andle em
p
ty tables
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
isl_basic
_
set_solve_ilp: ha
n
dle obviou
s
ly empty set
s
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoola
e
ge
i
sl_bas
i
c_set_solve_il
p
:
fix handling of sets with
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sven Verd
o
o
l
ae
g
e
add isl_
s
et_remove
commit
|
commitdiff
|
tree
2009-10-21
Sve
n
V
e
rdoolae
g
e
a
dd isl_se
t
_fi
x
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
a
d
d isl_
b
asic_set_
f
ix
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
extract isl
_
basic_
s
et
_
scan from
p
o
lytop
e
_
sc
a
n
.
c
commit
|
commitdiff
|
tree
2009-10-21
Sven Verd
o
olaege
isl_basic_
m
ap_s
i
mplify: avoid re
m
ova
l
of div
d
ef
i
nition
s
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
S
v
en Verdoolaege
i
sl_map
.
c: d
e
clare va
r
iable at
s
tart of code b
l
ock
commit
|
commitdiff
|
tree
2009-10-21
Sven Verd
o
ola
e
g
e
isl
_
b
a
s
i
c_set_projec
t
_ou
t
: handle
ra
t
ional
sets
commit
|
commitdiff
|
tree
2009-10-21
Sven
Verdool
a
e
g
e
add isl_basic_set_remove
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
isl_tab_pip: keep cache of p
a
rtial solutions
commit
|
commitdiff
|
tree
2009-10-16
Sven
V
erdoolaege
isl_tab_pip: don't free isl_s
o
l
on
e
rror c
o
ndition
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoolaege
i
sl_
t
ab: support
g
ene
r
ic undo
records
commit
|
commitdiff
|
tree
2009-10-16
S
v
en V
e
r
doolae
g
e
add isl_m
a
t_is_
e
q
ual
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoolaege
isl_tab_pip
.
c: remove
s
o
me code dupl
i
c
a
tion betwe
e
n
.
.
.
commit
|
commitdiff
|
tree
2009-10-16
Sven Verd
o
olaege
isl_ma
p
_
i
s
_subset: add spe
c
ial case for si
n
gle
t
on m
a
ps
commit
|
commitdiff
|
tree
2009-10-12
S
ven
V
e
rdoolaege
isl_
m
ap_compute_d
i
v
s: skip comp
u
tation
if divs are
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdo
o
laege
i
sl_map_is_sub
s
et: exploit another easy special case
commit
|
commitdiff
|
tree
2009-10-12
Sven Ve
r
doolaege
add isl_
m
a
p
_
fast_i
s
_
u
niverse
commit
|
commitdiff
|
tree
2009-10-12
Sven
V
erdoolaege
a
dd isl_set_size
commit
|
commitdiff
|
tree
2009-10-12
Sven Ver
d
o
olaege
mark
s
o
me fu
n
c
t
ions as requir
i
ng
u
se
of return value
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoo
l
aege
is
l
_tab: impro
v
ed error h
a
ndling
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
is
l
_tab_pip
.
c
:
i
ncr
e
mentally build
recessi
o
n cone of
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
S
v
en Verdoolaege
isl_tab_pip
.
c
: pr
o
pagate some equalities from gbr context
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sv
e
n Verdo
o
laege
isl_tab_pip
.
c: de
t
e
ct e
q
ualitie
s
i
n
g
b
r c
o
ntext on
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven V
e
rdoolaege
a
dd is
l
_tab_de
t
ect_
e
qualities
commit
|
commitdiff
|
tree
2009-10-10
Sven Ve
r
doolaege
add isl_tab_se
t
_initial_basis_with_cone
commit
|
commitdiff
|
tree
2009-10-10
Sven
Verdoolaege
isl_tab_pip: use generalized basis red
u
c
t
i
on based
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven Verdoolae
g
e
i
s
l_tab_pip: add ge
n
eralized
b
asis reduction based
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdo
o
laege
isl_tab_p
i
p
.
c: extract out context handling
commit
|
commitdiff
|
tree
2009-10-09
Sven
Verd
o
olaege
isl_
t
ab_pi
p
.
c:
add_div
:
use more reliable way to test
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoola
e
ge
i
sl_
t
ab_basic
_
m
ap_partia
l
_l
e
xopt: remove s
a
mples that
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Ver
d
o
olaege
isl
_
tab
.
c: ext
r
act out
s
amp
l
es ha
n
dling fr
o
m is
l
_tab_pip
.
c
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_affine_hull
.
c: u
s
et_affine_hull
_
bounded: u
s
e
t
ablea
u
s
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven V
e
r
doolaege
i
sl_basic_ma
p
_detec
t
_equalities: keep track of sample
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoola
e
ge
isl_ba
s
ic_ma
p
_detect_equ
a
l
i
tie
s
: only co
m
pute recession
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven
V
erdoola
e
ge
isl_tab_sample:
h
andle unboun
d
ed direc
t
ions in init
i
al
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
ve
n
V
erdool
a
ege
is
l
_tab_compute_red
u
c
ed_basis:
h
andle unbounded
d
irect
i
o
ns
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Ver
d
oolaege
exploit e
q
ualities in isl_
t
ab_
s
ample
commit
|
commitdiff
|
tree
2009-10-09
Sven V
e
rd
o
ola
e
ge
isl_tab: keep
(
in)
e
qualitie
s
of bset (if
any
)
in sy
n
c
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolae
g
e
isl_ta
b
_s
a
mple: be m
o
re ve
r
bos
e
about unbounded directio
n
s
commit
|
commitdiff
|
tree
2009-10-09
S
ven Verdoolaeg
e
separate out isl_tab_sampl
e
f
r
om sample
_
bounded
commit
|
commitdiff
|
tree
2009-10-09
Sven Ve
r
doolaege
sa
m
p
l
e_bo
u
nded:
reimplement to w
o
rk directly on
a tableau
commit
|
commitdiff
|
tree
2009-10-09
Sve
n
V
e
rdoolaeg
e
i
sl_tab
_
compute_
r
educed_basis: work wi
t
h affine ba
s
is
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven V
e
rdoolaege
i
s
l
_
tab_compu
t
e_reduced_bas
i
s:
a
llow inc
r
emental computation
commit
|
commitdiff
|
tree
2009-10-09
S
v
en Verdoolaege
isl_pol
y
tope_scan: use
isl_tab_fr
o
m_basic_s
e
t
commit
|
commitdiff
|
tree
2009-10-09
S
ven
V
erdoolaege
separate
o
u
t
isl_tab_reduced_bas
i
s
f
r
o
m isl_
b
a
s
ic_set_reduce
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoola
e
ge
basis_reduction_tab
.
c: use isl_tab
_
produ
c
t t
o
const
r
uct
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sve
n
Verdoolaege
add
isl
_
tab_p
r
odu
c
t
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolae
g
e
isl_basi
c
_set_reduc
e
d_basis: fix v
a
lue in directions
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_basic_set_reduced_
b
asis: fix
up docume
n
tati
o
n
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoolaege
basi
s
_
r
e
duction_tab
.
c:
k
e
e
p
t
rack of con_off
s
et i
n
stead
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdo
o
laege
ad
d
isl_tab_add_eq
commit
|
commitdiff
|
tree
2009-10-08
S
ve
n
Ver
d
oola
e
ge
isl_tab_a
d
d_valid_e
q
: ad
d
spec
i
al tre
a
tment for
manifes
t
ly
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Verd
o
o
la
e
ge
isl
_
t
a
b_ex
t
end_cons: check tab ar
g
ument
commit
|
commitdiff
|
tree
2009-10-08
S
v
en Verdoolaege
rename
i
sl_ta
b
_detect_equalities to isl_
t
a
b
_de
t
e
ct_implici
t
_
.
.
.
commit
|
commitdiff
|
tree
next