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
rename isl_solve_lp to isl_basic_{map,set}_solve_lp
2009-08-28
S
v
en V
e
rdoolaege
r
e
name i
s
l_so
l
v
e_lp to isl_basic_{m
a
p,set}_solve_
l
p
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
isl_solve_lp: optionally return
s
o
lution point
commit
|
commitdiff
|
tree
2009-08-28
S
v
en
Verdoolaege
expor
t
isl_vec head
e
r
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
add isl_int_fdiv_q_ui
commit
|
commitdiff
|
tree
2009-08-28
S
ven Ver
d
oola
e
ge
add isl_vec_re
a
d
_from_file
commit
|
commitdiff
|
tree
2009-08-28
Sv
e
n Verdo
o
laege
isl_b
a
sic_m
a
p
_
dro
p
_redundant_divs:
a
lso in
v
estigate
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sven Verd
o
olaeg
e
isl_basi
c
_
ma
p
_apply_{do
m
ain,range}: drop redunda
n
t
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdo
o
la
e
ge
isl_map_simplify
.
c: fix
t
ypo in com
m
ent
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
isl_ba
s
ic_set
_
pr
o
ject_out: drop redundant di
v
s in res
u
lt
commit
|
commitdiff
|
tree
2009-08-28
Sve
n
Verdool
a
ege
isl_
b
a
si
c
_map_remove:
only drop divs if basic map
did
.
.
.
commit
|
commitdiff
|
tree
2009-08-13
S
v
en V
e
rdoolaege
isl_basic_map_detec
t
_equalities: explicit
l
y
keep track
.
.
.
commit
|
commitdiff
|
tree
2009-08-13
Sven Verdoolaege
isl_basic
_
map_ext
e
nd_dim: k
e
e
p
hold of samp
l
e if dimension
.
.
.
commit
|
commitdiff
|
tree
2009-08-09
Sven
V
erdoola
e
ge
isl_
t
ab_min: read
o
ff a
l
l infor
m
ation f
r
om tableau
.
.
.
commit
|
commitdiff
|
tree
2009-08-09
Sven
Verdo
o
l
a
e
ge
isl_t
a
b_a
d
d_vali
d
_eq: keep track of
whether
e
q
ua
l
i
t
y
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
ven Verdoolaege
co
n
figure
.
ac:
n
o longer use piplib by defau
l
t
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Verdoolae
g
e
add
a
n
internal pa
r
a
met
r
i
c intege
r
li
n
ear
prog
r
a
m
solve
r
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
r
d
oolaeg
e
isl_mat_extend
:
make
s
u
re th
e
number of rows never
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Ve
r
doolaeg
e
isl_affine_hull
.
c: only c
o
nstruct aff
i
n
e hull in bo
u
nded
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
v
en V
e
rdoolaege
isl_tab: add support for keeping track
of samples
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoo
l
aege
i
s
l_tab: o
p
t
i
o
na
l
ly keep track of row signs
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdool
a
ege
isl_tab: add isl_basic_set field for optionally keeping
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdo
o
laeg
e
isl_
t
ab:
i
n
t
roduce
support for "big paramete
r
s"
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Verdoolae
g
e
isl_tab: allow i
n
troduction of extr
a
variables
commit
|
commitdiff
|
tree
2009-08-07
Sven Verd
o
o
l
aege
isl_t
a
b: intro
d
uce par
a
meters and
d
i
v
s
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n
V
erdoolaege
isl_
t
ab
.
h: fix typo in comment
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_tab: allow saving and resto
r
ing
t
h
e
complete basi
s
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Ver
d
o
o
laege
isl_t
a
b: privately export so
m
e fun
c
tionalit
y
commit
|
commitdiff
|
tree
2009-08-07
S
v
en
Verdoolaege
isl_
t
ab:
s
tore undo argument in
a un
i
o
n
f
or fut
u
re
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Verdoolaege
add
i
sl_
b
asic_set
_
sample
_
boun
d
ed
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
rdoolaege
privatel
y
ex
p
o
r
t
isl_basic_s
e
t_
o
rder_di
v
s
commit
|
commitdiff
|
tree
2009-08-07
Sven
Verdoolaege
isl_map_simplify
.
c: r
e
mov
e
_dependent_
v
ars
:
only
rem
o
v
e
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
r
d
oolaege
isl_basic_
m
a
p
_co
m
put
e
_di
v
s
: use isl_basic_set_l
e
xmin
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
rdoolaeg
e
i
s
l_pip_basic_map_
c
ompute
_
divs: don't t
u
rn divs into
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Verdoolaege
pr
i
vately e
x
port isl_basic_map_swap
_
d
i
v
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaeg
e
i
sl_{set
,
ma
p
}_add: don
'
t
add
o
bviously
e
mpty
basic
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Verdoolaege
combine is
l
_
p
i
p_basic_map_le
x
{min,max} into
i
sl_pip_basic_ma
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verd
o
ol
a
e
g
e
make pipli
b
head
e
rs private
commit
|
commitdiff
|
tree
2009-08-07
Sven
Ver
d
oolaege
isl_ma
t
: ke
e
p track of the
a
c
tual number
o
f columns
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
erdo
o
lae
g
e
i
s
l_tab_pivot: fix typo that pr
e
vented normaliz
a
tion
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
add isl_basic_set_positive_or
t
hant
commit
|
commitdiff
|
tree
2009-08-07
S
v
e
n Verdoolaege
add isl_basic_set_partial_lex{min,max}
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolae
g
e
rena
m
e isl_
b
asi
c
_map_lex{min,m
a
x}
to i
s
l_basic_map_partial_l
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolae
g
e
add
isl_ba
s
ic_set_free_div
commit
|
commitdiff
|
tree
2009-08-07
S
ven Verdoolaege
isl_set_dim:
s
upport isl_dim_all
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdo
o
laege
isl_tab: store index of var
i
able i
n
undo record
instead
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
ad
d
isl_{
s
et,map}_grow
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
add isl_m
a
p_get_d
i
m
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoo
l
a
ege
add isl_bas
i
c
_map_get_dim
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoo
l
a
ege
ad
d
isl_tab_dup
commit
|
commitdiff
|
tree
2009-08-04
Sve
n
Verdoolaege
exp
o
r
t
isl_mat_du
p
commit
|
commitdiff
|
tree
2009-08-04
Sven V
e
rdoo
l
aege
isl_tab
.
c
:
ma
r
k_redundant: onl
y
mark var
i
able nonneg
.
.
.
commit
|
commitdiff
|
tree
2009-08-04
Sve
n
V
erdool
a
ege
i
s
l_t
a
b
.
c: to
_
row:
all
o
w
pivoting in arbitra
r
y
d
irection
commit
|
commitdiff
|
tree
2009-08-04
Sve
n
Verdool
a
ege
isl_tab
.
c: simplify code b
y
l
etting
mark_
e
mpty return
tab
commit
|
commitdiff
|
tree
2009-08-04
Sven Ver
d
oola
e
ge
add isl_s
e
q
_l
a
st_non_zero
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaege
isl_tab
.
c: simplif
y
add_eq
commit
|
commitdiff
|
tree
2009-08-04
Sv
e
n Verd
o
olaege
is
l
_tab
.
c: extract
a
l
l
ocate_co
n
commit
|
commitdiff
|
tree
2009-07-22
Sve
n
Ver
d
ool
a
ege
privately ex
p
ort isl_bas
i
c_set_set_rational
commit
|
commitdiff
|
tree
2009-07-22
Sven
V
erdoolaege
configu
r
e
.
ac: exp
l
ic
i
tly
set
AC_CON
F
IG_A
U
X_DIR
commit
|
commitdiff
|
tree
2009-07-21
Sven Verdoolaege
convex_hull: coal
e
sce set during facet c
o
mputation
commit
|
commitdiff
|
tree
2009-07-21
Sve
n
Verdoolaege
isl_map_coale
s
ce
:
d
on't drop rational
f
lag fro
m
result
.
.
.
commit
|
commitdiff
|
tree
2009-07-20
Sve
n
Verdoolaege
isl
_
t
ab_c
o
ne
_
is_boun
d
ed
:
start over after computing
.
.
.
commit
|
commitdiff
|
tree
2009-07-19
Sven Verd
o
olaege
i
s
l_basic_
s
et_dim_residue_cl
a
ss: only
set *modulo to
.
.
.
commit
|
commitdiff
|
tree
2009-07-16
Sve
n
Verdoolaege
isl_tab
:
d
r
op
isl_ctx a
r
gum
e
nt where not
a
bsolutely
.
.
.
commit
|
commitdiff
|
tree
2009-07-16
S
ven Verd
o
ol
a
ege
isl_mat: keep tr
a
ck of isl_ctx
commit
|
commitdiff
|
tree
2009-07-16
Sven Verdoolaege
isl
_
basi
c
_set
_
sample: d
o
n't project
o
ut
lineality spa
c
e
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sv
e
n Verdoolaege
i
sl_basic_map_fix
_
pos: micro-optimization
commit
|
commitdiff
|
tree
2009-07-15
Sve
n
Verdoolaege
m
o
v
e
i
sl_basic_s
e
t_skew_to_
p
ositive_
o
rthant t
o
i
s
l_sample
.
c
commit
|
commitdiff
|
tree
2009-07-15
Sven Ve
r
doolaege
isl_tab
.
c: fix typo i
n
commen
t
commit
|
commitdiff
|
tree
2009-07-15
Sven
V
erd
o
olaege
i
s
l
_
basic_set
_
s
ample: break early if sample
f
ound in
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sv
e
n
Verdoolaege
expor
t
i
s
l_tab_sample_is_integer
commit
|
commitdiff
|
tree
2009-07-15
S
v
en Verdoolae
g
e
isl_basic_set_
s
ampl
e
:
check sa
m
ple
stored by isl
_
basic_map_i
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
isl
_
b
a
sic_map_is_empty:
r
emove stale sample
commit
|
commitdiff
|
tree
2009-07-15
Sven
Verdoolaege
a
d
d isl_pol
y
he
d
ron_sample ap
p
l
ica
t
i
on
commit
|
commitdiff
|
tree
2009-07-15
Sven V
e
rdoolaege
i
n
troduce ge
n
eralized basis redu
c
t
i
o
n b
a
sed sampling
commit
|
commitdiff
|
tree
2009-07-15
Sv
e
n
Verdoolaege
a
dd isl_seq_cd
i
v
_
q
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
isl_sample
.
c: interval_sample: drop redund
a
nt a
r
g
ument
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
isl_sa
m
pl
e
.
c:
c
lean
up
h
andling of
lineality
s
p
a
ce
commit
|
commitdiff
|
tree
2009-07-13
S
v
en
Verdo
o
la
e
ge
isl_sa
m
p
le
.
c: ext
r
a
c
t
out sample_e
q
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoola
e
ge
isl_sample
.
c: int
e
rval_
s
ample: handle e
q
ualitie
s
directly
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
isl_sample
.
c: extract
out empty_sam
p
le
commit
|
commitdiff
|
tree
2009-07-13
Sven Ver
d
ool
a
ege
is
l
_sa
m
p
l
e
.
c: generalize poi
n
t_sa
m
ple
t
o zero
_
s
ample
commit
|
commitdiff
|
tree
2009-07-13
Sve
n
Ve
r
d
o
olaeg
e
isl_
t
ab: don'
t
crea
t
e
n
e
w
undo records during rollbac
k
commit
|
commitdiff
|
tree
2009-07-13
Sven Verd
o
o
l
aege
isl_tab_min: use g
e
ne
r
al rollback mec
h
anism
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n
V
erdool
a
e
ge
isl_t
a
b
: optionally save dual solution
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolae
g
e
isl_tab: add isl_tab_a
d
d_val
i
d_eq
commit
|
commitdiff
|
tree
2009-07-13
Sven
Verdo
o
l
a
ege
export isl_tab_alloc
commit
|
commitdiff
|
tree
2009-07-13
Sven Ver
d
oolaeg
e
add isl_int
_
le
commit
|
commitdiff
|
tree
2009-07-13
Sven Ver
d
o
o
laeg
e
privatel
y
expor
t
isl_
b
asic_set_rec
e
ssion_c
o
ne
commit
|
commitdiff
|
tree
2009-07-13
Sven
Verdoolaege
i
sl_
c
onvex_hu
l
l
.
c:
a
dd mis
s
ing assignmen
t
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
privatel
y
exp
o
rt isl_basic_set_lineality_space
commit
|
commitdiff
|
tree
2009-07-13
S
v
en Verdoolaege
i
s
l_vec
:
ke
e
p track o
f
isl_c
t
x
commit
|
commitdiff
|
tree
2009-07-12
Sven V
e
rdoolaege
isl_coalesc
e
.
c: fix
typo
commit
|
commitdiff
|
tree
2009-06-13
S
v
en Verdo
o
laege
update p
i
pli
b
for change in confi
g
ure arguments
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoo
l
aege
isl
_
b
a
s
i
c_map_drop_redunda
n
t_div
s
: co
a
l
e
sce divs i
f
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolae
g
e
isl_bas
i
c_map_drop_redundant_div
s
: set div
expression
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sv
e
n Ve
r
d
o
ol
a
ege
is
l
_basi
c
_map_
d
rop_redundan
t
_divs: drop mo
r
e kinds
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven
Verdoolae
g
e
isl_map_compu
t
e
_d
i
vs: drop obviously redundant divs
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdo
o
laege
i
sl_map_pip
l
ib
.
c: extremum_on: detect equalities first
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaeg
e
is
l
_
p
ip_ba
s
i
c_map_compute_di
v
s: remove some equal
i
ties
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoo
l
aeg
e
isl
_
pip_basic_m
a
p_compute_div
s
: separat
e
out dimension
.
.
.
commit
|
commitdiff
|
tree
next