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_basic_map_extend_dim: keep hold of sample if dimension doesn't change
2009-08-13
Sven Verdoolaege
isl_
b
asic_ma
p
_extend_d
i
m: k
e
e
p
ho
l
d
o
f sample if dimen
s
i
o
n
.
.
.
commit
|
commitdiff
|
tree
2009-08-09
Sven Verdo
o
laege
isl_tab_min:
r
ead of
f
all inf
o
rmation from
t
ableau
.
.
.
commit
|
commitdiff
|
tree
2009-08-09
Sven Verdoola
e
g
e
isl_
t
ab_add_vali
d
_
e
q:
k
eep track o
f
whe
t
her e
q
ua
l
it
y
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Verdoolae
g
e
c
onfigure
.
ac: n
o
longer use p
i
pli
b
by
defa
u
lt
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
add
an int
e
rnal
p
aramet
r
ic
integer linear program solver
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
rdoolaege
is
l
_mat_
e
x
tend:
make sure the nu
m
ber of rows never
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
r
do
o
l
aege
isl_affi
n
e
_hull
.
c: onl
y
construct affi
n
e h
u
ll in bou
n
ded
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
rdool
a
ege
i
sl_tab: add support for keepin
g
t
rack of samples
commit
|
commitdiff
|
tree
2009-08-07
S
ven Verdoolae
g
e
isl_tab: o
p
tional
l
y keep track of r
o
w signs
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_tab
:
add isl_basic_set field for opt
i
onally
k
eeping
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven
Ve
r
do
o
laege
isl_tab
:
introdu
c
e support
for "big
p
aram
e
ters"
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Verdoolaege
isl_tab: allow introduction of extra
variabl
e
s
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoo
l
aege
is
l
_
tab
:
introduce parameters
and div
s
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_tab
.
h:
fix t
y
po in comment
commit
|
commitdiff
|
tree
2009-08-07
Sven Ve
r
doolaeg
e
isl_t
a
b
:
allow saving a
n
d res
t
ori
n
g
t
he complete
b
a
sis
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Verdoolaege
isl_
t
ab: privately export some f
u
nctionality
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_tab: st
o
re undo argument i
n
a un
i
o
n
for
future
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
ven Verd
o
olaege
add isl_basic_set_sample_bounded
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Verdoolaege
p
r
ivat
e
ly export isl_basic_set_order_
d
ivs
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl
_
map_simpli
f
y
.
c: remove_dependent_vars
:
only re
m
ove
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
erdoolae
g
e
isl_basi
c
_ma
p
_compute_divs: use isl_basic_se
t
_lexmin
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaeg
e
isl_pip_basic_map_compute_divs: d
o
n't turn divs into
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
v
en V
e
rdo
o
lae
g
e
pri
v
ately export isl_basic_map_swap_di
v
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Verd
o
olaege
i
s
l_{
s
et,map}_add:
d
on't
add ob
v
ious
l
y empty ba
s
ic
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Verdo
o
laege
combine isl_pip
_
b
a
sic_m
a
p
_
lex
{
min,max} in
t
o isl_p
i
p_b
a
s
ic_ma
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Ve
r
do
o
laege
make
p
i
plib
headers
p
rivate
commit
|
commitdiff
|
tree
2009-08-07
S
ven Verdoolae
g
e
isl_
m
at: k
e
ep
track of th
e
actual n
u
mber of columns
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
v
e
n Verdoolaege
isl_tab_pivot:
f
ix
t
ypo
that prev
e
nted n
o
r
ma
l
i
zati
o
n
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdool
a
ege
add isl_basic_set
_
positiv
e
_orthant
commit
|
commitdiff
|
tree
2009-08-07
Sven Ve
r
doo
l
ae
g
e
add isl_b
a
sic_set_par
t
ial_lex{min,max}
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
rename isl_basic_map_lex
{
min,max} to
i
sl_basi
c
_
m
a
p
_partial_l
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Ve
r
d
oolae
g
e
ad
d
isl_
b
asic_set_free_div
commit
|
commitdiff
|
tree
2009-08-07
Sven
Verdoo
l
aege
isl_se
t
_dim: support
isl_dim_al
l
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoo
l
aeg
e
isl_ta
b
:
sto
r
e index of variable in undo record instead
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven
Verdoolaege
add isl_{set
,
map}_grow
commit
|
commitdiff
|
tree
2009-08-07
Sven Ver
d
oolaege
add isl
_
ma
p
_get
_
di
m
commit
|
commitdiff
|
tree
2009-08-07
Sven Ve
r
doola
e
ge
add isl_bas
i
c_map_get
_
dim
commit
|
commitdiff
|
tree
2009-08-04
Sven Ver
d
oolaege
add isl_
t
ab_dup
commit
|
commitdiff
|
tree
2009-08-04
S
v
e
n Ve
r
d
o
olaege
e
x
port isl_mat
_
du
p
commit
|
commitdiff
|
tree
2009-08-04
Sven
Verdoola
e
g
e
i
sl_tab
.
c: mark_redundant: o
n
ly mark variable nonneg
.
.
.
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdo
o
l
a
ege
isl_tab
.
c:
t
o_row: allow p
i
vo
t
ing in arbit
r
a
r
y
d
i
re
c
tion
commit
|
commitdiff
|
tree
2009-08-04
Sven
V
erdo
o
laege
isl_
t
a
b
.
c: si
m
plif
y
c
o
de by lett
i
ng
m
a
rk_empt
y
return tab
commit
|
commitdiff
|
tree
2009-08-04
S
ve
n
Ver
d
oo
l
aege
add
isl_seq_last_non
_
ze
r
o
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaege
isl
_
tab
.
c
:
s
implify add
_
eq
commit
|
commitdiff
|
tree
2009-08-04
Sven V
e
r
doolaege
is
l
_tab
.
c: extract allocat
e
_con
commit
|
commitdiff
|
tree
2009-07-22
Sven V
e
rdool
a
ege
p
riva
t
ely
e
xpo
r
t
is
l
_
basic_set_set_r
a
t
ional
commit
|
commitdiff
|
tree
2009-07-22
S
v
en
V
e
r
doolae
g
e
configur
e
.
ac: expl
i
citly se
t
AC_CON
F
IG_AUX
_
D
IR
commit
|
commitdiff
|
tree
2009-07-21
Sven Ver
d
oo
l
aeg
e
convex_hull: coalesce s
e
t during facet computation
commit
|
commitdiff
|
tree
2009-07-21
Sven Verdoolaege
isl_map_coa
l
esce:
d
o
n
'
t d
r
op rat
i
onal flag
from result
.
.
.
commit
|
commitdiff
|
tree
2009-07-20
Sven
V
e
r
d
o
o
l
aege
isl
_
tab_cone_is_bounded
:
sta
r
t over afte
r
c
omputing
.
.
.
commit
|
commitdiff
|
tree
2009-07-19
Sven V
e
r
d
oolaege
isl_bas
i
c_
s
et_
d
im
_
residu
e
_
c
l
a
ss: on
l
y
se
t
*modulo to
.
.
.
commit
|
commitdiff
|
tree
2009-07-16
Sven Verdoolaege
i
s
l_tab: drop
i
s
l_ct
x
argument whe
r
e not absolutely
.
.
.
commit
|
commitdiff
|
tree
2009-07-16
S
ven Verdoolaege
is
l
_
m
at: ke
e
p trac
k
of isl_ctx
commit
|
commitdiff
|
tree
2009-07-16
Sven
V
erdoo
l
a
e
g
e
isl_basic
_
set_sample: don'
t
project out lin
e
a
lity spa
c
e
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
is
l
_b
a
sic_m
a
p_fix_pos: mi
c
ro-op
t
imizat
i
on
commit
|
commitdiff
|
tree
2009-07-15
Sv
e
n Verdoolae
g
e
mo
v
e isl_ba
s
ic_se
t
_skew_t
o
_p
o
sit
i
ve_orthant to isl_sample
.
c
commit
|
commitdiff
|
tree
2009-07-15
Sven Verd
o
olaege
isl_tab
.
c: fix t
y
po in
c
ommen
t
commit
|
commitdiff
|
tree
2009-07-15
S
v
en V
e
rd
o
ol
a
eg
e
isl_basic_set_sample: break ea
r
l
y
i
f sample found
i
n
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven
V
e
rdo
o
l
a
ege
e
x
por
t
isl_
t
ab_sample_is_integer
commit
|
commitdiff
|
tree
2009-07-15
Sven Verd
o
ola
e
g
e
isl_basic_set
_
sam
p
le:
c
hec
k
s
a
mple store
d
by
isl
_
b
a
sic
_
ma
p
_
i
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Ver
d
oolaege
isl_basi
c
_m
a
p_is_emp
t
y: remove st
a
l
e sample
commit
|
commitdiff
|
tree
2009-07-15
Sv
e
n Ve
r
doolaege
add
i
sl_polyhedron_sample application
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
int
r
o
duce
g
eneralized
b
a
s
is re
d
uction based sampling
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
ad
d
isl_seq_c
d
iv_q
commit
|
commitdiff
|
tree
2009-07-15
Sven
Verd
o
olaege
isl_sample
.
c: interval
_
s
a
mple: drop r
e
dund
a
n
t a
r
gument
commit
|
commitdiff
|
tree
2009-07-15
Sven Verd
o
olaege
is
l
_sample
.
c: clean up handli
n
g
of lin
e
ality s
p
ace
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
i
s
l_sample
.
c: ex
t
ract out sample_e
q
commit
|
commitdiff
|
tree
2009-07-13
Sven
Ver
d
oolaege
isl_sample
.
c
: inter
v
al_sample: handle
e
qualities direct
l
y
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaeg
e
isl_sample
.
c: extra
c
t out empty_sample
commit
|
commitdiff
|
tree
2009-07-13
Sven
Verdoolaege
isl_
s
a
mple
.
c: ge
n
eraliz
e
po
i
n
t_sample
t
o zero_sample
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n
V
erdoolaege
isl
_
tab:
d
on'
t
cr
e
ate new undo r
e
c
ords during rollback
commit
|
commitdiff
|
tree
2009-07-13
Sven Verd
o
olaege
isl_tab_min: use ge
n
e
r
al
r
ollback mechani
s
m
commit
|
commitdiff
|
tree
2009-07-13
Sven
Verdoolae
g
e
isl_tab: opt
i
onally sav
e
dual
s
olut
i
on
commit
|
commitdiff
|
tree
2009-07-13
Sven
Verdoolaege
isl
_
tab: add isl_tab_
a
dd_vali
d
_
eq
commit
|
commitdiff
|
tree
2009-07-13
Sven Verd
o
olaege
exp
o
rt isl_t
a
b
_
a
lloc
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n Verdoolaege
a
d
d isl_int_
l
e
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
p
rivately export isl_basic_set_rec
e
ssi
o
n_c
o
ne
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
isl
_
convex_hul
l
.
c: add missing
assignment
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
privatel
y
e
xport isl_ba
s
ic_s
e
t_lineality_space
commit
|
commitdiff
|
tree
2009-07-13
Sven Ve
r
dool
a
ege
isl_ve
c
: keep track of i
s
l_
c
tx
commit
|
commitdiff
|
tree
2009-07-12
Sven
V
e
rdool
a
ege
isl
_
co
a
lesce
.
c: fix typ
o
commit
|
commitdiff
|
tree
2009-06-13
Sven V
e
rdoolaege
update p
i
pl
i
b for change
in config
u
r
e
a
rg
u
ments
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdool
a
ege
i
sl_basic_map_
d
rop_redunda
n
t_divs: co
a
lesc
e
divs if
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoo
l
a
ege
i
sl_basic_map
_
d
rop_redundant_divs: set
d
i
v express
i
o
n
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven
Verdoolaege
isl_basic
_
map
_
d
r
op_re
d
undant_
d
ivs: drop more kinds
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sv
e
n Verd
o
ol
a
ege
isl_map_comput
e
_divs: drop obviously redund
a
nt divs
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoola
e
ge
isl_map
_
p
iplib
.
c: extremum_on: detect equalit
i
es first
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl
_
pip_basic_map_compute_divs:
r
emov
e
some e
q
ualities
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven V
e
r
doola
e
ge
isl_
p
i
p
_basic_map_compute_di
v
s
:
separa
t
e ou
t
dimension
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_bas
i
c_set_preimage: handle divs in inp
u
t
commit
|
commitdiff
|
tree
2009-06-11
S
v
en Verdoolaege
isl_in
p
ut_omega
.
c: make vari
a
b
le_{free
,
new} sta
t
i
c
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoo
l
aege
isl_map
.
c
: make add_
d
i
v
s static
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
i
sl_ba
s
ic_
m
ap_sim
p
lify: de
t
ect div
constraints while
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
isl_basic
_
map_
d
r
o
p
: properly han
d
le dimensi
o
n
s
of t
y
p
e
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven
Verdoolaege
a
d
d isl_
i
nt_mu
l
_
u
i
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
a
d
d isl_seq_fdi
v
_q
commit
|
commitdiff
|
tree
2009-06-07
S
ven Verdoola
e
g
e
add isl_seq_fdiv_r
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolae
g
e
isl_b
a
s
ic_map_de
t
e
ct_equa
l
ities: properly h
a
ndle
e
mpty
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
isl_basic_map_is_empt
y
: expli
c
itly
m
a
rk basi
c
set
s
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoola
e
g
e
isl_ma
p
.
c: o
r
d
e
r
_
d
ivs:
swap w
i
th correct div
commit
|
commitdiff
|
tree
next