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_tab_basic_map_partial_lexopt: properly handle empty input map
2010-01-24
Sven
Verdoolae
g
e
isl_tab
_
basic_map_partial_l
e
xopt
:
properly handle empty
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
S
v
en Verdoo
l
aege
is
l
_basic_map
_
s
e
t_to
_
empty: remov
e
sample (if
a
ny)
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
add isl
_
se
t
_fast_is_empty
commit
|
commitdiff
|
tree
2010-01-13
Sven Verdool
a
ege
prope
r
ly
r
emove pi
p
lib s
u
bmodule
commit
|
commitdiff
|
tree
2010-01-08
Sven Verdoolaeg
e
isl_basic_map
_
u
p
date_from
_
tab: re-gauss res
u
l
ting bmap
commit
|
commitdiff
|
tree
2010-01-01
Sven V
e
r
dool
a
ege
ax_submodule
.
m4: d
o
n't let
--wit
h
-modul
e
con
f
lict wi
t
h
.
.
.
commit
|
commitdiff
|
tree
2009-12-25
Sven Verdoolaeg
e
a
d
d
isl_set_follows_at
commit
|
commitdiff
|
tree
2009-12-24
Sven Ver
d
oola
e
g
e
isl_b
a
sic_
s
et_compare_at: compute r
e
sult in
t
erms of
.
.
.
commit
|
commitdiff
|
tree
2009-12-24
Sven Ve
r
d
o
o
laege
isl_tab_pip
.
c: add cuts for all non
-
in
t
eger
coordinates
.
.
.
commit
|
commitdiff
|
tree
2009-12-19
Sven Verdoolaege
isl_basic_map_gist: don't dr
o
p equaliti
e
s from
c
ont
e
xt
commit
|
commitdiff
|
tree
2009-12-18
Sv
e
n Verdoolaege
isl_co
n
vex_hull
.
c: initi
a
l_f
a
cet_
c
o
n
straint
:
drop all
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoolaeg
e
isl_convex_hull
.
c
:
is_indep
e
n
d
e
n
t_bo
u
nd: norma
l
ize
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sven
V
erdoo
l
a
e
g
e
isl_con
v
ex_
h
ull
.
c: ex
t
end: c
h
e
c
k hull a
r
gum
e
nt
commit
|
commitdiff
|
tree
2009-12-18
S
ve
n
Verdoolaeg
e
isl_mat_right_inverse: be
m
ore
verbose
on error con
d
i
tion
commit
|
commitdiff
|
tree
2009-12-18
S
v
en
Verdo
o
la
e
ge
isl_constr
a
int_du
p
:
m
ake sure line refers t
o
equation
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven Verd
o
olaege
isl_
m
a
p
_
i
ntersect: add speci
a
l
case for adding a single
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sv
e
n Ve
r
doolaege
compute set diffe
r
ence usin
g
a backtracking algorith
m
commit
|
commitdiff
|
tree
2009-12-07
S
ven Verdoolaege
isl_m
a
p_subtract
.
c
: extra
c
t from isl_map
.
c
commit
|
commitdiff
|
tree
2009-12-07
Sven
V
e
rdoolaege
isl_tab
:
keep tra
c
k of
i
sl_basic
_
map
i
nstead of
isl
_
basic_set
commit
|
commitdiff
|
tree
2009-12-07
S
v
en Verdoolae
g
e
privately export
isl_basic_map_cont
a
ins
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolaege
ad
d
i
sl_
b
asic_ma
p
_add_ineq and isl
_
basic
_
m
ap_ad
d
_
eq
commit
|
commitdiff
|
tree
2009-12-07
Sven
V
e
rdool
a
ege
i
sl_tab_dete
c
t_re
d
undant: return status instead o
f
.
.
.
commit
|
commitdiff
|
tree
2009-12-07
Sv
e
n Verdoolaege
isl_tab: add i
s
l_tab_freeze_constra
i
nt
commit
|
commitdiff
|
tree
2009-11-29
Sven Verdoolaege
i
s
l_ta
b
_ad
d
_
i
neq and isl
_
tab_mark_emp
t
y: return status
.
.
.
commit
|
commitdiff
|
tree
2009-11-29
S
v
e
n Verdoolaege
add m
i
ssing AUTHORS
f
ile
commit
|
commitdiff
|
tree
2009-11-29
Sven Verdo
o
laege
isl_basic
_
se
t
_swap_v
a
rs
:
r
e
-gau
s
s re
s
ul
t
ing
bset
commit
|
commitdiff
|
tree
2009-11-16
Sven Verd
o
olaege
a
d
d isl
_
b
a
sic_map_first_c
o
n
strain
t
commit
|
commitdiff
|
tree
2009-11-15
Sven
Verdool
a
eg
e
export
i
sl_ba
s
ic_m
a
p_lexmax
commit
|
commitdiff
|
tree
2009-11-15
Sve
n
Verdoolaeg
e
a
dd
i
sl_basic_
s
et_lexm
a
x
commit
|
commitdiff
|
tree
2009-11-15
Sven Verdo
o
l
aege
isl_map_drop_ba
s
ic
_
map: consistently keep
b
a
s
ic map
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdoolaege
isl_tab: r
o
w is
only (obvio
u
sly
)
redundant
i
f i
t
does
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdoola
e
ge
isl_
b
asic_map_si
m
pl
i
fy: make sure
t
o rerun Gaus
s
when
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdoolaege
isl_ta
b
_basi
c
_m
a
p_
p
art
i
a
l
_
lexopt: use context c
o
n
straints
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdoolaege
isl_tab_pip
.
c: ign
o
re
d
ea
d
col
u
mns when c
h
e
c
king int
e
gralit
y
commit
|
commitdiff
|
tree
2009-10-21
S
v
en Ver
d
oola
e
g
e
isl_pip: option
a
lly perf
o
r
m some check on the
results
commit
|
commitdiff
|
tree
2009-10-21
Sven Verd
o
o
la
e
ge
put op
t
io
n
s in a s
e
parate
i
sl
_
op
t
ions structure
commit
|
commitdiff
|
tree
2009-10-21
Sv
e
n Verdo
o
lae
g
e
a
dd rudimentary argumen
t
p
arsing
facil
i
ty
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
isl_tab_comput
e
_reduced_ba
s
i
s: handle empt
y
ta
b
les
commit
|
commitdiff
|
tree
2009-10-21
Sven Ve
r
doo
l
a
ege
i
sl
_
basic_set_solve
_
il
p
:
h
a
n
dle
o
bviously empty
s
ets
commit
|
commitdiff
|
tree
2009-10-21
Sv
e
n Verdo
o
l
a
e
ge
isl_basic_set_solve_ilp: fix h
a
ndling of sets
w
ith
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sven
V
erdoolaeg
e
add isl_set_
r
emove
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
a
d
d
i
s
l_set
_
f
i
x
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
add isl_basic_set_fix
commit
|
commitdiff
|
tree
2009-10-21
Sven
V
e
rdo
o
l
aeg
e
ext
r
act is
l
_basic
_
s
e
t
_
scan from polytope_sc
a
n
.
c
commit
|
commitdiff
|
tree
2009-10-21
Sven
V
e
rdoolaege
i
s
l_basic_map
_
simplify: avoid removal of
d
iv definit
i
on
s
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
isl_
m
ap
.
c: declare variable at s
t
art of c
o
de
b
l
ock
commit
|
commitdiff
|
tree
2009-10-21
S
v
en Verdoolaege
isl
_
basi
c
_set
_
pro
j
ect_out: h
a
ndle rational sets
commit
|
commitdiff
|
tree
2009-10-21
Sven Ver
d
oolaege
add isl_basic
_
s
e
t
_
r
emove
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdo
o
laeg
e
isl_tab_pi
p
: keep
c
ache o
f
partial solutions
commit
|
commitdiff
|
tree
2009-10-16
Sven
V
erdoolaege
isl_tab_p
i
p: don't fr
e
e isl_s
o
l on error condition
commit
|
commitdiff
|
tree
2009-10-16
Sven V
e
rdoo
l
a
e
ge
i
s
l_
t
a
b
:
support generic undo records
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoola
e
ge
add is
l
_mat_is_equal
commit
|
commitdiff
|
tree
2009-10-16
Sven
Verdoo
l
ae
g
e
isl_tab_
p
ip
.
c: remove
some code duplication between
.
.
.
commit
|
commitdiff
|
tree
2009-10-16
Sven V
e
r
doolaege
isl_m
a
p_i
s
_subset
:
add special case for singleton
maps
commit
|
commitdiff
|
tree
2009-10-12
S
ven V
e
rdoolaege
is
l
_map_com
p
ute_
d
ivs: s
k
ip com
p
utation if
divs a
r
e
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdool
a
e
ge
isl_map
_
is_subset:
e
xploit another easy special
case
commit
|
commitdiff
|
tree
2009-10-12
Sve
n
Verdo
o
la
e
g
e
add i
s
l_map_fast_is
_
universe
commit
|
commitdiff
|
tree
2009-10-12
Sven Ver
d
oolaeg
e
add isl_s
e
t
_
si
z
e
commit
|
commitdiff
|
tree
2009-10-12
Sven Ve
r
doolaege
mark some f
u
nctio
n
s as r
e
q
u
iring use
o
f retur
n
value
commit
|
commitdiff
|
tree
2009-10-12
S
ven
Verdoolaege
isl_tab: improv
e
d error handling
commit
|
commitdiff
|
tree
2009-10-12
Sven
V
erdoolaege
isl_tab
_
pip
.
c: i
n
crementally build
recession c
o
n
e
of
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
isl
_
tab_pip
.
c: propagate some equalit
i
e
s from gbr context
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
S
v
en Verdoolaeg
e
isl_tab_p
i
p
.
c: detect equal
i
ties in g
b
r context on
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven Verdoolaege
add isl_tab_detect_e
q
ualities
commit
|
commitdiff
|
tree
2009-10-10
Sven Ver
d
oolaeg
e
add isl_tab
_
set_initial_bas
i
s_with_cone
commit
|
commitdiff
|
tree
2009-10-10
Sven Ve
r
d
o
ola
e
g
e
isl_tab_pip: use
genera
l
iz
e
d
basis
r
e
d
uction ba
s
ed
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven Verdoolaege
isl_ta
b
_pip: add
gen
e
ralize
d
basis reduction based
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_
t
ab_pip
.
c
:
extract
out c
o
ntext handling
commit
|
commitdiff
|
tree
2009-10-09
Sve
n
Ve
r
doolaege
isl_tab_pip
.
c: add_di
v
:
u
se more reliable w
a
y t
o
test
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven
V
erdoolaege
isl_tab_basi
c
_map_partial_lexopt: remove samples that
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolae
g
e
isl_t
a
b
.
c: extrac
t
out samp
l
es handling from
i
sl_tab_p
i
p
.
c
commit
|
commitdiff
|
tree
2009-10-09
Sven
V
erdoolaege
is
l
_
a
ffine_hull
.
c
:
u
s
et_affine_hull_bounded: use tableau
s
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolae
g
e
isl_basic_map_detect_equalities: keep t
r
a
ck of sample
commit
|
commitdiff
|
tree
2009-10-09
S
ven Ver
d
oolaege
i
s
l
_
b
a
s
ic_map_d
e
t
e
ct_equalit
i
es: only compute rece
s
sion
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sv
e
n
V
e
r
d
oolaege
is
l
_tab_sample: handle unboun
d
e
d directio
n
s
in initial
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
v
en Verdoo
l
ae
g
e
isl_tab_comput
e
_redu
c
ed_basis
:
handle
u
nbou
n
d
ed directions
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
exploit
e
qualitie
s
in
i
sl_tab_sample
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdo
o
la
e
ge
isl_tab:
k
eep (in)equalities o
f
bset
(i
f
a
ny)
in sync
commit
|
commitdiff
|
tree
2009-10-09
Sven
V
erdool
a
ege
isl_tab_sample: be
m
ore verbose about unbounded
d
ir
e
ctions
commit
|
commitdiff
|
tree
2009-10-09
Sv
e
n
Ve
r
doolaege
se
p
arate out i
s
l
_tab_s
a
mple from
s
ampl
e
_bounde
d
commit
|
commitdiff
|
tree
2009-10-09
Sven
Verdoolaeg
e
s
a
m
ple_b
o
unded: reimplement to work di
r
ectly
on a tabl
e
a
u
commit
|
commitdiff
|
tree
2009-10-09
Sven V
e
rd
o
olaege
i
sl_tab_compute_r
e
d
u
c
ed
_
basis: work
w
it
h
af
f
in
e
basis
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
v
en Verdoolaege
i
s
l
_
tab_
c
ompu
t
e_reduced_basis: allow incremental compu
t
atio
n
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_
p
olytope
_
scan: use is
l
_t
a
b_
f
rom_basic_
s
et
commit
|
commitdiff
|
tree
2009-10-09
Sv
e
n Verdoolaege
s
epa
r
ate o
u
t isl_ta
b
_
r
e
d
uce
d
_
b
asi
s
from i
s
l_basic_set_reduce
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven
Verdoo
l
aege
basi
s
_red
u
ction_tab
.
c
: us
e
isl_tab_product
to const
r
uct
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdool
a
e
g
e
add isl_tab_product
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaeg
e
isl_ba
s
i
c_set_reduced_
b
asis: fix va
l
u
e
in di
r
ections
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolae
g
e
isl
_
basi
c
_set_reduced_basis: fix up documentation
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoolaege
basi
s
_
r
eductio
n
_
t
ab
.
c: kee
p
track of
con_off
s
e
t
instead
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdo
o
l
aege
add
i
s
l_tab
_
add_e
q
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoolaege
isl_tab_ad
d
_valid_eq
:
add special treatment for manifest
l
y
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoolaege
is
l
_tab_e
x
t
e
n
d
_cons:
c
heck
t
ab argument
commit
|
commitdiff
|
tree
2009-10-08
S
v
en Verdo
o
laege
rename i
s
l_tab_detect_equ
a
lities to isl_tab_detec
t
_implici
t
_
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven
V
erdoo
l
a
e
g
e
is
l
_
t
a
b
_
from_recession_cone: take basic set instead
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
S
v
en Verd
o
ol
a
ege
isl_i
l
p
.
c: separate
o
ut solve_ilp_
s
earch
commit
|
commitdiff
|
tree
2009-10-08
Sven Ver
d
oolaege
isl_
s
ampl
e
.
c: basi
c
_
set_sample: remembe
r
bound
e
dn
e
s
s
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sve
n
Ve
r
dool
a
ege
add isl_polyhedron_detect_equalities test a
p
plic
a
tion
commit
|
commitdiff
|
tree
2009-10-07
Sven
V
e
rdoolaege
add isl_bas
i
c_set_detect_equali
t
ies
commit
|
commitdiff
|
tree
2009-10-07
Sv
e
n
V
erdoola
e
ge
isl_tab_
a
ll
o
cate_con: add extra assertion
commit
|
commitdiff
|
tree
next