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_detect_equalities: explicitly keep track of any equalities found
2009-08-13
Sven Verdool
a
ege
isl_basic_map_detect_equa
l
ities
:
expli
c
itly
k
eep track
.
.
.
commit
|
commitdiff
|
tree
2009-08-13
Sven Verdoolaege
isl_basic_ma
p
_extend_dim:
k
e
e
p hold
of sampl
e
i
f dimension
.
.
.
commit
|
commitdiff
|
tree
2009-08-09
Sven Verdoolaege
isl_tab_min: rea
d
off all info
r
mati
o
n from
t
ableau
.
.
.
commit
|
commitdiff
|
tree
2009-08-09
Sv
e
n Ver
d
oolaege
i
s
l_
t
ab_
a
d
d
_valid_eq:
keep track of wheth
e
r equali
t
y
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Verdoolaege
configure
.
ac: no longer use pi
p
li
b
by
d
efault
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolae
g
e
a
dd an internal par
a
met
r
ic
i
nteger li
n
ear progra
m
solver
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Verdoolaege
isl_mat_extend:
mak
e
sure th
e
numbe
r
of rows
n
e
v
er
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_affine_hull
.
c: on
l
y construct affine hull in boun
d
ed
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
i
s
l
_
t
a
b
: add supp
o
rt for keeping
track of samples
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Verdoolaege
isl_tab: optionall
y
k
e
ep tr
a
ck of row sig
n
s
commit
|
commitdiff
|
tree
2009-08-07
Sven Verd
o
ola
e
ge
isl_ta
b
: add isl_basic_set field f
o
r
o
ptionally keeping
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_tab
:
i
ntr
o
duce support for "b
i
g p
a
rameters"
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
V
erdoolaege
i
s
l_tab: all
o
w
introduction
o
f ext
r
a variables
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
i
sl_t
a
b
: introduce parameters and
d
ivs
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
erdoolaege
isl_ta
b
.
h: fix typo i
n
co
m
m
e
nt
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
e
r
d
o
ola
e
ge
i
sl_
t
a
b
:
a
llow
s
a
v
ing
and restoring the complete basis
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
is
l
_
t
ab: pr
i
vately export
some functionali
t
y
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Verd
o
ol
a
ege
isl_tab:
s
tore undo argumen
t
in
a
union
for future
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
V
e
rdo
o
laege
a
dd i
s
l_basic_set_s
a
mple_
b
ounded
commit
|
commitdiff
|
tree
2009-08-07
S
ven Verdoolaege
privat
e
ly export isl_basic_set_order_d
i
vs
commit
|
commitdiff
|
tree
2009-08-07
Sven Ver
d
o
olaege
isl_map_simplify
.
c: remove_de
p
endent_vars: onl
y
remo
v
e
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
e
rd
o
olaege
is
l
_basic_
m
ap_compute_divs: use isl_basic_se
t
_lexmin
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Verd
o
olaege
i
sl_pip_basic_map_compute_divs: d
o
n't tur
n
divs in
t
o
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Verdool
a
e
g
e
p
r
ivately expor
t
isl_basic_map_swap_div
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Verdoolaege
isl_{s
e
t,map}_add
:
d
o
n't a
d
d obviously empty
b
asic
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
rdool
a
ege
co
m
b
ine isl
_
pip_basic_m
a
p_lex{
m
in,max}
i
nto isl_
p
ip_basic_ma
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
ven Verdool
a
e
g
e
make piplib
h
e
a
ders private
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdo
o
laege
isl_mat: keep track
of the act
u
al n
u
mber o
f
columns
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_
t
ab_pivot:
fi
x
typo tha
t
preve
n
ted n
o
rmaliz
a
tion
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Verdoola
e
ge
add isl_bas
i
c_set_p
o
sitive_orthant
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
erdool
a
ege
add isl_b
a
sic_set_partia
l
_lex
{
min,max}
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
renam
e
i
s
l_ba
s
ic_map
_
lex{min,m
a
x} to i
s
l
_
b
a
sic
_
m
ap
_
parti
a
l_
l
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaeg
e
add
isl
_
basic_set
_
free_div
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolae
g
e
isl
_
set_dim: suppor
t
is
l
_d
i
m_
a
ll
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Verdo
o
laege
isl_tab:
sto
r
e inde
x
of variable i
n
undo re
c
ord i
n
stead
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Ve
r
doolaege
add isl_{set,map}_grow
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoo
l
aege
ad
d
i
s
l_map
_
get
_
dim
commit
|
commitdiff
|
tree
2009-08-07
Sven Ver
d
oo
l
ae
g
e
add i
s
l_b
a
sic_map
_
get_d
i
m
commit
|
commitdiff
|
tree
2009-08-04
Sven
V
erdoola
e
ge
add
i
s
l_tab_dup
commit
|
commitdiff
|
tree
2009-08-04
Sven
V
erdoolaege
export isl_mat_dup
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaege
isl_t
a
b
.
c: mark_re
d
undant:
onl
y
mark variable nonneg
.
.
.
commit
|
commitdiff
|
tree
2009-08-04
S
v
en
V
erdoolaege
i
sl
_
tab
.
c
: to_row: allow pi
v
o
t
ing i
n
arbitrary
d
i
r
e
c
ti
o
n
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdool
a
e
g
e
isl_tab
.
c: simplify
c
ode by
l
etting mark_empty
return tab
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdo
o
laege
a
dd isl_se
q
_last_non_
z
er
o
commit
|
commitdiff
|
tree
2009-08-04
Sv
e
n V
e
r
dool
a
ege
i
sl_tab
.
c: sim
p
lify add_eq
commit
|
commitdiff
|
tree
2009-08-04
Sve
n
Ver
d
oolaege
isl_tab
.
c: ext
r
a
ct all
o
cate_con
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolae
g
e
privately e
x
port isl_bas
i
c_s
e
t_set_rational
commit
|
commitdiff
|
tree
2009-07-22
Sven
V
e
r
do
o
laege
configure
.
ac: e
x
plic
i
t
l
y
s
e
t A
C
_CO
N
F
I
G
_AUX_
D
IR
commit
|
commitdiff
|
tree
2009-07-21
Sven
Verdo
o
l
aege
co
n
vex_hull: coalesce set du
r
ing facet computation
commit
|
commitdiff
|
tree
2009-07-21
Sven
V
erdoo
l
aege
isl
_
m
a
p_coal
e
s
ce: don't d
r
o
p
rational
flag from result
.
.
.
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdo
o
laege
isl_ta
b
_
cone_
i
s_bounded:
s
tart
over after comput
i
ng
.
.
.
commit
|
commitdiff
|
tree
2009-07-19
Sven Verdoolaege
isl_basic_set_dim_residue_class:
o
nly set
*modulo
to
.
.
.
commit
|
commitdiff
|
tree
2009-07-18
Sven Verdoolaege
add isl_
b
asic_set_fast_dim
_
is_fixed
commit
|
commitdiff
|
tree
2009-07-16
Sven Verdoo
l
a
e
g
e
i
sl_tab: drop isl_ctx
argu
m
e
nt where not abso
l
utely
.
.
.
commit
|
commitdiff
|
tree
2009-07-16
S
v
e
n
Ver
d
oolaege
isl_mat: ke
e
p track of
i
s
l_ctx
commit
|
commitdiff
|
tree
2009-07-16
S
v
e
n
Verdoo
l
aege
is
l
_ba
s
ic_set_
s
ample: don't project out lineality spac
e
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
isl_b
a
sic
_
map_f
i
x_pos
:
micro-optimizat
i
on
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
move
i
sl_ba
s
i
c_set_skew_to_positive_ortha
n
t to isl_sa
m
p
l
e
.
c
commit
|
commitdiff
|
tree
2009-07-15
Sven Ve
r
doolaege
isl_
t
ab
.
c: f
i
x
typo in comment
commit
|
commitdiff
|
tree
2009-07-15
S
v
e
n Verdoolaege
isl_b
a
sic_set_samp
l
e
:
br
e
ak early if samp
l
e found in
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Ve
r
dool
a
ege
ex
p
ort isl
_
t
a
b_samp
l
e_is_intege
r
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoo
l
aege
isl_
b
asic_set_sample:
c
he
c
k s
a
mple stored by i
s
l_bas
i
c_map_i
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven
Verdoolaege
isl_bas
i
c_ma
p
_is_empty: r
e
m
ove stale sa
m
ple
commit
|
commitdiff
|
tree
2009-07-15
Sve
n
Verd
o
olaege
ad
d
isl_pol
y
hedron_sample a
p
plica
t
i
o
n
commit
|
commitdiff
|
tree
2009-07-15
S
ven Verdool
a
e
ge
introduce
generalized basis reducti
o
n based sampling
commit
|
commitdiff
|
tree
2009-07-15
Sven
V
erdoolae
g
e
add is
l
_seq
_
cdiv_q
commit
|
commitdiff
|
tree
2009-07-15
Sven
Ve
r
dool
a
ege
isl_sa
m
ple
.
c:
i
nterval_sample
:
drop
r
edu
n
dan
t
argume
n
t
commit
|
commitdiff
|
tree
2009-07-15
Sven
V
e
rdoo
l
aege
isl_sample
.
c: clean up handling
o
f lin
e
a
lity
s
pace
commit
|
commitdiff
|
tree
2009-07-13
Sven
V
erdoolaeg
e
isl_sample
.
c: extract out
sample_e
q
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n Verdoolaege
is
l
_sample
.
c: interva
l
_sample: hand
l
e equalities di
r
ectl
y
commit
|
commitdiff
|
tree
2009-07-13
Sven Verd
o
olaege
isl_sampl
e
.
c: extract out empty_sampl
e
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdool
a
e
g
e
isl_sample
.
c: ge
n
eralize
point_sample to zero
_
sample
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n Verdoolaege
isl_tab: don't
c
r
e
at
e
new
un
d
o rec
o
r
d
s during
rollb
a
ck
commit
|
commitdiff
|
tree
2009-07-13
Sven
V
erdoola
e
ge
isl_tab
_
min: use ge
n
eral rollback me
c
hanism
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n Verd
o
ol
a
e
g
e
isl_tab: optionally s
a
ve dual solutio
n
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
i
s
l
_tab: ad
d
isl_t
a
b
_
a
d
d
_valid_eq
commit
|
commitdiff
|
tree
2009-07-13
Sven
Verdoolaege
export
i
s
l_t
a
b_a
l
loc
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n Ve
r
d
oolaege
add i
s
l_int_l
e
commit
|
commitdiff
|
tree
2009-07-13
S
v
en Verdoolaege
privately exp
o
rt is
l
_
b
a
sic_set_recession_
c
o
n
e
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n Verdoola
e
ge
isl_
c
onv
e
x_hull
.
c: add missi
n
g ass
i
gnment
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoo
l
aege
privat
e
ly
e
xpor
t
isl_basic_set_li
n
ea
l
ity_space
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
isl_vec: kee
p
tra
c
k
o
f isl_
c
tx
commit
|
commitdiff
|
tree
2009-07-12
Sven Verdoo
l
aege
isl_coalesce
.
c: fix typo
commit
|
commitdiff
|
tree
2009-06-13
S
v
en
V
erdoolaege
upda
t
e pipli
b
for change in configure
a
r
g
u
m
ent
s
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaeg
e
isl_ba
s
ic
_
m
a
p
_
drop_redundant_divs: coalesce divs if
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolae
g
e
isl_ba
s
ic
_
map_drop_redundant_divs: s
e
t div
express
i
on
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven V
e
rdoola
e
ge
isl_basic_map_d
r
op_r
e
dundant_
d
i
v
s:
d
rop more k
i
n
d
s
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoo
l
a
e
ge
i
s
l_map_com
p
u
t
e_d
i
vs:
d
rop
o
bvious
l
y redundant
d
ivs
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
S
v
e
n Verdoolaege
isl_
m
ap_pip
l
ib
.
c: extremum_on
:
detect equal
i
tie
s
f
irst
commit
|
commitdiff
|
tree
2009-06-11
Sven Ver
d
oolaege
is
l
_pip_basi
c
_map
_
compute_
d
ivs:
r
emove s
o
m
e e
q
u
a
lit
i
es
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
S
ven Verdool
a
e
ge
isl_pip_bas
i
c_map_c
o
mpute_divs: separate out
dimension
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sv
e
n
V
e
rdoolaeg
e
i
sl_basic_set_preimage: h
a
ndle divs in input
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdool
a
ege
isl_input_omega
.
c:
m
a
ke
var
i
able_{free,new} sta
t
ic
commit
|
commitdiff
|
tree
2009-06-11
Sven
Verdoolae
g
e
isl_map
.
c:
ma
k
e add
_
d
i
vs static
commit
|
commitdiff
|
tree
2009-06-11
Sve
n
Ve
r
doo
l
aege
isl_
b
asic_map_simp
l
ify
:
det
e
ct div constraints wh
i
le
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
S
v
en Verdoolaege
i
sl_basic_map
_
drop: pro
p
e
rly handle dimen
s
ion
s
o
f typ
e
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
add isl_i
n
t_
m
u
l_ui
commit
|
commitdiff
|
tree
2009-06-07
S
ven Verdoo
l
aege
add is
l
_seq_
f
div_q
commit
|
commitdiff
|
tree
2009-06-07
Sv
e
n Verdoolaege
add i
s
l_seq_
f
div_r
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
isl_
b
as
i
c_map_detect_equalities: prope
r
ly
h
andle emp
t
y
.
.
.
commit
|
commitdiff
|
tree
next