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_basic_map_gauss: try not to remove any div definitions
2009-09-01
Sven Verd
o
olaege
isl_basic_map_gauss: try not
to remove
any div
d
ef
i
n
ition
s
commit
|
commitdiff
|
tree
2009-08-30
Sven Verdoolaege
a
dd isl
_
map_sum
commit
|
commitdiff
|
tree
2009-08-30
Sven Ve
r
doolaege
add isl_
m
ap_floordiv
commit
|
commitdiff
|
tree
2009-08-30
Sv
e
n Verdoolaege
add i
s
l_map_neg
commit
|
commitdiff
|
tree
2009-08-30
Sv
e
n
Ver
d
oolaege
a
d
d is
l
_map_is_strict_subs
e
t
commit
|
commitdiff
|
tree
2009-08-30
Sven Verdoolaege
a
dd isl_map_fast_is_fi
x
ed
commit
|
commitdiff
|
tree
2009-08-30
Sven
Verdoolaege
add isl_map_identity_
l
ike
commit
|
commitdiff
|
tree
2009-08-30
Sve
n
Verdoolaege
r
e
name
isl_map_i
d
entity_like to is
l
_
m
a
p_identity_like_basic_map
commit
|
commitdiff
|
tree
2009-08-28
Sven
V
e
rdoolae
g
e
ad
d
is
l
_po
l
ytope_scan appl
i
cation
commit
|
commitdiff
|
tree
2009-08-28
Sven Ve
r
doolaege
isl_
s
eq_normalize: use pre-allo
c
at
e
d temporar
y
variable
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sv
e
n Verdoolae
g
e
a
d
d
isl_vec_n
o
r
m
alize
commit
|
commitdiff
|
tree
2009-08-28
S
ven Ve
r
d
o
olaege
isl_seq_nor
m
aliz
e
: no need to scale
d
own by one
commit
|
commitdiff
|
tree
2009-08-28
S
ven Verdoolaege
add isl_polyhedron_minimize applic
a
t
i
on
commit
|
commitdiff
|
tree
2009-08-28
Sven
Verdo
o
l
a
ege
add
generali
z
ed basi
s
red
u
c
t
ion
b
ased I
L
P sol
v
er
commit
|
commitdiff
|
tree
2009-08-28
Sv
e
n
V
erdo
o
laege
add isl_vec
_
m
a
t_product
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
e
xport
isl
_
v
e
c_c
e
il
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoola
e
ge
isl_basic_set_sample:
o
nl
y
p
e
rform basis reduction
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
S
v
en
V
e
r
doolaege
rename isl_solve_lp to i
s
l_bas
i
c_{map,set}
_
solv
e
_
l
p
commit
|
commitdiff
|
tree
2009-08-28
Sven Ver
d
oolaege
isl
_
solve_lp:
optionally return solution
p
oi
n
t
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
export isl_vec header
commit
|
commitdiff
|
tree
2009-08-28
Sv
e
n Verdoolaege
ad
d
isl_int_fdiv
_
q_
u
i
commit
|
commitdiff
|
tree
2009-08-28
Sv
e
n Verdoola
e
ge
a
dd i
s
l_vec_r
e
a
d
_from_f
i
le
commit
|
commitdiff
|
tree
2009-08-28
Sven Ver
d
ool
a
eg
e
i
s
l_basic_ma
p
_drop_r
e
dundant_divs:
also invest
i
gate
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sven
V
erdoolaege
isl_b
a
s
ic_map_apply_{domain,
r
ange}: drop redundant
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
isl_map_simplify
.
c: f
i
x
typo
i
n c
o
m
m
ent
commit
|
commitdiff
|
tree
2009-08-28
Sv
e
n Verd
o
olaege
isl
_
basic_set_
p
r
o
ject
_
out
:
drop redundant div
s
in result
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdo
o
lae
g
e
isl_ba
s
ic_map_remove
:
only drop divs if bas
i
c map
d
id
.
.
.
commit
|
commitdiff
|
tree
2009-08-13
S
ven Verdoolaege
isl_basic_
m
ap_detect
_
equal
i
t
i
es:
e
x
plici
t
l
y keep track
.
.
.
commit
|
commitdiff
|
tree
2009-08-13
Sven Verdoola
e
g
e
isl_basic_map_extend_dim: keep hold
of sa
m
ple if
d
imension
.
.
.
commit
|
commitdiff
|
tree
2009-08-09
S
v
en Verdoolaege
isl_
t
ab_min: read off
all info
r
mation from
tableau
.
.
.
commit
|
commitdiff
|
tree
2009-08-09
Sven Verdoolaege
isl_tab_
a
dd_val
i
d_eq: ke
e
p
track of
w
hethe
r
e
qu
a
l
i
t
y
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Verdoolaege
configur
e
.
ac: no
longe
r
use pip
l
ib b
y
default
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
e
r
dool
a
ege
add an
i
nternal paramet
r
ic integer
l
inear program so
l
ver
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
i
s
l_ma
t
_ext
e
nd: make sure the
n
umb
e
r
of
r
ows never
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven
Verdoolaege
isl_affine_hull
.
c: on
l
y construct a
f
fine hull i
n
bounded
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
i
s
l_tab: add support
f
o
r
keeping tr
a
ck of samp
l
es
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_t
a
b: opti
o
nally k
e
e
p
tra
c
k
o
f row
signs
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdo
o
laeg
e
i
sl
_
tab: add
i
sl_b
a
s
ic_set field f
o
r optionally keeping
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoo
l
a
ege
isl_tab:
i
n
t
rod
u
ce support for "b
i
g par
a
meters"
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoo
l
aege
i
s
l_tab: a
l
low intr
o
du
c
tion of extr
a
variables
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Verdoolaege
isl_tab
:
introduce par
a
m
eters and d
i
vs
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n
V
erdo
o
laege
i
sl_ta
b
.
h: fix typo in comment
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoola
e
ge
isl_tab: allow
s
a
ving and restoring the comp
l
ete b
a
sis
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n
V
erd
o
ol
a
ege
i
sl
_
tab: privat
e
l
y export some functionality
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
e
rdool
a
ege
isl_t
a
b:
s
tore
undo argum
e
n
t
in a union for future
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
add
isl_basic_
s
et_sample_b
o
unded
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
rdoolaege
priv
a
tely export isl
_
basic_set_order_divs
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_map_simpl
i
fy
.
c: remo
v
e_depen
d
ent_vars: only r
e
move
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdo
o
laege
is
l
_basic_map_com
p
ute_di
v
s: use isl_b
a
sic_set
_
l
e
x
min
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdool
a
e
g
e
i
s
l_pip
_
basic_
m
ap_compute_
d
ivs: don't tu
r
n divs into
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdool
a
ege
pr
i
v
ately
e
x
p
ort
isl_b
a
sic_m
a
p_swap_div
commit
|
commitdiff
|
tree
2009-08-07
S
ven
V
erd
o
olaege
isl_{se
t
,
map}_add:
don't add
obviously empty
b
a
s
i
c
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Verdoolaeg
e
co
m
bine isl_pi
p
_basic_
m
ap_l
e
x{min,ma
x
}
into isl_
p
ip_basic
_
m
a
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
ven Verdoo
l
a
e
ge
make piplib headers
p
rivate
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Verdoo
l
a
e
ge
isl_mat:
k
e
ep trac
k
o
f
th
e
actua
l
numb
e
r of columns
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven
Verd
o
o
l
aege
i
s
l_tab_pivot:
fi
x
typo
that preve
n
ted normalizati
o
n
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Ve
r
doo
l
a
e
ge
add isl
_
bas
i
c_s
e
t_positive_orthan
t
commit
|
commitdiff
|
tree
2009-08-07
Sven Ve
r
doola
e
ge
add isl_basic_set_parti
a
l_lex
{
m
in,max}
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Verdoolaege
rename isl
_
basic_map_
l
ex{min,max} to isl_b
a
sic_map_pa
r
tial
_
l
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
a
d
d
i
sl_basic_set_free_div
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
r
d
o
o
la
e
ge
isl_set_dim: suppo
r
t
i
s
l
_dim_all
commit
|
commitdiff
|
tree
2009-08-07
Sven Ve
r
doolaege
isl_tab: st
o
r
e
index of
variable in undo recor
d
instead
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
add isl_{set,map}_gro
w
commit
|
commitdiff
|
tree
2009-08-07
S
v
en
V
erdoolaege
add isl_map_get_
d
im
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdo
o
l
aege
ad
d
isl_basic_map_get_dim
commit
|
commitdiff
|
tree
2009-08-04
Sv
e
n Verdoolaege
a
d
d
isl_tab_dup
commit
|
commitdiff
|
tree
2009-08-04
Sven Ve
r
doolaege
expo
r
t is
l
_mat_dup
commit
|
commitdiff
|
tree
2009-08-04
Sven
Verdoolaege
isl_tab
.
c: m
a
rk_r
e
dundant:
o
nly mark va
r
ia
b
le nonne
g
.
.
.
commit
|
commitdiff
|
tree
2009-08-04
Sve
n
Ve
r
doolaege
isl_tab
.
c: to_row: allow pivotin
g
in arbitr
a
ry d
i
rection
commit
|
commitdiff
|
tree
2009-08-04
S
v
en Ve
r
doolaege
isl_tab
.
c
:
simplify code by letting mark_empty return tab
commit
|
commitdiff
|
tree
2009-08-04
Sven
Verd
o
olaege
add i
s
l_seq_last_non_zer
o
commit
|
commitdiff
|
tree
2009-08-04
S
ve
n
Verdoolaege
isl_
t
ab
.
c: simplify add_eq
commit
|
commitdiff
|
tree
2009-08-04
Sve
n
Verdo
o
laege
isl_tab
.
c: e
x
tract
all
o
cate
_
c
o
n
commit
|
commitdiff
|
tree
2009-07-22
S
ven
V
e
rdoolaege
privately e
x
port i
s
l_ba
s
i
c
_set_se
t
_rationa
l
commit
|
commitdiff
|
tree
2009-07-22
Sven Verd
o
olaege
configure
.
a
c
: explicitly set AC_CO
N
FI
G
_AUX_DIR
commit
|
commitdiff
|
tree
2009-07-21
Sv
e
n Verdoolaege
c
o
nv
e
x_
h
ull:
c
oalesce set during
facet computa
t
ion
commit
|
commitdiff
|
tree
2009-07-21
Sven V
e
rdoolaege
i
s
l
_map_coal
e
sce: don't drop rational flag from result
.
.
.
commit
|
commitdiff
|
tree
2009-07-20
S
v
en Verdoolae
g
e
i
s
l_t
a
b_cone_is_boun
d
ed: star
t
over after com
p
uti
n
g
.
.
.
commit
|
commitdiff
|
tree
2009-07-19
Sven
Verdoolaege
isl_ba
s
ic_set_dim_residue_cla
s
s: only set *modulo to
.
.
.
commit
|
commitdiff
|
tree
2009-07-18
Sven Verdoo
l
aege
add isl_basic_set_fast
_
dim_
i
s_fixed
commit
|
commitdiff
|
tree
2009-07-16
Sven Ve
r
do
o
laege
isl_t
a
b: drop isl_ctx arg
u
ment where not absolutely
.
.
.
commit
|
commitdiff
|
tree
2009-07-16
Sven Verdoolaege
isl_mat: keep track of isl_ctx
commit
|
commitdiff
|
tree
2009-07-16
Sven Verdoola
e
ge
isl_
b
asic_set_sample:
do
n
't project
o
ut
lineality spa
c
e
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven
Verdoolaege
isl
_
b
a
s
i
c_map_f
i
x
_
pos: micro-optim
i
zation
commit
|
commitdiff
|
tree
2009-07-15
S
v
e
n
Verdoolaege
move isl_bas
i
c_set_skew_to_p
o
sitive_orthant to isl_sample
.
c
commit
|
commitdiff
|
tree
2009-07-15
S
v
en
Verdoolaege
isl_
t
ab
.
c: fix typo i
n
co
m
m
e
n
t
commit
|
commitdiff
|
tree
2009-07-15
Sve
n
V
erdoolaege
isl_bas
i
c_set_s
a
mple: break early
i
f sampl
e
fo
u
nd in
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven V
e
rdoola
e
g
e
export isl_tab_sample_is_integ
e
r
commit
|
commitdiff
|
tree
2009-07-15
Sve
n
Verdoolaege
isl_basic_set_sample: check sa
m
ple
s
to
r
e
d by i
s
l_bas
i
c_map_i
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Ve
r
doola
e
ge
i
s
l_basic_m
a
p_i
s
_e
m
pty: remove sta
l
e
sam
p
le
commit
|
commitdiff
|
tree
2009-07-15
Sv
e
n Ver
d
oolaege
a
dd isl_polyhedron_sample applicati
o
n
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdo
o
laege
introduce gene
r
alized ba
s
is reduction b
a
sed
s
ampling
commit
|
commitdiff
|
tree
2009-07-15
Sven Verd
o
olaege
add isl_seq
_
cd
i
v_q
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
i
s
l_sample
.
c
:
i
nterval_sample: drop redu
n
dant ar
g
um
e
nt
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdool
a
ege
i
s
l
_
sa
m
ple
.
c: c
l
e
a
n
up han
d
l
ing of l
i
neality spa
c
e
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaeg
e
isl_sample
.
c: extract out samp
l
e_eq
commit
|
commitdiff
|
tree
2009-07-13
Sven Verd
o
olaege
is
l
_sample
.
c: int
e
rval_sample: ha
n
dle equal
i
t
ies directly
commit
|
commitdiff
|
tree
2009-07-13
S
ven Ve
r
doola
e
ge
isl_s
a
m
ple
.
c:
e
xtract out empty_sample
commit
|
commitdiff
|
tree
2009-07-13
Sven V
e
rd
o
olaege
isl
_
sample
.
c: generalize poin
t
_
sam
p
le
to zero_sample
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdool
a
ege
isl_tab: don
'
t
c
reat
e
new undo
re
c
ord
s
during rol
l
back
commit
|
commitdiff
|
tree
next