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_pip: optionally perform some check on the results
2009-08-30
Sv
e
n Ver
d
oolaege
add isl_map_id
e
ntity_like
commit
|
commitdiff
|
tree
2009-08-30
Sven Verdoolaege
r
ena
m
e isl_map
_
identity_like to isl_
m
ap_ide
n
t
ity
_
like_basic_map
commit
|
commitdiff
|
tree
2009-08-28
Sven
V
erdoolaege
add isl_polytope_scan applicati
o
n
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
is
l
_seq_normalize: use
pr
e
-alloc
a
ted te
m
porary variable
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
S
ven Ver
d
oolaege
add isl_vec_norma
l
i
z
e
commit
|
commitdiff
|
tree
2009-08-28
Sven
V
erdoolaege
is
l
_seq_norm
a
l
i
ze: no n
e
e
d to sca
l
e down b
y
o
n
e
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaeg
e
add isl_p
o
l
yhed
r
o
n
_minimize application
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
add genera
l
ized ba
s
is reduction bas
e
d ILP solver
commit
|
commitdiff
|
tree
2009-08-28
S
v
en Ver
d
o
olaege
add
isl_vec_m
a
t_p
r
oduct
commit
|
commitdiff
|
tree
2009-08-28
Sven
V
erdoo
l
a
ege
ex
p
o
r
t isl_vec_ceil
commit
|
commitdiff
|
tree
2009-08-28
S
ven Verdoolaege
isl_basic_
s
et_s
a
mple: only perform basis
r
e
d
uction
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sven Ve
r
doolaege
rename isl_solve_lp to isl_basic_{map,set}_solve_lp
commit
|
commitdiff
|
tree
2009-08-28
Sven
Verd
o
ola
e
g
e
isl_solve_lp: o
p
tionally return solution point
commit
|
commitdiff
|
tree
2009-08-28
Sven V
e
rdoolaege
export i
s
l_vec header
commit
|
commitdiff
|
tree
2009-08-28
Sven
Ve
r
doolaege
add isl_int_fdiv
_
q_ui
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
add isl_vec_
r
ead_f
r
om_f
i
le
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdo
o
laege
i
s
l_basic_map_drop_redundant_divs:
a
lso investigate
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaeg
e
i
s
l_basic_map_app
l
y_{dom
a
in,
r
ange}: drop
redundan
t
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
isl_
m
ap_simplify
.
c: fix t
y
po
i
n comme
n
t
commit
|
commitdiff
|
tree
2009-08-28
Sven Ver
d
o
o
lae
g
e
i
sl_basic
_
set_proje
c
t_out: drop redundant
d
iv
s
i
n
result
commit
|
commitdiff
|
tree
2009-08-28
Sven
V
erdoolaege
isl_
b
asic_map_remov
e
: only
d
r
op divs if
b
a
sic map di
d
.
.
.
commit
|
commitdiff
|
tree
2009-08-13
Sven Verdoolaege
isl_basic_map
_
dete
c
t_equalities: exp
l
i
c
itly
k
eep trac
k
.
.
.
commit
|
commitdiff
|
tree
2009-08-13
Sven Ver
d
oolaege
isl_basic_map_extend_dim: keep hold of sample i
f
dimension
.
.
.
commit
|
commitdiff
|
tree
2009-08-09
S
ve
n
Verdoolaege
isl
_
tab
_
m
i
n: read o
f
f a
l
l informati
o
n from tableau
.
.
.
commit
|
commitdiff
|
tree
2009-08-09
S
v
en Verdoolaege
isl_tab
_
add_valid_eq: kee
p
tra
c
k
o
f whether equality
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Ve
r
doolaege
configur
e
.
a
c
: n
o
longer use pi
p
lib
by defaul
t
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
add an internal
pa
r
ametric
integer linear
p
ro
g
ram solver
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
is
l
_
mat_extend: make su
r
e the number of rows never
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
ven Ver
d
oolaege
isl_affine
_
hull
.
c:
o
nly const
r
uct affine hull in bound
e
d
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven
Verd
o
olaeg
e
isl_tab: add
support for keeping
track
of samp
l
es
commit
|
commitdiff
|
tree
2009-08-07
S
v
e
n
Verd
o
olaege
isl_ta
b
: optiona
l
ly keep
track of ro
w
signs
commit
|
commitdiff
|
tree
2009-08-07
S
v
en
V
erdoolae
g
e
isl_tab: add isl
_
basic_s
e
t
f
ield for optionally keeping
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
erd
o
o
l
aege
isl_
t
ab: intro
d
uce sup
p
o
rt for
"
big parameters"
commit
|
commitdiff
|
tree
2009-08-07
Sven
Verdoolaege
isl
_
tab: allo
w
introduct
i
o
n
o
f extra va
r
iables
commit
|
commitdiff
|
tree
2009-08-07
S
ven Verdo
o
laege
isl
_
tab: int
r
oduce para
m
eters
and divs
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
erdoolaege
isl_tab
.
h:
f
ix typo in comment
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Verdoolaege
i
s
l
_
tab: al
l
o
w
sav
i
ng and restori
n
g the
c
omplet
e
basis
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Verdoolaege
i
s
l_tab: privately export some fu
n
ctionalit
y
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
i
sl
_
ta
b
: sto
r
e undo argument in a union for futur
e
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Ve
r
doolaege
add i
s
l_basic_set_sample_bounde
d
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaeg
e
privately export isl_basic_set_order_divs
commit
|
commitdiff
|
tree
2009-08-07
Sven Ver
d
oo
l
ae
g
e
isl_map
_
simplify
.
c:
r
emove_dep
e
ndent_
v
a
rs: o
n
ly remove
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdool
a
eg
e
isl_
b
asic_
m
ap_
c
om
p
ut
e
_
d
ivs: use
isl_basic_set_lexmin
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
ve
n
Ver
d
oolaege
isl_pip_bas
i
c_map_compute_divs:
d
on't turn divs into
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolae
g
e
pri
v
ately
export isl
_
basi
c
_map_swap_div
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
rdoolaeg
e
isl_{set,map}_add:
d
o
n't add o
b
vious
l
y em
p
ty
b
asic
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Verdoolaege
combine
isl_pip_
b
asi
c
_ma
p
_lex{min,max} into
isl_pip_b
a
s
i
c
_
ma
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdo
o
laege
m
ake
piplib
h
eaders p
r
ivat
e
commit
|
commitdiff
|
tree
2009-08-07
Sven
Verdoolae
g
e
i
s
l_m
a
t: keep
t
rac
k
of the
actual number of columns
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Ver
d
o
o
laege
isl_tab
_
pi
v
o
t
:
f
ix typo that prevented normalization
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
add
i
sl_basic_set_positive_orthan
t
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Verdool
a
e
g
e
add isl_basi
c
_set_pa
r
tial_lex{m
i
n,max}
commit
|
commitdiff
|
tree
2009-08-07
S
v
en
Ver
d
oolae
g
e
rename isl_basic_map
_
lex{mi
n
,max} to isl
_
b
asic_m
a
p_partial_l
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
add is
l
_
basic_se
t
_fr
e
e_
d
iv
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdo
o
laege
isl_
s
e
t
_
d
im: s
u
pport isl_dim_all
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
erdo
o
laege
isl_tab:
store inde
x
o
f variable in
u
ndo
record in
s
tead
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verd
o
olaeg
e
add isl_{set,map}_gr
o
w
commit
|
commitdiff
|
tree
2009-08-07
S
v
e
n V
e
r
d
oolae
g
e
add isl_map_get_dim
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdool
a
ege
add
i
sl_basic_ma
p
_get_dim
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdo
o
l
a
ege
add isl
_
tab_dup
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaege
expor
t
i
sl_mat
_
dup
commit
|
commitdiff
|
tree
2009-08-04
S
v
en
V
erdoolaege
isl_tab
.
c: mark_redundant: only mark
variable nonn
e
g
.
.
.
commit
|
commitdiff
|
tree
2009-08-04
S
ven V
e
rdoolaege
isl_tab
.
c:
t
o_row: a
l
low pivoting in arbi
t
r
ary dir
e
ction
commit
|
commitdiff
|
tree
2009-08-04
Sven Ver
d
o
o
l
a
ege
isl_tab
.
c:
s
i
mplify
code by letting ma
r
k_em
p
ty return tab
commit
|
commitdiff
|
tree
2009-08-04
Sve
n
Verdo
o
laege
add isl
_
seq_last_non_zer
o
commit
|
commitdiff
|
tree
2009-08-04
Sven
Verdool
a
e
g
e
i
s
l
_
tab
.
c: si
m
plify add_eq
commit
|
commitdiff
|
tree
2009-08-04
Sven V
e
rdoolaeg
e
isl_t
a
b
.
c: extract al
l
ocate
_
c
o
n
commit
|
commitdiff
|
tree
2009-07-22
S
v
en Verdoolaeg
e
priva
t
ely export isl
_
basic_set_set_r
a
t
ional
commit
|
commitdiff
|
tree
2009-07-22
Sven Ve
r
doolaeg
e
configure
.
ac: explicitl
y
s
et
AC_CON
F
I
G
_AUX_DIR
commit
|
commitdiff
|
tree
2009-07-21
Sven Verd
o
olae
g
e
convex
_
hull:
c
oales
c
e set
d
u
r
ing facet com
p
utation
commit
|
commitdiff
|
tree
2009-07-21
S
ven Verdoolaege
i
sl
_
ma
p
_c
o
ales
c
e: don't drop rational flag from
re
s
u
lt
.
.
.
commit
|
commitdiff
|
tree
2009-07-20
Sve
n
Verdoolaeg
e
isl_tab_cone
_
is_bounded:
s
tart over after computin
g
.
.
.
commit
|
commitdiff
|
tree
2009-07-19
Sve
n
Ve
r
d
oo
l
aege
isl_basic_set_d
i
m_re
s
idue_class: only set
*m
o
dulo to
.
.
.
commit
|
commitdiff
|
tree
2009-07-16
Sv
e
n Verdoolaege
i
s
l_tab: drop
is
l
_ctx
arg
u
ment
w
here
n
ot
absolutely
.
.
.
commit
|
commitdiff
|
tree
2009-07-16
Sven Verd
o
olaege
i
sl_mat: keep track of is
l
_
ctx
commit
|
commitdiff
|
tree
2009-07-16
Sven
Verd
o
olaege
isl
_
basic_set_s
a
mple
:
don't project out lineality space
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven V
e
rdool
a
ege
isl_basic_map_fix_
p
o
s: micro
-
optimi
z
a
tion
commit
|
commitdiff
|
tree
2009-07-15
Sven V
e
rdoolaeg
e
move isl_basic_set_skew_to
_
positive_ort
h
ant to i
s
l_s
a
mple
.
c
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolae
g
e
isl_tab
.
c: fix typo in comme
n
t
commit
|
commitdiff
|
tree
2009-07-15
S
v
e
n
V
erdoolaege
isl_basic_set_sample: break early if
sam
p
le
found i
n
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Verd
o
olaege
export isl_tab_sampl
e
_i
s
_integer
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdool
a
ege
i
s
l_basic_set_sam
p
l
e
: check samp
l
e stored by isl_basic_map_i
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven
Ve
r
doolaege
isl_basic
_
map_is_e
m
pty: r
e
move stale sample
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
add i
s
l
_
polyhedron_sa
m
ple application
commit
|
commitdiff
|
tree
2009-07-15
Sven
Ver
d
oolae
g
e
in
t
roduc
e
gener
a
lized bas
i
s r
e
duction based
s
ampling
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
add is
l
_seq_cdiv_q
commit
|
commitdiff
|
tree
2009-07-15
Sven Ve
r
doolaege
isl_sample
.
c: interval_sam
p
le: drop
redundant arg
u
m
ent
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
is
l
_
s
a
mple
.
c: clean
u
p handling of lin
e
alit
y
space
commit
|
commitdiff
|
tree
2009-07-13
Sve
n
Ver
d
oo
l
ae
g
e
isl_sample
.
c: ex
t
ract out sample_eq
commit
|
commitdiff
|
tree
2009-07-13
Sven
V
erdo
o
l
aege
isl
_
sample
.
c: interv
a
l
_sample: h
a
n
d
le equalities
direct
l
y
commit
|
commitdiff
|
tree
2009-07-13
Sven Ve
r
d
oolae
g
e
isl_sample
.
c: e
x
t
ract o
u
t em
p
ty_sample
commit
|
commitdiff
|
tree
2009-07-13
Sven
V
e
r
d
oolae
g
e
i
sl_sa
m
pl
e
.
c: generaliz
e
point_
s
ample to zero_sa
m
pl
e
commit
|
commitdiff
|
tree
2009-07-13
Sven Ver
d
o
olaeg
e
i
sl_ta
b
: don
'
t create
n
ew und
o
recor
d
s durin
g
roll
b
a
c
k
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolae
g
e
isl_tab_min
:
use general
rollback mechanism
commit
|
commitdiff
|
tree
2009-07-13
S
ven
Verdoolaege
isl_tab
:
opti
o
nally save dual sol
u
tion
commit
|
commitdiff
|
tree
2009-07-13
Sve
n
Verdool
a
e
ge
isl
_
tab: ad
d
i
s
l_ta
b
_add_v
a
lid
_
eq
commit
|
commitdiff
|
tree
2009-07-13
Sven Verd
o
olaege
export isl_t
a
b_alloc
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
add i
s
l_int_le
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
p
r
ivately expor
t
is
l
_ba
s
i
c
_set_rec
e
ssion_cone
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
isl_conve
x
_hull
.
c: add missing assignment
commit
|
commitdiff
|
tree
next