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 support for "big parameters"
2009-08-07
Sven
V
erd
o
olaege
isl_ta
b
: in
t
roduce support
for "bi
g
param
e
ters"
commit
|
commitdiff
|
tree
2009-08-07
Sven Verd
o
olaege
isl_ta
b
:
al
l
ow introduction o
f
e
x
t
r
a
v
a
riables
commit
|
commitdiff
|
tree
2009-08-07
S
v
e
n
V
e
r
doolaege
isl_
t
ab: introduce parameters and divs
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Verdoolaege
is
l
_tab
.
h: fix
typ
o
in
c
omment
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_tab: allow saving and
rest
o
ring t
h
e
complete b
a
sis
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoo
l
aeg
e
isl_
t
ab: p
r
i
vately
e
xport
s
om
e
f
u
ncti
o
n
ality
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Ve
r
doolaege
isl_tab:
s
tore
un
d
o argument in a union
for future
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
add isl_basic_set_samp
l
e_
b
ounded
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
privately export i
s
l
_
b
a
sic_s
e
t
_order_divs
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_map
_
simplify
.
c: remove_dependent_var
s
:
o
n
l
y remove
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verd
o
olaege
isl_basic_map
_
c
o
mpu
t
e_divs: use isl_basic_
s
e
t
_
lexm
i
n
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoola
e
ge
isl_pip_basic_map_
c
ompute_divs:
d
on't
turn divs i
n
t
o
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Ve
r
dool
a
ege
privately ex
p
o
r
t isl_basic_ma
p
_swa
p
_div
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Verdoolaege
isl_{se
t
,map
}
_add: don't a
d
d obviously empty basic
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Ve
r
d
o
olaege
co
m
b
i
ne isl
_
pip_
b
a
s
ic_map_
l
ex{
m
in,max}
i
nto i
s
l_pip_bas
i
c_ma
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven
Verdoolaege
make piplib
h
e
ader
s
p
rivate
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl
_
mat: keep track of the actual number of columns
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_tab_pivot: fix ty
p
o that
p
revented normalization
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Ver
d
oola
e
ge
add isl_basic_se
t
_positive_o
r
thant
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdo
o
l
aeg
e
add is
l
_basi
c
_set_partial_
l
e
x
{min,max}
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
rename
isl_basic_m
a
p
_
l
ex{min,max} to isl_basic_map
_
part
i
al_
l
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
add isl_b
a
si
c
_set_free_div
commit
|
commitdiff
|
tree
2009-08-07
Sven Ver
d
oolaege
isl_set_dim: su
p
po
r
t
isl_dim_all
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Verdoolaege
isl_tab
:
store index of variable in undo record instead
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
v
en
V
erdool
a
ege
a
d
d isl_{set
,
map}_gro
w
commit
|
commitdiff
|
tree
2009-08-07
Sven Ver
d
oolaege
add isl_map_ge
t
_
d
i
m
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoola
e
ge
add i
s
l_basi
c
_map_
g
et_dim
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaege
ad
d
isl_tab_du
p
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaege
exp
o
r
t i
s
l_ma
t
_dup
commit
|
commitdiff
|
tree
2009-08-04
Sv
e
n Verdoo
l
aege
i
s
l_tab
.
c: mark_redundant
:
only
m
ark varia
b
le nonneg
.
.
.
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdo
o
laege
isl_tab
.
c:
to_row
:
allow
p
ivoting in
arbi
t
rary direction
commit
|
commitdiff
|
tree
2009-08-04
Sven
V
e
r
doolaeg
e
isl_tab
.
c: simplify code by l
e
tti
n
g mark_empty return tab
commit
|
commitdiff
|
tree
2009-08-04
S
v
en Ve
r
doolaege
add isl_seq_last_non_zero
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaege
isl_tab
.
c: simplify
a
dd_eq
commit
|
commitdiff
|
tree
2009-08-04
Sven
V
erd
o
olaege
i
s
l_tab
.
c: ex
t
ract all
o
cate_con
commit
|
commitdiff
|
tree
2009-07-22
Sve
n
Verdoo
l
aege
priva
t
ely expo
r
t isl_basic_set_
s
et_rational
commit
|
commitdiff
|
tree
2009-07-22
Sven V
e
rdoolae
g
e
configur
e
.
ac
:
explicit
l
y set A
C
_CON
F
IG_AUX_DIR
commit
|
commitdiff
|
tree
2009-07-21
Sven Verdoolaege
c
o
nv
e
x_hul
l
: coalesce
set during facet computat
i
on
commit
|
commitdiff
|
tree
2009-07-21
Sven
V
erdoolaeg
e
isl_
m
ap_c
o
a
lesce: don't drop ra
t
io
n
al flag f
r
om result
.
.
.
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoolaege
isl_tab_cone_i
s
_bounded: s
t
a
rt
o
ver after computing
.
.
.
commit
|
commitdiff
|
tree
2009-07-19
Sven Verdoolaege
isl_ba
s
ic_set_di
m
_residu
e
_class: only
s
et
*
modul
o
to
.
.
.
commit
|
commitdiff
|
tree
2009-07-18
Sven Verdo
o
laege
ad
d
is
l
_
ba
s
i
c
_s
e
t
_
fas
t
_
dim_is_fixed
commit
|
commitdiff
|
tree
2009-07-16
Sven Verdoolaege
isl_tab
:
drop isl_ctx argu
m
ent whe
r
e not
a
bsolutely
.
.
.
commit
|
commitdiff
|
tree
2009-07-16
S
v
e
n
V
erdoolaege
isl_mat: keep track of isl_ctx
commit
|
commitdiff
|
tree
2009-07-16
Sv
e
n Verdool
a
eg
e
isl
_
basic_set_
s
ample: don't p
r
oject out lineality s
p
ace
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
isl_
b
a
s
ic_map_fix_pos
:
m
icr
o
-optim
i
zat
i
on
commit
|
commitdiff
|
tree
2009-07-15
Sven
V
e
r
d
oo
l
aege
move isl_basic_set_skew_
t
o_positive_orthant to isl_
s
amp
l
e
.
c
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaeg
e
isl_t
a
b
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2009-07-15
Sven V
e
r
d
oolaege
i
sl_
b
asic_s
e
t_sample: break early if sa
m
ple found
i
n
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sve
n
Verdoolae
g
e
export isl_tab_sample_is_intege
r
commit
|
commitdiff
|
tree
2009-07-15
S
v
en
V
erdoolaeg
e
isl_basi
c
_se
t
_sample: che
c
k sample sto
r
ed by isl_basic_map
_
i
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Verd
o
olaege
isl_bas
i
c_map_is_emp
t
y
:
r
emove stale sample
commit
|
commitdiff
|
tree
2009-07-15
S
v
en Verd
o
o
l
aege
add isl_po
l
yhedron_sam
p
le
a
pplication
commit
|
commitdiff
|
tree
2009-07-15
Sv
e
n
Ver
d
oolae
g
e
in
t
roduce
g
eneralize
d
basis reduction base
d
sam
p
ling
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
add
i
s
l_seq_cdiv
_
q
commit
|
commitdiff
|
tree
2009-07-15
Sven Ve
r
doolaege
i
s
l
_sample
.
c: interval_sa
m
ple: d
r
op redundant a
r
gumen
t
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
isl_sample
.
c
:
clean
u
p handling
o
f
l
inealit
y
s
p
a
ce
commit
|
commitdiff
|
tree
2009-07-13
Sven Ver
d
oo
l
aege
isl_sample
.
c: extr
a
ct out s
a
mpl
e
_
e
q
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n
V
er
d
oo
l
ae
g
e
isl_sample
.
c: i
n
terva
l
_samp
l
e: handle equa
l
ities dir
e
ctly
commit
|
commitdiff
|
tree
2009-07-13
Sve
n
V
er
d
oolaege
isl_sample
.
c: extr
a
c
t
out empty_sample
commit
|
commitdiff
|
tree
2009-07-13
Sven
V
erdoola
e
ge
is
l
_sam
p
le
.
c: generalize point_sample to zero_sample
commit
|
commitdiff
|
tree
2009-07-13
Sven V
e
rd
o
olaege
i
s
l_tab: don't create new undo
records
d
u
rin
g
rollback
commit
|
commitdiff
|
tree
2009-07-13
Sve
n
Verdoo
l
aege
isl_tab_mi
n
:
use general rollback mechanism
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoo
l
a
e
ge
isl_tab:
o
pt
i
o
n
all
y
s
a
ve dual soluti
o
n
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
isl_ta
b
: a
d
d isl_tab
_
a
d
d_v
a
lid_eq
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
export is
l
_tab_allo
c
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n Ver
d
o
o
laege
add isl_in
t
_
l
e
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
privately export isl_
b
asic_set_reces
s
ion_cone
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
isl_co
n
vex_
h
ull
.
c: add missing assignme
n
t
commit
|
commitdiff
|
tree
2009-07-13
S
v
en Verdoolae
g
e
privately exp
o
rt isl_basic
_
se
t
_lineality_
s
pace
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n Verdoola
e
ge
is
l
_vec: keep t
r
ack of isl_ctx
commit
|
commitdiff
|
tree
2009-07-12
Sven Ve
r
d
oolaege
isl_c
o
ale
s
ce
.
c: fix typo
commit
|
commitdiff
|
tree
2009-06-13
Sven Verd
o
olae
g
e
upda
t
e piplib for cha
n
g
e in configure ar
g
u
m
ents
commit
|
commitdiff
|
tree
2009-06-11
Sven Ver
d
o
ola
e
g
e
i
sl_ba
s
ic_map_d
r
o
p
_
r
e
dundant_divs:
c
o
alesce divs
i
f
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven
V
erdoolaege
isl_basi
c
_map_drop_
r
edundant_divs: set div expression
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdo
o
lae
g
e
i
s
l_ba
s
ic_map_drop_redundant_div
s
: drop more kinds
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Ve
r
doolaege
i
s
l_map_compute_divs: d
r
op obviously re
d
u
ndant divs
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Ver
d
oolaege
isl
_
map_piplib
.
c
: ex
t
remum_on: detect equal
i
t
ies
f
irst
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdool
a
e
g
e
i
s
l_pip_basic
_
map_compute_divs: remove
some
equalities
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven
Verdoolaege
isl_pip_basi
c
_map
_
comp
u
te_di
v
s: separate
o
ut di
m
ension
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_basic_set_preima
g
e:
h
andle divs
i
n
i
nput
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdool
a
ege
i
s
l_input_omega
.
c: make variable_{free,new} static
commit
|
commitdiff
|
tree
2009-06-11
Sv
e
n
V
erdoolaege
isl_m
a
p
.
c
:
make add_div
s
stat
i
c
commit
|
commitdiff
|
tree
2009-06-11
S
ven Ve
r
doola
e
ge
isl_bas
i
c_ma
p
_
s
i
mp
l
ify: detect div constraints while
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sv
e
n Verdoolaege
isl_basic_map_drop: properly handle dimensions of typ
e
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Ver
d
oo
l
aeg
e
add isl_
i
nt_mul_ui
commit
|
commitdiff
|
tree
2009-06-07
Sve
n
Verdoolaege
add isl_seq
_
fdiv
_
q
commit
|
commitdiff
|
tree
2009-06-07
S
ven Verdoola
e
ge
a
d
d i
s
l_seq_fdiv_r
commit
|
commitdiff
|
tree
2009-06-07
Sven
V
erdoolaege
isl_ba
s
ic_map_d
e
te
c
t_e
q
ualities:
properly
h
a
n
dl
e
empty
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sv
e
n Verdoo
l
a
ege
isl_basic_map_is_empty: explicitly mark
bas
i
c
s
e
t
s
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
i
s
l_map
.
c
:
order_
d
ivs: swap with corre
c
t
div
commit
|
commitdiff
|
tree
2009-06-07
Sv
e
n Verdoo
l
ae
g
e
isl_map_coalesce: remove
extra divs introdu
c
ed by isl_
m
a
p_
a
l
.
.
.
commit
|
commitdiff
|
tree
2009-06-05
Sven Ve
r
doolaege
add isl_map_coalesce
commit
|
commitdiff
|
tree
2009-05-19
Sv
e
n Verd
o
olaege
add isl_set_product
commit
|
commitdiff
|
tree
2009-05-19
Sven Ve
r
doo
l
aege
expo
r
t
isl_map
_
dim
commit
|
commitdiff
|
tree
2009-05-06
Sven
V
erdoolaege
isl_map_convex_hull: handle un
b
ounded, but
p
ointed
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sv
e
n Verd
o
olaege
privately e
x
po
r
t isl_mat_unimodu
l
ar_complete
commit
|
commitdiff
|
tree
2009-05-06
Sven Verd
o
olaege
isl
_
t
a
b
.
c
:
a
d
d
i
sl_tab_get_
s
a
m
ple_va
l
ue
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
isl_ma
p
_co
n
vex_hull: a
v
oid introducing l
i
neality spaces
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
add two m
o
re
con
v
ex h
u
ll
t
est
c
ases
commit
|
commitdiff
|
tree
next