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_set_wrap_facet: make sure set is marked rational
2010-01-24
Sven Verdoolaege
i
s
l_input_
o
mega
.
c: fix check for mem
o
ry allo
c
a
t
i
o
n
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven
V
erdoolae
g
e
isl_strea
m
_next_tok
e
n: skip comment lines
commit
|
commitdiff
|
tree
2010-01-24
Sv
e
n
Verdoolaege
isl_tab_basic_map_partial_lexo
p
t: properly h
a
ndle em
p
ty
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdool
a
e
ge
i
s
l_b
a
sic_ma
p
_set_to_empty: remove sa
m
ple (if any)
commit
|
commitdiff
|
tree
2010-01-24
Sven
Verdo
o
laege
add is
l
_
set_fast
_
is_empty
commit
|
commitdiff
|
tree
2010-01-13
Sven Verdoolae
g
e
p
roperly remove piplib submod
u
le
commit
|
commitdiff
|
tree
2010-01-08
S
v
en Verdoolaege
i
sl_basic_map_update_from
_
tab: re
-
gauss resulting
b
m
ap
commit
|
commitdiff
|
tree
2010-01-01
Sven V
e
rdoola
e
ge
a
x_
s
ubmodule
.
m4: don't le
t
--with-module conf
l
ict with
.
.
.
commit
|
commitdiff
|
tree
2009-12-25
S
ven
V
erdoolaege
add isl
_
set_follows_at
commit
|
commitdiff
|
tree
2009-12-24
Sven
Verdoolaeg
e
isl_ba
s
ic_set_
c
ompare_a
t
: compute r
e
sult in
t
e
rms of
.
.
.
commit
|
commitdiff
|
tree
2009-12-24
Sven Verdoo
l
ae
g
e
isl_t
a
b
_
pip
.
c: add cuts
for all non-integer coordi
n
at
e
s
.
.
.
commit
|
commitdiff
|
tree
2009-12-19
Sve
n
Ve
r
d
oolaeg
e
isl_basic_map_gist: do
n
't drop eq
u
aliti
e
s
from context
commit
|
commitdiff
|
tree
2009-12-18
Sve
n
V
erdoolaege
is
l
_
c
onvex_hull
.
c: in
i
tial_facet_co
n
strain
t
: drop all
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoolaege
isl_convex_hull
.
c:
i
s_independent_bo
u
nd
:
normalize
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sven Ve
r
doola
e
ge
isl_
c
onvex_hull
.
c
:
extend: check hull ar
g
ument
commit
|
commitdiff
|
tree
2009-12-18
S
v
en Verd
o
o
la
e
ge
isl_mat_right
_
in
v
e
rse: be more
ve
r
bose on error c
o
nditi
o
n
commit
|
commitdiff
|
tree
2009-12-18
Sven Ver
d
oolaege
isl_constrai
n
t
_
dup: ma
k
e
sure
l
ine r
e
fers
t
o
e
q
uat
i
on
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sve
n
Verdoolaege
i
s
l_map_intersect: add s
p
ecial case for adding a
single
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven Verdoolaege
c
o
mpute set di
f
fe
r
en
c
e us
i
ng a backtracking
algorithm
commit
|
commitdiff
|
tree
2009-12-07
Sven V
e
rdoolaege
isl_map_
s
u
b
tract
.
c: extract from isl_
m
ap
.
c
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolaege
isl_tab: keep track
o
f isl_basic_map instead of isl_basic_set
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolaege
privat
e
ly export isl_basic_map_contai
n
s
commit
|
commitdiff
|
tree
2009-12-07
Sven
Verdo
o
l
a
ege
ad
d
isl_basic_map_add_
i
neq and isl_
b
asic_map_add_eq
commit
|
commitdiff
|
tree
2009-12-07
Sven
Verdoola
e
ge
i
s
l_tab_detect_redund
a
nt: return status in
s
tead of
.
.
.
commit
|
commitdiff
|
tree
2009-12-07
Sven V
e
rdoolaeg
e
isl_tab:
a
d
d
isl_tab_freeze_
c
ons
t
raint
commit
|
commitdiff
|
tree
2009-11-29
Sv
e
n Verdoo
l
aege
isl_tab_add_ineq and isl_tab_mark_emp
t
y:
r
eturn status
.
.
.
commit
|
commitdiff
|
tree
2009-11-29
Sven Verdoolaege
add m
i
ssing AUTHOR
S
file
commit
|
commitdiff
|
tree
2009-11-29
Sven Ve
r
d
o
ola
e
ge
i
s
l
_basic_se
t
_swap_vars: re-gauss re
s
ulting bset
commit
|
commitdiff
|
tree
2009-11-16
Sven Verdoola
e
ge
add isl_basi
c
_m
a
p_first_constraint
commit
|
commitdiff
|
tree
2009-11-15
Sven Verdoolaege
export isl_ba
s
ic_map_l
e
xmax
commit
|
commitdiff
|
tree
2009-11-15
Sven Verdo
o
laege
add isl_basic_set_lexmax
commit
|
commitdiff
|
tree
2009-11-15
Sven Verd
o
olae
g
e
isl_map_drop_basic_m
a
p:
consisten
t
ly keep
basic map
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdoolaeg
e
isl_tab: row is only (obvious
l
y) redundant
i
f it
d
oes
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
S
ven Verdoolaege
isl_basic_map_simplify:
make sure to re
r
u
n
Gauss when
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdool
a
ege
i
s
l_tab_basi
c
_map
_
partia
l
_lexopt: use context cons
t
rai
n
ts
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdoolaege
isl
_
tab_pip
.
c: igno
r
e dead
columns
w
hen
c
heck
i
ng integralit
y
commit
|
commitdiff
|
tree
2009-10-21
Sven Verd
o
olaeg
e
isl_pip: optionally perform some check on the result
s
commit
|
commitdiff
|
tree
2009-10-21
S
v
en Verdoo
l
aege
put option
s
in a separate
i
sl
_
o
pt
i
o
n
s struct
u
re
commit
|
commitdiff
|
tree
2009-10-21
Sven V
e
rdool
a
ege
add ru
d
i
mentary arg
u
ment p
a
rsing facility
commit
|
commitdiff
|
tree
2009-10-21
S
v
en Verdoolaege
isl_tab
_
c
o
m
pute_redu
c
ed_basis: handle empt
y
ta
b
l
e
s
commit
|
commitdiff
|
tree
2009-10-21
Sven Ve
r
doo
l
ae
g
e
isl_basic_set_solv
e
_i
l
p:
h
a
ndl
e
obviously
e
mpty sets
commit
|
commitdiff
|
tree
2009-10-21
Sven Ve
r
doolaege
isl_ba
s
ic_
s
e
t_so
l
ve_il
p
: fix handling
of sets wi
t
h
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
S
ven
V
erdoolaeg
e
add isl_
s
et_remove
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
add isl_set
_
f
ix
commit
|
commitdiff
|
tree
2009-10-21
Sv
e
n Ve
r
do
o
laege
add
isl_basic_set_fi
x
commit
|
commitdiff
|
tree
2009-10-21
Sven Verd
o
o
l
aege
ex
t
ract isl_basic_set_s
c
an from polytope_scan
.
c
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoola
e
ge
isl_basic_map_simp
l
i
f
y: avo
i
d removal of div definitions
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
isl_map
.
c
:
d
e
clare varia
b
le at sta
r
t of code block
commit
|
commitdiff
|
tree
2009-10-21
Sv
e
n Verdoolae
g
e
i
sl
_
basic_s
e
t_project_ou
t
: handle r
a
tional se
t
s
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaeg
e
add i
s
l_basic_set
_
remove
commit
|
commitdiff
|
tree
2009-10-21
Sven V
e
rdool
a
ege
isl_tab
_
pip: keep ca
c
he of partial soluti
o
ns
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoolaege
isl_
t
ab_p
i
p: don
'
t
free isl_sol o
n
error co
n
dition
commit
|
commitdiff
|
tree
2009-10-16
Sve
n
Verdo
o
laege
isl_tab: support gene
r
i
c
undo records
commit
|
commitdiff
|
tree
2009-10-16
S
v
en V
e
rdoolaege
add isl_mat
_
is_eq
u
al
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdool
a
eg
e
isl_ta
b
_pip
.
c: remove some
c
ode duplica
t
ion bet
w
een
.
.
.
commit
|
commitdiff
|
tree
2009-10-16
Sven V
e
rdo
o
l
a
ege
is
l
_
map_
i
s_subs
e
t: add special case for
singleton maps
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
i
sl_map_comp
u
te_divs: skip computation
if divs a
r
e
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoola
e
ge
isl
_
map_is_subset: exploit anoth
e
r
e
asy special ca
s
e
commit
|
commitdiff
|
tree
2009-10-12
S
v
e
n
V
erdoolaeg
e
add isl_map_fas
t
_is_universe
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaeg
e
add is
l
_set_
s
iz
e
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
mark some functions as
r
equiri
n
g
use of return value
commit
|
commitdiff
|
tree
2009-10-12
S
v
en Verdo
o
laege
i
sl_ta
b
: impro
v
ed er
r
or handling
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
i
s
l
_tab_pip
.
c
:
incre
m
e
n
ta
l
ly b
u
ild recession cone
o
f
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
Sven Ver
d
oolaege
i
sl_ta
b
_pip
.
c: propag
a
te some eq
u
al
i
tie
s
from gbr
context
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven Verdoolaege
i
s
l_tab_pip
.
c: detect equalities in gbr context on
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven
V
erdoolaege
add i
s
l_tab_det
e
ct_equalities
commit
|
commitdiff
|
tree
2009-10-10
Sven Verd
o
o
laege
add isl_ta
b
_set_initial_basis
_
w
it
h
_cone
commit
|
commitdiff
|
tree
2009-10-10
Sven
Verdoolaege
isl_t
a
b_pi
p
:
use gene
r
ali
z
ed basis reduction ba
s
ed
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven Verdoolaege
isl_tab_pip: add genera
l
ized basis
r
educti
o
n
based
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Ve
r
doolaege
i
s
l_tab_pip
.
c
:
extra
c
t out con
t
ext handlin
g
commit
|
commitdiff
|
tree
2009-10-09
S
ven Ve
r
doolaege
isl_tab_pip
.
c
:
add_div
:
use m
o
re reli
a
b
l
e way to
t
es
t
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
v
en Verdoolaege
i
s
l_tab_b
a
sic_map_
p
a
r
tial_lexopt: rem
o
ve sample
s
t
hat
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
v
en Verdoola
e
ge
isl_tab
.
c
: ex
t
ract ou
t
sampl
e
s
handling f
r
om i
s
l_ta
b
_
p
ip
.
c
commit
|
commitdiff
|
tree
2009-10-09
S
v
en
Verdool
a
ege
isl_affin
e
_hull
.
c:
u
set_affine_hul
l
_bound
e
d: use tableaus
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sv
e
n
V
er
d
o
o
l
a
e
ge
isl
_
b
asic_map_detect
_
equa
l
ities: keep track of sa
m
ple
commit
|
commitdiff
|
tree
2009-10-09
S
v
en Verdo
o
laege
i
s
l_basic_map_detect_equalities: only comput
e
recession
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sv
e
n Verdoola
e
g
e
isl
_
t
ab_sa
m
p
l
e: han
d
le unb
o
unded directions in initial
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_tab_
c
o
m
p
u
te_reduced_basis: handle unbound
e
d directions
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
ve
n
Ver
d
oolaege
expl
o
it
e
qualities in
i
sl_tab_sam
p
le
commit
|
commitdiff
|
tree
2009-10-09
S
v
en Verdoo
l
aege
isl_tab: keep (in)equal
i
ties of bset
(
i
f
a
ny) in sync
commit
|
commitdiff
|
tree
2009-10-09
S
ven Verdoolaege
isl_tab_sample:
be more
v
e
rbose abou
t
unbounded d
i
rectio
n
s
commit
|
commitdiff
|
tree
2009-10-09
Sve
n
V
e
r
d
oolaege
separ
a
te out isl_tab_s
a
m
p
le f
r
om sample_bounded
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaeg
e
s
a
mpl
e
_bounded: reimplement to
w
ork
d
i
r
e
c
tly on a
table
a
u
commit
|
commitdiff
|
tree
2009-10-09
Sven Ver
d
o
o
laege
i
sl_
t
ab_com
p
ute_
r
educ
e
d_bas
i
s: work w
i
t
h
affine bas
i
s
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_tab
_
compute_reduced_basis: a
l
low incrementa
l
comp
u
tat
i
on
commit
|
commitdiff
|
tree
2009-10-09
S
v
e
n
V
e
rdoolaeg
e
is
l
_polytop
e
_sc
a
n:
us
e
isl_tab_from_basic_set
commit
|
commitdiff
|
tree
2009-10-09
Sv
e
n V
e
rdoolaege
separate ou
t
isl
_
t
a
b_reduced_ba
s
is f
r
om isl_basi
c
_set
_
r
edu
c
e
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaeg
e
b
asis_redu
c
tion_tab
.
c: use
i
sl_
t
ab_produc
t
to
c
o
n
s
truct
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
add isl_t
a
b_prod
u
ct
commit
|
commitdiff
|
tree
2009-10-09
Sven Verd
o
olaege
i
s
l_basic_set
_
r
e
duced_basis: fix
v
a
lue
in directions
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl
_
b
a
sic_set
_
r
e
du
c
ed_basis:
f
ix up documen
t
ation
commit
|
commitdiff
|
tree
2009-10-08
Sven
Verdoolaege
basis_
r
educt
i
on_t
a
b
.
c: keep t
r
ack of con_offset in
s
tead
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoolaege
a
d
d i
s
l_tab_add_eq
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoolae
g
e
isl_tab_add
_
valid_eq: add spec
i
al treatment for manifestly
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
S
v
en Verdoolaege
isl_tab_extend
_
c
o
n
s
:
ch
e
ck tab a
r
gument
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoolaege
rename
isl_ta
b
_det
e
ct_equalities to isl_tab_det
e
ct_implicit_
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Ver
d
o
olaege
isl_t
a
b
_
from_recession_c
o
ne: take ba
s
ic set instead
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sve
n
Verdool
a
ege
isl_
i
lp
.
c: separa
t
e
out solve_ilp_search
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoo
l
aeg
e
isl_sample
.
c: b
a
s
ic_
s
et_sample: remember
b
oundedness
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sv
e
n Ver
d
oolae
g
e
add
i
sl_p
o
lyhedr
o
n_de
t
ect
_
e
qualities test appl
i
cation
commit
|
commitdiff
|
tree
next