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 Verdoola
e
g
e
isl_basic_map
_
extend_d
i
m: keep
h
old of sample if dimension
.
.
.
commit
|
commitdiff
|
tree
2009-08-09
Sven Ve
r
doolaege
isl_tab_min: r
e
ad
off
a
l
l infor
m
at
i
o
n from tableau
.
.
.
commit
|
commitdiff
|
tree
2009-08-09
Sven Verdoo
l
aege
i
s
l_
t
ab_add_valid_eq: keep tra
c
k of whether eq
u
ality
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
c
onfigur
e
.
ac:
n
o
l
on
g
er use piplib by default
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
rdoolae
g
e
ad
d
an internal pa
r
ametri
c
integer linear prog
r
am so
l
v
er
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_m
a
t_extend
:
make sure the number of r
o
ws neve
r
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_af
f
i
ne_hull
.
c: only
c
o
ns
t
ruct affin
e
hull
i
n bounded
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_tab: add s
u
pport for keeping track o
f
samples
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdool
a
ege
isl_tab: optio
n
ally keep track of row signs
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Verdoolaege
isl_tab:
a
dd
i
sl
_
basic_
s
et fie
l
d for
optionally keeping
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verd
o
olaege
isl_tab: introdu
c
e
s
u
p
port for "big parameters
"
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
erdool
a
eg
e
isl
_
t
ab: allo
w
intr
o
duction of
extra variables
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
e
r
dool
a
ege
i
sl_tab: introd
u
c
e
p
arameter
s
and divs
commit
|
commitdiff
|
tree
2009-08-07
S
v
e
n
Verdoo
l
ae
g
e
isl_tab
.
h: f
i
x typo in comment
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
rdoolae
g
e
isl_t
a
b: allo
w
savin
g
and restoring th
e
complet
e
basis
commit
|
commitdiff
|
tree
2009-08-07
S
ven Verdo
o
laege
is
l
_tab: privat
e
l
y
expo
r
t som
e
fun
c
tio
n
ality
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Verdool
a
ege
isl
_
tab:
store undo argu
m
e
n
t i
n
a union for f
u
tu
r
e
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Ver
d
o
o
lae
g
e
ad
d
is
l
_basic
_
set_sample_bound
e
d
commit
|
commitdiff
|
tree
2009-08-07
Sven Verd
o
ola
e
ge
p
r
ivately
export is
l
_basic_set_order_di
v
s
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoola
e
ge
i
s
l_map_
s
impl
i
fy
.
c: re
m
ove_dependent_vars: only remove
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_basic_map_compute_divs: u
s
e isl_basic_set_lexmin
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
r
d
oolaege
isl_pip_basic
_
map_compute_
d
i
vs: don't t
u
rn
d
ivs into
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
ven Verdo
o
laege
p
r
i
v
a
tely export isl_basic_map_swap_div
commit
|
commitdiff
|
tree
2009-08-07
Sven Ve
r
doolaege
isl_{set,
m
ap
}
_add: don't add obvio
u
sly empty basi
c
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Ve
r
doolae
g
e
combine isl_pip_basic_map_lex{min,
m
ax} in
t
o isl_
p
ip_basic_ma
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven
Ver
d
o
o
la
e
ge
m
a
ke piplib headers private
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdo
o
laege
isl_
m
at: keep track of the actual number
o
f
c
olum
n
s
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
ven
Verdoolaege
isl_tab
_
pivot: fix typ
o
that pr
e
vented normalization
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
add isl_basic_set
_
posit
i
ve_orthant
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdo
o
laege
add isl_basic_set
_
partial_lex{min,max}
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoola
e
ge
rename isl_basic_
m
ap_lex{min,max
}
to isl_bas
i
c_m
a
p_partial_l
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaeg
e
add isl_
b
asic_se
t
_free_div
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdo
o
laege
is
l
_
s
e
t
_dim: s
u
pport isl_dim_all
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
erdoolaege
is
l
_tab
:
s
t
ore index o
f
variable in undo
rec
o
rd inste
a
d
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Verdoolaege
add
i
sl_{set,map}_grow
commit
|
commitdiff
|
tree
2009-08-07
S
ven Verdoolaege
add isl_map_get_dim
commit
|
commitdiff
|
tree
2009-08-07
Sven Ver
d
oo
l
a
e
ge
add isl_basic_map_get_dim
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaege
add isl_tab_dup
commit
|
commitdiff
|
tree
2009-08-04
Sven Ver
d
o
o
laege
exp
o
rt i
s
l_mat_dup
commit
|
commitdiff
|
tree
2009-08-04
Sven V
e
rdoo
l
aege
isl_tab
.
c: mark_r
e
dund
a
nt: only
m
ark variable no
n
neg
.
.
.
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdool
a
ege
isl_tab
.
c: to_row: all
o
w p
i
voting in
a
rbi
t
rary di
r
ection
commit
|
commitdiff
|
tree
2009-08-04
S
v
e
n
Verdool
a
ege
i
sl_t
a
b
.
c: sim
p
l
i
fy
c
ode
by
l
etting mar
k
_empty return tab
commit
|
commitdiff
|
tree
2009-08-04
Sven V
e
rdoolaege
add isl_seq
_
last_non_ze
r
o
commit
|
commitdiff
|
tree
2009-08-04
Sv
e
n Verdoo
l
aege
isl_tab
.
c: simplify add_eq
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaege
isl_tab
.
c: extract
allocat
e
_con
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaeg
e
p
riva
t
ely export isl_basic_set_se
t
_rational
commit
|
commitdiff
|
tree
2009-07-22
S
ven
V
e
r
d
o
ol
a
e
g
e
con
f
igure
.
ac: explicitly set AC_CONFIG_AUX
_
DIR
commit
|
commitdiff
|
tree
2009-07-21
Sven Ve
r
doolaege
convex_hull: coalesce set durin
g
fac
e
t computati
o
n
commit
|
commitdiff
|
tree
2009-07-21
S
v
en V
e
rdoolaege
i
s
l_map_coalesce:
d
on't drop rational flag f
r
om re
s
ult
.
.
.
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdo
o
laege
isl_tab_con
e
_
i
s_bound
e
d:
start ov
e
r
after c
o
m
p
uting
.
.
.
commit
|
commitdiff
|
tree
2009-07-19
S
ven Verdoola
e
g
e
i
sl_basic_set_dim_r
e
sidue_class:
o
nly
s
et *modu
l
o
t
o
.
.
.
commit
|
commitdiff
|
tree
2009-07-18
Sven Verdoolaege
add i
s
l_basic_set_fast_dim_is_fi
x
ed
commit
|
commitdiff
|
tree
2009-07-16
S
v
en Verdoolaeg
e
isl_tab: drop
i
sl_c
t
x ar
g
ument w
h
ere not abso
l
u
t
ely
.
.
.
commit
|
commitdiff
|
tree
2009-07-16
Sven Verdoolaeg
e
isl_mat: keep track of isl_ctx
commit
|
commitdiff
|
tree
2009-07-16
S
ven Verdoolaeg
e
isl_
b
asic_se
t
_sampl
e
: don't project out linea
l
ity space
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdool
a
ege
isl_b
a
sic_map_fix_pos: micro-opti
m
izat
i
on
commit
|
commitdiff
|
tree
2009-07-15
S
v
e
n V
e
rdoolaege
move isl_basic_set_skew
_
to_positiv
e
_ortha
n
t to isl_sam
p
le
.
c
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoo
l
aege
isl_tab
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
isl_basic_set_sample:
b
reak ea
r
ly i
f
sample found in
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
export isl_tab_sample_is_integer
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaeg
e
i
s
l_basic_set_sampl
e
: che
c
k sample sto
r
ed by
i
sl_basic_map_i
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
S
ven V
e
r
dool
a
ege
isl_basic_map_is_
e
mpty: remo
v
e
s
ta
l
e sample
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolae
g
e
add isl_p
o
lyhedro
n
_sample a
p
p
l
i
c
ation
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
in
t
roduce
g
eneraliz
e
d basi
s
reduction based sampling
commit
|
commitdiff
|
tree
2009-07-15
S
v
en Verdoolaege
a
d
d isl_s
e
q
_
cdiv_q
commit
|
commitdiff
|
tree
2009-07-15
Sven V
e
r
d
oolaege
isl_
s
a
mp
l
e
.
c:
i
nterval_sample: drop red
u
ndant
a
r
g
um
e
n
t
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
isl_sample
.
c
:
c
l
ea
n
up handli
n
g
of lineality space
commit
|
commitdiff
|
tree
2009-07-13
S
v
en Verdo
o
laege
isl_sample
.
c
: extrac
t
out sample_eq
commit
|
commitdiff
|
tree
2009-07-13
Sven
V
e
rdoolaege
isl_sample
.
c: interval
_
sample:
handle equali
t
i
e
s
directly
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
isl_
s
ample
.
c: extract o
u
t empty_sa
m
ple
commit
|
commitdiff
|
tree
2009-07-13
S
ven
Verdoolaeg
e
isl_sample
.
c:
g
eneral
i
ze point_sample to zero_sa
m
ple
commit
|
commitdiff
|
tree
2009-07-13
Sve
n
Verdoolaege
isl_tab: don
'
t
create new undo records
during roll
b
a
c
k
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
isl_tab
_
min: use genera
l
rollback
mec
h
a
nism
commit
|
commitdiff
|
tree
2009-07-13
S
v
e
n
Verdoolaege
isl_tab: opti
o
n
a
lly
s
a
v
e du
a
l solution
commit
|
commitdiff
|
tree
2009-07-13
S
v
e
n Verdoola
e
g
e
isl_tab
:
add
i
sl_tab_add_valid
_
eq
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
expor
t
isl_tab_all
o
c
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
add isl_int_le
commit
|
commitdiff
|
tree
2009-07-13
S
ven
Verdoolaege
private
l
y
e
xport isl_basic_se
t
_recession_co
n
e
commit
|
commitdiff
|
tree
2009-07-13
S
v
e
n
Verdoolaege
isl_convex_hul
l
.
c: add miss
i
ng
a
ssignment
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoola
e
ge
privately
expo
r
t isl_bas
i
c
_set_lineali
t
y_space
commit
|
commitdiff
|
tree
2009-07-13
Sven Ve
r
dool
a
ege
isl_vec: keep track of isl_ctx
commit
|
commitdiff
|
tree
2009-07-12
Sv
e
n Verd
o
olae
g
e
isl_coalesce
.
c
:
f
ix
typo
commit
|
commitdiff
|
tree
2009-06-13
Sv
e
n
Verd
o
ol
a
ege
update piplib for cha
n
ge in configure arguments
commit
|
commitdiff
|
tree
2009-06-11
S
v
en Verdoolaege
isl_basic_map_drop_redundant_divs
:
coalesce divs if
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
S
ven Ver
d
o
olaege
isl_basic_
m
ap_dro
p
_
r
edundant_di
v
s: set div e
x
pression
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sv
e
n Verdoolaeg
e
is
l
_
b
asic_map_
d
rop_re
d
undant_divs: drop mo
r
e
kin
d
s
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl
_
map
_
comput
e
_divs: drop obviousl
y
r
e
d
undant
d
ivs
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl
_
map_piplib
.
c: extr
e
mum_on:
de
t
ect equalities firs
t
commit
|
commitdiff
|
tree
2009-06-11
Sv
e
n V
e
r
d
oolaeg
e
isl_pip_basic_map_compute_divs: rem
o
ve some equalit
i
es
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Ver
d
oola
e
ge
isl_pip_basic_map_comp
u
te_divs: separate out dimension
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_basic_
s
et
_
pr
e
image: handle
d
ivs
i
n
input
commit
|
commitdiff
|
tree
2009-06-11
Sv
e
n Verdoolaege
isl_
i
nput_omega
.
c: make variable_{free,
n
ew
}
static
commit
|
commitdiff
|
tree
2009-06-11
Sven V
e
rd
o
o
laege
isl_map
.
c: make
add_div
s
static
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolae
g
e
isl_bas
i
c_map_si
m
plif
y
: detect di
v
cons
t
raints while
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven V
e
rdo
o
laege
isl_
b
asic
_
m
ap_drop: properly handle
dimensions
of
t
yp
e
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
S
v
en
V
e
r
doolaege
add i
s
l_int
_
mul_ui
commit
|
commitdiff
|
tree
2009-06-07
Sven Ver
d
ool
a
ege
add isl_seq_fdi
v
_q
commit
|
commitdiff
|
tree
2009-06-07
S
v
e
n
V
e
rdoola
e
ge
add isl_seq_fdiv_r
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdool
a
ege
is
l
_ba
s
ic_
m
a
p
_
d
etec
t
_
e
qual
i
ties
:
proper
l
y handle empty
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Ver
d
oolae
g
e
isl_
b
asic_map_is_empty: explicitly mark basic
sets
.
.
.
commit
|
commitdiff
|
tree
next