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
S
v
en Verdoolaeg
e
add isl_set_fa
s
t
_is_empty
commit
|
commitdiff
|
tree
2010-01-13
Sven Verdoolaege
prope
r
ly remove piplib su
b
module
commit
|
commitdiff
|
tree
2010-01-08
S
ven Verdoo
l
aege
isl_basic_map_update_from_tab: re-ga
u
ss r
e
sulting bmap
commit
|
commitdiff
|
tree
2010-01-01
Sven Verdoolaege
ax_submodule
.
m
4
:
d
on
'
t let --with-modul
e
conflict with
.
.
.
commit
|
commitdiff
|
tree
2009-12-25
S
ven
Verdoolaege
a
d
d isl_set_follows_at
commit
|
commitdiff
|
tree
2009-12-24
S
v
e
n Verdo
o
laege
is
l
_bas
i
c_set_compare_at: co
m
pute result
in terms of
.
.
.
commit
|
commitdiff
|
tree
2009-12-24
Sven
V
erdoolae
g
e
isl
_
tab
_
pip
.
c: add cuts for all non-integer
c
oo
r
dinates
.
.
.
commit
|
commitdiff
|
tree
2009-12-19
S
v
en Verdo
o
laege
isl_basi
c
_m
a
p_gist: d
o
n
't drop equ
a
lities from context
commit
|
commitdiff
|
tree
2009-12-18
S
v
en
V
e
r
d
o
olaege
isl
_
convex_hull
.
c:
i
nitial
_
f
acet_constraint: drop al
l
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoolaege
isl_convex_hu
l
l
.
c: is
_
indepe
n
d
ent_bound: normalize
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
S
v
en Ve
r
doolaege
i
sl_
c
onv
e
x
_
h
ull
.
c: extend: check hull
a
r
g
u
ment
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoolaege
isl_
m
at_rig
h
t_inver
s
e
: be more ver
b
o
s
e on error
c
on
d
iti
o
n
commit
|
commitdiff
|
tree
2009-12-18
S
ve
n
Verdoolaege
isl_
c
onstraint_dup: make sure l
i
ne refers to
e
quation
.
.
.
commit
|
commitdiff
|
tree
2009-12-16
S
v
en
Verdoolaeg
e
add
c
o
pyrigh
t
statements
commit
|
commitdiff
|
tree
2009-12-16
Sven Verdoolae
g
e
remove functions for convert
i
ng betwe
e
n
isl and
P
olyLib
commit
|
commitdiff
|
tree
2009-12-16
Sven
Verdoolaege
is
l
_tab_solve_lp: inve
r
t
o
p
timal val
u
e back when comput
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
S
v
en Verdo
o
laege
is
l
_map_intersect:
add
s
pecial case f
o
r adding a single
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sv
e
n Ver
d
oola
e
ge
isl_
m
a
p_i
s
_s
u
bset: break off as soon as d
i
fference
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven
V
erdoolaege
c
ompute set di
f
ference using
a
ba
c
kt
r
acking alg
o
rit
h
m
commit
|
commitdiff
|
tree
2009-12-07
S
v
e
n
Verdoola
e
ge
isl_map_s
u
btract
.
c:
e
xtra
c
t
from isl
_
map
.
c
commit
|
commitdiff
|
tree
2009-12-07
Sv
e
n Ve
r
doolaeg
e
isl_tab:
k
eep track of isl_basi
c
_ma
p
inst
e
ad of isl_basic_set
commit
|
commitdiff
|
tree
2009-12-07
Sven Ve
r
doolaege
pr
i
vat
e
ly export i
s
l_basic_map_contains
commit
|
commitdiff
|
tree
2009-12-07
S
v
en Verd
o
o
l
aege
add isl_basic_map_add_ineq and isl_basic_m
a
p
_
a
dd_eq
commit
|
commitdiff
|
tree
2009-12-07
Sven V
e
rdoolaege
isl_tab_detect_redun
d
ant
:
retu
r
n status
inste
a
d
of
.
.
.
commit
|
commitdiff
|
tree
2009-12-07
S
v
e
n
Verd
o
o
l
aege
isl_tab
:
add isl_tab_freeze_c
o
nstraint
commit
|
commitdiff
|
tree
2009-11-29
Sven
Ve
r
doola
e
g
e
is
l
_tab
_
add_ineq and isl
_
tab_mark_emp
t
y
:
ret
u
rn status
.
.
.
commit
|
commitdiff
|
tree
2009-11-29
S
v
en
V
e
rdoolaege
add missing AUTHORS file
commit
|
commitdiff
|
tree
2009-11-29
Sven Verdoolaege
i
sl_ba
s
ic_
s
et_swap_vars: re-gauss re
s
ulting bset
commit
|
commitdiff
|
tree
2009-11-16
Sven Verdo
o
laege
add isl
_
basic_map_first_constraint
commit
|
commitdiff
|
tree
2009-11-15
Sven
Verdoolaege
export isl_b
a
s
i
c_map_
l
exmax
commit
|
commitdiff
|
tree
2009-11-15
Sven Verdo
o
lae
g
e
a
d
d
isl_b
a
sic_s
e
t_lexmax
commit
|
commitdiff
|
tree
2009-11-15
Sven Verdoo
l
aeg
e
is
l
_
map_drop_bas
i
c_map: con
s
i
s
tently
k
eep basic map
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Ve
r
doolaege
i
s
l_tab: row is o
n
l
y
(obviou
s
ly)
r
ed
u
n
d
ant if it does
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sve
n
Verdoolaege
isl_basic_m
a
p_simp
l
i
f
y
:
ma
k
e sure t
o
rerun Gauss when
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdoolaege
isl_tab
_
b
a
sic
_
map_
p
artial_lexopt:
u
se conte
x
t cons
t
raints
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdoolaege
isl_tab_p
i
p
.
c
:
i
g
n
or
e
d
e
ad
colu
m
ns wh
e
n c
h
ecking integrality
commit
|
commitdiff
|
tree
2009-10-21
Sven Verd
o
olaege
isl_
p
ip: optionally perf
o
rm
some
che
c
k
on
t
h
e
results
commit
|
commitdiff
|
tree
2009-10-21
S
v
en Verd
o
o
laege
p
u
t
options in a separate isl_options
structure
commit
|
commitdiff
|
tree
2009-10-21
S
v
en Verdo
o
laege
add
r
udi
m
entar
y
argument parsing
f
acility
commit
|
commitdiff
|
tree
2009-10-21
Sven
Verdoolae
g
e
isl_ta
b
_compute_reduced_ba
s
is:
handle empty
t
ables
commit
|
commitdiff
|
tree
2009-10-21
Sv
e
n Verdoolaege
isl_basic_set_sol
v
e
_
i
l
p: handle obviou
s
ly emp
t
y sets
commit
|
commitdiff
|
tree
2009-10-21
S
v
e
n Verdo
o
laege
isl_
b
asic_set_solve_ilp:
fix hand
l
ing of
s
ets wi
t
h
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
S
ven Verdoo
l
aege
add is
l
_set_remove
commit
|
commitdiff
|
tree
2009-10-21
Sve
n
Verdoolaege
add isl_set_fix
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
a
dd isl_
b
asic_s
e
t_fix
commit
|
commitdiff
|
tree
2009-10-21
Sven V
e
rdool
a
ege
e
xtr
a
c
t isl_basic_set_scan from polytope_s
c
an
.
c
commit
|
commitdiff
|
tree
2009-10-21
Sven
V
e
rdoolaege
isl_bas
i
c_map_si
m
plify
:
avoid removal
of div d
e
fi
n
itions
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sve
n
Verdo
o
laege
i
s
l_map
.
c
: d
e
clare va
r
iable at start o
f
code block
commit
|
commitdiff
|
tree
2009-10-21
Sven V
e
rdoolae
g
e
i
s
l_basic_
s
et_pr
o
je
c
t_out: handle ration
a
l sets
commit
|
commitdiff
|
tree
2009-10-21
Sven
V
e
rd
o
olae
g
e
add i
s
l_bas
i
c_set_remove
commit
|
commitdiff
|
tree
2009-10-21
Sven
V
erdoolaege
isl_tab
_
p
i
p
: keep cache of parti
a
l
solutio
n
s
commit
|
commitdiff
|
tree
2009-10-16
S
ven Verdoolaege
isl_tab_pip: don't free isl
_
sol on
e
rror co
n
dition
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoolaeg
e
isl_tab: sup
p
ort generic u
n
do records
commit
|
commitdiff
|
tree
2009-10-16
Sven V
e
rd
o
o
laege
add isl_
m
at_is_equal
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoo
l
aege
isl_t
a
b_pip
.
c: remove so
m
e
c
o
de duplic
a
t
i
on between
.
.
.
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoolaege
isl_map_i
s
_subse
t
:
a
dd specia
l
c
a
se for single
t
on maps
commit
|
commitdiff
|
tree
2009-10-12
S
ven Verdoolaege
isl_map_compute_di
v
s: skip comp
u
t
a
tion if divs
a
r
e
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoola
e
ge
is
l
_map_is_s
u
bset:
exploit another easy special case
commit
|
commitdiff
|
tree
2009-10-12
Sv
e
n
V
erdoola
e
g
e
ad
d
isl
_
map_fa
s
t_
i
s
_
universe
commit
|
commitdiff
|
tree
2009-10-12
S
v
e
n
V
e
r
d
oolaeg
e
add isl_set_siz
e
commit
|
commitdiff
|
tree
2009-10-12
Sve
n
V
e
rdoolaege
mark
s
o
m
e functions
a
s
requ
i
r
ing u
s
e of re
t
u
r
n value
commit
|
commitdiff
|
tree
2009-10-12
Sven Ve
r
do
o
la
e
ge
isl_tab:
imp
r
oved error
handling
commit
|
commitdiff
|
tree
2009-10-12
S
v
en
V
erdoo
l
aeg
e
i
s
l_t
a
b_
p
i
p
.
c:
increme
n
tally build recessio
n
cone of
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
S
v
e
n
Ve
r
doolaege
isl
_
tab_pip
.
c
:
p
ropagat
e
s
o
me equalit
i
es
f
rom gbr cont
e
xt
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven Verdoolaege
isl_tab
_
pip
.
c: detect equalities in gbr context o
n
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
S
v
en Verdoolae
g
e
add is
l
_tab_dete
c
t_e
q
ualities
commit
|
commitdiff
|
tree
2009-10-10
Sven Ver
d
ool
a
ege
add isl_t
a
b_set_in
i
tial_ba
s
is_wit
h
_cone
commit
|
commitdiff
|
tree
2009-10-10
Sven
Verdoolaege
isl_tab_
p
i
p: use generalized basis redu
c
tion based
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven Verdoo
l
a
e
ge
isl_tab_pip: add generalized
basi
s
re
d
u
c
t
ion based
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven
V
e
r
doolaege
i
s
l_tab_pip
.
c
:
ext
r
a
ct
o
ut con
t
ex
t
handling
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoola
e
g
e
i
sl_t
a
b_pip
.
c
:
add_div: use mo
r
e re
l
iable way to te
s
t
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl
_
tab
_
basic_map_partial_l
e
xopt:
r
em
o
ve sampl
e
s that
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven
Verdoola
e
ge
isl_tab
.
c: extra
c
t out samples handl
i
ng from isl_tab_pip
.
c
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_affine_hull
.
c
: uset_affine_hull_b
o
unded: us
e
tableaus
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sve
n
V
e
r
doola
e
ge
i
s
l_basic_map_detect_equalit
i
es: keep track of sample
commit
|
commitdiff
|
tree
2009-10-09
Sv
e
n Ve
r
doolaege
isl_basic_map_dete
c
t_equalit
i
es: o
n
ly comput
e
recession
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sv
e
n Verdoo
l
aege
i
s
l
_
t
ab_sample:
handle unbou
n
ded directions
i
n
i
nitial
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
v
en Ver
d
o
o
l
a
ege
isl_tab_comput
e
_reduc
e
d_basis
:
handle unboun
d
e
d
d
irectio
n
s
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sv
e
n Verdoolaege
exploi
t
e
qualities in isl_tab_sampl
e
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoola
e
ge
isl_tab:
keep (in)equalities of bse
t
(if a
n
y
) in sync
commit
|
commitdiff
|
tree
2009-10-09
Sve
n
Verdoolaege
isl_tab_sample: be m
o
r
e verbose about unbounded d
i
rections
commit
|
commitdiff
|
tree
2009-10-09
Sve
n
Ver
d
oolae
g
e
separate out isl_tab_sam
p
le from sam
p
le_bounded
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdo
o
laege
sample_bo
u
n
ded: reimplemen
t
to
w
o
r
k
directly
on a tableau
commit
|
commitdiff
|
tree
2009-10-09
S
ve
n
Verdoo
l
aege
isl_tab
_
compute_reduced_basis: work with affine basi
s
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_tab_co
m
p
ute_reduc
e
d_ba
s
is: allow incremental
co
m
putation
commit
|
commitdiff
|
tree
2009-10-09
S
ven Verdool
a
ege
isl_
p
olyt
o
pe_sca
n
: use isl_ta
b
_from_basic_set
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoola
e
ge
sepa
r
ate out i
s
l
_
t
ab_re
d
u
ced_basis
f
rom i
s
l
_
b
a
s
i
c_set_re
d
u
ce
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
v
en Verdool
a
ege
b
a
s
i
s_reductio
n
_
tab
.
c
:
u
s
e isl_tab_product
t
o
construct
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sve
n
V
erdoolae
g
e
add isl_t
a
b
_pro
d
uct
commit
|
commitdiff
|
tree
2009-10-09
Sv
e
n
Ve
r
dool
a
ege
isl
_
basic_
s
et_reduced_
b
asi
s
: fix
v
alue in direct
i
ons
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
ven Ve
r
doolaege
i
s
l
_
b
as
i
c_set_reduced_basi
s
: f
i
x up documentation
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoolae
g
e
basis_reduct
i
on_tab
.
c:
keep tr
a
ck o
f
co
n
_
offset in
s
tead
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
S
v
e
n
Verdoola
e
ge
a
dd i
s
l
_
tab_add_eq
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdo
o
l
a
ege
isl_tab_add_valid_eq
:
a
d
d
special trea
t
men
t
for m
a
n
i
festl
y
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdo
o
l
aege
isl_tab_e
x
tend_cons: check ta
b
argument
commit
|
commitdiff
|
tree
2009-10-08
Sv
e
n V
e
rdoolaege
rename isl_
t
ab_detect_equali
t
ies to i
s
l
_
t
a
b_detect_implicit_
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
S
v
en
V
e
rdoolaege
isl_
t
ab_from
_
recession_cone: ta
k
e basic set
i
nstead
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
S
ven Verdoo
l
ae
g
e
isl_ilp
.
c: se
p
arate
out solve_ilp
_
search
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoolaege
isl
_
s
ample
.
c:
b
asic_se
t
_sample: remember boundednes
s
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Verd
o
olaege
add is
l
_
p
ol
y
hedr
o
n
_detect_equali
t
ies test
application
commit
|
commitdiff
|
tree
next