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_tab: introduce support for "big parameters"
2009-08-07
Sven Verd
o
ola
e
ge
isl_
t
ab: in
t
ro
d
u
c
e
suppor
t
for "big paramet
e
rs"
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Verdoolaege
isl_ta
b
:
a
ll
o
w introduction of
e
xtra vari
a
bles
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Verdoolaege
i
s
l_t
a
b: in
t
roduce parameters
and
divs
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_tab
.
h: fix typo
i
n com
m
ent
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
erdool
a
eg
e
isl_ta
b
:
a
llow sav
i
n
g and restorin
g
t
h
e compl
e
te b
a
s
i
s
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoola
e
ge
isl_tab:
p
r
ivately export some function
a
lity
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdool
a
eg
e
isl_
t
ab: store u
n
do ar
g
umen
t
in a union for
future
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Ver
d
oola
e
ge
a
d
d isl_basic_
s
et_sampl
e
_
b
ou
n
ded
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
e
rdoolaege
privat
e
l
y
expo
r
t isl_basic_se
t
_order_di
v
s
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_map_
s
implify
.
c: r
e
mov
e
_depen
d
ent_vars: only
r
emove
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verd
o
ola
e
g
e
isl_basic_map_compute_divs: use isl_basic_set_l
e
xmin
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
v
e
n Verdoolaege
is
l
_pip_basic_map_compute_divs: don't turn
divs in
t
o
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
private
l
y
e
x
port isl_basic_map_swap_div
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoola
e
ge
i
sl_{set
,
map}_add: don't
add obviousl
y
empty ba
s
i
c
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven
Verdoolaege
combine isl_pip_basic_map_lex{min,max} into i
s
l_p
i
p_basic_ma
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Verdoolaege
ma
k
e
piplib headers private
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdo
o
laege
isl_mat: ke
e
p tra
c
k of the actual
n
umb
e
r
o
f columns
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
erdoolaege
i
s
l_
t
ab_pi
v
ot: f
i
x typo that pre
v
e
nted no
r
malization
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
a
dd
isl_basic_set_posi
t
ive_orthant
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Ve
r
doolaeg
e
a
d
d i
s
l_
b
as
i
c_set_partial_lex{min
,
max}
commit
|
commitdiff
|
tree
2009-08-07
S
ve
n
Verdoolaege
rename isl_basic_map_lex{min,max} to isl_basic_map_partial_l
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
ad
d
isl_basic_set_fr
e
e_
d
iv
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolae
g
e
isl_se
t
_
dim
:
suppo
r
t
i
s
l_dim_all
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
r
d
oolaege
isl_tab:
s
tore index o
f
variable in undo record
instead
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Ver
d
oolaege
add
isl_{set,m
a
p}_grow
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
add isl_map_get_dim
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n V
e
rdoola
e
g
e
add i
s
l_basic_map_get_
d
im
commit
|
commitdiff
|
tree
2009-08-04
Sven
V
erdo
o
laege
add isl_tab_dup
commit
|
commitdiff
|
tree
2009-08-04
S
v
en Ve
r
doolaege
export i
s
l_mat_dup
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdo
o
laege
i
s
l
_tab
.
c: ma
r
k_redun
d
a
n
t: only mark variable
nonneg
.
.
.
commit
|
commitdiff
|
tree
2009-08-04
Sve
n
V
e
rdo
o
laege
isl
_
tab
.
c
: to_ro
w
:
allow pivoting in arbitrary direction
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoola
e
ge
isl_tab
.
c: simpli
f
y
code
by letting mark
_
e
m
pty return tab
commit
|
commitdiff
|
tree
2009-08-04
Sve
n
Verd
o
olaege
add
i
sl_seq_
l
ast_non_zero
commit
|
commitdiff
|
tree
2009-08-04
Sve
n
Verdoolae
g
e
isl_ta
b
.
c: s
i
mplif
y
a
d
d_eq
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoo
l
aege
isl_tab
.
c: extract allocate_co
n
commit
|
commitdiff
|
tree
2009-07-22
Sven
Verdoolaeg
e
private
l
y
e
xport isl_basic_set_set_rationa
l
commit
|
commitdiff
|
tree
2009-07-22
S
ven Verdoolaege
config
u
r
e
.
ac: explic
i
tly
s
et AC_CONFI
G
_AUX_DIR
commit
|
commitdiff
|
tree
2009-07-21
Sven Verdoolaege
c
o
n
v
ex_hull
:
coalesce s
e
t du
r
ing facet
c
omputation
commit
|
commitdiff
|
tree
2009-07-21
Sven
V
erdoolaege
isl_map_coa
l
esce: do
n
't drop rational flag from re
s
ult
.
.
.
commit
|
commitdiff
|
tree
2009-07-20
Sv
e
n
V
erdoolaege
is
l
_tab_
c
o
n
e_
i
s_bounded: start over after c
o
mput
i
ng
.
.
.
commit
|
commitdiff
|
tree
2009-07-19
Sven Verdoolaege
is
l
_basic_set_dim_residue_cla
s
s: only set
*
modul
o
to
.
.
.
commit
|
commitdiff
|
tree
2009-07-16
Sven Verdoolaege
isl_tab:
drop isl_ctx argument where
not absolute
l
y
.
.
.
commit
|
commitdiff
|
tree
2009-07-16
Sve
n
Ve
r
doolaege
i
sl_mat:
keep track of isl_
c
tx
commit
|
commitdiff
|
tree
2009-07-16
Sven Verd
o
olaeg
e
isl_basic_set_sample
:
don't pr
o
ject out lin
e
ality s
p
ac
e
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
S
v
en V
e
rdo
o
laeg
e
isl_
b
asic_ma
p
_fix_po
s
: mic
r
o-o
p
timization
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
move isl_basic_
s
et_skew_to_p
o
sitive_orthant to
i
sl_sample
.
c
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
isl_tab
.
c: fix typo in com
m
ent
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdo
o
laege
isl_ba
s
ic_set_
s
ample: b
r
eak early if
s
ample fou
n
d in
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaeg
e
export isl_tab_sample
_
is_in
t
eger
commit
|
commitdiff
|
tree
2009-07-15
S
v
en Verdoola
e
ge
isl_basic_set_s
a
mpl
e
: c
h
eck sample stor
e
d by i
s
l_bas
i
c
_
map_i
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven V
e
rdoolaege
isl_basi
c
_map_
i
s_empty: remove stale s
a
mple
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
a
d
d
isl_polyhedron_sample appl
i
cation
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoola
e
ge
i
ntroduce gene
r
alize
d
ba
s
is reduction base
d
sampling
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaeg
e
add isl_seq_cdiv_q
commit
|
commitdiff
|
tree
2009-07-15
Sven
Verdoolaege
i
sl_samp
l
e
.
c: int
e
rva
l
_sample: d
r
op redundant argum
e
nt
commit
|
commitdiff
|
tree
2009-07-15
Sven Verd
o
olaege
isl_sample
.
c: clean u
p
handling of
linea
l
ity
space
commit
|
commitdiff
|
tree
2009-07-13
Sve
n
Verdoola
e
ge
is
l
_sa
m
p
le
.
c: extract out sa
m
p
l
e_eq
commit
|
commitdiff
|
tree
2009-07-13
S
v
e
n
Verdoolaege
isl_sampl
e
.
c
: interval_sa
m
ple: handle equalitie
s
d
i
rectl
y
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n Verdoolaege
isl_sample
.
c: extrac
t
out e
m
pty_sa
m
ple
commit
|
commitdiff
|
tree
2009-07-13
Sven
V
erdoolaege
isl_s
a
mple
.
c: gen
e
ralize point
_
sample to zero_sa
m
ple
commit
|
commitdiff
|
tree
2009-07-13
S
v
en Verdoolaege
isl_t
a
b: don't create new undo records during rollba
c
k
commit
|
commitdiff
|
tree
2009-07-13
Sven
V
er
d
oo
l
aeg
e
is
l
_tab
_
min: us
e
ge
n
eral rollback
mechan
i
s
m
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
isl_t
a
b: opti
o
nally s
a
ve dual so
l
ut
i
on
commit
|
commitdiff
|
tree
2009-07-13
Sve
n
Verdoolaege
isl_tab: add isl_tab_add_va
l
i
d_eq
commit
|
commitdiff
|
tree
2009-07-13
S
v
en
Verdoolaege
export i
s
l_t
a
b_alloc
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n
V
erdoolae
g
e
add
isl_int_le
commit
|
commitdiff
|
tree
2009-07-13
Sven Ver
d
oolae
g
e
privately
e
xport isl_basi
c
_set_
r
ecessio
n
_cone
commit
|
commitdiff
|
tree
2009-07-13
Sven Verd
o
olaege
isl_conve
x
_hu
l
l
.
c: add mi
s
sing assignment
commit
|
commitdiff
|
tree
2009-07-13
Sve
n
Verdoolaege
private
l
y
e
x
port isl_basi
c
_set_lin
e
a
lity_space
commit
|
commitdiff
|
tree
2009-07-13
Sven Ver
d
o
ol
a
ege
i
s
l_vec: keep
t
rack of
isl_ctx
commit
|
commitdiff
|
tree
2009-07-12
Sven Verdoolaege
isl_coales
c
e
.
c:
fix typo
commit
|
commitdiff
|
tree
2009-06-13
Sven Verdoolaege
update pip
l
ib for cha
n
ge
i
n conf
i
gure argument
s
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoola
e
ge
isl_
b
asic_map_dr
o
p_redundant_divs: c
o
alesce divs if
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sve
n
Ver
d
oolaege
isl_basic_m
a
p_drop_redund
a
n
t
_divs: set div
e
x
p
r
ession
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
i
sl_basic_map_drop_redu
n
dan
t
_divs: drop more kinds
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sv
e
n Verdool
a
e
ge
isl
_
m
a
p_compute_d
i
vs: drop
o
bviously redundant divs
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sv
e
n Verdool
a
ege
i
sl_map_pipl
i
b
.
c: extr
e
mum_on: detect equalities first
commit
|
commitdiff
|
tree
2009-06-11
Sven Ve
r
doo
l
aege
isl_p
i
p_basi
c
_map_compute_divs: remove s
o
me e
q
ualities
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
S
v
en
Verdool
a
ege
isl
_
pip_basi
c
_map_comput
e
_divs
:
sepa
r
ate out dim
e
n
si
o
n
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Ver
d
oolaege
is
l
_basic_
s
et_preimage: handle divs in in
p
ut
commit
|
commitdiff
|
tree
2009-06-11
Sve
n
Verdoolaege
isl_input_omega
.
c: make v
a
riable
_
{free,new} static
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_map
.
c:
m
ake add_divs static
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_basic
_
m
ap_simpl
i
fy:
detect div constraints
w
h
ile
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoo
l
a
e
ge
isl_basic
_
map_d
r
op: properly hand
l
e dimensions of type
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Ver
d
oolaege
add isl
_
int_mul_ui
commit
|
commitdiff
|
tree
2009-06-07
Sven Verd
o
olaege
add isl_seq_fdi
v
_q
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
add isl_seq
_
fdiv
_
r
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoo
l
a
ege
isl_basic_ma
p
_detec
t
_equalities: prop
e
rly han
d
le empty
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdo
o
laege
i
s
l_bas
i
c
_
map_is_empty:
e
x
plicit
l
y ma
r
k
b
a
sic sets
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sve
n
Ve
r
doolaege
isl_map
.
c: o
r
der_divs: swap with cor
r
ect
di
v
commit
|
commitdiff
|
tree
2009-06-07
Sven Ver
d
oolaege
is
l
_map_coalesc
e
: rem
o
ve ext
r
a d
i
vs introduced b
y
isl_map_al
.
.
.
commit
|
commitdiff
|
tree
2009-06-05
Sven Verdo
o
laege
add
isl_map_coal
e
sce
commit
|
commitdiff
|
tree
2009-05-19
Sv
e
n Ve
r
d
o
o
l
aege
add is
l
_set
_
p
roduc
t
commit
|
commitdiff
|
tree
2009-05-19
Sven Verdoolaege
export isl_map_dim
commit
|
commitdiff
|
tree
2009-05-06
Sven Verd
o
olaege
isl_map_convex
_
hull: handle unbound
e
d, but pointed
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
S
v
en Verdoolaege
p
ri
v
ately export isl_mat
_
u
nim
o
dul
a
r_co
m
plete
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoo
l
aege
isl_tab
.
c: add isl_tab
_
get
_
s
a
mple
_
v
a
lue
commit
|
commitdiff
|
tree
2009-05-06
Sven Verd
o
ol
a
ege
isl
_
map
_
co
n
ve
x
_hull: av
o
id introducing lineality spaces
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoo
l
a
ege
add
two
more convex hull test cases
commit
|
commitdiff
|
tree
2009-05-06
Sve
n
Verdoolaege
is
l
_map_convex
_
h
ull: remove lin
e
ality spac
e
i
f
a
n
y
.
.
.
commit
|
commitdiff
|
tree
next