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_basic_set_compare_at: compute result in terms of maximal (integral) difference
2009-12-24
Sve
n
V
erdoolaege
isl_basic_set_com
p
are_at:
c
o
mpute result in
t
e
rms of
.
.
.
commit
|
commitdiff
|
tree
2009-12-24
Sve
n
V
e
rdoolaeg
e
isl_tab_
p
ip
.
c: add cuts for all non-integ
e
r
coordinates
.
.
.
commit
|
commitdiff
|
tree
2009-12-19
Sven Verdo
o
l
ae
g
e
is
l
_
b
asic_map_gist:
don't d
r
o
p
e
qua
l
iti
e
s fro
m
context
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoola
e
ge
isl_convex_hull
.
c: i
n
itial_fa
c
e
t
_constrain
t
:
dro
p
a
l
l
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoolaege
isl
_
c
onvex_hull
.
c: is_independent_bound: nor
m
alize
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
S
ven V
e
rd
o
olaege
isl_co
n
vex_hul
l
.
c: ex
t
end:
c
heck hull argumen
t
commit
|
commitdiff
|
tree
2009-12-18
Sven Ve
r
d
o
o
l
aeg
e
isl_mat_right_inverse: be more verbose
o
n
er
r
o
r condition
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoolaege
isl_cons
t
raint_d
u
p: make
s
ur
e
line refers to equation
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven Verdoolaege
isl_m
a
p_intersect
:
add spe
c
ial case for adding a single
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven Verdool
a
ege
compute se
t
differ
e
nce using
a
backt
r
acking algori
t
hm
commit
|
commitdiff
|
tree
2009-12-07
Sve
n
V
e
rd
o
olaege
isl_map_
s
ubtract
.
c:
ext
r
a
c
t
from
i
sl_map
.
c
commit
|
commitdiff
|
tree
2009-12-07
Sv
e
n Verdo
o
laeg
e
isl_
t
ab:
keep
t
r
ack of isl_ba
s
ic_map inst
e
a
d
of isl_ba
s
ic_set
commit
|
commitdiff
|
tree
2009-12-07
S
v
en Verdoolaege
privately exp
o
rt
isl_basic_
m
ap_contains
commit
|
commitdiff
|
tree
2009-12-07
Sven V
e
rdool
a
ege
a
dd i
s
l_basic_map_ad
d
_in
e
q and
isl_basic_map_add_eq
commit
|
commitdiff
|
tree
2009-12-07
Sven Ve
r
doolaege
is
l
_ta
b
_detect_
r
edundant: return status instead
o
f
.
.
.
commit
|
commitdiff
|
tree
2009-12-07
Sv
e
n
V
erdoolaege
isl_tab: add is
l
_
tab_freeze_constraint
commit
|
commitdiff
|
tree
2009-11-29
Sven Verdoolaege
isl_tab_add_ineq and isl_tab_m
a
rk
_
empty: return
status
.
.
.
commit
|
commitdiff
|
tree
2009-11-29
Sv
e
n Verdoolaege
add missing AUTHORS file
commit
|
commitdiff
|
tree
2009-11-29
Sv
e
n Ve
r
do
o
laege
isl
_
basic_set_swap_v
a
rs: r
e
-gauss resultin
g
bset
commit
|
commitdiff
|
tree
2009-11-16
S
v
e
n Verdoolaege
add isl_
b
asic_map_f
i
rst_const
r
a
i
n
t
commit
|
commitdiff
|
tree
2009-11-15
Sven V
e
rdoolaege
e
xpo
r
t
is
l
_b
a
si
c
_map_
l
exmax
commit
|
commitdiff
|
tree
2009-11-15
Sven Verdoolaege
add isl_b
a
sic_set_lexmax
commit
|
commitdiff
|
tree
2009-11-15
Sven
Verdoolaege
isl_map
_
drop_basic_map: consis
t
entl
y
keep b
a
si
c
map
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdoolae
g
e
is
l
_tab
:
row is
o
nly (obviously) redun
d
ant i
f
i
t do
e
s
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven V
e
rdoolaege
isl_basi
c
_map_simplify: make sure to rer
u
n
Gauss wh
e
n
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdo
o
l
a
ege
is
l
_tab_basic_map_partial
_
lexo
p
t: use context constrai
n
ts
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sve
n
Ve
r
doolaege
isl_tab_pip
.
c: ignore dead c
o
lu
m
ns when checki
n
g integ
r
ality
commit
|
commitdiff
|
tree
2009-10-21
Sven Verd
o
olaege
isl_pip: optionally per
f
o
r
m some check on the r
e
s
ults
commit
|
commitdiff
|
tree
2009-10-21
Sven
Verdoolaege
p
ut
o
p
t
ions in a separate
i
sl_options
structure
commit
|
commitdiff
|
tree
2009-10-21
Sven
V
erdoolaeg
e
a
dd
rudimentary a
r
gume
n
t parsing facil
i
ty
commit
|
commitdiff
|
tree
2009-10-21
Sven V
e
rdoolae
g
e
isl_tab_compu
t
e_
r
educed_basis:
handl
e
empty tab
l
es
commit
|
commitdiff
|
tree
2009-10-21
S
v
en
V
e
rdool
a
ege
is
l
_b
a
sic_
s
et_solve_ilp: handle obvious
l
y
em
p
ty sets
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
isl
_
b
a
sic
_
set_solve
_
ilp: fix h
a
nd
l
ing of sets with
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
ad
d
isl_set_remove
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoola
e
ge
a
d
d isl_set_fix
commit
|
commitdiff
|
tree
2009-10-21
S
v
e
n
Verdo
o
laege
add isl_basic_set_fix
commit
|
commitdiff
|
tree
2009-10-21
Sven Ver
d
oolae
g
e
extract isl_b
a
sic_s
e
t
_scan from polytope_scan
.
c
commit
|
commitdiff
|
tree
2009-10-21
Sven
V
e
r
doolaege
isl_basic_map_simplify:
a
void re
m
ova
l
of
div
definitions
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sven
Ver
d
oo
l
aege
i
s
l
_map
.
c: declare variable at start
o
f code block
commit
|
commitdiff
|
tree
2009-10-21
Sven
Ve
r
dool
a
ege
i
sl_basic_set_project_out: handle r
a
tion
a
l sets
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
ad
d
isl_bas
i
c_set_re
m
ove
commit
|
commitdiff
|
tree
2009-10-21
Sv
e
n Verdoolaege
isl_t
a
b_pi
p
:
k
e
e
p cache
of partial solution
s
commit
|
commitdiff
|
tree
2009-10-16
Sven Ve
r
doolaege
i
sl_ta
b
_pip
:
don't f
r
ee isl_sol on error
c
o
nditio
n
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoolaege
i
s
l_tab: support generi
c
undo
r
e
cords
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoolaege
add
i
sl_mat_is_equal
commit
|
commitdiff
|
tree
2009-10-16
S
v
en
V
erdoolaege
i
s
l_ta
b
_pip
.
c: remov
e
some code duplication between
.
.
.
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoola
e
ge
is
l
_map_i
s
_sub
s
et: add speci
a
l case
for single
t
on maps
commit
|
commitdiff
|
tree
2009-10-12
Sven Ve
r
doolaege
isl_map_compute_
d
iv
s
: skip computation if divs
are
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
Sv
e
n Verdool
a
ege
isl_ma
p
_
is_sub
s
et: exploit another eas
y
s
p
e
c
ial case
commit
|
commitdiff
|
tree
2009-10-12
Sv
e
n Verdoolaege
add
isl_map_fast_is_universe
commit
|
commitdiff
|
tree
2009-10-12
S
v
en Verdoolaege
add isl_set_si
z
e
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaeg
e
m
ark s
o
me function
s
a
s
r
e
quiring use
o
f
r
eturn value
commit
|
commitdiff
|
tree
2009-10-12
S
ve
n
Verdool
a
ege
isl_tab
:
improved e
r
r
o
r
handling
commit
|
commitdiff
|
tree
2009-10-12
Sve
n
Ver
d
o
o
laege
isl_
t
ab_pip
.
c: incrementally build
recession cone of
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolae
g
e
is
l
_t
a
b_p
i
p
.
c: propa
g
ate so
m
e equalitie
s
f
r
o
m
gbr c
o
ntext
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven Verdoolaege
isl_tab_pi
p
.
c: de
t
ect equalities in gbr con
t
ext on
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven
Verdoolaege
a
dd isl_tab_detect_equalities
commit
|
commitdiff
|
tree
2009-10-10
Sven Verdoolaege
add is
l
_
tab_set_initial_basis_with_co
n
e
commit
|
commitdiff
|
tree
2009-10-10
Sven Verdoolaege
is
l
_tab_pip:
u
s
e
generalized
b
asis reduction based
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sv
e
n
Verdoolaege
isl_tab_pip: add generalized basis r
e
d
u
ction based
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdool
a
ege
isl_tab_pip
.
c: extract ou
t
co
n
text handli
n
g
commit
|
commitdiff
|
tree
2009-10-09
Sven
Verdoolaege
isl_tab
_
pip
.
c: add_di
v
:
u
s
e mor
e
reliabl
e
way to test
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
ven Verdoolae
g
e
isl
_
tab_basi
c
_map_partial_lexopt: remove sa
m
ples that
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sv
e
n
Verd
o
olaege
isl
_
tab
.
c:
e
xtract
out samp
l
es handlin
g
f
r
o
m
i
sl_tab_pip
.
c
commit
|
commitdiff
|
tree
2009-10-09
S
v
en Verdoolaege
is
l
_
a
ff
i
ne_hu
l
l
.
c:
u
set_affine
_
hul
l
_bo
u
nded:
u
s
e
tableaus
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven
V
erdoolaege
isl
_
basic_map_
d
etect
_
e
qualities: keep t
r
a
ck
of sample
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_ba
s
ic
_
m
a
p_dete
c
t_equalities: only
c
o
mpute r
e
cession
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdo
o
la
e
ge
isl_ta
b
_s
a
mple
:
handle unbounded directions in initial
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
v
e
n Verdo
o
laege
isl
_
t
a
b
_com
p
ute_reduced_basis: handle
u
nbounded directions
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolae
g
e
e
xploit equalities in isl_tab_sample
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_tab:
k
eep (in)equa
l
ities of bs
e
t (i
f
a
n
y) in syn
c
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoo
l
aege
i
s
l_
t
ab_sample: be more verbose abou
t
u
n
bound
e
d directio
n
s
commit
|
commitdiff
|
tree
2009-10-09
S
v
e
n Ve
r
doolaeg
e
separate o
u
t is
l
_tab_sampl
e
from sample_b
o
unded
commit
|
commitdiff
|
tree
2009-10-09
Sve
n
Ver
d
oolaeg
e
sample_bounded:
r
eimple
m
ent to w
o
rk di
r
ectl
y
o
n a tabl
e
au
commit
|
commitdiff
|
tree
2009-10-09
S
v
en Verdoolaege
i
sl_tab_c
o
mpute
_
reduc
e
d
_basis: work with affine basis
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
v
en Verdoolae
g
e
i
sl_tab_com
p
ute_redu
c
e
d_basis: allow i
n
crem
e
n
tal compu
t
ati
o
n
commit
|
commitdiff
|
tree
2009-10-09
Sve
n
V
e
r
dool
a
ege
isl_p
o
lytope_
s
can: use
isl_t
a
b_
f
rom_basi
c
_
s
e
t
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
separate out
isl_ta
b
_redu
c
ed_basis from
isl_basic_set_reduce
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaeg
e
basis_reduction_tab
.
c: use isl_tab_product to c
o
nstruct
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sv
e
n Verdoolaege
add
isl_tab_pro
d
uct
commit
|
commitdiff
|
tree
2009-10-09
Sven
V
e
rdoola
e
g
e
i
sl_basic_set_
r
e
d
uced_basis: fix
v
alue in directi
o
ns
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoo
l
aege
isl_basic
_
se
t
_
r
e
duced_basis: fix up
d
ocumentat
i
o
n
commit
|
commitdiff
|
tree
2009-10-08
Sve
n
Ver
d
oolaege
b
asis_r
e
du
c
tion
_
ta
b
.
c: keep t
r
ack
of con
_
offset instead
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Ver
d
oolaege
add
i
sl
_
t
a
b
_
add_eq
commit
|
commitdiff
|
tree
2009-10-08
Sve
n
Verdoolaege
i
s
l
_
tab_add_valid_eq:
add spe
c
ial
treatment for man
i
f
e
stly
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sve
n
Verdoolaege
isl_tab
_
extend_cons: check
tab argument
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdo
o
laege
r
e
n
ame isl_tab_detect
_
equalities to isl_tab_detect_
i
mplicit_
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven
V
erdoolaeg
e
isl
_
tab_from_recess
i
on_co
n
e: ta
k
e basic set i
n
stead
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoo
l
aege
i
sl_il
p
.
c: separate out s
o
lve_ilp_search
commit
|
commitdiff
|
tree
2009-10-08
Sven
V
erdoolaege
isl
_
sample
.
c:
b
asic_set_sample:
re
m
e
mber boundedne
s
s
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven
Verdoolaege
add
i
sl
_
p
olyh
e
dro
n
_det
e
ct_equalities
test applica
t
ion
commit
|
commitdiff
|
tree
2009-10-07
S
v
en Ve
r
doolaege
add isl_basi
c
_set_detect_equa
l
ities
commit
|
commitdiff
|
tree
2009-10-07
Sven
V
erdoolaege
isl_tab_all
o
cate_con: add e
x
tra assertion
commit
|
commitdiff
|
tree
2009-10-07
Sven V
e
rdoolaeg
e
is
l
_sam
p
le
.
c
:
basic
_
set_reduced: fix typo preventing
.
.
.
commit
|
commitdiff
|
tree
2009-10-07
Sv
e
n
V
erdoo
l
a
e
ge
isl_tab_basic_m
a
p_partial_lexopt
:
sim
p
l
if
y
result
commit
|
commitdiff
|
tree
2009-10-07
S
ven
V
erdoolae
g
e
priv
a
tely
export isl_basic_set_add_
{
in,}eq
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoo
l
aege
priv
a
tely
exp
o
rt isl_basic_s
e
t_
s
a
m
ple_with
_
c
one
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdo
o
laege
a
d
d isl_basic_set_und
e
rl
y
in
g
_set
commit
|
commitdiff
|
tree
2009-10-07
Sve
n
Verdoo
l
aege
isl_tab
.
c: clos
e
_
row: push undo record for setting
.
.
.
commit
|
commitdiff
|
tree
2009-10-07
Sv
e
n V
e
r
d
oolaege
add isl_m
a
t_vec_
i
nv
e
rse_pro
d
uc
t
commit
|
commitdiff
|
tree
next