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_transitive_closure: reformulate exactness test in terms of extended paths
2010-01-08
Sv
e
n
V
erd
o
o
laege
isl_basic_m
a
p_update_f
r
om_tab:
re-gauss resul
t
ing bmap
commit
|
commitdiff
|
tree
2010-01-01
Sv
e
n Verdoolae
g
e
ax_subm
o
dule
.
m4: don
'
t le
t
-
-
with-module conflict with
.
.
.
commit
|
commitdiff
|
tree
2009-12-25
Sven Verdoola
e
ge
a
d
d isl_set_follows_a
t
commit
|
commitdiff
|
tree
2009-12-24
S
ven Ve
r
doolaege
isl_basic
_
set
_
com
p
are_at: c
o
m
p
u
t
e result in
term
s
o
f
.
.
.
commit
|
commitdiff
|
tree
2009-12-24
Sven Ver
d
oolaege
isl_tab_pi
p
.
c: add cut
s
for all non-integer coor
d
inates
.
.
.
commit
|
commitdiff
|
tree
2009-12-19
S
v
en Verdool
a
ege
isl_
b
asic_map_gist: don't
d
r
op equa
l
ities f
r
om
conte
x
t
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoolaege
isl_c
o
nvex
_
hull
.
c: initial_facet
_
constraint:
d
rop all
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sven V
e
rdoolaege
isl_convex_hull
.
c: is_independe
n
t_
b
ound: norma
l
i
ze
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sven
V
erdoolaege
isl_convex_hull
.
c:
extend: check hull argument
commit
|
commitdiff
|
tree
2009-12-18
Sven V
e
r
doolae
g
e
isl_m
a
t_
r
ight_inv
e
rse: be more verbose
o
n error cond
i
tion
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdool
a
ege
is
l
_constr
a
in
t
_d
u
p: mak
e
sur
e
line refe
r
s to equati
o
n
.
.
.
commit
|
commitdiff
|
tree
2009-12-16
Sven Verdool
a
ege
a
dd copyright stat
e
ments
commit
|
commitdiff
|
tree
2009-12-16
Sven Verdoolaege
re
m
ove f
u
nct
i
ons for converting betwee
n
is
l
and PolyL
i
b
commit
|
commitdiff
|
tree
2009-12-16
Sven Ve
r
doolaege
isl
_
t
a
b
_sol
v
e_lp: invert optimal va
l
ue ba
c
k when computi
n
g
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven Verdoolae
g
e
isl_map_inter
s
ect
:
add special cas
e
for
adding a single
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven Verdoolaege
isl_map_is_subset: break off as s
o
o
n as
d
ifference
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
S
v
en Ve
r
doolaege
compute set d
i
fference using
a
back
t
r
a
cking
algorit
h
m
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdo
o
lae
g
e
isl_map_subt
r
act
.
c: ext
r
act from isl_map
.
c
commit
|
commitdiff
|
tree
2009-12-07
S
v
en Verdo
o
lae
g
e
i
sl_t
a
b: keep
tra
c
k
o
f
isl_b
a
sic_map
i
nstead of isl_bas
i
c_set
commit
|
commitdiff
|
tree
2009-12-07
Sv
e
n Verdoolaege
privately export i
s
l_
b
a
sic_map_contains
commit
|
commitdiff
|
tree
2009-12-07
S
ven Verdoolaege
add
i
sl_
b
asic_map_add_i
n
eq and isl_basic_map_add_eq
commit
|
commitdiff
|
tree
2009-12-07
Sve
n
Verdoola
e
ge
isl_tab
_
detect_r
e
dundant
:
ret
u
r
n status instead of
.
.
.
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdo
o
laege
isl
_
t
ab: add isl_tab_freeze_c
o
nstr
a
int
commit
|
commitdiff
|
tree
2009-11-29
Sven Verdoolaege
isl_tab_add_ine
q
and
isl_tab
_
mar
k
_emp
t
y:
r
e
t
u
rn status
.
.
.
commit
|
commitdiff
|
tree
2009-11-29
Sven Verdoolaege
add
m
is
s
ing
A
UTH
O
RS file
commit
|
commitdiff
|
tree
2009-11-29
Sv
e
n Verdo
o
l
aege
i
sl_basic_
s
e
t
_s
w
ap_vars:
re
-
gau
s
s
r
esulting bset
commit
|
commitdiff
|
tree
2009-11-16
Sven Verdoo
l
aege
a
dd isl_basic_map_first_constrain
t
commit
|
commitdiff
|
tree
2009-11-15
Sven Verdoolaege
expo
r
t
i
sl_basic_ma
p
_lexmax
commit
|
commitdiff
|
tree
2009-11-15
Sven Verdoola
e
ge
add i
s
l_b
a
sic_set_lexmax
commit
|
commitdiff
|
tree
2009-11-15
Sven Verdool
a
e
ge
i
sl_map_
d
r
op_basic_map: consistently keep basic map
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
S
v
en Verdoolaege
i
sl_
t
ab: row is
o
nly
(obvious
l
y) r
e
dun
d
ant if it
d
o
e
s
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdo
o
laeg
e
isl_basic_map
_
simplify: make sure to rerun
G
auss when
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven
Verdoolaege
isl_tab_
b
asic_map_partia
l
_
lexopt: use context constrain
t
s
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven
V
erdoolae
g
e
is
l
_tab_pip
.
c:
i
g
n
ore d
e
ad colum
n
s
when
che
c
king integrality
commit
|
commitdiff
|
tree
2009-10-21
Sve
n
Ver
d
oolaege
i
s
l
_
pip: opti
o
na
l
ly perform some ch
e
ck on the re
s
u
lts
commit
|
commitdiff
|
tree
2009-10-21
Sven Verd
o
olaege
p
u
t
options in
a
sepa
r
ate isl_
o
p
t
ions struc
t
u
r
e
commit
|
commitdiff
|
tree
2009-10-21
S
ven Verdoolaege
a
d
d
r
u
dim
e
nt
a
ry arg
u
ment parsing fa
c
ility
commit
|
commitdiff
|
tree
2009-10-21
Sven V
e
rdoo
l
aege
isl_tab_co
m
p
u
te
_
reduced_ba
s
is: han
d
le e
m
pty tables
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolae
g
e
isl_basic_set_solve_ilp: handle ob
v
io
u
sly empty sets
commit
|
commitdiff
|
tree
2009-10-21
Sven V
e
rdo
o
l
a
ege
i
s
l_basic_set_solve_ilp: fix
handling of sets
wi
t
h
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
add
isl_set_remove
commit
|
commitdiff
|
tree
2009-10-21
S
v
en V
e
rd
o
olaege
a
d
d isl_s
e
t_fix
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
add isl_basic_set
_
fix
commit
|
commitdiff
|
tree
2009-10-21
S
ve
n
Verdoolaege
extra
c
t
isl_basic_se
t
_scan from po
l
ytope_scan
.
c
commit
|
commitdiff
|
tree
2009-10-21
Sv
e
n Ve
r
doolaege
i
s
l_basic_map_simplify
:
avoid removal of
d
i
v
d
e
f
initi
o
ns
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sven Ve
r
doolaege
isl_m
a
p
.
c
: d
e
clare va
r
iable a
t
s
tart of code block
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
isl_basic_set_project_out:
handle ratio
n
al sets
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
a
dd isl_basic_set_remove
commit
|
commitdiff
|
tree
2009-10-21
S
ven Verdoolaege
isl_tab_pi
p
:
k
eep cache of
p
artial solut
i
ons
commit
|
commitdiff
|
tree
2009-10-16
Sven V
e
rdoolaege
i
sl_ta
b
_pip: do
n
't
free isl_sol on e
r
r
o
r conditio
n
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoolaege
i
s
l_
t
a
b
: support g
e
n
e
ric
undo records
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoolaege
add isl_mat_is_equal
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoola
e
ge
isl_tab_pip
.
c: remove some
c
o
de dupli
c
a
tion betwe
e
n
.
.
.
commit
|
commitdiff
|
tree
2009-10-16
Sv
e
n Verdoola
e
ge
isl_m
a
p_is_subset:
a
d
d
special c
a
se for s
i
n
g
leton maps
commit
|
commitdiff
|
tree
2009-10-12
Sven Ver
d
oolaege
i
sl_ma
p
_compute_divs: skip compu
t
atio
n
if divs are
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdool
a
e
g
e
i
s
l_map_is_su
b
set
:
exploit
a
n
other easy special c
a
s
e
commit
|
commitdiff
|
tree
2009-10-12
Sv
e
n Verdoolaeg
e
add isl_map_fast_is_universe
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
add isl_set_
s
iz
e
commit
|
commitdiff
|
tree
2009-10-12
Sv
e
n Ver
d
oola
e
ge
mark
so
m
e functions as requiring use of
retu
r
n value
commit
|
commitdiff
|
tree
2009-10-12
Sve
n
V
e
r
d
oolaege
isl_tab:
improved error handling
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
isl_tab_pip
.
c: i
n
crementally build
recession con
e
o
f
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
S
v
en Verdoolaege
isl_tab_pip
.
c: prop
a
gate som
e
equalities from gbr context
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sv
e
n Ver
d
oolae
g
e
isl_ta
b
_pip
.
c
:
d
e
te
c
t equal
i
tie
s
i
n g
b
r con
t
ext on
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven Ver
d
o
o
laeg
e
add isl_tab_detect_equaliti
e
s
commit
|
commitdiff
|
tree
2009-10-10
Sv
e
n
Ve
r
dool
a
ege
ad
d
isl_
t
ab_set_i
n
itial_basi
s
_with_c
o
ne
commit
|
commitdiff
|
tree
2009-10-10
Sven Ver
d
oolaege
isl_tab_pip: use generalized b
a
sis reduction based
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
S
v
en Verdoolaege
isl_tab_pip: add generalize
d
basis
r
e
d
uction ba
s
ed
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sv
e
n Verdoolaege
isl_ta
b
_pip
.
c: ex
t
ract
o
u
t
context
handling
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl
_
tab_pip
.
c: add_div: use
m
ore
rel
i
a
bl
e
way to te
s
t
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sve
n
Verdo
o
lae
g
e
isl_tab_basic_map_parti
a
l_lex
o
pt:
r
e
move samples
t
hat
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
v
en Verdool
a
ege
isl
_
tab
.
c: e
x
tract out s
a
mples h
a
ndling from isl_tab_pip
.
c
commit
|
commitdiff
|
tree
2009-10-09
Sve
n
Verdoolae
g
e
i
sl_a
f
f
ine_
h
ull
.
c: uset_
a
ffine_hul
l
_
b
ounded: use tableaus
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven V
e
rdo
o
l
a
ege
isl_
b
asic_map_
d
etect_e
q
ualiti
e
s: keep track
o
f s
a
mpl
e
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoo
l
aege
isl
_
basic_map_detect
_
equalities: only compu
t
e recession
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_tab_sample: handl
e
u
n
bounded directions in initial
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sv
e
n Verdoolaege
isl_tab_compute_red
u
ce
d
_basis: h
a
ndle un
b
ounde
d
directions
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
v
en
V
er
d
oola
e
ge
exp
l
o
i
t
equ
a
litie
s
i
n
is
l
_
t
ab_sample
commit
|
commitdiff
|
tree
2009-10-09
S
v
en Verdoolaege
isl_
t
ab: ke
e
p (in)equalities of bset (if any
)
in s
y
nc
commit
|
commitdiff
|
tree
2009-10-09
Sven
Verdo
o
laege
isl_tab_sample:
be more verbose abo
u
t unbound
e
d
direc
t
ions
commit
|
commitdiff
|
tree
2009-10-09
Sven
V
e
r
do
o
laege
separate
out isl_tab_sample from sample_bounded
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
sa
m
pl
e
_bounded: r
e
i
m
p
l
ement to work
directly on a tableau
commit
|
commitdiff
|
tree
2009-10-09
Sven
V
e
rd
o
olaege
is
l
_tab_compute_
r
edu
c
ed_basis: work
w
ith a
f
fine basis
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_tab_compute_reduced_basis
:
allow
i
ncremental comp
u
tation
commit
|
commitdiff
|
tree
2009-10-09
S
v
en Verdoolaege
isl_
p
o
lytope_scan: use isl_tab_from_basic_
s
et
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
separate out isl_ta
b
_
r
educed_basis from
isl_basic_set_r
e
duce
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
v
en
V
er
d
oolaege
b
a
sis_reduction_t
a
b
.
c
:
use isl_tab_pro
d
uct t
o
cons
t
ruct
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
ad
d
isl_tab_p
r
oduct
commit
|
commitdiff
|
tree
2009-10-09
Sven Ver
d
oolae
g
e
i
sl_basic
_
s
e
t_reduced_ba
s
is: fix
value
in directions
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Ve
r
doolaege
isl
_
basi
c
_set_r
e
du
c
ed_basis: fix up doc
u
mentati
o
n
commit
|
commitdiff
|
tree
2009-10-08
Sven Verd
o
ola
e
ge
basis_reduction_tab
.
c:
k
eep
track of
c
on_offset instead
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoo
l
aege
a
d
d isl_tab_add_e
q
commit
|
commitdiff
|
tree
2009-10-08
Sv
e
n Verdoolaege
isl_tab_add_valid_eq: add spe
c
ial tre
a
tment for manife
s
tly
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoo
l
aege
i
sl_tab
_
ext
e
nd_cons: check tab argument
commit
|
commitdiff
|
tree
2009-10-08
Sven Verd
o
olaege
rename isl_tab_detect
_
e
q
ualities to isl_tab_detect_i
m
plic
i
t
_
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Verd
o
o
l
ae
g
e
isl
_
ta
b
_from_recession_cone: take basic set in
s
tead
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdool
a
e
ge
isl_ilp
.
c: s
e
parate
out solve_
i
lp_search
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoolaege
isl_
s
am
p
le
.
c: basic_set_
s
am
p
l
e:
r
emember bounde
d
ness
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
S
v
en Ve
r
doolaege
add isl
_
polyhedron_
d
etect_equali
t
i
e
s test applicati
o
n
commit
|
commitdiff
|
tree
2009-10-07
Sve
n
Verdoolaege
add isl_ba
s
ic_s
e
t_det
e
ct_equa
l
i
ties
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdool
a
ege
isl_tab_al
l
ocate_con:
a
dd extra assertion
commit
|
commitdiff
|
tree
next