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_add_valid_eq: keep track of whether equality is negated
2009-08-09
Sven
Verdoolaege
i
s
l_tab_add_va
l
id_eq: keep tr
a
c
k
of whet
h
er equality
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Verdoolaege
configure
.
a
c
: n
o
l
o
n
g
er us
e
piplib
b
y defaul
t
commit
|
commitdiff
|
tree
2009-08-07
Sven Verd
o
olaege
add an i
n
t
e
rnal parametr
i
c
integer linear progra
m
s
o
l
ver
commit
|
commitdiff
|
tree
2009-08-07
S
ven Verdoolaege
isl_ma
t
_
e
x
t
end
:
make
s
ure the number
o
f rows n
e
v
e
r
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
v
en V
e
rdo
o
laege
is
l
_
a
ffine
_
hull
.
c: only constru
c
t affin
e
hull in bounded
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
v
e
n Verdoolaege
isl_tab: add
s
upp
o
rt
for kee
p
ing track o
f
samples
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdool
a
ege
i
s
l_t
a
b: opt
i
o
nally kee
p
track
of row signs
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
rdoo
l
ae
g
e
is
l
_
ta
b
:
a
d
d is
l
_basic_set field
for optionally keeping
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_tab
:
introduce support for "big parame
t
e
r
s"
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Verdo
o
l
a
ege
i
s
l_tab: allow introduct
i
on of extra variables
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
r
d
oola
e
ge
isl_tab: intr
o
duce p
a
ram
e
t
ers and
divs
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
is
l
_tab
.
h: f
i
x
t
ypo in com
m
e
n
t
commit
|
commitdiff
|
tree
2009-08-07
S
v
en
Verdoolaege
isl_tab: allow saving and restor
i
ng t
h
e com
p
lete basis
commit
|
commitdiff
|
tree
2009-08-07
Sven Ve
r
doo
l
a
e
ge
isl_tab: privat
e
ly ex
p
ort
some fun
c
tionalit
y
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n V
e
rd
o
olaege
isl_tab: store
u
ndo argument
i
n
a
union for f
u
tu
r
e
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Ve
r
doolaege
add
i
sl_basic_set_sampl
e
_b
o
un
d
e
d
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Verdoola
e
ge
privately export isl_basic_s
e
t_ord
e
r_divs
commit
|
commitdiff
|
tree
2009-08-07
S
v
en V
e
rdoo
l
aege
i
s
l_
m
ap_simplify
.
c
: remove_d
e
pendent_vars: only re
m
o
ve
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verd
o
ola
e
ge
isl_basic_map_comp
u
te_d
i
vs
:
use isl_basic_s
e
t
_
l
e
x
m
in
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
rdoolaege
isl_pip_basic_map
_
compute_divs
:
don't
t
urn divs into
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdo
o
laege
priv
a
t
e
l
y
export isl_basic_m
a
p
_
swap_
d
iv
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_{set,map}_add: d
o
n't a
d
d
obviously empty basic
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Verdoolaeg
e
combine isl
_
pip_basic_map_lex
{
mi
n
,
max}
i
nto isl
_
pip_basic_ma
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolae
g
e
make piplib headers private
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Verdoolaege
isl_ma
t
: keep track of the actu
a
l number of columns
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
rdool
a
ege
isl_t
a
b_pivot: f
i
x ty
p
o
t
h
a
t p
r
evented no
r
mali
z
ation
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven
Verdoolaege
add isl_basic_set_po
s
itive_
o
rtha
n
t
commit
|
commitdiff
|
tree
2009-08-07
S
ve
n
Verdool
a
ege
add isl_basic_set
_
partial_lex{m
i
n
,max}
commit
|
commitdiff
|
tree
2009-08-07
S
ve
n
Verdoolaege
rename isl_basic
_
map_lex{min,max} to isl_basic_map_partial_l
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
a
d
d isl_basic_set_free_div
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Ve
r
doolaege
isl_s
e
t_dim
:
support isl_dim_a
l
l
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Verdoo
l
a
eg
e
is
l
_tab: s
t
or
e
index of variable in undo
rec
o
rd i
n
stead
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Ve
r
doolaege
add i
s
l_{s
e
t,
m
a
p
}_grow
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
add isl_map_get_dim
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
add isl_basic
_
map_get_dim
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaege
add is
l
_tab_dup
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdool
a
eg
e
expo
r
t isl_ma
t
_dup
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdool
a
ege
i
s
l_tab
.
c
: mark_r
e
dundant
:
only mark variable n
o
n
ne
g
.
.
.
commit
|
commitdiff
|
tree
2009-08-04
S
v
en
V
er
d
oo
l
aege
isl_tab
.
c: to_row:
allo
w
pivo
t
i
ng in arbitrary direc
t
ion
commit
|
commitdiff
|
tree
2009-08-04
Sven
Verd
o
o
l
aege
isl_tab
.
c: simplify
c
ode
b
y letting m
a
rk
_
empty return tab
commit
|
commitdiff
|
tree
2009-08-04
Sven
Ver
d
o
olaege
add isl_seq
_
last_non_zero
commit
|
commitdiff
|
tree
2009-08-04
Sven
V
e
rdoolaege
i
s
l
_tab
.
c: simplify add_eq
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdo
o
l
a
ege
isl_tab
.
c:
e
x
t
ra
c
t
allocate_con
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoola
e
g
e
pr
i
vately
e
xport isl_b
a
sic_set_se
t
_rational
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
configur
e
.
ac: e
x
plici
t
ly set
AC_CON
F
IG_AUX_DIR
commit
|
commitdiff
|
tree
2009-07-21
S
v
e
n Verdoolaeg
e
convex_hull: coalesce set during f
a
c
e
t com
p
u
t
ation
commit
|
commitdiff
|
tree
2009-07-21
Sven Verdoolaege
isl_map_coale
s
ce: don't drop ratio
n
al
f
lag from result
.
.
.
commit
|
commitdiff
|
tree
2009-07-20
Sv
e
n Verdoolaege
isl_t
a
b_cone_is_bounded: start over afte
r
computi
n
g
.
.
.
commit
|
commitdiff
|
tree
2009-07-16
S
ve
n
V
e
r
doola
e
ge
i
s
l_tab
:
drop isl_ctx argument where no
t
ab
s
olutely
.
.
.
commit
|
commitdiff
|
tree
2009-07-16
S
ven
V
erdoolaege
i
sl_mat: keep track of isl_ct
x
commit
|
commitdiff
|
tree
2009-07-16
Sven Verdo
o
laege
isl_ba
s
ic_set_sample: don't pro
j
e
ct
out lineality
s
pace
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
isl_basic_
m
ap_fix_p
o
s: micro-optimizat
i
on
commit
|
commitdiff
|
tree
2009-07-15
Sven Verd
o
olaege
move isl_basic_set_skew_to_posit
i
ve_orthant to
isl_sample
.
c
commit
|
commitdiff
|
tree
2009-07-15
S
v
en Verdool
a
ege
isl_tab
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2009-07-15
S
ven Verdo
o
laege
isl_basic_se
t
_sample: break
e
arly if sample
f
ound in
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven V
e
rdoolaege
export i
s
l_ta
b
_sample_is_
i
nteger
commit
|
commitdiff
|
tree
2009-07-15
S
v
en Verdoola
e
ge
isl_basic_
s
et_sa
m
pl
e
:
c
heck s
a
m
ple
stored by isl_basic_map_i
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolae
g
e
i
s
l
_
ba
s
i
c
_map_is
_
emp
t
y
:
r
e
m
ove stale sample
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
add isl_p
o
lyhed
r
on_sample appli
c
ation
commit
|
commitdiff
|
tree
2009-07-15
Sven Ve
r
d
oo
l
aege
i
n
t
rodu
c
e gener
a
lized basi
s
red
u
ction based sampling
commit
|
commitdiff
|
tree
2009-07-15
Sv
e
n Verdoolaeg
e
add isl_seq_cdi
v
_
q
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
i
s
l_sample
.
c
:
in
t
erval
_
sa
m
ple: drop redundant a
r
gu
m
ent
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
isl_sample
.
c:
c
l
ean
up ha
n
dling of
l
i
neality s
p
a
ce
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
isl_s
a
mple
.
c: e
x
tract
out samp
l
e
_
eq
commit
|
commitdiff
|
tree
2009-07-13
Sven
V
erdoolaeg
e
isl_
s
ample
.
c: interval_sample: handle
e
q
u
alitie
s
direc
t
ly
commit
|
commitdiff
|
tree
2009-07-13
Sven
V
erdoola
e
ge
isl_sample
.
c:
extract o
u
t empty_sample
commit
|
commitdiff
|
tree
2009-07-13
Sven Ver
d
oolaege
is
l
_
s
ample
.
c:
g
eneralize
point_sample to zero_
s
am
p
le
commit
|
commitdiff
|
tree
2009-07-13
S
v
en Verdoolaege
i
s
l_tab: don'
t
create
n
ew undo record
s
during rollback
commit
|
commitdiff
|
tree
2009-07-13
Sven V
e
rd
o
olaege
i
sl_tab_min: use gene
r
a
l
rollback mechanism
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoo
l
aeg
e
isl_tab: opti
o
nally
s
ave
dual solution
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
is
l
_tab: ad
d
isl_tab_ad
d
_valid_eq
commit
|
commitdiff
|
tree
2009-07-13
Sven
V
e
r
doolaege
e
x
port isl_tab_alloc
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n Verdoolae
g
e
add isl_int
_
le
commit
|
commitdiff
|
tree
2009-07-13
Sve
n
Verdoolaeg
e
priv
a
tely
e
xport isl_basic_
s
e
t_recession_cone
commit
|
commitdiff
|
tree
2009-07-13
Sven Ve
r
doolaege
i
s
l_convex
_
hull
.
c: add missing assignment
commit
|
commitdiff
|
tree
2009-07-13
Sven Verd
o
o
laege
privately export isl_ba
s
i
c
_set
_
line
a
lity_space
commit
|
commitdiff
|
tree
2009-07-13
Sven
V
erdoolaege
isl_vec: keep tra
c
k of
i
s
l_ctx
commit
|
commitdiff
|
tree
2009-07-12
Sven Verdoolaege
isl_coa
l
esce
.
c:
f
ix typ
o
commit
|
commitdiff
|
tree
2009-06-13
Sven Verdoo
l
a
ege
update piplib for
change in conf
i
gu
r
e arguments
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoo
l
ae
g
e
isl_basic_map_dr
o
p_redundant_divs:
c
oalesce divs if
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
S
v
en Verdoola
e
g
e
is
l
_bas
i
c_map_drop_redundant_di
v
s: set
d
iv exp
r
e
s
s
i
on
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sve
n
Verdoolaeg
e
isl
_
bas
i
c_map_
d
r
o
p
_redundant_divs
:
d
r
op more kind
s
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sv
e
n Verdoolaege
is
l
_map_
c
omput
e
_divs: drop
obviously redundan
t
di
v
s
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Ver
d
oo
l
aege
i
s
l_
m
a
p_pipl
i
b
.
c:
e
xtremu
m
_on:
det
e
ct eq
u
alities firs
t
commit
|
commitdiff
|
tree
2009-06-11
Sven Ve
r
doolaege
isl_pip_basic_map_compute_d
i
vs:
r
emove some equalities
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaeg
e
isl_
p
i
p
_basic_map_c
o
mpu
t
e_
d
ivs: separate out
dimen
s
ion
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sv
e
n Ve
r
d
oolaege
i
s
l_basic_se
t
_preimage: handle divs i
n
input
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoo
l
aege
isl
_
input_omega
.
c:
m
a
ke variable_{f
r
ee
,
new} static
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_
m
ap
.
c: make
ad
d
_divs st
a
t
i
c
commit
|
commitdiff
|
tree
2009-06-11
Sven
V
erd
o
olaege
is
l
_
b
asic_map_simplify: detec
t
d
iv co
n
s
traints while
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
isl_bas
i
c_ma
p
_drop
:
properl
y
handle
d
i
mension
s
o
f
t
y
p
e
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven
V
erd
o
olaege
add
i
sl_int_m
u
l_ui
commit
|
commitdiff
|
tree
2009-06-07
Sven V
e
r
d
oolaege
ad
d
isl_s
e
q_fd
i
v_q
commit
|
commitdiff
|
tree
2009-06-07
Sven Verd
o
o
laege
a
dd isl_se
q
_f
d
iv_r
commit
|
commitdiff
|
tree
2009-06-07
Sven Ve
r
doo
l
aeg
e
isl_
b
a
s
ic_m
a
p_detect_equalities: properly handle empt
y
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
isl_b
a
sic_
m
ap
_
is_em
p
ty: expl
i
citly mark basic s
e
t
s
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Ver
d
oola
e
ge
i
s
l_map
.
c: order_div
s
: swap with correct d
i
v
commit
|
commitdiff
|
tree
2009-06-07
Sve
n
Verdoola
e
ge
i
s
l_m
a
p
_
coale
s
ce: remove ext
r
a divs introdu
c
ed by isl_ma
p
_al
.
.
.
commit
|
commitdiff
|
tree
2009-06-05
S
v
en
V
erdoolaege
add is
l
_map_coalesce
commit
|
commitdiff
|
tree
2009-05-19
S
ven Verdoolaege
add isl_set_pr
o
duct
commit
|
commitdiff
|
tree
next