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_set_project_out: drop redundant divs in result
2009-08-28
S
ven Verdoolaege
i
sl_basic_set_pro
j
ect_
o
ut: drop redundant
d
i
vs
i
n result
commit
|
commitdiff
|
tree
2009-08-28
Sven
Verdoolaege
i
sl_basic_ma
p
_re
m
ove: only drop divs if
b
asic m
a
p did
.
.
.
commit
|
commitdiff
|
tree
2009-08-13
Sven
V
erdoolae
g
e
isl_basic_m
a
p_detect_equalities: explicitly keep track
.
.
.
commit
|
commitdiff
|
tree
2009-08-13
S
v
en Verd
o
olaege
isl
_
basic_ma
p
_
extend_dim
:
keep
h
old of
s
a
mple if
d
imension
.
.
.
commit
|
commitdiff
|
tree
2009-08-09
Sven Verdoolaege
isl_tab_mi
n
: read off a
l
l information from tableau
.
.
.
commit
|
commitdiff
|
tree
2009-08-09
Sven Verdoolaege
isl_tab
_
add_valid_eq: keep track of whe
t
he
r
equali
t
y
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdo
o
l
ae
g
e
conf
i
gure
.
a
c
:
no lon
g
e
r
use piplib by def
a
ult
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n
Verdoo
l
aege
ad
d
a
n
internal parametri
c
integer lin
e
ar program solver
commit
|
commitdiff
|
tree
2009-08-07
Sven
Verdoolaege
isl_mat_extend
:
make sur
e
the number of rows never
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Ve
r
doolaeg
e
isl_affine_hull
.
c: only constru
c
t affine hull in
b
ounded
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
is
l
_t
a
b
:
a
dd support for keeping tr
a
ck of samples
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Verdo
o
l
aege
isl_tab: optionally ke
e
p track
o
f
row
si
g
ns
commit
|
commitdiff
|
tree
2009-08-07
S
ven Ver
d
oolaege
isl_tab
:
add is
l
_basic_set field for optionally keeping
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_tab: int
r
oduce sup
p
ort for "big
p
aramet
e
rs"
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
r
d
oolaege
isl_tab: a
l
low introduction
o
f extra variables
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_tab
:
introduce param
e
t
e
r
s
and divs
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
e
rdoolae
g
e
isl_tab
.
h: fix typo in comment
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Verdoo
l
aege
i
s
l_tab: allow saving and re
s
toring the complete basis
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl
_
tab: pr
i
v
a
tely expo
r
t some
functionality
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Ver
d
oolaege
isl_tab: store u
n
d
o a
r
gument in a union for
future
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
ven Verdool
a
ege
add isl_ba
s
ic_set_s
a
mple_
b
ounded
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Verdoola
e
ge
p
r
ivatel
y
export isl_basi
c
_
set_ord
e
r
_
divs
commit
|
commitdiff
|
tree
2009-08-07
Sven Ve
r
do
o
l
aege
isl_map_simplify
.
c: remove_dependent_vars: only rem
o
ve
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
rdoolaege
isl_
b
as
i
c_map_
c
ompute_di
v
s: u
s
e isl_bas
i
c_set_lexmin
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
v
e
n Verdoola
e
g
e
isl_pip_ba
s
ic_map_co
m
put
e
_d
i
vs: d
o
n
't t
u
rn divs into
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven
Verdoola
e
ge
priva
t
e
l
y
export i
s
l_basi
c
_map_
s
wap_div
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n
Verdoo
l
aege
i
s
l_{se
t
,m
a
p}_add:
d
o
n't add obvious
l
y empty basic
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
c
om
b
ine is
l
_pip_basic_map_le
x
{min,max}
into isl_pip_basic_
m
a
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
V
e
rd
o
o
l
aege
make piplib
h
ea
d
ers private
commit
|
commitdiff
|
tree
2009-08-07
Sven Verd
o
o
laeg
e
isl_mat: keep track of the ac
t
ual number of columns
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaeg
e
isl_t
a
b_pivot: fix ty
p
o that prevented
n
ormali
z
a
tio
n
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Verdool
a
ege
ad
d
isl_basic_se
t
_p
o
sit
i
v
e
_
o
r
tha
n
t
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Ve
r
doolaege
add isl_ba
s
ic_set_pa
r
tial_le
x
{
m
in,max}
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
rena
m
e is
l
_
b
a
sic_map_
l
ex{min,max}
t
o isl_basic_m
a
p_par
t
ial_
l
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaeg
e
add isl_basic
_
se
t
_free_div
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaeg
e
isl
_
s
e
t_dim: s
u
p
p
o
rt isl_
d
im
_
all
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Ver
d
oola
e
ge
isl_tab: store in
d
ex of vari
a
ble in u
n
do
r
eco
r
d
instead
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
e
rdoolaege
ad
d
isl_{set,map}_gro
w
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
ad
d
isl_map_get_dim
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
add is
l
_basic_m
a
p
_
g
et_di
m
commit
|
commitdiff
|
tree
2009-08-04
Sven Verd
o
ol
a
ege
a
d
d isl_tab_dup
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaege
expor
t
isl_m
a
t_dup
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoola
e
ge
isl_tab
.
c: mark_redundant:
o
n
l
y mark variab
l
e nonneg
.
.
.
commit
|
commitdiff
|
tree
2009-08-04
Sv
e
n Verdoolaege
is
l
_tab
.
c: to_
r
ow: al
l
ow pivo
t
ing in
a
rbitrary direction
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdo
o
la
e
ge
isl_tab
.
c
:
sim
p
lif
y
code by letting mark_empty retur
n
tab
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaege
add
i
sl_seq_last
_
non_zer
o
commit
|
commitdiff
|
tree
2009-08-04
S
ven Verdoo
l
a
e
ge
isl_tab
.
c: simplif
y
add
_
eq
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaeg
e
isl_tab
.
c: extract allocate
_
con
commit
|
commitdiff
|
tree
2009-07-22
Sv
e
n Verdoo
l
aege
p
r
i
vat
e
l
y
export isl_basic_set_s
e
t_r
a
tional
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolae
g
e
config
u
r
e
.
ac:
explicitly set
A
C
_CON
F
IG_AU
X
_DIR
commit
|
commitdiff
|
tree
2009-07-21
Sven Verdo
o
laege
c
onvex_hull: coalesce set during facet computation
commit
|
commitdiff
|
tree
2009-07-21
Sven Verdoo
l
ae
g
e
isl_map_coalesce:
don
'
t drop ratio
n
a
l
fl
a
g fro
m
resul
t
.
.
.
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdool
a
ege
isl_ta
b
_cone_is_bounded
:
start
o
ver aft
e
r computing
.
.
.
commit
|
commitdiff
|
tree
2009-07-19
Sven
V
erdoolaege
isl_basi
c
_set_d
i
m
_resi
d
ue_class: only s
e
t
*
modulo to
.
.
.
commit
|
commitdiff
|
tree
2009-07-18
S
v
en Verdoola
e
ge
a
dd
i
sl
_
basic_set
_
fast_dim_is_
f
ixed
commit
|
commitdiff
|
tree
2009-07-16
Sv
e
n V
e
rdo
o
la
e
ge
isl_tab:
drop isl_ct
x
ar
g
u
m
e
n
t where not absolutely
.
.
.
commit
|
commitdiff
|
tree
2009-07-16
Sven Verdoolae
g
e
i
s
l_mat: keep
track of isl_ct
x
commit
|
commitdiff
|
tree
2009-07-16
S
v
e
n
V
erdoolaege
isl_
b
asic_s
e
t_sampl
e
: don't project out lineali
t
y space
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
S
ven Verdo
o
laege
isl_basic_map_fix_pos: mi
c
ro-optim
i
z
a
tion
commit
|
commitdiff
|
tree
2009-07-15
S
v
en Verdoolaege
mo
v
e isl_bas
i
c_set_skew_to_positive_orthant to
i
sl_sa
m
ple
.
c
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
i
sl_tab
.
c: fix typo in commen
t
commit
|
commitdiff
|
tree
2009-07-15
Sv
e
n Verdoolaege
i
s
l_ba
s
ic_set_sam
p
l
e
:
b
r
eak ear
l
y if sam
p
le found
in
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
S
ven Verdoolaege
ex
p
or
t
i
s
l_tab
_
sample_i
s
_
integer
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoo
l
ae
g
e
isl_basic_set_sample:
c
h
eck sample sto
r
ed by i
s
l_basi
c
_
m
ap_i
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
i
sl_basic_map_is_empty: remove stale sample
commit
|
commitdiff
|
tree
2009-07-15
Sven Ver
d
oola
e
ge
a
dd i
s
l_polyh
e
d
ron_s
a
mp
l
e
ap
p
lic
a
t
i
o
n
commit
|
commitdiff
|
tree
2009-07-15
Sven Ver
d
oola
e
ge
i
n
t
roduce general
i
zed basis reduct
i
on based sampling
commit
|
commitdiff
|
tree
2009-07-15
Sven Ve
r
d
oolae
g
e
add isl_seq_cd
i
v_q
commit
|
commitdiff
|
tree
2009-07-15
Sve
n
V
e
r
doola
e
g
e
isl_sample
.
c: interval_sample: drop redundant argument
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
isl_sa
m
pl
e
.
c: c
l
e
a
n up handling of lineality spac
e
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdo
o
laege
i
s
l_sample
.
c:
e
xtract
o
u
t
s
ample_
e
q
commit
|
commitdiff
|
tree
2009-07-13
Sven Ve
r
d
o
olaege
isl_s
a
m
ple
.
c: interval_sample:
h
and
l
e equaliti
e
s
directly
commit
|
commitdiff
|
tree
2009-07-13
Sven Verd
o
olaege
isl_sample
.
c: extract out empt
y
_
sample
commit
|
commitdiff
|
tree
2009-07-13
S
v
en Verdoolaege
isl_sample
.
c: generalize point_sample t
o
zero_
s
ample
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
isl_tab: don't create new undo records during rollba
c
k
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolae
g
e
isl_tab_min: use general rollback me
c
ha
n
ism
commit
|
commitdiff
|
tree
2009-07-13
Sven Ver
d
oolaege
isl_tab
:
optional
l
y s
a
ve
d
u
al solution
commit
|
commitdiff
|
tree
2009-07-13
S
v
en Verdoola
e
ge
isl_
t
ab
:
a
dd i
s
l_tab_add
_
valid_eq
commit
|
commitdiff
|
tree
2009-07-13
S
v
e
n
Verdoolaege
ex
p
o
r
t isl_tab_alloc
commit
|
commitdiff
|
tree
2009-07-13
Sven
V
erdoolaege
add isl
_
int
_
le
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
privately export
isl_basic_set
_
r
eces
s
ion_c
o
ne
commit
|
commitdiff
|
tree
2009-07-13
Sven Verd
o
olaege
isl_conv
e
x_hull
.
c: add missi
n
g assig
n
ment
commit
|
commitdiff
|
tree
2009-07-13
Sve
n
Verdoolaege
privately
expo
r
t
i
sl_bas
i
c
_
set_lineality_space
commit
|
commitdiff
|
tree
2009-07-13
Sven
Ve
r
doolaege
i
s
l_vec: keep tr
a
ck of
i
sl_ctx
commit
|
commitdiff
|
tree
2009-07-12
Sven V
e
r
doolaege
isl_coalesce
.
c: fix typo
commit
|
commitdiff
|
tree
2009-06-13
Sven Verdool
a
e
g
e
upda
t
e pi
p
lib for chan
g
e i
n
configure arguments
commit
|
commitdiff
|
tree
2009-06-11
Sv
e
n Verdoolaege
isl_basic_map_d
r
op_redundant_divs:
coalesc
e
divs if
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
S
v
e
n Verdoo
l
aege
isl_ba
s
ic_map_d
r
op_redundant_divs: set div
e
xpre
s
sion
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_basic_map_drop
_
redundant_divs: drop m
o
re kinds
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verd
o
olaege
isl_map_
c
ompu
t
e
_divs: drop obviously redundant div
s
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
S
v
en Verdoolaege
isl_map_piplib
.
c
:
e
x
tremum_on
:
detect
e
q
ualities
f
irst
commit
|
commitdiff
|
tree
2009-06-11
S
v
en Verdoolaege
i
s
l_pip_bas
i
c_map_compute_divs: remove some equalities
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_pi
p
_
b
asic
_
ma
p
_
c
ompute_divs:
s
e
p
arate ou
t
di
m
ension
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
S
v
en Verdoolaege
isl_basic_set_preimage: handle d
i
vs in input
commit
|
commitdiff
|
tree
2009-06-11
Sven Ver
d
oo
l
aege
isl_
i
nput_omega
.
c: make
v
a
riable_
{
fre
e
,new} sta
t
ic
commit
|
commitdiff
|
tree
2009-06-11
Sven Verd
o
olaege
i
sl_map
.
c: make
add_divs static
commit
|
commitdiff
|
tree
2009-06-11
Sve
n
V
e
rdoolaege
isl_basic
_
map_simpl
i
f
y:
detect d
i
v
constraints w
h
ile
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
i
s
l
_basic_
m
a
p_drop:
p
rop
e
rly handle
d
imensions of
type
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoola
e
g
e
add isl_int_mu
l
_
ui
commit
|
commitdiff
|
tree
2009-06-07
S
v
e
n Verd
o
olaege
a
d
d isl_seq_fd
i
v_q
commit
|
commitdiff
|
tree
next