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: store undo argument in a union for future extensions
2009-08-07
Sven V
e
rdoolaege
i
sl_tab: store undo a
r
gu
m
e
n
t in a union for future
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verd
o
ola
e
ge
a
d
d isl_bas
i
c_set
_
sample_bounded
commit
|
commitdiff
|
tree
2009-08-07
Sven Verd
o
olaege
privately export
isl
_
ba
s
i
c
_set_o
r
der_d
i
vs
commit
|
commitdiff
|
tree
2009-08-07
Sven Ver
d
oo
l
aege
isl_map_simplify
.
c:
remove
_
dependent
_
vars: only
remove
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Ve
r
doola
e
ge
isl_basic_map_c
o
m
p
ute_divs: use isl_b
a
sic_set_lexm
i
n
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
erdoolaege
isl_
p
i
p
_basic_map_compu
t
e_div
s
:
don't turn divs into
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Ve
r
d
o
o
l
aege
privately export
isl_b
a
sic
_
map_swap_div
commit
|
commitdiff
|
tree
2009-08-07
S
ven Ve
r
doolaege
isl_{set
,
map}_add: don't add o
b
viously empty basic
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n
V
e
r
doolaege
c
omb
i
ne
i
sl_pip_bas
i
c_map_lex
{
min,max} i
n
to isl_pi
p
_basic_ma
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
make
p
iplib hea
d
er
s
private
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_mat: kee
p
track of
t
he actual
number o
f
c
o
lumns
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
e
rdo
o
lae
g
e
isl_t
a
b_pivot: fix t
y
po that prevented norma
l
ization
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Verdoolaege
add
is
l
_basic_s
e
t_
p
ositive_orthant
commit
|
commitdiff
|
tree
2009-08-07
S
ven Verdo
o
l
a
eg
e
add isl
_
b
a
sic_set_p
a
rtial_lex
{
min,max}
commit
|
commitdiff
|
tree
2009-08-07
S
ven Verdoolae
g
e
renam
e
isl_b
a
sic_
m
ap_lex{min,max}
to isl_basic_map_partial_l
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Verdoolaege
add
isl_
b
asic_s
e
t_free_di
v
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Verdool
a
ege
isl_set_dim: support i
s
l_dim_a
l
l
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_tab
:
store index of variabl
e
in un
d
o rec
o
rd i
n
stead
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
add isl_{set
,
map}_g
r
ow
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
add
i
sl_
m
a
p
_get_dim
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
a
dd isl_basic_
m
ap_get_dim
commit
|
commitdiff
|
tree
2009-08-04
Sve
n
Verd
o
o
laege
add isl_tab_dup
commit
|
commitdiff
|
tree
2009-08-04
S
v
en Ve
r
doolae
g
e
export
isl_ma
t
_dup
commit
|
commitdiff
|
tree
2009-08-04
S
v
en Verdoola
e
ge
isl
_
t
ab
.
c: ma
r
k
_
redundant: onl
y
mark varia
b
l
e
nonneg
.
.
.
commit
|
commitdiff
|
tree
2009-08-04
Sven Ver
d
oolae
g
e
isl_tab
.
c: t
o
_
row: allow pivo
t
ing in arb
i
tra
r
y direction
commit
|
commitdiff
|
tree
2009-08-04
S
ve
n
V
e
rdool
a
ege
isl_ta
b
.
c: simp
l
ify code by let
t
i
n
g mark
_
empty return tab
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdo
o
laege
add isl_seq_last_non_zero
commit
|
commitdiff
|
tree
2009-08-04
Sv
e
n Verdoolaege
i
sl
_
tab
.
c
:
s
implif
y
add_eq
commit
|
commitdiff
|
tree
2009-08-04
Sven Ver
d
oolae
g
e
isl_tab
.
c: ext
r
act alloca
t
e_con
commit
|
commitdiff
|
tree
2009-07-22
S
v
en Verdoolaege
p
r
ivatel
y
export is
l
_basic_set_se
t
_rational
commit
|
commitdiff
|
tree
2009-07-22
Sve
n
Verdoolaeg
e
configure
.
ac: explicitly set AC_CONF
I
G_AUX_DIR
commit
|
commitdiff
|
tree
2009-07-21
Sven Verdoola
e
ge
convex_hull: coalesce set during facet
comput
a
tion
commit
|
commitdiff
|
tree
2009-07-21
Sve
n
Verdool
a
ege
isl_map_c
o
a
lesce: d
o
n't drop rat
i
onal flag fr
o
m
result
.
.
.
commit
|
commitdiff
|
tree
2009-07-20
Sven Ver
d
oolaege
isl_tab_cone_is_bou
n
ded: start over after com
p
uting
.
.
.
commit
|
commitdiff
|
tree
2009-07-19
Sv
e
n Verdoolaege
i
sl_b
a
sic_set_di
m
_resid
u
e_class
:
only set *m
o
dulo to
.
.
.
commit
|
commitdiff
|
tree
2009-07-18
Sve
n
V
er
d
oolaege
add i
s
l_
b
asic_s
e
t_fast_dim_is_fixed
commit
|
commitdiff
|
tree
2009-07-16
Sven Ver
d
oolaege
isl_tab: drop i
s
l
_
ctx argument
w
here no
t
a
bsolut
e
ly
.
.
.
commit
|
commitdiff
|
tree
2009-07-16
S
v
en V
e
rdoo
l
aege
i
sl_m
a
t: keep
t
rack
of isl_ct
x
commit
|
commitdiff
|
tree
2009-07-16
Sv
e
n Verdoolaege
i
sl_
b
asic_set_s
a
mple: don
'
t project ou
t
lineality space
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven
Verdoolaege
isl
_
basic_map_fix_pos
:
micro-optimization
commit
|
commitdiff
|
tree
2009-07-15
S
ven Verdo
o
l
a
ege
move
isl_basic_set_skew_to_posi
t
iv
e
_
ort
h
ant
t
o
i
s
l_sample
.
c
commit
|
commitdiff
|
tree
2009-07-15
Sven Ve
r
doolaege
isl_tab
.
c
:
f
i
x typ
o
in commen
t
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoo
l
aege
is
l
_b
a
sic_set_sampl
e
: break early if sample found in
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sve
n
Verdoo
l
aege
expor
t
isl_tab_sam
p
le_
i
s_integ
e
r
commit
|
commitdiff
|
tree
2009-07-15
Sv
e
n Verdoolaege
i
s
l
_basic_set_sample: check sample
stored by isl
_
bas
i
c_map_i
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sv
e
n
V
e
rdoolaege
i
s
l_basic_m
a
p_is_empty:
r
emove stale sample
commit
|
commitdiff
|
tree
2009-07-15
Sv
e
n Ve
r
doolaeg
e
a
dd isl_polyhedron_sam
p
le app
l
icati
o
n
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
intro
d
uce ge
n
eralized basis
reduct
i
on
b
ased sampling
commit
|
commitdiff
|
tree
2009-07-15
Sven
V
erdoolaege
a
dd i
s
l_seq_cdiv_
q
commit
|
commitdiff
|
tree
2009-07-15
Sven
V
erdo
o
lae
g
e
isl_samp
l
e
.
c:
interval_sample: drop redundant argument
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
is
l
_sample
.
c: clean up handling of l
i
neality space
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdo
o
la
e
g
e
i
s
l_sam
p
le
.
c: ex
t
ra
c
t out sampl
e
_eq
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoo
l
aege
isl_sample
.
c: i
n
terval_samp
l
e
:
h
andle eq
u
alities d
i
rectl
y
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaeg
e
is
l
_
s
ample
.
c: extract
o
u
t empty
_
sam
p
le
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdool
a
ege
isl_sample
.
c
:
generalize point_sample to zero_samp
l
e
commit
|
commitdiff
|
tree
2009-07-13
Sve
n
Ve
r
doo
l
a
ege
isl_tab: don't crea
t
e new undo
r
ecords
d
uring rollback
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n Ve
r
doo
l
aege
isl_ta
b
_
min:
us
e
general r
o
llback m
e
chanism
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
isl_tab:
o
ptionally s
a
v
e
d
ual solution
commit
|
commitdiff
|
tree
2009-07-13
Sve
n
Verdo
o
lae
g
e
i
sl_
t
a
b:
a
dd isl_tab_add_val
i
d
_eq
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
export isl
_
tab_alloc
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaeg
e
add isl_int_le
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdo
o
laege
privately exp
o
rt isl_basi
c
_
s
et_rece
s
sion_cone
commit
|
commitdiff
|
tree
2009-07-13
Sven
Verdoolaege
isl
_
convex_hull
.
c: add missin
g
assignment
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
privately
export isl_
b
asic_set_linea
l
ity_space
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoo
l
aege
isl_vec:
keep track o
f
isl_ctx
commit
|
commitdiff
|
tree
2009-07-12
Sve
n
Verdool
a
ege
isl_coal
e
sce
.
c: fix ty
p
o
commit
|
commitdiff
|
tree
2009-06-13
Sven Verdool
a
e
ge
update piplib for change in
c
onfigure argu
m
e
n
ts
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_basic_map_
d
rop_redundant_divs: coales
c
e
divs
i
f
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Ver
d
oolaege
isl_basi
c
_
map_drop_redunda
n
t_divs: set
d
iv expression
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
S
v
en Verdoola
e
ge
isl_basic_
m
a
p
_drop_r
e
d
u
ndant_di
v
s: dro
p
more kind
s
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verd
o
olaege
isl_map_c
o
mpute
_
divs: drop obviously redundant
divs
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdo
o
la
e
ge
isl
_
map_pipli
b
.
c: extremum_on: d
e
tect equali
t
ies first
commit
|
commitdiff
|
tree
2009-06-11
Sven V
e
rdoolaeg
e
is
l
_pip_basi
c
_
m
ap_compute_divs: re
m
ove som
e
eq
u
a
l
ities
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
S
ven Verdoolaege
is
l
_p
i
p_basic_map_compute_div
s
: separate out dimension
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sve
n
Verdoolaege
isl_basic
_
set_preimag
e
: handle di
v
s in input
commit
|
commitdiff
|
tree
2009-06-11
Sven
V
erdoolaege
isl_input_omega
.
c: make variabl
e
_
{
f
r
e
e,new} static
commit
|
commitdiff
|
tree
2009-06-11
Sven
V
e
r
d
oolaege
isl_map
.
c: make
add_d
i
vs st
a
t
i
c
commit
|
commitdiff
|
tree
2009-06-11
Sve
n
Verdool
a
e
g
e
isl
_
basic
_
map_simplify: detect di
v
const
r
aints while
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
S
v
e
n Verdoolaege
isl_basic_map
_
drop:
p
r
operly h
a
ndle dimensions of type
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdool
a
eg
e
add isl_in
t
_mul_u
i
commit
|
commitdiff
|
tree
2009-06-07
Sv
e
n Ver
d
oolaege
ad
d
isl_seq_
f
div_q
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
ad
d
isl_
s
eq_fdiv_r
commit
|
commitdiff
|
tree
2009-06-07
Sven Ver
d
oolae
g
e
isl_basi
c
_map_
d
et
e
ct_equaliti
e
s: properl
y
handl
e
empty
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Ve
r
do
o
laege
isl_basic_ma
p
_is_empty: expl
i
citly
m
ark basic sets
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoo
l
aege
isl_
m
ap
.
c: order_divs: swa
p
with correct
d
i
v
commit
|
commitdiff
|
tree
2009-06-07
S
v
en V
e
rdoolaege
isl_map_coalesce: r
e
move extra divs in
t
r
oduce
d
b
y
i
sl_map_al
.
.
.
commit
|
commitdiff
|
tree
2009-06-05
Sven
Verdo
o
l
a
ege
add isl_map_coale
s
ce
commit
|
commitdiff
|
tree
2009-05-19
Sven Verdoo
l
aege
a
dd isl_set_produ
c
t
commit
|
commitdiff
|
tree
2009-05-19
Sven Verdoolaeg
e
e
x
port isl_map
_
dim
commit
|
commitdiff
|
tree
2009-05-06
Sven Ve
r
doolaege
isl_map_c
o
n
v
ex_hu
l
l: han
d
le unb
o
unded, but pointed
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven Ver
d
o
o
la
e
ge
p
r
iv
a
tely export isl_mat_unimodu
l
ar_c
o
mplete
commit
|
commitdiff
|
tree
2009-05-06
Sven V
e
rd
o
olaeg
e
isl_tab
.
c: add isl_tab_get_sample_value
commit
|
commitdiff
|
tree
2009-05-06
Sven
V
erd
o
olaege
isl_map_
c
o
n
vex_hull: avoid introd
u
cing linea
l
i
t
y
s
paces
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sve
n
V
erdoolaeg
e
add two more conv
e
x hul
l
test cases
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
isl_map_conve
x
_hull: r
e
mov
e
li
n
e
a
lity space
if any
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven
V
erdoolaege
add
isl_ba
s
ic_set_is_universe
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
add isl_set
_
ge
t
_dim
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoolaege
isl_convex
_
hull
.
c: u
p
da
t
e wrap_facet
to the fact w
e
.
.
.
commit
|
commitdiff
|
tree
2009-05-05
Sven Ver
d
oo
l
a
e
ge
isl_
c
on
v
ex_hu
l
l
.
c: fix typo in co
m
ment
commit
|
commitdiff
|
tree
2009-05-05
Sv
e
n Verdoolae
g
e
i
s
l_coalesce
.
c: fix
ty
p
o
i
n comment
commit
|
commitdiff
|
tree
next