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_detect_equalities: explicitly keep track of any equalities found
2009-08-13
Sven Verdoolaege
i
sl_basic
_
ma
p
_dete
c
t_equalities: expl
i
c
i
tly keep track
.
.
.
commit
|
commitdiff
|
tree
2009-08-13
S
v
e
n V
e
r
doolaege
isl_b
a
sic_map_ext
e
nd_dim: keep ho
l
d of sample
if dimens
i
o
n
.
.
.
commit
|
commitdiff
|
tree
2009-08-09
Sve
n
Verdoolaege
i
s
l_tab_mi
n
: r
e
ad
o
ff all information from tableau
.
.
.
commit
|
commitdiff
|
tree
2009-08-09
Sven V
e
rdoolaege
isl_t
a
b_add_
v
a
l
i
d
_eq: keep track of whether equality
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoola
e
g
e
c
o
nfigu
r
e
.
a
c:
n
o longer use piplib
b
y default
commit
|
commitdiff
|
tree
2009-08-07
Sven
Verdoolaege
a
dd an int
e
rnal p
a
rametric int
e
ger l
i
near
p
rog
r
am solver
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Verdoo
l
a
ege
isl_ma
t
_
e
xtend: make
sure
t
he num
b
er of
rows never
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoo
l
aege
i
s
l_af
f
ine_hull
.
c:
o
nly const
r
u
c
t
a
ffine hull in bound
e
d
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoo
l
aege
isl_t
a
b
:
add s
u
ppo
r
t for kee
p
i
ng
t
ra
c
k of s
a
mpl
e
s
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
r
doolaege
i
s
l_t
a
b: optiona
l
ly kee
p
trac
k
of r
o
w
sign
s
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaeg
e
isl_tab:
a
dd isl_basic_set field
f
or
o
p
tion
a
lly keep
i
ng
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_tab:
i
n
t
rodu
c
e support for "big p
a
ramete
r
s
"
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_tab: allow
introduction of
e
x
t
ra v
a
riables
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Verdoolaege
isl_tab: introdu
c
e parameter
s
and d
i
v
s
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
erdoolaege
isl_tab
.
h
:
fix
t
y
p
o in comment
commit
|
commitdiff
|
tree
2009-08-07
S
v
en V
e
rdo
o
laege
isl_ta
b
: a
l
low
savi
n
g and restoring the c
o
mp
l
ete basis
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolae
g
e
isl_tab:
p
rivate
l
y export som
e
functi
o
nality
commit
|
commitdiff
|
tree
2009-08-07
S
v
en V
e
r
d
oo
l
aege
isl_tab
:
store undo argument in a uni
o
n for future
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Verdoolaeg
e
add isl_
b
asic_set_sample_
b
ounded
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
priv
a
tely export isl_basic_set_order_divs
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdool
a
e
ge
is
l
_map_simplify
.
c:
r
emove_d
e
pende
n
t_v
a
rs: only
remove
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoo
l
a
e
ge
is
l
_ba
s
ic_map_c
o
mpute_
d
i
v
s: u
s
e isl_basic_s
e
t_l
e
xmin
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolae
g
e
isl_pip_basic_map_compute
_
divs:
don'
t
turn
divs
i
nto
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoola
e
ge
privately export is
l
_basic_map_swap_div
commit
|
commitdiff
|
tree
2009-08-07
S
ven Verd
o
olaeg
e
isl_{s
e
t,
m
ap}_ad
d
: don't add o
b
vio
u
s
l
y e
m
pty basic
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoola
e
ge
co
m
bine isl_p
i
p_basic_m
a
p
_lex{min,max
}
into
is
l
_pip_bas
i
c_m
a
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Ver
d
o
olaege
make piplib headers
private
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
rdoola
e
ge
isl_mat
:
keep track
o
f the actual number of columns
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
ven Verdoolae
g
e
isl_tab
_
pivot: fix typo tha
t
preven
t
e
d
nor
m
a
l
ization
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdool
a
ege
ad
d
isl_ba
s
ic_set_positi
v
e_or
t
h
a
nt
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoo
l
aeg
e
add isl
_
basic_s
e
t_partia
l
_lex{min,max}
commit
|
commitdiff
|
tree
2009-08-07
S
ven
V
e
rdoolaeg
e
ren
a
me
i
s
l_ba
s
ic_map_lex{min,ma
x
} to isl_basic_map_
p
artial_l
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
erdoolaege
add isl
_
basic_set
_
free_div
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Verdo
o
laege
i
sl_set_dim: su
p
p
ort isl_di
m
_all
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
V
erdoolae
g
e
isl_tab: store index of variable in undo r
e
cor
d
instead
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
rdoola
e
ge
a
d
d is
l
_{s
e
t,map}_
g
row
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
erdoolaege
add is
l
_map_g
e
t_dim
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoola
e
ge
add isl_basi
c
_map_g
e
t
_
di
m
commit
|
commitdiff
|
tree
2009-08-04
Sven V
e
rdoolae
g
e
a
d
d isl_tab_dup
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdool
a
ege
export isl_mat_dup
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdool
a
e
ge
i
s
l_t
a
b
.
c
:
m
ark_re
d
unda
n
t:
o
nly
mar
k
va
r
iab
l
e nonneg
.
.
.
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdool
a
ege
i
s
l_tab
.
c:
to
_
row: allow pivoti
n
g in arbitrary
direction
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaege
isl_tab
.
c
:
simpl
i
fy code by letting mar
k
_empty return
tab
commit
|
commitdiff
|
tree
2009-08-04
S
ven Ve
r
doolaege
add i
s
l_s
e
q_last_no
n
_zero
commit
|
commitdiff
|
tree
2009-08-04
Sv
e
n
Verdoolaege
isl_tab
.
c:
simpli
f
y
a
d
d_e
q
commit
|
commitdiff
|
tree
2009-08-04
Sven
Verdoolaege
isl
_
tab
.
c
: e
x
tract
a
llocate_con
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
privately ex
p
ort isl_
b
asic_set_se
t
_
r
ationa
l
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaeg
e
c
onfig
u
re
.
a
c
: explicitly set AC_CONF
I
G
_AUX_DIR
commit
|
commitdiff
|
tree
2009-07-21
Sven V
e
rdoo
l
aege
convex_hull: coalesce set during f
a
cet comp
u
tation
commit
|
commitdiff
|
tree
2009-07-21
Sven Verd
o
olaege
isl_
m
ap_coales
c
e: do
n
't drop ration
a
l
flag from result
.
.
.
commit
|
commitdiff
|
tree
2009-07-20
S
v
e
n
V
erdoola
e
g
e
i
s
l_tab_cone_is_bounded: start over
after computi
n
g
.
.
.
commit
|
commitdiff
|
tree
2009-07-16
Sven Ve
r
doola
e
ge
i
sl_
t
ab: dr
o
p isl_ctx argument where not absolu
t
ely
.
.
.
commit
|
commitdiff
|
tree
2009-07-16
Sven Verdoolaege
is
l
_mat: keep track
of i
s
l_ctx
commit
|
commitdiff
|
tree
2009-07-16
S
v
en Verdoolaege
isl_basic_
s
et_sample: don't project out
l
ine
a
l
ity space
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Verd
o
o
laeg
e
isl_basic_map_fi
x
_pos: micro-op
t
imization
commit
|
commitdiff
|
tree
2009-07-15
S
v
en Ve
r
dool
a
ege
move isl_basic_se
t
_sk
e
w_to_p
o
s
i
tive_or
t
hant to isl_sam
p
le
.
c
commit
|
commitdiff
|
tree
2009-07-15
S
v
en Verdoolaege
isl_tab
.
c
:
fix typo i
n
comment
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdo
o
laege
i
s
l
_
basic_set_samp
l
e:
bre
a
k
e
a
r
ly if s
a
m
ple found in
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sv
e
n Verdoola
e
ge
exp
o
r
t isl_tab_sample_
i
s_in
t
ege
r
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoo
l
aeg
e
isl_basic_set_sampl
e
:
check sample stored by
i
sl
_
basic_
m
ap_i
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
isl
_
basic_map_is_empty: remove
s
t
ale sa
m
ple
commit
|
commitdiff
|
tree
2009-07-15
Sven V
e
rdoolaeg
e
a
dd isl_polyhedr
o
n
_
sample appli
c
a
t
ion
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdo
o
laege
i
n
t
rodu
c
e
g
e
n
eralized basis reduction based
sampling
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
a
d
d isl_seq_cdiv_q
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
isl_samp
l
e
.
c: interval_
s
a
mpl
e
:
drop r
e
dundant
a
rgu
m
ent
commit
|
commitdiff
|
tree
2009-07-15
Sve
n
Verdoolaege
isl_sample
.
c
:
clean
u
p
ha
n
dling of lineality space
commit
|
commitdiff
|
tree
2009-07-13
Sven V
e
rdoolaege
isl_sam
p
l
e
.
c
:
ext
r
act out sample_eq
commit
|
commitdiff
|
tree
2009-07-13
Sven
Verdoola
e
ge
isl_sample
.
c: in
t
erva
l
_sample: han
d
le equalities di
r
ec
t
ly
commit
|
commitdiff
|
tree
2009-07-13
Sven
V
erdoolae
g
e
isl_sample
.
c
:
extr
a
ct o
u
t e
m
pty_sample
commit
|
commitdiff
|
tree
2009-07-13
Sven Ver
d
oolaege
i
sl_sam
p
le
.
c: generalize po
i
nt_sample to zero_sa
m
pl
e
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
isl_tab:
d
o
n't create ne
w
und
o
records durin
g
rollback
commit
|
commitdiff
|
tree
2009-07-13
Sve
n
Verdo
o
laege
isl_tab_min:
u
se g
e
n
e
ral r
o
llback m
e
chan
i
sm
commit
|
commitdiff
|
tree
2009-07-13
Sve
n
Verdoola
e
ge
isl_tab: optionally
save dual so
l
ut
i
on
commit
|
commitdiff
|
tree
2009-07-13
S
v
en
Ve
r
d
o
olaege
isl_tab: ad
d
isl_
t
ab_add_val
i
d_eq
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n Verdoolaeg
e
export
i
s
l
_ta
b
_alloc
commit
|
commitdiff
|
tree
2009-07-13
S
ven Verdoolaege
ad
d
isl_int_l
e
commit
|
commitdiff
|
tree
2009-07-13
Sven Ve
r
doo
l
a
e
ge
privately export isl_basi
c
_set_reces
s
ion_cone
commit
|
commitdiff
|
tree
2009-07-13
S
ven
Verdoolaege
i
s
l_
c
onvex_hull
.
c: add missing
a
ssignmen
t
commit
|
commitdiff
|
tree
2009-07-13
Sven V
e
rdoolaege
priva
t
ely export i
s
l_basic_set_lineality
_
space
commit
|
commitdiff
|
tree
2009-07-13
Sven
V
e
rdoolaege
i
sl_v
e
c: keep
track of isl_ctx
commit
|
commitdiff
|
tree
2009-07-12
S
ven V
e
rdoolaege
isl_coal
e
s
ce
.
c
: fix t
y
po
commit
|
commitdiff
|
tree
2009-06-13
Sv
e
n Ve
r
doolaege
u
pdat
e
p
iplib for chan
g
e
i
n
c
onfigure argume
n
ts
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
i
sl_bas
i
c_
m
ap_drop
_
re
d
undant_
d
iv
s
:
c
oalesce
d
ivs
if
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Ver
d
oolaege
isl_basic_map_drop_redundant_divs: set div
e
xpressi
o
n
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sv
e
n Verdoolaege
isl_
b
as
i
c_map_dr
o
p_
r
edundant_divs: drop more kinds
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
S
ven
V
erdool
a
ege
isl_map_c
o
mpute_divs: drop obviously redundant divs
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven
Ver
d
o
olaege
i
s
l_map_piplib
.
c:
extr
e
mum_on: detect equ
a
liti
e
s
first
commit
|
commitdiff
|
tree
2009-06-11
Sven
Verdoola
e
ge
isl_p
i
p
_bas
i
c_
m
ap_co
m
p
ute_
d
ivs:
r
emo
v
e some equalities
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven V
e
r
d
oolaege
isl_pi
p
_basic_map_compute_divs: se
p
arate out dimens
i
on
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven V
e
rdo
o
laege
isl_ba
s
ic_set_preima
g
e: han
d
le divs
in input
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl
_
input
_
omega
.
c:
make variable_{fr
e
e
,
new} static
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_map
.
c: make add_divs static
commit
|
commitdiff
|
tree
2009-06-11
Sven Ve
r
doo
l
aege
is
l
_basic_map_simplify: detect d
i
v constraints while
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven
Verd
o
o
l
aege
isl_basic_map_drop: properly handle dimensi
o
ns
of type
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
a
dd
i
s
l_
i
nt_m
u
l_ui
commit
|
commitdiff
|
tree
2009-06-07
Sven
V
erdoolaege
a
dd isl_seq_fdiv_q
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
add isl_
s
eq_fdiv_
r
commit
|
commitdiff
|
tree
2009-06-07
S
v
e
n
Verdool
a
ege
i
s
l_basi
c
_
m
a
p_dete
c
t_equalities:
p
r
o
perly handle emp
t
y
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoo
l
aege
isl_basic
_
map
_
is_empty: explicitly mark basic sets
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
i
sl_map
.
c: order_
d
ivs:
s
wap
with correct div
commit
|
commitdiff
|
tree
next