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 Verdoolaege
isl_ba
s
i
c
_
m
ap_gauss: try not to
r
emove any div
d
e
fini
t
i
on
s
commit
|
commitdiff
|
tree
2009-08-30
Sven
V
erdoola
e
g
e
ad
d
isl_ma
p
_su
m
commit
|
commitdiff
|
tree
2009-08-30
S
ven Verd
o
o
l
aege
add
i
sl_map_floordiv
commit
|
commitdiff
|
tree
2009-08-30
Sven Verdoolaege
ad
d
is
l
_map
_
ne
g
commit
|
commitdiff
|
tree
2009-08-30
Sven Verdoolaege
add isl_map_is_
s
trict_subset
commit
|
commitdiff
|
tree
2009-08-30
Sve
n
Verdoolaege
add is
l
_map_fast_i
s
_fi
x
ed
commit
|
commitdiff
|
tree
2009-08-30
Sv
e
n Verdoolaege
add isl_map
_
identi
t
y_like
commit
|
commitdiff
|
tree
2009-08-30
Sv
e
n Verdoolaege
rename isl_map_ide
n
tity_like to
i
sl_map_identity_like_basic_map
commit
|
commitdiff
|
tree
2009-08-28
Sve
n
Verdoolaege
add isl_polytope_scan a
p
p
l
icat
i
on
commit
|
commitdiff
|
tree
2009-08-28
Sven Ver
d
oolae
g
e
isl_s
e
q_norma
l
i
z
e
: use p
r
e-allocat
e
d t
e
m
porary v
a
riable
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
S
v
en Verdo
o
laege
add isl_vec_n
o
rma
l
iz
e
commit
|
commitdiff
|
tree
2009-08-28
S
ven Verdool
a
ege
isl_se
q
_normalize: no need to scale d
o
wn by one
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
a
d
d isl_polyhe
d
ro
n
_
m
inimize a
p
pli
c
at
i
on
commit
|
commitdiff
|
tree
2009-08-28
S
v
en Ver
d
oolaege
add
ge
n
erali
z
ed
b
a
sis redu
c
tion based ILP solver
commit
|
commitdiff
|
tree
2009-08-28
Sv
e
n V
e
rdool
a
ege
add is
l
_vec
_
m
a
t_product
commit
|
commitdiff
|
tree
2009-08-28
Sven
Verdoolaeg
e
export is
l
_ve
c
_ceil
commit
|
commitdiff
|
tree
2009-08-28
Sven
Verdoolaege
i
s
l_basic_set_sample: only pe
r
form basis
r
eductio
n
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sv
e
n
Ve
r
do
o
laege
rename isl_solve_lp to isl_basic_{map,set}_solve_
l
p
commit
|
commitdiff
|
tree
2009-08-28
Sve
n
Verdoolaege
isl_
s
olve_lp: optio
n
ally return solution point
commit
|
commitdiff
|
tree
2009-08-28
Sven
Verdoolaege
e
x
p
o
r
t isl_ve
c
hea
d
er
commit
|
commitdiff
|
tree
2009-08-28
Sve
n
Verdoo
l
aeg
e
a
d
d isl_int_fdiv_q_ui
commit
|
commitdiff
|
tree
2009-08-28
S
v
e
n
V
erdoolaege
add isl_vec_read_from_file
commit
|
commitdiff
|
tree
2009-08-28
Sven Ve
r
doo
l
a
ege
isl_basi
c
_map_drop_redunda
n
t_
d
i
v
s: also investigate
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
isl_basic_map_apply_{domain,ran
g
e
}
: drop
redunda
n
t
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdool
a
eg
e
isl_map_simplify
.
c: fix t
y
po in comment
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
i
s
l
_basi
c
_set_project_out: drop redundant
d
ivs in result
commit
|
commitdiff
|
tree
2009-08-28
Sven Ver
d
oolaege
isl
_
basic_map_remove: only
dro
p
divs if basic map did
.
.
.
commit
|
commitdiff
|
tree
2009-08-13
Sven V
e
r
d
oo
l
aege
isl_ba
s
ic
_
map_dete
c
t_equalities: explicitly keep trac
k
.
.
.
commit
|
commitdiff
|
tree
2009-08-13
Sven Verdoolaege
i
sl_basic_
m
ap_ext
e
nd_di
m
: kee
p
hold of sam
p
le if
d
imens
i
o
n
.
.
.
commit
|
commitdiff
|
tree
2009-08-09
Sven Verdo
o
l
a
ege
isl_tab_m
i
n: read off all
informat
i
on f
r
om tablea
u
.
.
.
commit
|
commitdiff
|
tree
2009-08-09
Sven Verdoolaeg
e
isl_tab_ad
d
_v
a
lid_
e
q: keep t
r
ac
k
of
w
heth
e
r equali
t
y
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoo
l
aege
config
u
re
.
ac: no longer use
pipli
b
b
y de
f
ault
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
a
dd an
interna
l
parametr
i
c integer linear progr
a
m s
o
l
v
er
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Verdoo
l
a
eg
e
isl_mat_exte
n
d: m
a
ke sure the number
o
f
r
o
w
s never
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoo
l
aege
isl
_
a
f
fine_hul
l
.
c: only
constru
c
t
a
ffine hull in bounded
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n
V
e
r
d
o
olaege
isl_tab: add support for
k
ee
p
ing track of sample
s
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Verdool
a
ege
isl_ta
b
:
o
ption
a
lly keep track of row s
i
gns
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl
_
tab: add
i
sl_basic_s
e
t
fiel
d
for optionally keepi
n
g
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Verdoolaege
isl_tab: introduce su
p
port f
o
r "big parameters"
commit
|
commitdiff
|
tree
2009-08-07
Sven Verd
o
olaege
is
l
_tab: a
l
low
i
n
tr
o
duc
t
ion of
e
x
tra variables
commit
|
commitdiff
|
tree
2009-08-07
Sven Ver
d
ool
a
eg
e
isl_
t
ab: introduce p
a
rameters and
d
ivs
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Verdoola
e
ge
isl_tab
.
h: fix typo in co
m
m
e
nt
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoola
e
ge
i
s
l
_t
a
b: allow saving and restori
n
g t
h
e c
o
m
plete b
a
s
is
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_tab: privately ex
p
o
rt
som
e
fun
c
tionality
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
i
sl_tab: store undo arg
u
me
n
t in a unio
n
for futur
e
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
a
dd isl
_
b
asi
c
_set_sample_bounde
d
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Verdoola
e
ge
p
rivat
e
ly export isl_basic_set_order_div
s
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_map_simplif
y
.
c: remove_dependent_vars: only remove
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
r
d
oolae
g
e
i
sl_b
a
sic_map_compute_
d
ivs: use
isl_basic_s
e
t_lexmin
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoo
l
aege
isl_p
i
p_basic_map_compute_divs: don't turn divs into
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
privately e
x
port isl_bas
i
c_map_swap_div
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_{set,map}_add: d
o
n
'
t add obviously empty basic
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Verdoolaege
c
o
m
bine i
s
l_pip_bas
i
c_map_lex{min,max}
i
nto i
s
l
_
p
i
p_basic_ma
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Verdool
a
ege
make pi
p
li
b
headers private
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
V
erdoo
l
aege
isl_mat: kee
p
track of the actual n
u
m
b
er of columns
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
rd
o
o
l
aege
isl_tab_pivot:
f
ix typ
o
that prevented
n
ormalization
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
v
e
n
V
erdo
o
laege
a
d
d isl_ba
s
ic_set_
p
ositive_o
r
thant
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n
Verdo
o
la
e
g
e
add isl
_
basic_s
e
t_
p
artial_l
e
x{min,max}
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
rdoolaege
ren
a
me
i
sl_basic_map_lex
{
min,max
}
to
isl_basic_map_p
a
rtial_l
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoola
e
ge
add
i
s
l
_ba
s
ic_s
e
t
_f
r
e
e_div
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoo
l
aege
isl
_
se
t
_dim: support isl
_
d
im_all
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_tab: store inde
x
of variable i
n
u
n
d
o
record ins
t
ea
d
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoo
l
aege
a
dd
isl_
{
set,map}_gro
w
commit
|
commitdiff
|
tree
2009-08-07
S
v
e
n Verdoolaege
add isl_map_get
_
dim
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
add isl_basic_map_
g
e
t_di
m
commit
|
commitdiff
|
tree
2009-08-04
Sven V
e
rdool
a
ege
add
i
sl_tab_
d
up
commit
|
commitdiff
|
tree
2009-08-04
Sven Ve
r
doolaege
export isl_m
a
t
_
d
u
p
commit
|
commitdiff
|
tree
2009-08-04
Sven Verd
o
olaege
isl_tab
.
c: ma
r
k_redund
a
nt: only mar
k
variable nonn
e
g
.
.
.
commit
|
commitdiff
|
tree
2009-08-04
Sven
Verdoolaege
i
s
l_tab
.
c:
t
o_
r
ow: allow
p
ivoting in arbitrary direction
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaege
isl_tab
.
c: simplify code
b
y lett
i
ng mar
k
_empty ret
u
rn t
a
b
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoola
e
g
e
a
d
d
i
sl
_
seq_last_non_zer
o
commit
|
commitdiff
|
tree
2009-08-04
Sve
n
Verdoola
e
ge
isl
_
tab
.
c:
s
impli
f
y add_eq
commit
|
commitdiff
|
tree
2009-08-04
Sven Ve
r
doolaeg
e
isl_tab
.
c: ex
t
ract a
l
locate_c
o
n
commit
|
commitdiff
|
tree
2009-07-22
S
v
en
V
erdoolaege
p
r
i
vately expo
r
t isl_basic_
s
et_set_rati
o
nal
commit
|
commitdiff
|
tree
2009-07-22
Sven
Verdoolaege
configure
.
ac: ex
p
l
i
c
i
tly set AC_C
O
N
FIG_
A
U
X
_DIR
commit
|
commitdiff
|
tree
2009-07-21
Sven Verdoolaege
c
onvex_hull: coalesce
set dur
i
ng facet computa
t
ion
commit
|
commitdiff
|
tree
2009-07-21
Sven Verdoolaeg
e
isl
_
map_coal
e
sce:
do
n
't dr
o
p r
a
tional fla
g
from result
.
.
.
commit
|
commitdiff
|
tree
2009-07-20
Sv
e
n
V
erdoolaege
isl_tab_co
n
e_is_bounded: start over afte
r
comp
u
t
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2009-07-19
Sven Ve
r
doolae
g
e
isl_basic_
s
et_dim_re
s
idue_class: only set *mo
d
u
l
o
to
.
.
.
commit
|
commitdiff
|
tree
2009-07-18
S
ve
n
Verdoolaege
add
isl_basic_
s
et_fast_dim
_
is_fixed
commit
|
commitdiff
|
tree
2009-07-16
Sven Verdoola
e
g
e
isl_tab: drop isl_ctx argum
e
nt where
n
o
t
a
bsolut
e
ly
.
.
.
commit
|
commitdiff
|
tree
2009-07-16
S
v
en Verdoola
e
ge
isl_
m
at
:
kee
p
track
of isl_ctx
commit
|
commitdiff
|
tree
2009-07-16
S
ven Verdoolaeg
e
isl_bas
i
c_se
t
_sa
m
ple: don
'
t project
o
u
t
l
ineality spa
c
e
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sve
n
Verdoolaege
isl_basic_map
_
fix_pos: micro-optimizatio
n
commit
|
commitdiff
|
tree
2009-07-15
S
v
en Ver
d
oolaeg
e
move isl_
b
asic_s
e
t_skew_
t
o
_
positive_orthan
t
to
isl_
s
a
m
ple
.
c
commit
|
commitdiff
|
tree
2009-07-15
Sven V
e
r
d
oolaege
isl_tab
.
c
:
fix typo in
c
o
mment
commit
|
commitdiff
|
tree
2009-07-15
Sven Verd
o
o
l
aege
isl_basic
_
se
t
_sa
m
pl
e
:
b
reak early if sample found in
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
expo
r
t isl
_
ta
b
_sam
p
le_is_integer
commit
|
commitdiff
|
tree
2009-07-15
Sven Ve
r
doo
l
aege
is
l
_basic_se
t
_sample: check
sample store
d
by is
l
_basic_map_i
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
S
v
en V
e
rdoolaege
isl_basic_map_is_
e
mpty
:
r
e
m
ove stale sample
commit
|
commitdiff
|
tree
2009-07-15
Sven
Verdoolae
g
e
add
i
sl_polyhedron_s
a
mple application
commit
|
commitdiff
|
tree
2009-07-15
Sven V
e
rdoolaeg
e
introduce generali
z
ed bas
i
s reducti
o
n based sa
m
pling
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
a
d
d isl_seq_cdiv_
q
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
isl_
s
a
m
ple
.
c: interval_sampl
e
: drop redundant argument
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolae
g
e
i
s
l_s
a
mple
.
c: clean up ha
n
dling of l
i
nealit
y
s
pace
commit
|
commitdiff
|
tree
2009-07-13
Sven
V
e
rdoolaege
i
sl_sample
.
c: extract out sample_eq
commit
|
commitdiff
|
tree
2009-07-13
Sven Verd
o
olaege
isl
_
sa
m
ple
.
c: int
e
rval_sample: handle equ
a
l
i
ties directly
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdo
o
l
a
ege
isl_sampl
e
.
c: extract out em
p
ty
_
s
ample
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoo
l
aege
isl_sam
p
le
.
c: gene
r
alize
p
o
i
nt_s
a
mpl
e
to z
e
ro_sample
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n
Verdoolaege
isl_tab
:
do
n
't create new und
o
r
e
cords d
u
ring rollback
commit
|
commitdiff
|
tree
next