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
Sven Verdoolaege
pr
i
v
a
tely export isl_basic_set_o
r
der_divs
commit
|
commitdiff
|
tree
2009-08-07
S
ven Verdo
o
laege
isl_map_simplify
.
c: re
m
ove_depend
e
nt_var
s
:
o
n
l
y remo
v
e
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Verdoolaege
isl_basi
c
_ma
p
_com
p
ute
_
di
v
s
:
use isl_basic_set_lexmin
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Ve
r
doola
e
ge
i
s
l
_
pip_basic_map_com
p
ute_divs: don'
t
turn divs into
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
privately e
x
p
ort is
l
_basic_map_sw
a
p_div
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Verdo
o
laege
i
s
l_{set,
m
ap}
_
a
d
d
: don't a
d
d
o
bviously empt
y
basic
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven
Verdo
o
la
e
g
e
c
o
mb
i
ne isl_pip_basic_map_lex{mi
n
,max} into
i
sl_pi
p
_basic_ma
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
make piplib
he
a
ders private
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoo
l
aege
isl_mat: keep track of the actual number of c
o
lumns
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
ven Ve
r
doolaege
is
l
_tab
_
pivot: fix
typ
o
t
hat prevent
e
d
normalizatio
n
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verd
o
olae
g
e
add isl_bas
i
c
_set_pos
i
t
i
v
e_orthant
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaeg
e
add isl_basic_set_partial
_
le
x
{min,max}
commit
|
commitdiff
|
tree
2009-08-07
S
ven Verdoolaege
ren
a
me isl
_
basi
c
_ma
p
_lex{min,max
}
to
i
sl_basic_map_par
t
i
a
l_l
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
add isl_basic_
s
et_free_div
commit
|
commitdiff
|
tree
2009-08-07
S
ven
Verdoo
l
aege
isl_set_d
i
m: support isl_dim_all
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Verdoolaege
isl_tab: s
t
or
e
i
ndex of variable in undo record instead
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdool
a
ege
a
dd isl_{set,map}_gr
o
w
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
add isl_ma
p
_get_dim
commit
|
commitdiff
|
tree
2009-08-07
S
v
e
n
Verdoolaege
add isl_b
a
sic_map_get_dim
commit
|
commitdiff
|
tree
2009-08-04
S
v
en Ver
d
oolaege
add is
l
_
tab_
d
up
commit
|
commitdiff
|
tree
2009-08-04
S
v
en
Verdoolaege
ex
p
ort is
l
_
m
at_du
p
commit
|
commitdiff
|
tree
2009-08-04
Sven
V
erdoolaege
isl_tab
.
c
:
mark_redund
a
nt:
o
n
l
y mar
k
variable nonneg
.
.
.
commit
|
commitdiff
|
tree
2009-08-04
Sve
n
V
e
rdoolaeg
e
isl_tab
.
c
:
t
o
_row: allow p
i
vo
t
ing i
n
arbitrary
direction
commit
|
commitdiff
|
tree
2009-08-04
Sve
n
Verdo
o
laege
is
l
_tab
.
c: simplify code
b
y
letting mark_empty return tab
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaege
add
i
sl_s
e
q_last_non_
z
e
ro
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaege
i
s
l_tab
.
c: sim
p
lify add_eq
commit
|
commitdiff
|
tree
2009-08-04
Sve
n
Ve
r
doola
e
ge
i
sl_tab
.
c: extract all
o
cate_con
commit
|
commitdiff
|
tree
2009-07-22
Sv
e
n Verdoolaege
private
l
y e
x
port isl_basic_set_set_ration
a
l
commit
|
commitdiff
|
tree
2009-07-22
S
v
en
V
erdo
o
laeg
e
c
o
nfigure
.
ac: explici
t
ly s
e
t AC
_
CONF
I
G_AU
X
_DIR
commit
|
commitdiff
|
tree
2009-07-21
Sven Verd
o
olaege
c
o
nvex_hul
l
: c
o
alesce set during facet computation
commit
|
commitdiff
|
tree
2009-07-21
Sven V
e
rdo
o
laege
isl_map_c
o
alesce: do
n
't drop ratio
n
a
l flag from resul
t
.
.
.
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoola
e
ge
is
l
_tab_co
n
e
_is_bound
e
d: start
over a
f
te
r
c
omput
i
ng
.
.
.
commit
|
commitdiff
|
tree
2009-07-19
Sven
V
e
r
doolaege
isl_basic
_
se
t
_dim_resi
d
ue_cl
a
s
s
: only
se
t
*m
o
dulo to
.
.
.
commit
|
commitdiff
|
tree
2009-07-16
S
v
e
n Verdoolaege
isl_tab: drop isl_ctx a
r
gument where not
a
bsolutely
.
.
.
commit
|
commitdiff
|
tree
2009-07-16
Sven Verdool
a
ege
isl_mat
:
keep track o
f
i
s
l_ctx
commit
|
commitdiff
|
tree
2009-07-16
Sven Ve
r
doolaege
isl_basic_set_sam
p
le: don't pr
o
jec
t
out
l
inea
l
ity spac
e
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
S
v
en
Verdo
o
laege
is
l
_b
a
s
ic
_
map_fix_pos: micro-
o
ptimizat
i
o
n
commit
|
commitdiff
|
tree
2009-07-15
Sven
V
erdo
o
la
e
g
e
move isl_b
a
s
i
c_set
_
sk
e
w_to_p
o
s
itive_ort
h
ant
t
o isl_sample
.
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 Ver
d
oolaege
isl_basi
c
_set
_
sample: brea
k
ear
l
y if s
a
mple found in
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven V
e
rdoolaeg
e
export isl_ta
b
_
s
ampl
e
_
i
s_integer
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolae
g
e
isl
_
b
a
s
ic_set_sample: check sampl
e
stored b
y
isl_bas
i
c_m
a
p_i
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven V
e
r
d
oolaege
isl_basic_map_is_
e
mpty: remove stale sam
p
le
commit
|
commitdiff
|
tree
2009-07-15
Sven Ve
r
doolaege
add isl_p
o
lyhedron_
s
ampl
e
applica
t
ion
commit
|
commitdiff
|
tree
2009-07-15
S
ve
n
Ver
d
oolaege
intro
d
uce ge
n
eralized
b
asis r
e
d
u
ction ba
s
ed s
a
mpling
commit
|
commitdiff
|
tree
2009-07-15
S
ven V
e
r
doola
e
ge
add
i
sl_seq_cdiv_q
commit
|
commitdiff
|
tree
2009-07-15
Sv
e
n Verdool
a
ege
isl_sample
.
c: inte
r
val_sample:
drop redundant argumen
t
commit
|
commitdiff
|
tree
2009-07-15
Sve
n
Verdoolaege
isl_s
a
m
p
le
.
c: clean up handling of lineality space
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
isl_samp
l
e
.
c: extract out
sample_
e
q
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoola
e
ge
is
l
_sampl
e
.
c: interval_sample: handle equa
l
i
t
i
es directly
commit
|
commitdiff
|
tree
2009-07-13
S
v
en Verdoolaege
isl_sample
.
c: e
x
tract
out
e
m
p
ty
_
sample
commit
|
commitdiff
|
tree
2009-07-13
Sven Ver
d
oolaege
isl_
s
ample
.
c:
g
ene
r
a
lize
p
o
i
n
t
_sample to zero
_
s
a
m
p
l
e
commit
|
commitdiff
|
tree
2009-07-13
Sven
V
erd
o
olaege
isl_tab: don'
t
create new undo records during rollbac
k
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
isl_tab
_
min
:
u
se
g
eneral rollback mechanism
commit
|
commitdiff
|
tree
2009-07-13
Sven
Verdoolaege
isl_
t
ab: opti
o
na
l
l
y
sa
v
e dua
l
s
o
lution
commit
|
commitdiff
|
tree
2009-07-13
Sven
V
erdoolaege
isl
_
tab
:
add isl
_
tab_
a
dd_v
a
li
d
_eq
commit
|
commitdiff
|
tree
2009-07-13
S
v
en Ver
d
oolaege
export isl_tab
_
alloc
commit
|
commitdiff
|
tree
2009-07-13
Sven Verd
o
o
l
aege
a
d
d isl_int_le
commit
|
commitdiff
|
tree
2009-07-13
S
ven Verdoolaeg
e
p
rivately expor
t
is
l
_basic_set_re
c
ess
i
o
n_cone
commit
|
commitdiff
|
tree
2009-07-13
S
v
e
n Verdoolaege
isl_
c
o
n
ve
x
_hull
.
c: a
d
d miss
i
ng
a
ssig
n
ment
commit
|
commitdiff
|
tree
2009-07-13
Sven
V
erdo
o
l
a
e
g
e
privately export isl_basic_s
e
t_lineali
t
y
_
space
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
isl_ve
c
: keep tr
a
ck of isl_ctx
commit
|
commitdiff
|
tree
2009-07-12
S
ve
n
Verd
o
olaege
isl_c
o
alesce
.
c:
f
ix typo
commit
|
commitdiff
|
tree
2009-06-13
Sven Verdoolaeg
e
update p
i
pl
i
b
f
or cha
n
ge i
n
c
onf
i
gure arguments
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdool
a
ege
isl
_
basic_
m
ap_drop_redundant_divs: coales
c
e
divs if
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_basic_map_drop_redundant_div
s
: se
t
div expression
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sv
e
n Verdoolaege
isl_basic_map_dro
p
_redundant_divs: drop
more kin
d
s
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_map_comp
u
t
e
_divs:
d
rop
o
b
viously red
u
ndant di
v
s
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
S
ven V
e
r
doola
e
ge
isl
_
map
_
piplib
.
c: ext
r
emum_on: detect
e
qualities fi
r
st
commit
|
commitdiff
|
tree
2009-06-11
Sven Ver
d
oolaege
isl_pip
_
basic_m
a
p_compute_divs:
remove som
e
equalities
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven
V
erd
o
ola
e
g
e
isl_pip_
b
asi
c
_map_compute
_
d
ivs: sep
a
rate out dimension
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Ve
r
doola
e
ge
isl_bas
i
c_s
e
t_pr
e
image:
h
andl
e
divs in input
commit
|
commitdiff
|
tree
2009-06-11
Sven Ver
d
oolaege
isl
_
input_omega
.
c: m
a
ke
v
ariable_{free,new} s
t
atic
commit
|
commitdiff
|
tree
2009-06-11
Sven Ver
d
o
o
l
a
ege
isl_map
.
c: make add_divs static
commit
|
commitdiff
|
tree
2009-06-11
Sven Ve
r
doolae
g
e
i
s
l_basi
c
_map_s
i
mplify: detect div co
n
s
traints whil
e
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Ve
r
doolaege
i
sl
_
basi
c
_map_drop: properly h
a
n
dle dimensions of type
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdo
o
la
e
ge
add i
s
l_int_mul_ui
commit
|
commitdiff
|
tree
2009-06-07
S
v
en Ver
d
o
o
laege
a
d
d i
s
l
_seq_fd
i
v
_
q
commit
|
commitdiff
|
tree
2009-06-07
Sven
Verd
o
olaege
add isl_se
q
_
f
div
_
r
commit
|
commitdiff
|
tree
2009-06-07
Sven V
e
r
d
oo
l
a
ege
isl_basic_map_detect_equalit
i
e
s
:
properly h
a
n
d
le empty
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sve
n
Verdoolaege
isl_ba
s
ic_map_is_empty: expli
c
itly mark b
a
sic sets
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven
Verdoolaege
isl_map
.
c
:
order_divs: swap with corr
e
ct div
commit
|
commitdiff
|
tree
2009-06-07
Sv
e
n Verdoolaege
isl_map_coalesce:
remove extra divs
i
ntroduced by
i
sl_map_
a
l
.
.
.
commit
|
commitdiff
|
tree
2009-06-05
Sv
e
n Verdoolaeg
e
add
i
sl_map_coalesce
commit
|
commitdiff
|
tree
2009-05-19
Sven V
e
rdo
o
laege
add isl_se
t
_
p
roduct
commit
|
commitdiff
|
tree
2009-05-19
Sve
n
Verdoolaege
e
x
port isl_map_dim
commit
|
commitdiff
|
tree
2009-05-06
Sven Ve
r
doolaege
is
l
_map_convex_hul
l
: hand
l
e unbounded, but p
o
inted
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sv
e
n
V
erdoo
l
aege
privately export isl_mat_unimodular_compl
e
te
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaeg
e
isl
_
tab
.
c: add isl_
t
ab_get
_
sampl
e
_value
commit
|
commitdiff
|
tree
2009-05-06
Sven
Verd
o
ola
e
ge
isl_map_convex_hull: avoid introducing
l
in
e
ality spaces
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
add two
more
c
onv
e
x hull test
c
ases
commit
|
commitdiff
|
tree
2009-05-06
Sven Ve
r
doolaege
is
l
_map_con
v
e
x
_hull: re
m
ove
l
ine
a
lity space if any
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven
Verdoolaege
add i
s
l_basic
_
s
et_is_
u
nive
r
se
commit
|
commitdiff
|
tree
2009-05-06
Sve
n
V
e
r
do
o
laege
a
dd isl_set
_
get_di
m
commit
|
commitdiff
|
tree
2009-05-05
S
v
en
Verdool
a
ege
is
l
_convex_hull
.
c: update
w
r
a
p
_facet to
t
he fact
w
e
.
.
.
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoolaege
is
l
_convex
_
h
u
ll
.
c: fi
x
ty
p
o in comment
commit
|
commitdiff
|
tree
2009-05-05
S
v
e
n
V
erdool
a
ege
isl_coalesce
.
c: fix typo
i
n
c
omment
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdo
o
l
ae
g
e
is
l
_tab
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoo
l
aege
conf
i
gure
.
i
n
:
set AC_CONF
I
G_
M
ACRO_DIR
commit
|
commitdiff
|
tree
2009-03-23
Sven Ve
r
doolaege
add isl_basic_set_get_dim
commit
|
commitdiff
|
tree
next