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
privately export isl_basic_set_order_divs
2009-08-07
S
v
e
n Verdoola
e
g
e
privately
export isl_
b
asi
c
_set_order_divs
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Ver
d
oolaege
isl_map
_
s
i
mpli
f
y
.
c: re
m
ove_depen
d
ent_va
r
s
: only r
e
move
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
erdoolaege
is
l
_
b
as
i
c_map_compute_divs: use
i
sl_bas
i
c_set_lexmin
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Verd
o
olaege
isl_pip_b
a
s
i
c_map_compute_divs: d
o
n't turn divs into
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
r
doolaeg
e
p
r
ivately expor
t
isl_basic_map_swap_div
commit
|
commitdiff
|
tree
2009-08-07
Sven Ve
r
doolaege
isl_{
s
et,ma
p
}_add: don'
t
add
o
bv
i
ously empty basic
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n V
e
r
doolaege
combine is
l
_
p
ip_ba
s
ic_map_le
x
{min,max} i
n
to
isl_
p
ip_basic_ma
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoo
l
aege
m
a
k
e
piplib headers
p
rivate
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
rdoolaege
isl_mat: keep
track of
the actual number of column
s
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven
Verdo
o
laege
isl_tab_pivot: fix typo that
p
revented
n
ormaliz
a
tio
n
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Verdoolaege
add isl_basic_set_positive_ort
h
ant
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdo
o
laege
add isl
_
basic_set_partial_lex{min,max}
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Verdo
o
laege
rename isl_basic_ma
p
_
l
ex{min,max} to isl_basic_map_partial_l
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Ver
d
oolaege
add is
l
_basic_
s
et_fr
e
e_div
commit
|
commitdiff
|
tree
2009-08-07
Sven Verd
o
ola
e
ge
isl
_
s
e
t_dim: sup
p
ort isl_dim_all
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Verd
o
olaege
is
l
_tab: s
t
ore i
n
dex of v
a
riable in undo
r
ecord instead
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Verdoolaege
a
d
d isl_{set,map}_grow
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
add
i
s
l
_map_get_d
i
m
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdool
a
ege
add is
l
_basic_ma
p
_get_dim
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolae
g
e
add
isl_tab_dup
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdool
a
ege
export isl_mat_dup
commit
|
commitdiff
|
tree
2009-08-04
Sve
n
Verdoolaege
isl_tab
.
c: m
a
r
k_r
e
dunda
n
t
: only mark variable nonneg
.
.
.
commit
|
commitdiff
|
tree
2009-08-04
Sv
e
n Verd
o
olaege
isl
_
t
ab
.
c: to
_
row: allow
pivoting in arbit
r
ary dire
c
tion
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdool
a
e
ge
isl_ta
b
.
c: simpli
f
y co
d
e by letting
mark_empty return tab
commit
|
commitdiff
|
tree
2009-08-04
Sven Ve
r
d
o
olaege
add isl_seq_
l
a
s
t
_
n
on_zero
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaege
isl_tab
.
c: sim
p
lify
add_
e
q
commit
|
commitdiff
|
tree
2009-08-04
Sv
e
n Verd
o
ola
e
ge
i
s
l_tab
.
c:
e
xtract a
l
lo
c
ate_c
o
n
commit
|
commitdiff
|
tree
2009-07-22
S
v
en Verdool
a
ege
privately e
x
p
ort is
l
_basic_set_s
e
t_rational
commit
|
commitdiff
|
tree
2009-07-22
Sve
n
Verdool
a
ege
configure
.
a
c
: explicitl
y
se
t
AC_CONFIG_AUX_DIR
commit
|
commitdiff
|
tree
2009-07-21
Sven Verdoolaeg
e
c
o
nvex_
h
ull: coalesce set dur
i
ng facet
computat
i
o
n
commit
|
commitdiff
|
tree
2009-07-21
Sv
e
n Verdo
o
laege
isl
_
map_co
a
lesce: don't drop ration
a
l flag from result
.
.
.
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoolaege
isl_tab_cone_is_b
o
unded: sta
r
t
o
ver
af
t
er computin
g
.
.
.
commit
|
commitdiff
|
tree
2009-07-19
Sve
n
Verdoolaege
isl_basic
_
s
e
t
_
d
im_residue_class: only set *modulo to
.
.
.
commit
|
commitdiff
|
tree
2009-07-18
Sven Verdoolaege
add isl_basic_set_fast_dim_i
s
_f
i
xed
commit
|
commitdiff
|
tree
2009-07-16
Sve
n
Verdoola
e
ge
isl_t
a
b: drop isl_ctx argument where not a
b
s
o
l
utely
.
.
.
commit
|
commitdiff
|
tree
2009-07-16
Sven Verdoolae
g
e
i
s
l_m
a
t: ke
e
p track of
isl_ctx
commit
|
commitdiff
|
tree
2009-07-16
Sven Verdoolaege
is
l
_basic_set_sample: don't project ou
t
lineality space
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sv
e
n
V
erdoola
e
ge
isl_b
a
sic_map
_
fix_pos: mi
c
ro
-
optimization
commit
|
commitdiff
|
tree
2009-07-15
Sven V
e
rdo
o
l
a
eg
e
move isl_basic_set_skew_to
_
positive_orthant to
isl_sa
m
p
l
e
.
c
commit
|
commitdiff
|
tree
2009-07-15
S
v
en
V
erdo
o
laege
isl_tab
.
c:
f
ix typo
i
n comment
commit
|
commitdiff
|
tree
2009-07-15
Sve
n
Verdoolaege
i
s
l_basic_set_sa
m
ple: break ear
l
y if s
a
mple
f
ound in
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
export isl_tab_samp
l
e_is
_
i
nteg
e
r
commit
|
commitdiff
|
tree
2009-07-15
Sven Ve
r
doolaege
isl
_
basic_
s
et_samp
l
e: c
h
e
c
k
sampl
e
stor
e
d by
isl_basic
_
map_i
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
S
ven Verdoolaege
isl_bas
i
c_map_is_empty
:
remove stale
s
am
p
le
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolae
g
e
add
i
s
l_po
l
yhedron_sample application
commit
|
commitdiff
|
tree
2009-07-15
Sven
V
erdoolaege
introd
u
ce
g
eneraliz
e
d basis red
u
cti
o
n base
d
sampling
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
a
dd i
s
l_
s
e
q_cdiv_q
commit
|
commitdiff
|
tree
2009-07-15
Sv
e
n V
e
rdoolaeg
e
isl
_
sample
.
c: interval_sample: dr
o
p
r
e
d
u
ndan
t
argument
commit
|
commitdiff
|
tree
2009-07-15
Sven Verd
o
olaege
isl_sam
p
le
.
c: clean up handling of lineality
space
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
i
s
l_sample
.
c
:
extract
o
ut samp
l
e_eq
commit
|
commitdiff
|
tree
2009-07-13
S
ven
V
er
d
oola
e
g
e
isl_s
a
m
ple
.
c: interval_sample: handle equalities directly
commit
|
commitdiff
|
tree
2009-07-13
Sven V
e
rdoolae
g
e
isl_sample
.
c: extrac
t
out empty_sample
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n Verdoola
e
ge
i
s
l_sa
m
ple
.
c:
generalize poin
t
_sample to zero_sa
m
ple
commit
|
commitdiff
|
tree
2009-07-13
Sven Verd
o
olaege
isl_
t
ab: do
n
't create
new und
o
rec
o
rds during rollback
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
i
s
l_tab_min: u
s
e ge
n
eral r
o
llback mechanism
commit
|
commitdiff
|
tree
2009-07-13
S
v
e
n
Ver
d
oolae
g
e
isl
_
tab
:
op
t
ionally save d
u
al solution
commit
|
commitdiff
|
tree
2009-07-13
S
v
en V
e
rdoolaege
isl_tab: add isl_tab_add_valid_eq
commit
|
commitdiff
|
tree
2009-07-13
S
v
en Verdoolaege
exp
o
rt isl_
t
ab_alloc
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
add isl_int_l
e
commit
|
commitdiff
|
tree
2009-07-13
Sven V
e
rd
o
olaege
privately export isl_basic_set
_
recessi
o
n_co
n
e
commit
|
commitdiff
|
tree
2009-07-13
Sven Ver
d
oolaege
isl_convex_hull
.
c
:
add missing a
s
sig
n
me
n
t
commit
|
commitdiff
|
tree
2009-07-13
Sven
Verdoolaege
private
l
y export i
s
l_basic_se
t
_l
i
neal
i
ty_space
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
isl_vec: ke
e
p track
of isl_ctx
commit
|
commitdiff
|
tree
2009-07-12
Sven Ver
d
oolaege
isl_coalesce
.
c: f
i
x typo
commit
|
commitdiff
|
tree
2009-06-13
Sven Verdoolaeg
e
u
pdat
e
p
i
plib f
o
r
c
hange in configure arguments
commit
|
commitdiff
|
tree
2009-06-11
Sven Verd
o
olaege
isl_basic_map_drop
_
red
u
ndant_d
i
vs
:
c
o
al
e
sce
d
ivs if
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sve
n
Ver
d
oo
l
aege
isl
_
basic_map_
d
ro
p
_redundant_d
i
v
s: set div expression
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
S
v
en Ve
r
dool
a
ege
isl_basic_
m
ap_d
r
op_redundant_divs: d
r
op more ki
n
ds
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
S
v
en Verdoo
l
aege
isl_map
_
compute_div
s
: drop
obviously
r
edun
d
ant div
s
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Ve
r
doolaege
i
s
l
_map_pip
l
i
b
.
c: extre
m
um_on: detect equalities fir
s
t
commit
|
commitdiff
|
tree
2009-06-11
Sven V
e
rdoola
e
ge
i
s
l_pip_basic_map
_
compute_divs: r
e
mo
v
e some equalities
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolae
g
e
isl_pip_
b
asi
c
_map_compute_d
i
vs: separate out
dimension
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven
Verdoolaege
isl
_
basic_set_p
r
e
image: han
d
le d
i
vs in
input
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoola
e
ge
isl_inpu
t
_omega
.
c
: make
var
i
able_{free,n
e
w
} static
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_map
.
c: make
add_divs st
a
tic
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoo
l
aege
i
s
l_basic_map_s
i
m
p
lify
:
d
etect div constraints while
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdo
o
laege
isl_bas
i
c_map_
d
r
o
p: pro
p
e
rly
handle dimensions of
t
yp
e
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdool
a
ege
add
isl_int_mul_
u
i
commit
|
commitdiff
|
tree
2009-06-07
Sven V
e
rd
o
ola
e
ge
add isl_seq
_
fdiv_q
commit
|
commitdiff
|
tree
2009-06-07
Sven Ve
r
doolaege
add is
l
_seq_f
d
iv_r
commit
|
commitdiff
|
tree
2009-06-07
Sve
n
Verdoolaege
isl
_
basic_m
a
p_detect_equal
i
ties: prop
e
rly handle empty
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
S
ven Ver
d
oolaege
isl_basi
c
_map_is_
e
mpt
y
: expl
i
c
i
t
l
y mark
basic sets
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sv
e
n
V
erd
o
o
laege
isl_map
.
c
:
order_divs: swap with corr
e
c
t
div
commit
|
commitdiff
|
tree
2009-06-07
S
v
en Verdoola
e
ge
isl_map_
c
o
ales
c
e
: re
m
ove
ex
t
ra divs introduced b
y
isl_map_al
.
.
.
commit
|
commitdiff
|
tree
2009-06-05
Sv
e
n Ve
r
doolaege
add isl_map_
c
oa
l
esce
commit
|
commitdiff
|
tree
2009-05-19
S
v
en Verdoolaege
add isl_
s
e
t
_product
commit
|
commitdiff
|
tree
2009-05-19
S
v
en Verdoolaeg
e
export
i
sl_
m
ap_dim
commit
|
commitdiff
|
tree
2009-05-06
S
ven Verdoo
l
ae
g
e
isl_map_convex_hull:
h
a
n
dle unbounded, but po
i
nt
e
d
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
S
ven Verdo
o
laege
privately export
isl_mat_unimodul
a
r_
c
omplete
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
is
l
_tab
.
c: add isl
_
tab_get_sa
m
ple_value
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
isl_
m
ap_
c
o
n
vex
_
h
ull: avoid introducing lineality spaces
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoo
l
a
e
ge
add tw
o
more convex h
u
l
l
t
e
st cases
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
isl_map_convex_hull:
r
emove line
a
lit
y
space if any
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
S
v
en
Verd
o
olaege
add isl_basic_
s
et_is_universe
commit
|
commitdiff
|
tree
2009-05-06
S
v
en V
e
rdoolae
g
e
a
d
d isl_set_get_dim
commit
|
commitdiff
|
tree
2009-05-05
Sven V
e
rdoolaege
isl_convex_hull
.
c: update
wrap
_
fac
e
t to the fact we
.
.
.
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoolaege
isl_conv
e
x_hu
l
l
.
c:
fix typo
in
c
omm
e
nt
commit
|
commitdiff
|
tree
2009-05-05
Sven
Verd
o
olae
g
e
isl_c
o
alesce
.
c: fix ty
p
o in comm
e
n
t
commit
|
commitdiff
|
tree
2009-05-05
Sve
n
Ve
r
dool
a
ege
isl_tab
.
c
:
fix t
y
po i
n
comment
commit
|
commitdiff
|
tree
2009-05-05
Sven Ve
r
doolaege
co
n
figur
e
.
in:
set AC_CO
N
FIG_MAC
R
O_DIR
commit
|
commitdiff
|
tree
next