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_basic_map_lex{min,max} to isl_basic_map_partial_lex{min,max}
2009-08-07
Sven Verdoola
e
ge
re
n
ame isl_basic_map_lex{min,max} to isl_basic
_
m
a
p_partial_l
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Verdoolaege
add is
l
_ba
s
i
c
_
s
e
t
_
f
r
e
e
_div
commit
|
commitdiff
|
tree
2009-08-07
Sven Ver
d
oola
e
ge
isl_set_
d
im
:
support
i
sl_dim_all
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdo
o
l
aege
isl_tab: s
t
ore in
d
ex of varia
b
le in undo rec
o
r
d
instea
d
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdo
o
l
aege
add isl
_
{
s
et,
m
ap}_grow
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
erdoola
e
ge
a
d
d isl_map_
g
e
t_dim
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
er
d
oola
e
ge
add i
s
l
_
basic_map_get
_
di
m
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdo
o
laege
add isl_tab_du
p
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolae
g
e
e
x
p
ort
i
sl_mat_dup
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoola
e
g
e
isl_tab
.
c: mark_redunda
n
t
:
only mark varia
b
le nonneg
.
.
.
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaege
isl_tab
.
c
: to
_
r
o
w: al
l
ow pivoting in arbi
t
rary di
r
ection
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdool
a
e
g
e
i
s
l_
t
ab
.
c: s
i
m
p
l
ify code b
y
letti
n
g mark_empty return tab
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaege
add isl_seq_last_non_
z
ero
commit
|
commitdiff
|
tree
2009-08-04
Sv
e
n Verdool
a
ege
isl_t
a
b
.
c:
simplif
y
add_e
q
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaege
isl_tab
.
c: extract allocate_con
commit
|
commitdiff
|
tree
2009-07-22
Sven Ver
d
ool
a
eg
e
privately e
x
p
o
rt isl_ba
s
i
c_s
e
t
_set_
r
ational
commit
|
commitdiff
|
tree
2009-07-22
S
v
en Verdoolaege
configure
.
ac: explicitly
s
et AC_C
O
NFIG_AUX_DIR
commit
|
commitdiff
|
tree
2009-07-21
S
ven Verdoo
l
aeg
e
conve
x
_
h
u
l
l: c
o
ale
s
ce set during facet compu
t
ation
commit
|
commitdiff
|
tree
2009-07-21
Sven Verdoolaeg
e
isl_map_
c
oalesce: d
o
n't dro
p
rational fl
a
g
from result
.
.
.
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoolaeg
e
isl
_
tab_cone_is_boun
d
ed: start over after compu
t
in
g
.
.
.
commit
|
commitdiff
|
tree
2009-07-16
Sven Verdoolaege
i
s
l_tab: drop isl_ctx argument w
h
er
e
not
a
bsolu
t
ely
.
.
.
commit
|
commitdiff
|
tree
2009-07-16
Sv
e
n Verd
o
o
laege
isl
_
m
a
t: keep track of isl_ctx
commit
|
commitdiff
|
tree
2009-07-16
Sven Verdool
a
ege
isl_basic_set_
s
a
m
ple: don't project out lineality space
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Ver
d
oolaege
i
s
l_ba
s
ic_map_
f
ix_
p
o
s
:
micr
o
-optimiz
a
tion
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoo
l
aege
move isl_basic_s
e
t
_skew_to
_
positive_o
r
thant
t
o
i
s
l
_sample
.
c
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
isl_tab
.
c: f
i
x typo
in com
m
en
t
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolae
g
e
isl
_
basic_se
t
_sample: break ear
l
y
i
f
sample found in
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
export isl_tab_sample_is_i
n
teg
e
r
commit
|
commitdiff
|
tree
2009-07-15
Sven
Ve
r
doolaege
i
s
l_basic_set
_
sample: check sample
s
tored by isl_b
a
sic_map_i
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaeg
e
isl_basic_m
a
p_is_emp
t
y: remove stale sampl
e
commit
|
commitdiff
|
tree
2009-07-15
Sven V
e
rdoo
l
aege
add isl_polyhed
r
o
n
_sample a
p
plication
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
i
ntroduce generalized bas
i
s reduction bas
e
d
s
a
m
pling
commit
|
commitdiff
|
tree
2009-07-15
S
ven Verdool
a
ege
ad
d
isl_seq_
c
d
i
v_q
commit
|
commitdiff
|
tree
2009-07-15
S
ve
n
Verdoolaege
isl_sample
.
c:
i
nterv
a
l_sample
:
drop red
u
ndant argument
commit
|
commitdiff
|
tree
2009-07-15
S
v
en
Verdoola
e
ge
isl_sample
.
c
:
clean up handl
i
ng of l
i
neality spac
e
commit
|
commitdiff
|
tree
2009-07-13
S
ven Verdoola
e
ge
isl_samp
l
e
.
c: ex
t
ra
c
t out sa
m
p
l
e_eq
commit
|
commitdiff
|
tree
2009-07-13
Sven
Verd
o
o
l
a
ege
i
sl_sample
.
c: inter
v
al_sample: ha
n
dle equaliti
e
s di
r
e
c
tly
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
i
s
l_sample
.
c: ext
r
act
out empt
y
_
s
ample
commit
|
commitdiff
|
tree
2009-07-13
Sven
V
erdoolaege
isl
_
sample
.
c:
g
eneralize
p
oi
n
t_sample to
z
ero_
s
am
p
le
commit
|
commitdiff
|
tree
2009-07-13
Sven
Verdoolaege
i
sl
_
tab: don't c
r
eate new un
d
o recor
d
s during rollb
a
c
k
commit
|
commitdiff
|
tree
2009-07-13
Sven Ve
r
doolaege
isl_t
a
b_min
:
us
e
general rollback m
e
chanism
commit
|
commitdiff
|
tree
2009-07-13
Sven Ve
r
d
oolaege
isl_tab:
o
ptional
l
y
s
a
ve
dual
sol
u
tion
commit
|
commitdiff
|
tree
2009-07-13
S
v
e
n Verd
o
o
laege
isl_tab:
a
dd is
l
_tab_add_
v
alid_eq
commit
|
commitdiff
|
tree
2009-07-13
Sven Verd
o
olaeg
e
export isl
_
t
ab_all
o
c
commit
|
commitdiff
|
tree
2009-07-13
Sven
V
erdo
o
laege
add isl_int_le
commit
|
commitdiff
|
tree
2009-07-13
Sve
n
Verdoolaege
priva
t
ely
e
xport isl_basic_set_rece
s
sion_co
n
e
commit
|
commitdiff
|
tree
2009-07-13
Sven Verd
o
olaege
i
s
l
_
convex_h
u
ll
.
c: add missing assignment
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdo
o
laege
priv
a
tely export isl_
b
asic_
s
e
t_lineality_s
p
ace
commit
|
commitdiff
|
tree
2009-07-13
Sven V
e
rdoolaege
isl_vec: kee
p
tra
c
k o
f
is
l
_ctx
commit
|
commitdiff
|
tree
2009-07-12
Sven Verdoolaeg
e
isl_coalesce
.
c
:
fix ty
p
o
commit
|
commitdiff
|
tree
2009-06-13
Sven V
e
rdoolaege
upd
a
te pipl
i
b for ch
a
nge in c
o
nfigure argume
n
ts
commit
|
commitdiff
|
tree
2009-06-11
Sven Ver
d
ool
a
ege
isl_basic_map_drop_redu
n
dan
t
_div
s
:
c
o
a
l
esce
d
ivs if
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoo
l
aege
isl_basic_map_d
r
op_redundant_divs: s
e
t
di
v
expr
e
ssion
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sv
e
n
V
erd
o
olae
g
e
isl_b
a
sic
_
map_drop_r
e
dundant_divs:
dr
o
p
m
ore kin
d
s
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sv
e
n
V
erdoolaeg
e
isl_map
_
compute_divs: drop obviously redundant
divs
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
S
ven
V
erd
o
ola
e
g
e
isl_map_piplib
.
c:
e
x
tremum_on: detect equalities first
commit
|
commitdiff
|
tree
2009-06-11
S
ven V
e
r
doola
e
ge
i
s
l_pip_basic_ma
p
_compute_divs: re
m
ov
e
some equalities
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
i
s
l_pip_basic_map_
c
ompute_d
i
vs:
s
epa
r
ate out dimension
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
i
s
l_basic_set_preimage: handle divs in input
commit
|
commitdiff
|
tree
2009-06-11
S
ven Verdoolae
g
e
isl_input_om
e
g
a
.
c
:
make va
r
iable
_
{free,new} static
commit
|
commitdiff
|
tree
2009-06-11
S
v
en Verdoolaege
i
s
l_map
.
c: make
a
d
d
_divs static
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdool
a
ege
isl
_
basic_map_simplify: detec
t
div constra
i
n
t
s while
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
isl_bas
i
c_map_dro
p
: properly handle
dimensions o
f
type
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
a
d
d is
l
_int_mul_ui
commit
|
commitdiff
|
tree
2009-06-07
Sv
e
n
Verd
o
olaege
add is
l
_seq_fdiv_q
commit
|
commitdiff
|
tree
2009-06-07
Sven Ve
r
dool
a
ege
add isl_seq
_
fdiv_r
commit
|
commitdiff
|
tree
2009-06-07
S
ven Verdoolaege
isl_ba
s
ic_map_detect_equalities:
p
rope
r
ly h
a
ndle emp
t
y
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sve
n
Verdoolaege
isl_b
a
si
c
_map
_
i
s
_empty: expl
i
c
i
tly mark basi
c
sets
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verd
o
o
l
aege
isl_map
.
c: order_di
v
s: swap w
i
th correct div
commit
|
commitdiff
|
tree
2009-06-07
S
v
en
V
e
rdoolaege
i
sl_map_co
a
l
esce
:
remove extra divs
i
n
trod
u
ced by isl_map_al
.
.
.
commit
|
commitdiff
|
tree
2009-06-05
Sven V
e
rdoolaege
add isl
_
map_coalesce
commit
|
commitdiff
|
tree
2009-05-19
Sve
n
Ver
d
oolaege
add isl_set_pro
d
u
c
t
commit
|
commitdiff
|
tree
2009-05-19
S
v
en
V
erdoola
e
ge
export
isl_map_dim
commit
|
commitdiff
|
tree
2009-05-06
Sve
n
V
erdoolaege
i
s
l_
m
ap_conv
e
x_h
u
ll: handle unbou
n
d
e
d, but pointed
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
S
v
en Verdoolaege
private
l
y
export isl_mat_unimo
d
ular_comple
t
e
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
isl_
t
ab
.
c:
a
dd isl_tab_get_
s
ample_value
commit
|
commitdiff
|
tree
2009-05-06
Sven Ve
r
doolaege
isl_map_convex_
h
ull: avoi
d
intro
d
uc
i
n
g
lineality spaces
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven V
e
rdoolaege
add two m
o
re convex hull t
e
st cases
commit
|
commitdiff
|
tree
2009-05-06
Sven
Verdool
a
ege
isl_map_convex_hull: rem
o
ve
l
ineality
s
pace if any
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
S
v
e
n
V
erdoolaege
a
dd
isl_b
a
sic_set_is_
u
niverse
commit
|
commitdiff
|
tree
2009-05-06
Sven V
e
r
doolaeg
e
add
i
sl_set_get_dim
commit
|
commitdiff
|
tree
2009-05-05
S
v
e
n
V
e
r
doola
e
g
e
i
sl_convex_hull
.
c: update wrap_f
a
cet to the fact we
.
.
.
commit
|
commitdiff
|
tree
2009-05-05
Sve
n
Verd
o
olaege
isl_convex_
h
ull
.
c: fix t
y
po in c
o
mment
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoolae
g
e
isl_coal
e
sce
.
c:
fix typo in comment
commit
|
commitdiff
|
tree
2009-05-05
Sve
n
Verdool
a
ege
isl_tab
.
c: fix
t
ypo i
n
comm
e
nt
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
add isl_
b
asic_set_get_
d
i
m
commit
|
commitdiff
|
tree
2009-03-23
Sven
V
erdool
a
e
ge
isl_basic_
m
ap
_
gist:
n
or
m
al
i
ze divs (if any) in context
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdool
a
e
ge
isl_b
a
s
ic_map
_
simplify
:
remove d
u
plicate
d
ivs befor
e
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
add isl_basic_s
e
t_d
i
v
commit
|
commitdiff
|
tree
2009-03-23
Sven
Verdo
o
laege
chan
g
e ca
l
ling c
o
nven
t
ion of
isl_
b
asic_map_div
commit
|
commitdiff
|
tree
2009-03-23
S
v
en Verdoolaege
isl_map_simp
l
ify
.
c: uset_gist:
b
reak early i
f
there
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolae
g
e
i
s
l_map_simpl
i
fy
.
c
:
uset_
g
is
t
: break early if
i
n
t
erse
c
ti
o
n
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Verd
o
ol
a
e
g
e
add is
l
_basic_set_fast_
i
s_empty
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
update p
i
plib to 1
.
4
.
0
commit
|
commitdiff
|
tree
2009-03-23
Sven Verd
o
olaege
isl_tab
.
c:
store
n
umb
e
r of equ
a
l
ities among the con
s
t
raints
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
is
l
_mat_extend: properly extend matrices
with
r
e
order
e
d
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdoolaege
isl_map_gist: handle some special cases
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdool
a
ege
a
dd isl_map_universe
commit
|
commitdiff
|
tree
2009-03-20
S
v
en V
e
r
d
o
olaege
add isl_ba
s
ic_map_fast_is_empty
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdoolaege
i
sl_basic_map
_
gist: replac
e
by
new
versio
n
based on
.
.
.
commit
|
commitdiff
|
tree
next