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_add_valid_eq: keep track of whether equality is negated
2009-08-09
S
v
en
V
erdoolae
g
e
isl_ta
b
_add_valid_eq
:
keep track of wh
e
the
r
e
quality
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
con
f
igure
.
a
c: no longer
u
se piplib
b
y
d
efault
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Verdoolae
g
e
ad
d
an in
t
ernal parametric inte
g
er linear
program solver
commit
|
commitdiff
|
tree
2009-08-07
Sven Ver
d
oola
e
ge
i
sl_ma
t
_
e
x
t
e
n
d
:
make sure the number of r
o
w
s
never
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verd
o
olaege
i
sl_affine_hu
l
l
.
c: o
n
ly construct affine hull in bounded
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_tab: add support for keeping track of samples
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
erd
o
olaege
isl_tab: optionally keep trac
k
of ro
w
si
g
n
s
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Verdoolaege
isl_tab
:
add i
s
l_basic_se
t
field for optionally keeping
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven
Verdoolaege
i
s
l_t
a
b:
i
ntroduce s
u
pport for "big
p
a
r
ameters"
commit
|
commitdiff
|
tree
2009-08-07
S
v
e
n
Verdoolaege
i
s
l_tab: allow int
r
oducti
o
n of extra
variables
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Verdo
o
l
a
eg
e
isl_ta
b
: intr
o
duc
e
paramet
e
rs an
d
divs
commit
|
commitdiff
|
tree
2009-08-07
Sven Ve
r
doolaege
isl_tab
.
h:
f
ix typo in comment
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
r
doolaege
isl_tab: all
o
w s
a
ving
and re
s
t
o
ring the
c
omplete basis
commit
|
commitdiff
|
tree
2009-08-07
S
v
e
n
Verdoolaege
isl_t
a
b
: p
r
ivately ex
p
ort some f
u
n
c
tionality
commit
|
commitdiff
|
tree
2009-08-07
Sven Ver
d
oolaege
isl_ta
b
:
s
tore und
o
argume
n
t in a union f
o
r future
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
ven Verdoolae
g
e
add isl_b
a
sic_set_sample_boun
d
ed
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoola
e
ge
privately export isl_basi
c
_s
e
t_
o
r
de
r
_
d
ivs
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_map_sim
p
lify
.
c
:
remove
_
dependent
_
vars: onl
y
remove
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Verdool
a
ege
i
sl_basic_map_c
o
mpute_div
s
: use isl_basic_set_lex
m
in
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaeg
e
isl_pip_basic_map_compute_di
v
s:
d
o
n
'
t t
u
r
n
divs in
t
o
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoo
l
aege
privately e
x
port is
l
_basic_map_swap_
d
iv
commit
|
commitdiff
|
tree
2009-08-07
Sven Ver
d
oolaege
is
l
_{set,map}_
a
dd: don't add obviously empty
b
asic
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoola
e
ge
c
ombine isl_pip_basic_map_lex{min,
m
ax
}
i
n
to
i
sl_p
i
p_basic_ma
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verd
o
olaege
make pipli
b
h
e
aders private
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaeg
e
isl_mat: keep
t
rack
of t
h
e
actual number
o
f co
l
umns
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verd
o
olae
g
e
isl
_
tab_pivot
:
fix typo
t
hat pre
v
ented normal
i
zati
o
n
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
erdoola
e
ge
add isl_
b
asic_set
_
positive_orthant
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
add
i
sl_ba
s
ic_set_pa
r
tial_l
e
x{m
i
n,max}
commit
|
commitdiff
|
tree
2009-08-07
S
ven
V
erdoo
l
aege
r
enam
e
isl_basic_map_lex{min,max} to isl_basic_map_part
i
al
_
l
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
a
d
d i
s
l_bas
i
c_
s
et_free_div
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
rd
o
olaeg
e
i
s
l_se
t
_dim
:
s
u
p
p
ort isl_dim_all
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_tab: store in
d
ex of variabl
e
in und
o
record instead
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdool
a
ege
add isl
_
{se
t
,map
}
_
grow
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
erdo
o
laege
add isl_map_get_dim
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaeg
e
add isl_basi
c
_map_get_dim
commit
|
commitdiff
|
tree
2009-08-04
S
ven Verdoolae
g
e
add isl_tab_
d
u
p
commit
|
commitdiff
|
tree
2009-08-04
S
ven
V
erd
o
olaege
export isl_mat_dup
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaege
is
l
_tab
.
c
:
m
ar
k
_redun
d
a
nt:
o
n
l
y mark varia
b
l
e
nonneg
.
.
.
commit
|
commitdiff
|
tree
2009-08-04
Sven V
e
rdoolaege
isl_tab
.
c
: to_ro
w
: allo
w
pivoting in arbit
r
ary directio
n
commit
|
commitdiff
|
tree
2009-08-04
Sven V
e
rdoolaege
isl_tab
.
c:
s
im
p
lif
y
co
d
e by letting
m
ark_
e
mpty ret
u
rn tab
commit
|
commitdiff
|
tree
2009-08-04
S
v
en Ve
r
d
oolaege
add isl_seq_last_non_zero
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaege
isl
_
t
a
b
.
c: si
m
plify add_eq
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaege
isl_
t
ab
.
c:
e
xt
r
ac
t
allocate
_
con
commit
|
commitdiff
|
tree
2009-07-22
Sven Ve
r
d
oolaege
pri
v
ately export isl
_
ba
s
i
c_set_set_rational
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
configure
.
ac
:
explic
i
tly
set AC_
C
ONFIG_AUX_DIR
commit
|
commitdiff
|
tree
2009-07-21
Sven Verdoolae
g
e
con
v
ex_hull: coale
s
ce set d
u
ring face
t
co
m
putation
commit
|
commitdiff
|
tree
2009-07-21
Sven Verdoolaege
i
s
l_map_coalesce
:
don't drop rat
i
onal f
l
ag
from res
u
lt
.
.
.
commit
|
commitdiff
|
tree
2009-07-20
Sven Ver
d
oola
e
ge
isl_tab_c
o
ne_is_bo
u
n
d
ed
:
st
a
rt over after computi
n
g
.
.
.
commit
|
commitdiff
|
tree
2009-07-19
Sven
V
e
r
d
o
o
l
aege
isl_basic_set_dim
_
residue
_
class: only set *mod
u
l
o
to
.
.
.
commit
|
commitdiff
|
tree
2009-07-18
Sven
Verdool
a
ege
add isl_basi
c
_set_f
a
st_
d
im_
i
s
_
f
ixed
commit
|
commitdiff
|
tree
2009-07-16
Sven
V
erdoolaege
isl_tab: drop isl_ctx argument whe
r
e not absolute
l
y
.
.
.
commit
|
commitdiff
|
tree
2009-07-16
Sven Ver
d
oolaeg
e
isl_m
a
t:
keep tr
a
ck of isl_ctx
commit
|
commitdiff
|
tree
2009-07-16
Sv
e
n Ver
d
oolaege
isl_basi
c
_
set_sampl
e
: don
'
t project ou
t
l
ineal
i
ty space
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sv
e
n Verdoolaege
isl_basic_map_fix_pos: mi
c
r
o-opti
m
ization
commit
|
commitdiff
|
tree
2009-07-15
Sve
n
V
erdool
a
ege
move isl_basic_set_skew_to_po
s
itive_orthant to isl_sampl
e
.
c
commit
|
commitdiff
|
tree
2009-07-15
Sve
n
Verdoolaege
isl_tab
.
c: fix typo in
c
omment
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
i
s
l
_basic_
s
et_sample: break early if sam
p
le foun
d
in
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdool
a
eg
e
e
xport
i
s
l
_tab_sample_is_integer
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
i
sl_ba
s
ic_
s
et_sam
p
le: ch
e
ck
s
am
p
l
e
s
t
or
e
d by isl
_
basic_
m
a
p
_i
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven
V
erdoolaeg
e
isl_b
a
sic_map_
i
s_emp
t
y: remove stale sample
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolae
g
e
add isl_po
l
y
h
e
dron_sample application
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
int
r
oduce ge
n
era
l
ized ba
s
is reduct
i
on ba
s
ed sa
m
p
l
ing
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
add
i
sl_s
e
q_c
d
iv_q
commit
|
commitdiff
|
tree
2009-07-15
Sven
Ver
d
o
o
laege
isl_sample
.
c
:
interval
_
sampl
e
: drop red
u
ndant
a
rgume
n
t
commit
|
commitdiff
|
tree
2009-07-15
Sve
n
Ver
d
oolaege
isl_sa
m
ple
.
c: c
l
ean
u
p hand
l
ing
of lin
e
ality spac
e
commit
|
commitdiff
|
tree
2009-07-13
S
v
en Ve
r
d
o
olaege
isl
_
s
ampl
e
.
c: extra
c
t out
s
a
m
ple_eq
commit
|
commitdiff
|
tree
2009-07-13
S
v
en
V
er
d
oolaege
isl_s
a
mple
.
c: inter
v
al_sample: handle e
q
u
a
lities directly
commit
|
commitdiff
|
tree
2009-07-13
S
v
e
n
Verdoolaeg
e
isl_sa
m
p
le
.
c
: extract out empty_
s
ample
commit
|
commitdiff
|
tree
2009-07-13
Sven Verd
o
o
l
aege
isl_s
a
mple
.
c: g
e
neralize p
o
i
nt_sample t
o
zero_s
a
m
pl
e
commit
|
commitdiff
|
tree
2009-07-13
Sve
n
Verdoo
l
aege
isl_tab: don't cre
a
te new u
n
do records during rollback
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n
Verdoolaege
i
sl_t
a
b_min: use general rollback
me
c
hanism
commit
|
commitdiff
|
tree
2009-07-13
Sven
V
erdoolaege
isl_t
a
b: optionally sav
e
du
a
l
s
o
lution
commit
|
commitdiff
|
tree
2009-07-13
S
v
en Verdool
a
ege
isl_tab: add isl_tab_ad
d
_val
i
d_e
q
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoo
l
aege
e
x
port i
s
l_tab_al
l
oc
commit
|
commitdiff
|
tree
2009-07-13
Sven Verd
o
olaege
ad
d
isl_int_le
commit
|
commitdiff
|
tree
2009-07-13
Sve
n
V
erdoolaege
priv
a
t
e
l
y export isl_basic_set_recession_cone
commit
|
commitdiff
|
tree
2009-07-13
Sven V
e
r
d
oolae
g
e
isl_
c
onvex_hull
.
c: add mis
s
ing assignment
commit
|
commitdiff
|
tree
2009-07-13
Sven
V
e
r
doolaege
privately expor
t
isl_basic_set_lin
e
ality_space
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
isl_ve
c
:
kee
p
track of isl_c
t
x
commit
|
commitdiff
|
tree
2009-07-12
Sven V
e
r
d
o
o
laege
isl_coalesce
.
c:
fix typo
commit
|
commitdiff
|
tree
2009-06-13
Sven
V
erdoolaege
u
p
d
a
te pipl
i
b
for change
i
n confi
g
u
r
e argumen
t
s
commit
|
commitdiff
|
tree
2009-06-11
Sven
V
erd
o
olaege
isl_basic
_
map
_
drop_re
d
und
a
n
t_divs: coalesce divs
i
f
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaeg
e
isl_basic_map_drop_redundant_divs
:
se
t
di
v
expression
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolae
g
e
isl_basic_ma
p
_drop_redun
d
ant_divs: drop mo
r
e
kin
d
s
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaeg
e
isl_map_compute_divs: drop obviously redundant divs
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven
V
er
d
oolaege
isl_map_pip
l
ib
.
c: ext
r
emum_o
n
: detect eq
u
alitie
s
first
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
is
l
_pip_b
a
sic_map_comput
e
_divs:
r
e
m
ove some equalities
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_
p
ip_basic_map
_
com
p
ute_divs
:
sep
a
rate out
dimensi
o
n
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
S
ven Ver
d
o
o
laege
isl_basi
c
_set_preimage: handle div
s
in input
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_input_omega
.
c
: make variable_{fr
e
e,ne
w
} stati
c
commit
|
commitdiff
|
tree
2009-06-11
Sven Ver
d
oolaege
i
s
l_map
.
c: make add_divs static
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdo
o
laege
isl_basic_
m
ap_simplify: dete
c
t
div c
o
nstraints w
h
ile
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Ver
d
oolaege
isl_b
a
sic_map_drop: pr
o
perly han
d
le dim
e
nsion
s
o
f type
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
add
i
sl_int_mul_u
i
commit
|
commitdiff
|
tree
2009-06-07
Sven Verd
o
olae
g
e
a
dd is
l
_seq_fdiv_q
commit
|
commitdiff
|
tree
2009-06-07
S
ven V
e
rdool
a
ege
a
dd isl_seq_
f
div_r
commit
|
commitdiff
|
tree
2009-06-07
Sven V
e
rdoola
e
g
e
isl_
b
asi
c
_map_d
e
tect
_
equa
l
i
ties: properly hand
l
e empty
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
S
v
e
n Ver
d
oo
l
a
e
g
e
is
l
_ba
s
i
c_map_
i
s_em
p
ty: explicitly
mark
b
asic sets
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
isl
_
map
.
c: ord
e
r_divs: s
w
ap with correct div
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaeg
e
isl_map_coalesce
:
remove extra
di
v
s intro
d
uced b
y
isl_map_al
.
.
.
commit
|
commitdiff
|
tree
next