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
V
erdoolaege
isl_basic_ma
p
_dete
c
t
_equalities: explicitly ke
e
p track
.
.
.
commit
|
commitdiff
|
tree
2009-08-13
Sven Verdoolaeg
e
i
s
l_
b
asic_map_extend_dim: keep hold of sample if dimension
.
.
.
commit
|
commitdiff
|
tree
2009-08-09
Sven Verdoolaege
isl_tab_mi
n
: read off al
l
info
r
mation f
r
om tableau
.
.
.
commit
|
commitdiff
|
tree
2009-08-09
Sven Verdoolaege
is
l
_tab_add_
v
alid
_
eq: k
e
e
p track
o
f whether
equality
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdo
o
laege
conf
i
g
ur
e
.
ac: no longer use
p
ipli
b
by
defa
u
lt
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
a
d
d an internal p
a
rametric integ
e
r linear program solver
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Verdo
o
laege
is
l
_mat_exten
d
:
m
a
ke sur
e
the number o
f
rows never
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verd
o
olaege
isl_affine_hul
l
.
c: on
l
y construct affine hull in
b
o
unded
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_tab: add sup
p
o
r
t
fo
r
kee
p
i
ng track of samples
commit
|
commitdiff
|
tree
2009-08-07
Sven Ve
r
do
o
laege
is
l
_
t
ab: optionally ke
e
p
track of row sign
s
commit
|
commitdiff
|
tree
2009-08-07
S
ven Verdoolaeg
e
isl_tab: add isl_bas
i
c_set fiel
d
f
or op
t
ionally keeping
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
v
en
V
e
r
d
oolaeg
e
is
l
_ta
b
: introduce sup
p
o
r
t for "big parame
t
ers"
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n
V
erdo
o
laege
i
s
l_tab: allow introdu
c
tion of
e
xtra varia
b
les
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Verd
o
olae
g
e
isl_tab: i
n
t
r
oduce p
a
ra
m
et
e
rs and divs
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_tab
.
h: fix typo in
c
o
m
ment
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
V
erdoolaege
isl_tab:
allow
saving and restoring the com
p
lete basis
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
is
l
_tab: pr
i
vately export some
f
unctionality
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_
t
ab: st
o
re undo ar
g
ument in a union for future
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven
Verdoolaege
a
d
d isl_basic_
s
e
t
_sa
m
ple_bounded
commit
|
commitdiff
|
tree
2009-08-07
S
v
e
n Ve
r
doola
e
ge
p
r
i
v
atel
y
export
i
s
l
_
basic_se
t
_order_divs
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
rdoolaege
i
s
l
_m
a
p_simpl
i
fy
.
c: remove_depen
d
en
t
_
v
ars:
o
n
l
y
rem
o
v
e
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n
Verdoolaege
isl_basic_map_compute_d
i
vs: use isl_basic_set_lexmin
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
erdoolaege
is
l
_
pi
p
_basic_map
_
compute_div
s
: don't turn d
i
vs
into
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
e
rdoola
e
ge
privat
e
l
y
ex
p
ort
i
sl_b
a
si
c
_map_sw
a
p_div
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Verdoolaeg
e
isl_{set,
m
ap}_
a
dd: don't
add
obviously
e
mpty
b
asic
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
er
d
o
o
l
a
ege
combine isl_pi
p
_
b
a
s
ic_map_lex{
m
in,
m
a
x
} into isl_pip_bas
i
c_ma
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdool
a
ege
make pipli
b
h
e
ad
e
rs pr
i
vate
commit
|
commitdiff
|
tree
2009-08-07
S
ven Verdoolaege
i
s
l_mat: keep
t
rack of
t
he actual number of
col
u
mn
s
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Verdoolaege
isl_tab_piv
o
t: fix
t
ypo that prev
e
n
ted n
o
rmaliz
a
t
ion
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
ve
n
Verdool
a
ege
add isl_bas
i
c
_
s
e
t
_pos
i
tive
_
orthant
commit
|
commitdiff
|
tree
2009-08-07
Sven Ve
r
doo
l
aege
ad
d
isl
_
basic_set_partial_lex{min
,
ma
x
}
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Verdoola
e
ge
rename
isl_basic_m
a
p_le
x
{min,m
a
x} t
o
isl_ba
s
ic_ma
p
_
p
artial_l
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdo
o
l
aege
add isl_basic_set_free_di
v
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
rdoola
e
g
e
is
l
_set_di
m
: s
u
pport isl_dim_all
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaeg
e
isl_tab:
s
t
ore index of variable in undo record inste
a
d
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Ve
r
doolaege
add isl_{
s
et,map
}
_grow
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaeg
e
add isl_map_
g
et_d
i
m
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
e
rdoolaege
add isl_
b
a
sic_
m
ap_get_
d
im
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaeg
e
add isl_tab_du
p
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaege
expor
t
isl_mat_d
u
p
commit
|
commitdiff
|
tree
2009-08-04
Sven
Verdoolaege
i
sl_tab
.
c
: mark_redundant: only m
a
rk variab
l
e nonneg
.
.
.
commit
|
commitdiff
|
tree
2009-08-04
Sven V
e
rdoolaege
is
l
_
tab
.
c
:
to_row:
a
llow p
i
vot
i
ng
in arbitr
a
ry direc
t
i
on
commit
|
commitdiff
|
tree
2009-08-04
Sven Ve
r
do
o
laeg
e
isl_tab
.
c: simplify code by let
t
ing ma
r
k_empty retur
n
t
ab
commit
|
commitdiff
|
tree
2009-08-04
S
ven Verdoolaege
add is
l
_seq_
l
as
t
_non
_
zero
commit
|
commitdiff
|
tree
2009-08-04
S
ve
n
V
erdoolaege
i
sl_tab
.
c: simpli
f
y add_eq
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaege
is
l
_tab
.
c: extract all
o
cate_con
commit
|
commitdiff
|
tree
2009-07-22
Sven Verd
o
olaege
p
r
ivate
l
y exp
o
rt isl_basic_se
t
_set_rational
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
c
o
nfigure
.
ac: explicitly set AC_CONFIG_AUX_DIR
commit
|
commitdiff
|
tree
2009-07-21
Sven Verdoola
e
ge
convex
_
hull:
c
oales
c
e s
e
t
durin
g
f
a
cet computatio
n
commit
|
commitdiff
|
tree
2009-07-21
Sv
e
n V
e
rdoolaege
i
s
l_map_coalesce: do
n
't drop rational
fl
a
g from result
.
.
.
commit
|
commitdiff
|
tree
2009-07-20
Sv
e
n Verdoolaege
i
sl_tab_
c
o
n
e
_i
s
_bounded: start over after computi
n
g
.
.
.
commit
|
commitdiff
|
tree
2009-07-19
Sven Ver
d
oolaege
isl_basic_set_di
m
_resi
d
ue_class: only set *modulo
to
.
.
.
commit
|
commitdiff
|
tree
2009-07-16
Sven Verdool
a
ege
isl_tab: drop isl
_
ctx argument w
h
e
re no
t
absolutely
.
.
.
commit
|
commitdiff
|
tree
2009-07-16
S
ven
V
erdo
o
l
a
ege
isl_mat
:
keep track
o
f isl_ctx
commit
|
commitdiff
|
tree
2009-07-16
Sven Verdoo
l
a
ege
isl_
b
asic_set_sample:
d
on't
p
ro
j
ec
t
out lin
e
a
l
ity space
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
isl_
b
asic_m
a
p_fix_p
o
s
:
m
i
c
r
o
-optimization
commit
|
commitdiff
|
tree
2009-07-15
S
v
e
n
Verdool
a
ege
mo
v
e isl_basic_set_skew_to_positive_o
r
tha
n
t to isl
_
s
ample
.
c
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
isl_
t
ab
.
c: fix typo i
n
comment
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
isl_ba
s
ic_set_sample: bre
a
k
e
a
rly if
s
ample
f
oun
d
in
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
export isl_tab_sample_is_integer
commit
|
commitdiff
|
tree
2009-07-15
Sv
e
n Ve
r
dool
a
ege
isl_b
a
sic_set_
s
a
mple
:
c
h
eck
sample stored by isl_basi
c
_
map_i
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
isl_basic_map
_
i
s
_empty: remove st
a
le samp
l
e
commit
|
commitdiff
|
tree
2009-07-15
Sven V
e
rdoolaege
add isl_p
o
lyhedron_sa
m
ple application
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdool
a
ege
introduce ge
n
eralized ba
s
is reduction based sampling
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolae
g
e
add
isl_seq_cdiv_q
commit
|
commitdiff
|
tree
2009-07-15
S
v
en Verdoolaege
isl_sa
m
ple
.
c: inte
r
val_sample: drop red
u
n
d
an
t
argument
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdo
o
la
e
ge
isl_s
a
mple
.
c: clean up
handling of lineali
t
y
s
pa
c
e
commit
|
commitdiff
|
tree
2009-07-13
Sven V
e
rdoolae
g
e
isl_sam
p
le
.
c: ex
t
r
a
c
t ou
t
sample_e
q
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoola
e
ge
isl_sample
.
c
: interval_s
a
mp
l
e: handle equal
i
ties direc
t
l
y
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoo
l
aege
isl_sample
.
c
:
e
x
tract o
u
t empty_sample
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n Verdoolaege
isl_sam
p
le
.
c: gen
e
r
alize point_
s
ample to zero_
s
ample
commit
|
commitdiff
|
tree
2009-07-13
S
ven
Verdoolaege
isl_
t
ab: don
'
t
c
r
eate new un
d
o
rec
o
rds durin
g
rollback
commit
|
commitdiff
|
tree
2009-07-13
Sven Ve
r
doolaege
isl_ta
b
_min: use genera
l
r
o
llback m
e
chanism
commit
|
commitdiff
|
tree
2009-07-13
S
v
en Verdo
o
l
a
ege
is
l
_
t
ab: optional
l
y save dual solution
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
isl_tab: add isl_tab_add_valid_e
q
commit
|
commitdiff
|
tree
2009-07-13
Sven Verd
o
ola
e
ge
ex
p
ort isl_tab_allo
c
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoola
e
ge
add
i
sl_int
_
le
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n V
e
rdoolaege
pr
i
vately export isl_basic_set_recession_cone
commit
|
commitdiff
|
tree
2009-07-13
Sven Ver
d
oo
l
ae
g
e
isl_con
v
ex_
h
ull
.
c: ad
d
missi
n
g assignment
commit
|
commitdiff
|
tree
2009-07-13
Sven Verd
o
olaege
pr
i
vately export isl_basic_set
_
lin
e
alit
y
_space
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n Verdoolaege
i
sl_vec: keep track
o
f isl_ctx
commit
|
commitdiff
|
tree
2009-07-12
Sven Verdoolaege
isl_co
a
lesce
.
c:
fix typo
commit
|
commitdiff
|
tree
2009-06-13
Sven Verdoolaege
update pipl
i
b for change i
n
confi
g
ure argume
n
ts
commit
|
commitdiff
|
tree
2009-06-11
Sv
e
n Verdo
o
laege
isl_basic_map_drop_redundant_
d
ivs: coale
s
ce divs if
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sve
n
Ver
d
oolaege
isl_basic_map_d
r
op_red
u
ndant
_
divs:
s
et
d
iv express
i
on
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolae
g
e
isl_basic_map_drop
_
redun
d
a
n
t_divs: drop more k
i
n
d
s
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sv
e
n Verdo
o
lae
g
e
i
sl_
m
ap_compute_divs
:
dr
o
p obviously re
d
undant d
i
vs
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven
Ve
r
doolaege
isl_map_piplib
.
c: ext
r
emum_on: detect equalities fir
s
t
commit
|
commitdiff
|
tree
2009-06-11
Sven V
e
rdoolaege
i
s
l_pi
p
_basi
c
_map_compute_div
s
: remov
e
so
m
e equalities
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven
V
erdoolaege
is
l
_pip_basic_m
a
p
_co
m
pute_divs: separate out
dimension
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaeg
e
isl_basic_set_pre
i
mage: handle
d
ivs in inp
u
t
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl
_
input_o
m
ega
.
c: ma
k
e
var
i
a
ble_
{
f
r
e
e,new} static
commit
|
commitdiff
|
tree
2009-06-11
Sv
e
n Verd
o
o
l
ae
g
e
isl_map
.
c: make a
d
d_
d
ivs stat
i
c
commit
|
commitdiff
|
tree
2009-06-11
S
ven Verdo
o
laege
i
s
l_basic_map_si
m
plify: detect div constraint
s
w
hile
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
S
v
en V
e
rdoolaeg
e
isl_basic
_
map_drop:
p
roperl
y
ha
n
dle dimension
s
o
f
type
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven V
e
r
d
oo
l
aege
add
isl_int_mul_ui
commit
|
commitdiff
|
tree
2009-06-07
Sve
n
V
e
rdoola
e
ge
add
i
sl_seq_fd
i
v_
q
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
ad
d
isl_seq_fdiv_r
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaeg
e
isl_basic_map_
d
etect
_
equa
l
ities: properly h
a
nd
l
e empty
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sv
e
n Verdoolae
g
e
isl_bas
i
c_map
_
is_empty:
explicitly mar
k
basic sets
.
.
.
commit
|
commitdiff
|
tree
next