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 parameters and divs
2009-08-07
Sven Ve
r
doolaege
isl_t
a
b:
introduce param
e
ters and divs
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
i
s
l_tab
.
h: fix typo
i
n comment
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
erdoolaege
isl_tab
:
al
l
o
w saving and
restoring the complete basis
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
er
d
o
o
lae
g
e
i
s
l
_
tab: privat
e
ly e
x
port some function
a
lity
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
rdoo
l
aege
i
s
l_tab: st
o
r
e undo
a
rgume
n
t
i
n a union fo
r
futu
r
e
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
a
dd isl_b
a
sic_se
t
_sample_b
o
unded
commit
|
commitdiff
|
tree
2009-08-07
S
ven V
e
rdoolaege
privately e
x
port isl_basic_set_or
d
er_divs
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_map_simp
l
ify
.
c:
remove_dependent_var
s
: o
n
ly remove
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdo
o
l
aege
isl_basic_map_com
p
ute
_
divs: use
isl_basic_set_lexmin
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verd
o
o
laeg
e
isl_pi
p
_basic_map_compute_divs: don't t
u
rn divs into
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven
Verdoola
e
ge
privately export
isl_basic_map_sw
a
p_di
v
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Verd
o
olaeg
e
isl_
{
set,
m
a
p
}_add: don't add obviousl
y
empty ba
s
ic
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven
Verdoolaege
combine isl_pip_basic_map_lex{min,max} into isl_pip_basic_ma
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
v
e
n
V
e
r
doolaege
m
a
ke piplib
h
e
ader
s
private
commit
|
commitdiff
|
tree
2009-08-07
Sven
Verdoo
l
a
ege
i
s
l_mat: keep track of the
actual numbe
r
of columns
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
e
rdoolae
g
e
isl_tab_piv
o
t: fix typo that
p
revented normaliza
t
ion
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolae
g
e
add
i
sl_basic_s
e
t_positive_orthant
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Verdoo
l
aege
add
i
sl_basic_set_partial_lex
{
min,max
}
commit
|
commitdiff
|
tree
2009-08-07
S
v
e
n
V
e
r
doolaege
r
e
n
a
me isl_bas
i
c_map_lex{min,max} to isl
_
basic
_
m
a
p_
p
artia
l
_l
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
add isl_basic_set_free_d
i
v
commit
|
commitdiff
|
tree
2009-08-07
S
v
e
n
V
e
rdoolaege
isl_se
t
_dim: support isl_d
i
m_all
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Verdoolaege
isl_tab: store index
o
f variab
l
e in undo reco
r
d instead
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Verdoolaege
ad
d
isl_{set,
m
ap}_grow
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Verdoolaege
add i
s
l_map
_
get_dim
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
add isl_basic_map_get_
d
im
commit
|
commitdiff
|
tree
2009-08-04
Sv
e
n
Ve
r
doolae
g
e
a
d
d isl_t
a
b_dup
commit
|
commitdiff
|
tree
2009-08-04
Sven V
e
rdoolaege
export isl_mat
_
dup
commit
|
commitdiff
|
tree
2009-08-04
S
ven Verdool
a
e
ge
i
s
l_tab
.
c: mark_redundant:
only ma
r
k
v
ariable nonneg
.
.
.
commit
|
commitdiff
|
tree
2009-08-04
S
ven Verdool
a
e
ge
isl_tab
.
c: to_row:
allo
w
pivoting
in arbitrary direction
commit
|
commitdiff
|
tree
2009-08-04
Sven Ver
d
oolaege
isl_tab
.
c: si
m
plify code by letting mark_e
m
pty return tab
commit
|
commitdiff
|
tree
2009-08-04
S
ven
V
erdoolaege
add i
s
l_seq_last_non_
z
e
r
o
commit
|
commitdiff
|
tree
2009-08-04
S
ven Ver
d
ool
a
ege
isl_tab
.
c:
si
m
p
lify add
_
eq
commit
|
commitdiff
|
tree
2009-08-04
Sv
e
n Verdoolaege
isl_tab
.
c: extract allocate_con
commit
|
commitdiff
|
tree
2009-07-22
Sven
V
erdoolae
g
e
p
r
i
v
ately expo
r
t isl_ba
s
ic_set
_
s
et_r
a
ti
o
nal
commit
|
commitdiff
|
tree
2009-07-22
Sv
e
n Verdoolae
g
e
co
n
figure
.
a
c: expl
i
c
itly set AC
_
CONFIG_AUX_DIR
commit
|
commitdiff
|
tree
2009-07-21
Sven Verdoolaege
co
n
ve
x
_
h
ull
:
coales
c
e set durin
g
fa
c
e
t
computation
commit
|
commitdiff
|
tree
2009-07-21
Sven
V
erdoolaege
i
s
l_map_coalesce: don't d
r
op rational flag
f
r
o
m result
.
.
.
commit
|
commitdiff
|
tree
2009-07-20
Sv
e
n Verdoolae
g
e
is
l
_tab_cone_is_bound
e
d: star
t
over aft
e
r com
p
uting
.
.
.
commit
|
commitdiff
|
tree
2009-07-16
Sven Verdoolae
g
e
isl_t
a
b: drop isl_ctx argumen
t
w
here n
o
t a
b
solutel
y
.
.
.
commit
|
commitdiff
|
tree
2009-07-16
Sven Ve
r
doo
l
aeg
e
isl_mat: keep
t
r
ack of
i
sl_ct
x
commit
|
commitdiff
|
tree
2009-07-16
Sv
e
n Ve
r
do
o
laege
isl_bas
i
c_set_sample:
don't pr
o
ject out lin
e
a
lit
y
space
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
isl_basic_map_fix_pos:
m
i
c
ro-optimization
commit
|
commitdiff
|
tree
2009-07-15
Sv
e
n Verdo
o
laege
move isl_bas
i
c_set_sk
e
w
_
to_positive_or
t
h
a
nt to i
s
l_s
a
mple
.
c
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaeg
e
isl_tab
.
c: fix
t
ypo
in
comm
e
nt
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoola
e
ge
isl_basi
c
_
s
et_sample: brea
k
early
i
f sample fo
u
nd in
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdool
a
ege
e
x
p
ort i
s
l_
t
ab_
s
ample_is_integer
commit
|
commitdiff
|
tree
2009-07-15
Sve
n
Verdoolaege
isl_bas
i
c_set_sample:
check sample stored by isl_basic_
m
ap_i
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Verd
o
olaege
isl_basic_map_is
_
empty: remove sta
l
e
sample
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaeg
e
add
isl
_
p
o
l
y
hedron_
s
ample ap
p
lication
commit
|
commitdiff
|
tree
2009-07-15
Sven V
e
rdoolaege
introduce generalized basis re
d
ucti
o
n
ba
s
ed samp
l
ing
commit
|
commitdiff
|
tree
2009-07-15
Sven
V
erdool
a
eg
e
add i
s
l_seq
_
cdi
v
_q
commit
|
commitdiff
|
tree
2009-07-15
S
ven
V
e
rdoolaege
isl
_
sample
.
c: in
t
e
rval_sam
p
le: drop
r
edundant argument
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaeg
e
is
l
_samp
l
e
.
c: cl
e
an up handling
o
f lin
e
ali
t
y space
commit
|
commitdiff
|
tree
2009-07-13
S
v
en
Verdo
o
laege
isl_
s
ample
.
c
:
extract
o
ut sampl
e
_eq
commit
|
commitdiff
|
tree
2009-07-13
Sven V
e
rdo
o
l
a
ege
isl_sample
.
c
:
interval_sa
m
p
l
e: handl
e
equalities directly
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoola
e
ge
isl_sample
.
c
: ext
r
act o
u
t empty_samp
l
e
commit
|
commitdiff
|
tree
2009-07-13
Sve
n
Ver
d
o
olaege
isl_sample
.
c: genera
l
ize po
i
nt_sample to zero_sam
p
le
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
isl_
t
ab: don
'
t create new u
n
do rec
o
rds dur
i
ng rollback
commit
|
commitdiff
|
tree
2009-07-13
Sven
V
erdoo
l
aege
is
l
_tab_
m
in: use general ro
l
lback mecha
n
ism
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n
V
e
r
d
oolaege
is
l
_tab: optionally sa
v
e dual sol
u
tion
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
isl_tab: add i
s
l_tab_add_val
i
d_eq
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n Ver
d
oolaege
e
x
port
i
s
l_tab_alloc
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdo
o
l
a
ege
a
d
d
isl_int_le
commit
|
commitdiff
|
tree
2009-07-13
Sven
V
erdoolaege
privately ex
p
ort isl_basic_set_re
c
ession_cone
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
isl_
c
onvex_hull
.
c
:
a
dd
m
issing assignment
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
privately
e
xport i
s
l_basic_set_lineali
t
y_space
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoo
l
aege
isl_
v
ec: keep track of
isl_ctx
commit
|
commitdiff
|
tree
2009-07-12
Sven Verdoo
l
aege
isl_coalesce
.
c
:
fix typo
commit
|
commitdiff
|
tree
2009-06-13
Sven Verdoolaege
update piplib for change in configure a
r
guments
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoo
l
aege
isl_ba
s
ic_ma
p
_drop
_
redundant_divs: c
o
alesce divs
if
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Ver
d
oola
e
ge
isl_basic_map_
d
rop_redundant_divs: set div
expre
s
sion
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdool
a
eg
e
i
s
l_basic_
m
ap
_
d
rop_re
d
unda
n
t_
d
ivs: dr
o
p
mor
e
kinds
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven V
e
r
doola
e
g
e
isl
_
map_comp
u
te_divs: d
r
op o
b
viously redundant
divs
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sv
e
n V
e
r
doolaege
is
l
_map_pip
l
ib
.
c: extremum
_
on
:
detect equalities fi
r
st
commit
|
commitdiff
|
tree
2009-06-11
Sven Ver
d
oolaege
isl_pip_basic_map_compute_divs:
remove
s
ome equalities
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_pip_basic_ma
p
_comp
u
te
_
d
ivs: separate out dimens
i
on
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sve
n
Verdoolaege
is
l
_basic_set_prei
m
age:
h
andle divs in i
n
put
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_i
n
put_
o
mega
.
c:
m
ake va
r
iab
l
e_{free,
n
ew} sta
t
ic
commit
|
commitdiff
|
tree
2009-06-11
Sven
Verdoolaege
i
sl_ma
p
.
c
: make add_divs static
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdo
o
la
e
ge
isl_basic
_
map_
s
i
mplify: detect
div
c
o
nst
r
ain
t
s while
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
isl_basic_map_drop
:
properly handle dimensions
o
f
type
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven
Verd
o
olaeg
e
add isl
_
int_
m
u
l
_ui
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoo
l
aege
add is
l
_seq_fdiv_
q
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaeg
e
ad
d
isl_seq_fdiv_r
commit
|
commitdiff
|
tree
2009-06-07
Sv
e
n Verdoolae
g
e
isl_basi
c
_map
_
d
e
tect_e
q
ualities: properly handle empt
y
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven
Verd
o
ol
a
ege
isl_basic_map_is_empty: explicitly mark basi
c
sets
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sv
e
n Verdool
a
ege
isl_map
.
c: ord
e
r_divs: swap with
correct div
commit
|
commitdiff
|
tree
2009-06-07
Sven
Verdoolaege
isl_map_c
o
alesce: remove extra divs i
n
troduced by
isl_map_al
.
.
.
commit
|
commitdiff
|
tree
2009-06-05
S
v
en Verdoolaege
add isl_map_coale
s
ce
commit
|
commitdiff
|
tree
2009-05-19
Sven Verdoola
e
ge
add is
l
_set_product
commit
|
commitdiff
|
tree
2009-05-19
Sven
V
erdoolaeg
e
export isl_map_dim
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
isl_ma
p
_
convex_hul
l
: handle unboun
d
e
d, but pointed
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven
V
erdoolaege
privately export
i
sl_
m
at_un
i
mod
u
lar_
c
omp
l
ete
commit
|
commitdiff
|
tree
2009-05-06
S
ven Verdoolaege
isl_tab
.
c: add isl_tab_g
e
t_sample_value
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoo
l
aege
isl
_
map_con
v
ex_hull: a
v
oid i
n
troducin
g
lineality spaces
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdool
a
ege
add two more conve
x
hul
l
test cases
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
isl_ma
p
_convex_hull:
r
emove
l
ineali
t
y space if any
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
ad
d
isl_basic_set_
i
s_unive
r
se
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
add i
s
l_set_get_dim
commit
|
commitdiff
|
tree
2009-05-05
Sven
V
erdool
a
e
g
e
is
l
_c
o
nvex_hull
.
c: updat
e
wrap_fa
c
et to
the f
a
ct we
.
.
.
commit
|
commitdiff
|
tree
next