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_is_subset: break off as soon as difference is known to be non-empty
2009-12-08
S
ven Verdoolaeg
e
i
s
l_m
a
p
_
is_subset: break of
f
as soon as
difference
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
S
v
en Verdoolaege
c
o
mp
u
t
e set difference using a backtracking algorith
m
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolaege
isl
_
map_subtra
c
t
.
c:
extract f
r
om isl_map
.
c
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolaege
isl_tab:
keep tra
c
k of isl_basic_map i
n
st
e
a
d
of i
s
l_basic_set
commit
|
commitdiff
|
tree
2009-12-07
Sven V
e
rdoolaege
privately export isl_basi
c
_
map_contains
commit
|
commitdiff
|
tree
2009-12-07
Sven
V
erdoolae
g
e
add isl_basic_m
a
p_add_ineq and isl_
b
asic
_
map_add_eq
commit
|
commitdiff
|
tree
2009-12-07
Sv
e
n
V
erd
o
olaege
isl
_
tab_detect_redundant: return status in
s
tead of
.
.
.
commit
|
commitdiff
|
tree
2009-12-07
Sven Verd
o
o
l
a
e
ge
is
l
_tab:
add is
l
_
tab_freeze_constraint
commit
|
commitdiff
|
tree
2009-11-29
Sven Verd
o
olaeg
e
is
l
_tab_add_
i
n
eq and isl_tab_mark
_
e
m
pty: return status
.
.
.
commit
|
commitdiff
|
tree
2009-11-29
Sven Verdoolaege
add
m
issi
n
g AUTHO
R
S
file
commit
|
commitdiff
|
tree
2009-11-29
Sven Verdo
o
laege
isl_
b
asi
c
_set_swap_vars: r
e
-
g
auss resulting bset
commit
|
commitdiff
|
tree
2009-11-16
Sven
Verd
o
olaege
add isl_b
a
sic_map_first_
c
onstraint
commit
|
commitdiff
|
tree
2009-11-15
Sven Verdoolaege
e
x
port is
l
_b
a
s
ic_map_l
e
xmax
commit
|
commitdiff
|
tree
2009-11-15
Sven Verdoolaege
ad
d
isl_bas
i
c_set_lexmax
commit
|
commitdiff
|
tree
2009-11-15
Sv
e
n Verdoolae
g
e
i
s
l_m
a
p
_
dro
p
_basic_ma
p
:
consistently keep b
a
sic map
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdoolae
g
e
is
l
_tab: row is only (obviously) redun
d
ant if
it does
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdoolaege
isl_b
a
sic_map_s
i
m
plify: make sure to rer
u
n Gauss when
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven V
e
rdool
a
e
g
e
isl_tab_b
a
s
i
c_map_partial_lexopt:
use context constraints
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven
V
erdoolae
g
e
isl
_
tab_pip
.
c:
i
gno
r
e
dea
d
columns when checking integrality
commit
|
commitdiff
|
tree
2009-10-21
Sven
Verdoolaege
isl_pip: op
t
ionally
p
erf
o
rm some check on the results
commit
|
commitdiff
|
tree
2009-10-21
Sv
e
n Verdoolaege
put options in a separate is
l
_
options str
u
cture
commit
|
commitdiff
|
tree
2009-10-21
Sv
e
n
V
erdo
o
la
e
ge
add rudimentar
y
argument parsin
g
facility
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolae
g
e
isl_
t
ab_co
m
pute
_
re
d
uc
e
d_ba
s
is: handle e
m
pty tables
commit
|
commitdiff
|
tree
2009-10-21
Sven
Verdoolaege
isl_b
a
si
c
_
set_
s
olve_ilp: handle obviously empty sets
commit
|
commitdiff
|
tree
2009-10-21
Sven V
e
r
doolaege
is
l
_basic_set_s
o
l
v
e_ilp:
fix handling of se
t
s with
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sven V
e
rdoolaeg
e
add isl_set_remove
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdo
o
laege
a
dd isl_set_f
i
x
commit
|
commitdiff
|
tree
2009-10-21
Sve
n
V
erdool
a
ege
a
dd isl_basic_set_f
i
x
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
ext
r
act isl_basic
_
set_scan from polyt
o
pe_scan
.
c
commit
|
commitdiff
|
tree
2009-10-21
Sven V
e
rdoolaege
isl_basic_ma
p
_simpli
f
y: avo
i
d
r
e
mov
a
l o
f
div definitions
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sven
V
erdoolaege
i
s
l
_
map
.
c
:
d
e
cla
r
e
v
ariable a
t
start of cod
e
block
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaeg
e
isl
_
basic_set_project_out: handle
r
ationa
l
s
e
ts
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaeg
e
add isl_basic
_
s
e
t_remo
v
e
commit
|
commitdiff
|
tree
2009-10-21
Sven
Verdoolaege
isl
_
tab_pip: keep
c
ache of
partial soluti
o
n
s
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoolaege
isl
_
tab_pi
p
: d
o
n
't free isl_s
o
l on
error c
o
nditio
n
commit
|
commitdiff
|
tree
2009-10-16
Sven V
e
rdoolaeg
e
isl_tab:
s
u
p
port generic undo
r
ecords
commit
|
commitdiff
|
tree
2009-10-16
Sve
n
Verdoolaege
a
dd
isl_mat_i
s
_equal
commit
|
commitdiff
|
tree
2009-10-16
Sven Ver
d
o
o
laege
isl_
t
ab_pip
.
c: remove some code
d
uplicat
i
on b
e
tween
.
.
.
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoolaege
isl
_
map_i
s
_sub
s
et: add specia
l
c
ase fo
r
sin
g
l
eton maps
commit
|
commitdiff
|
tree
2009-10-12
S
v
en Verdoolae
g
e
is
l
_map_compute_divs: skip co
m
putation
if divs are
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
Sven
V
er
d
oolaeg
e
isl
_
map_
i
s_subs
e
t: expl
o
it anoth
e
r
e
asy special c
a
se
commit
|
commitdiff
|
tree
2009-10-12
Sven Ver
d
o
ola
e
ge
add isl_map_f
a
st_is_universe
commit
|
commitdiff
|
tree
2009-10-12
Sve
n
Verdoolaege
add
isl_set
_
size
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdo
o
l
a
ege
mar
k
s
o
m
e functions as requiring
u
se of ret
u
rn v
a
l
ue
commit
|
commitdiff
|
tree
2009-10-12
Sven Ve
r
d
o
olaege
isl_tab: impro
v
ed erro
r
handling
commit
|
commitdiff
|
tree
2009-10-12
Sven
V
erd
o
olae
g
e
isl_tab_pip
.
c:
i
ncreme
n
t
a
ll
y
build recess
i
on c
o
ne
of
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
isl
_
t
a
b
_pip
.
c: propagate some equalities from g
b
r c
o
ntext
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven Verdool
a
ege
i
s
l_tab_
p
ip
.
c: detec
t
e
qualities
in gbr context on
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven Verdoola
e
ge
ad
d
i
s
l_tab_detect_equa
l
ities
commit
|
commitdiff
|
tree
2009-10-10
Sven V
e
rdoolaeg
e
add
i
s
l
_tab_set_ini
t
ial_basis_
w
it
h
_c
o
ne
commit
|
commitdiff
|
tree
2009-10-10
Sven Verdoolaege
isl_tab_pip: us
e
generalized basis re
d
uction bas
e
d
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sve
n
Verdoolaeg
e
i
sl
_
t
ab_pip: add general
i
ze
d
basis reduction based
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Ver
d
oolaege
isl_tab_pip
.
c: extra
c
t
o
u
t context
handling
commit
|
commitdiff
|
tree
2009-10-09
Sve
n
Verdo
o
l
aege
isl_ta
b
_pi
p
.
c: a
d
d_div: use more
reliable
way
to
t
e
st
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven
V
erdoolaege
isl_tab_bas
i
c_ma
p
_p
a
r
t
ial_
l
ex
o
pt: remove sampl
e
s that
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Ve
r
dool
a
eg
e
isl_ta
b
.
c: e
x
tract
out s
a
mples handling
f
r
om isl_tab_pi
p
.
c
commit
|
commitdiff
|
tree
2009-10-09
Sve
n
Verdoolaege
isl_affine_hull
.
c:
uset_aff
i
ne
_
h
u
ll_bounded: us
e
t
ableaus
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sve
n
Verdoolaege
isl_ba
s
ic
_
map_d
e
tect_equalities: keep track of sampl
e
commit
|
commitdiff
|
tree
2009-10-09
S
ven
V
erdoolae
g
e
isl_
b
asic_
m
ap_
d
etect
_
equali
t
ies:
only compute recession
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_
t
ab_sample:
h
a
n
dle unb
o
unded directio
n
s in initia
l
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
ven V
e
r
d
oo
l
a
ege
isl_tab_c
o
mpute_reduced
_
basis: handle unbound
e
d
dire
c
tions
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
e
x
p
l
oit equali
t
ies
in isl_tab_s
a
mple
commit
|
commitdiff
|
tree
2009-10-09
Sven Ver
d
oolaege
i
s
l_tab:
k
eep (
i
n)equalities of bset (i
f
any) in s
y
nc
commit
|
commitdiff
|
tree
2009-10-09
Sven
V
erdoolaege
i
sl_tab_s
a
m
p
le: be more verbose about unbounded di
r
ec
t
ion
s
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdo
o
laege
sep
a
rate out isl_tab_sample f
r
o
m
sample
_
bo
u
nded
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoo
l
aege
sample
_
b
o
un
d
ed: reimplement to work directly
o
n a ta
b
leau
commit
|
commitdiff
|
tree
2009-10-09
Sven
Verdoolaege
isl_
t
ab_co
m
pute
_
r
educed_basis: work with affine basis
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdool
a
ege
isl_t
a
b_co
m
pute_reduced_
b
asis: allo
w
incremental
comput
a
tion
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_polytope_scan: us
e
i
sl_tab_
f
rom_basic_set
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
separate out isl_tab_reduced_basis from isl_basic_set_reduce
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Ve
r
doolaege
basis_reduction_tab
.
c
:
use is
l
_tab_product t
o
construct
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
v
e
n
V
e
rdoolaege
add isl_tab_product
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl
_
basic_set_reduced_ba
s
is: fi
x
v
alue in di
r
ections
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sv
e
n
V
erdoolaege
i
sl_bas
i
c_set_redu
c
ed_basis: fix up
doc
u
mentation
commit
|
commitdiff
|
tree
2009-10-08
Sven Verd
o
olaege
basi
s
_redu
c
tio
n
_tab
.
c:
k
e
ep track of
con_
o
f
f
set inst
e
ad
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoolaege
add is
l
_tab_add_
e
q
commit
|
commitdiff
|
tree
2009-10-08
Sv
e
n Verdoolaeg
e
isl_tab
_
add_val
i
d_eq:
a
d
d
speci
a
l
treatment for
manifestly
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Ver
d
oolaege
isl_tab_e
x
tend_cons:
chec
k
tab argume
n
t
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoolaege
r
ename is
l
_tab_
d
etect_eq
u
alities to isl
_
tab_det
e
c
t
_implic
i
t
_
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdo
o
laege
isl_tab_from_r
e
cession_c
o
ne: take b
a
si
c
set instead
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdool
a
ege
isl_ilp
.
c: separate out solve_ilp_
s
earch
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdo
o
lae
g
e
isl_sample
.
c
:
basi
c
_set
_
samp
l
e: remember boundednes
s
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoolaege
add
isl_polyhedron
_
detec
t
_eq
u
a
lities test appli
c
ation
commit
|
commitdiff
|
tree
2009-10-07
S
v
e
n
Verdoolaege
add i
s
l_
b
asic_set_detect_equaliti
e
s
commit
|
commitdiff
|
tree
2009-10-07
S
ven Ve
r
doolaege
i
s
l_ta
b
_alloc
a
t
e_con:
add extra
ass
e
rtio
n
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolaege
isl_sample
.
c: bas
i
c_set_redu
c
ed: fix
t
y
po
prevent
i
ng
.
.
.
commit
|
commitdiff
|
tree
2009-10-07
Sv
e
n Verdoolaege
isl_ta
b
_b
a
si
c
_map
_
partial_lexopt
:
s
i
mplify result
commit
|
commitdiff
|
tree
2009-10-07
Sv
e
n Verdoolaege
priv
a
tely export isl_basic_s
e
t_add_{i
n
,}eq
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolaege
privatel
y
ex
p
ort isl_basic_set
_
samp
l
e
_with_cone
commit
|
commitdiff
|
tree
2009-10-07
S
ven Verdoola
e
g
e
a
d
d
isl_bas
i
c
_
s
et_under
l
ying_set
commit
|
commitdiff
|
tree
2009-10-07
Sven
V
erdool
a
ege
isl_tab
.
c: clos
e
_ro
w
: push undo recor
d
for settin
g
.
.
.
commit
|
commitdiff
|
tree
2009-10-07
Sv
e
n Ve
r
doolaege
add
isl_
m
at_vec_
i
nverse_p
r
od
u
ct
commit
|
commitdiff
|
tree
2009-10-07
S
v
en Ver
d
oolaege
a
dd isl_m
a
t_concat
commit
|
commitdiff
|
tree
2009-10-07
Sv
e
n Verdoolae
g
e
ad
d
isl_int_d
i
vexact
_
ui
commit
|
commitdiff
|
tree
2009-10-05
S
v
en
V
e
rdoolaege
add isl
_
set
_
dim_re
s
i
due_class
commit
|
commitdiff
|
tree
2009-10-03
Sven Verdoolaege
fix long standing bug in isl_mat
_
inve
r
s
e
_
produc
t
commit
|
commitdiff
|
tree
2009-10-02
Sven
Verdoo
l
a
e
g
e
add i
s
l
_basic_ma
p
_foreach_lexmin
commit
|
commitdiff
|
tree
2009-10-02
Sve
n
V
e
r
doolaege
add
i
sl_
s
et
_
project_out
commit
|
commitdiff
|
tree
2009-10-02
Sven
V
erdoolae
g
e
a
d
d
isl
_
set_detect_equal
i
ties
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaege
add isl_
s
et_f
o
r
e
a
c
h_basic_set
commit
|
commitdiff
|
tree
next