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
privately export isl_basic_map_contains
2009-12-07
S
v
en Verdoolaeg
e
priva
t
ely export isl_bas
i
c_map_
c
ontains
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolaege
add isl_bas
i
c_map_add_ineq
an
d
isl_ba
s
ic_map_add_e
q
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoola
e
ge
isl_tab_de
t
ect_redun
d
ant: retu
r
n status instea
d
of
.
.
.
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolaege
i
sl_
t
ab: add isl_tab_
f
reeze_constraint
commit
|
commitdiff
|
tree
2009-11-29
Sven Ver
d
oolaege
isl_tab_add_ineq
a
nd
i
s
l
_tab_mark_empty:
r
eturn stat
u
s
.
.
.
commit
|
commitdiff
|
tree
2009-11-29
Sven Verdoo
l
a
e
g
e
add missing AUTHO
R
S f
i
le
commit
|
commitdiff
|
tree
2009-11-29
Sven Ve
r
doolaege
isl_basi
c
_set_swap_vars:
re-gauss resulting bset
commit
|
commitdiff
|
tree
2009-11-16
Sven
V
e
rd
o
o
l
aege
add i
s
l_basic_
m
ap_fi
r
st_constraint
commit
|
commitdiff
|
tree
2009-11-15
Sven Verdoolae
g
e
export
i
sl_basic_map_lex
m
ax
commit
|
commitdiff
|
tree
2009-11-15
Sv
e
n Verdoolaege
a
d
d isl_basic
_
set_lexma
x
commit
|
commitdiff
|
tree
2009-11-15
Sven Ve
r
doo
l
a
e
ge
isl_m
a
p_drop_
b
asic_map:
consistently
kee
p
basic map
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdoola
e
ge
isl_tab: row is only
(obviously) red
u
n
d
a
n
t
i
f
it d
o
es
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven V
e
rdoolaege
isl_basic
_
map_si
m
pl
i
fy: make sur
e
t
o rerun Gauss when
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sve
n
Verdoolaege
isl_tab
_
basic
_
m
a
p_partial_lexopt: use c
o
nte
x
t constraint
s
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdo
o
laege
isl_tab_pip
.
c:
i
g
n
o
re dead col
u
mns w
h
en checking i
n
tegrality
commit
|
commitdiff
|
tree
2009-10-21
Sve
n
V
erdoolae
g
e
i
s
l_
p
i
p: optionally pe
r
form s
o
me check
o
n
t
he
r
esult
s
commit
|
commitdiff
|
tree
2009-10-21
S
v
e
n
Verdool
a
ege
put
options in a
separate isl
_
options str
u
cture
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
add rudiment
a
ry argum
e
nt parsing facility
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdool
a
ege
isl_t
a
b
_compute_re
d
uced
_
basis: handle empty t
a
bles
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
isl_basic
_
set
_
sol
v
e_il
p
:
ha
n
dle obv
i
ously em
p
ty sets
commit
|
commitdiff
|
tree
2009-10-21
Sven V
e
rdo
o
laege
isl_bas
i
c_set_solve
_
il
p
: fix
handling
o
f sets with
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
S
v
en Verdoolaege
add
i
sl_s
e
t_remove
commit
|
commitdiff
|
tree
2009-10-21
Sven
Ver
d
ool
a
ege
add isl
_
set_fix
commit
|
commitdiff
|
tree
2009-10-21
Sven Ver
d
oolaege
a
dd isl_b
a
sic_set_fix
commit
|
commitdiff
|
tree
2009-10-21
Sve
n
Verdoolae
g
e
ex
t
ract isl_ba
s
ic
_
set_sc
a
n from
p
olytop
e
_scan
.
c
commit
|
commitdiff
|
tree
2009-10-21
Sven
Verdoolae
g
e
isl_basic_map_simplify: avoi
d
re
m
oval
o
f div definitions
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
S
ven Verd
o
olaege
isl_map
.
c: declare variable at start of
code block
commit
|
commitdiff
|
tree
2009-10-21
Sve
n
Verdoolaege
isl_basic_set_project_o
u
t: handle
ratio
n
a
l sets
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
add
i
sl_basic_set_re
m
o
v
e
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
is
l
_tab_pip
:
keep c
a
che
of partial solut
i
ons
commit
|
commitdiff
|
tree
2009-10-16
Sven Ve
r
doolaege
is
l
_tab_pip: don
'
t free isl_sol on error condition
commit
|
commitdiff
|
tree
2009-10-16
S
ven
Ver
d
oolaege
isl_tab: supp
o
rt generic undo records
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdool
a
ege
add
i
s
l
_mat_i
s
_equ
a
l
commit
|
commitdiff
|
tree
2009-10-16
Sven V
e
r
doolaege
is
l
_
t
a
b
_
p
ip
.
c: remove
s
o
m
e code duplication betwe
e
n
.
.
.
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoolaege
isl_map_is_s
u
b
s
e
t: add
special case for s
i
ngleton maps
commit
|
commitdiff
|
tree
2009-10-12
Sve
n
V
e
rdoolae
g
e
isl_map_compute_d
i
v
s: sk
i
p computation if divs are
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
Sven Ve
r
doolaege
isl
_
map_i
s
_subse
t
: exploit another
e
asy spec
i
a
l
case
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
add is
l
_map
_
fast_
i
s_universe
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
a
d
d isl_set_siz
e
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
mark
s
ome
f
unct
i
ons as
r
equiring use of retu
r
n v
a
lue
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
isl_t
a
b: improved error handling
commit
|
commitdiff
|
tree
2009-10-12
Sven
Verdoolaege
is
l
_
t
ab_pip
.
c: in
c
rement
a
lly
buil
d
r
ecess
i
o
n
co
n
e
o
f
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaeg
e
isl_tab_pip
.
c: pr
o
pa
g
ate some
equalities from g
b
r context
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sv
e
n
Ve
r
doolaege
i
sl_
t
ab_pip
.
c: d
e
tec
t
equaliti
e
s in gbr context on
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
S
ven Verdoolaeg
e
add isl_tab_detect_equalities
commit
|
commitdiff
|
tree
2009-10-10
Sven Verdoola
e
ge
add isl_tab_set_initial_bas
i
s_
w
ith_c
o
n
e
commit
|
commitdiff
|
tree
2009-10-10
Sven Verd
o
olaege
is
l
_t
a
b_pip: use
ge
n
eralized basis re
d
uction based
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven Verdoolaege
i
s
l_tab_pip: ad
d
gen
e
ral
i
zed b
a
sis reduction based
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdo
o
lae
g
e
isl_ta
b
_pip
.
c: extract out context h
a
ndling
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolae
g
e
isl_tab_pip
.
c: add
_
d
i
v: use mo
r
e reliab
l
e wa
y
t
o
t
e
st
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
v
en Verd
o
olaege
isl_t
a
b_b
a
sic_
m
ap_partial_lexopt:
rem
o
v
e samp
l
es that
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_tab
.
c:
extract out samp
l
es handling from isl_ta
b
_pip
.
c
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_affine_hull
.
c:
uset_affine_
h
ull_bounded: use
tableaus
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven
V
er
d
oo
l
a
e
ge
is
l
_basic_ma
p
_det
e
ct_equalities: keep track
o
f sam
p
le
commit
|
commitdiff
|
tree
2009-10-09
S
ven Verdool
a
e
ge
isl_basic_map_detect_eq
u
alities: only compute recession
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
ven V
e
rdoo
l
a
ege
i
sl_tab_sample: h
a
ndl
e
unbounded
direct
i
on
s
in initi
a
l
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sve
n
Verdoolaege
isl_tab_compu
t
e_
r
educ
e
d
_basis: han
d
le unbounded directions
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
exploit equalities in i
s
l_tab_sampl
e
commit
|
commitdiff
|
tree
2009-10-09
Sv
e
n Verdoolae
g
e
i
s
l_tab: keep (in)e
q
u
a
lities of bset
(
i
f
any
)
i
n s
y
nc
commit
|
commitdiff
|
tree
2009-10-09
Sven Ve
r
doolaege
isl_tab_s
a
m
p
le: be mo
r
e
v
erbose about unbounded dire
c
tions
commit
|
commitdiff
|
tree
2009-10-09
Sve
n
Ver
d
oolaege
separate ou
t
isl_t
a
b_sample
f
r
om sample_
b
o
und
e
d
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
sample_bound
e
d
:
reimplem
e
nt
to work
d
irectly on a tableau
commit
|
commitdiff
|
tree
2009-10-09
Sv
e
n Verdoolaege
isl_tab_compute_redu
c
ed_basis: work wi
t
h affine basis
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_ta
b
_comput
e
_
r
educed_basis: allow
i
ncremental computatio
n
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoola
e
ge
isl_polytope_scan:
use isl_tab_from_basic_s
e
t
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
separate out isl_tab_r
e
duc
e
d_basi
s
from isl_basic
_
set_red
u
ce
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven
V
erdoolaege
basis_reduc
t
ion_tab
.
c: use isl_tab_pr
o
duct to constru
c
t
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolae
g
e
add isl_tab_produc
t
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_bas
i
c_set_reduced_
b
a
sis: fi
x
value in
d
irections
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sv
e
n Ve
r
d
o
ol
a
ege
isl_basic_s
e
t_re
d
uced_bas
i
s:
fix up
docum
e
ntation
commit
|
commitdiff
|
tree
2009-10-08
Sven
Verdoolaeg
e
basis_reduction_tab
.
c: keep
track of
con
_
offset instead
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sve
n
Verdoolaege
add isl_tab_add_e
q
commit
|
commitdiff
|
tree
2009-10-08
Sven V
e
rdoolaege
i
sl_tab
_
add_valid_eq: add sp
e
c
ial treatme
n
t
f
or manifest
l
y
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven
Verdoolaege
i
sl
_
tab_ex
t
end_co
n
s: check tab
a
rgum
e
nt
commit
|
commitdiff
|
tree
2009-10-08
Sven Ve
r
doolaege
rename isl_tab
_
de
t
ect_
e
qualities to
i
s
l_ta
b
_detect_implicit_
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoolae
g
e
isl_
t
a
b_fro
m
_recession_cone: tak
e
basic set i
n
s
tea
d
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdo
o
laege
i
sl_ilp
.
c: separate out solv
e
_ilp_search
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoolaege
isl_sam
p
le
.
c:
basic_set_sam
p
le: rem
e
mber
b
ounded
n
ess
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven
V
e
r
d
o
o
laege
add isl_polyhedron_dete
c
t_equalities test
applica
t
ion
commit
|
commitdiff
|
tree
2009-10-07
S
v
en Verdoolae
g
e
add isl_basic_set_detect_
e
qualities
commit
|
commitdiff
|
tree
2009-10-07
Sven Ve
r
dool
a
ege
i
s
l_tab_allocat
e
_
con:
a
dd ex
t
ra
asserti
o
n
commit
|
commitdiff
|
tree
2009-10-07
Sven Ver
d
oo
l
aeg
e
i
s
l
_
s
ampl
e
.
c: ba
s
ic_set_
r
e
duc
e
d: fix typo p
r
e
v
enting
.
.
.
commit
|
commitdiff
|
tree
2009-10-07
Sve
n
V
e
r
do
o
laeg
e
isl
_
tab_
b
a
sic_map_
p
artial_lexopt: simplify re
s
ult
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoola
e
ge
p
rivately export isl_basic_set_add_{in,}eq
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoola
e
g
e
privately
export isl_basic_
s
et_sa
m
ple_with
_
con
e
commit
|
commitdiff
|
tree
2009-10-07
Sv
e
n
Verdoo
l
aege
add isl_basi
c
_set_
u
n
derlying_se
t
commit
|
commitdiff
|
tree
2009-10-07
S
ven Verdo
o
laege
isl_t
a
b
.
c:
close_row: push u
n
do record f
o
r set
t
ing
.
.
.
commit
|
commitdiff
|
tree
2009-10-07
Sv
e
n Verdoolae
g
e
add
i
s
l_ma
t
_vec_in
v
erse_produc
t
commit
|
commitdiff
|
tree
2009-10-07
Sven
Verdoolaege
a
d
d isl_mat_
c
oncat
commit
|
commitdiff
|
tree
2009-10-07
Sve
n
V
e
r
doolaege
add isl_int_divexact_ui
commit
|
commitdiff
|
tree
2009-10-05
Sven Verd
o
o
l
aege
add isl_set_
d
im_residue_c
l
ass
commit
|
commitdiff
|
tree
2009-10-03
Sven Verdoo
l
aege
fix long sta
n
ding
b
ug in isl_mat_inve
r
se_produ
c
t
commit
|
commitdiff
|
tree
2009-10-02
Sven Ver
d
oolaege
a
d
d i
s
l_basic_map_foreach_l
e
xmin
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaege
a
d
d isl_s
e
t
_
project_o
u
t
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaege
add i
s
l
_
s
et_detect_equalit
i
es
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoo
l
a
ege
a
dd
i
sl
_
s
et_for
e
ach_b
a
sic
_
set
commit
|
commitdiff
|
tree
2009-10-02
Sve
n
Verdoolaege
a
d
d i
s
l_se
t
_lifting
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaege
isl_dim_
s
ize:
check argument
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaege
exp
o
rt isl_
m
at header
commit
|
commitdiff
|
tree
2009-10-02
Sven Ve
r
doolaege
a
dd
i
sl_basi
c
_
ma
p
_lexmin
commit
|
commitdiff
|
tree
next