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_fix_pos: micro-optimization
2009-07-15
Sven Verdoolaege
isl
_
b
asic_map
_
fix_pos: micro-optimizati
o
n
commit
|
commitdiff
|
tree
2009-07-15
Sv
e
n Verdo
o
lae
g
e
move isl_basic_
s
et_
s
kew_to_positive_orthant to is
l
_sam
p
le
.
c
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
isl_tab
.
c: fi
x
typo in comment
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoo
l
a
ege
isl_bas
i
c
_
set_sample: break
early if s
a
mple found in
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
e
xport isl_tab_sample_
i
s_
i
nteger
commit
|
commitdiff
|
tree
2009-07-15
S
v
en
Verdoolaege
isl_basic_s
e
t_sample: check sample stored
by isl_bas
i
c_map_i
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
is
l
_basic_map_is_em
p
ty: remo
v
e stal
e
sample
commit
|
commitdiff
|
tree
2009-07-15
Sven
Verdoolaege
a
dd isl
_
polyhedron_sam
p
l
e applica
t
ion
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
intr
o
duce ge
n
e
ralized basis re
d
uction
based samplin
g
commit
|
commitdiff
|
tree
2009-07-15
S
v
en Verdoolaege
add isl_seq
_
cdiv_q
commit
|
commitdiff
|
tree
2009-07-15
Sven
V
erdoolaege
is
l
_samp
l
e
.
c: inter
v
al_sample
:
drop r
e
dundan
t
argument
commit
|
commitdiff
|
tree
2009-07-15
S
v
en Verdoo
l
a
ege
i
sl
_
s
amp
l
e
.
c
:
clean up han
d
ling of lineality space
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoola
e
g
e
isl_sample
.
c: extr
a
ct out sample
_
eq
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoo
l
aege
isl
_
sample
.
c: i
n
terval_sam
p
l
e
:
h
an
d
le e
q
ualit
i
es direct
l
y
commit
|
commitdiff
|
tree
2009-07-13
Sven Verd
o
o
l
ae
g
e
is
l
_sample
.
c: ex
t
ract out empty_sample
commit
|
commitdiff
|
tree
2009-07-13
Sven Ve
r
doola
e
ge
isl
_
sample
.
c: generalize point
_
sa
m
ple t
o
zero_samp
l
e
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdool
a
eg
e
isl
_
t
a
b: d
o
n't create new undo records during rollback
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n Verdoolaege
isl_tab_min: us
e
gene
r
a
l
rollback
m
echani
s
m
commit
|
commitdiff
|
tree
2009-07-13
Sve
n
Verdoolaege
isl_
t
ab: optiona
l
ly sa
v
e dual sol
u
t
i
on
commit
|
commitdiff
|
tree
2009-07-13
S
v
e
n
V
erdoolaege
isl_tab: add i
s
l_tab_
a
dd_va
l
id_eq
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoo
l
aege
export
i
sl_tab_allo
c
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n Verdoolaege
add isl_int_le
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n Verdo
o
laege
privately export
i
sl_basic_set_recession
_
c
o
n
e
commit
|
commitdiff
|
tree
2009-07-13
S
ven Verdoolaege
isl_convex_hull
.
c:
add miss
i
ng assignment
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n Verdoola
e
ge
privately export isl_basic_set_li
n
eality_sp
a
ce
commit
|
commitdiff
|
tree
2009-07-13
Sven Ve
r
doolaege
isl_vec: keep tra
c
k
of i
s
l_ctx
commit
|
commitdiff
|
tree
2009-07-12
Sven
V
erdoolaege
isl_co
a
lesce
.
c: fix typo
commit
|
commitdiff
|
tree
2009-06-13
Sven Verdoolaege
up
d
a
t
e
pipli
b
for chan
g
e in configure
a
r
guments
commit
|
commitdiff
|
tree
2009-06-11
Sven
Ve
r
dool
a
e
ge
isl_basic_map_drop_
r
ed
u
nda
n
t
_divs
:
coalesce di
v
s if
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
i
s
l_basic_map_dro
p
_redunda
n
t_divs: set di
v
expr
e
ssion
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_basic_map
_
drop_redundant_divs: drop more
k
inds
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sv
e
n
V
erdoolaege
isl_map_
c
ompute_divs: drop obvio
u
sly redundant divs
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven
V
erdoolaege
isl_m
a
p
_piplib
.
c: extremum_on: detect equali
t
i
e
s first
commit
|
commitdiff
|
tree
2009-06-11
S
v
en Ver
d
oolaege
isl_pip_basic_map
_
compute
_
divs:
re
m
ove
som
e
equa
l
i
ties
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sv
e
n
Verdoolaege
isl_pip_basic_map_compu
t
e_divs:
separate
o
ut dimension
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_bas
i
c_set_pre
i
mage:
handle divs in input
commit
|
commitdiff
|
tree
2009-06-11
Sven
V
erdool
a
ege
isl_
i
nput_omega
.
c: mak
e
variable_{free,n
e
w} stati
c
commit
|
commitdiff
|
tree
2009-06-11
Sven V
e
rdoolae
g
e
isl_ma
p
.
c: make add_divs static
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolae
g
e
isl_
b
asic_
m
a
p_simp
l
i
fy: detect div
constr
a
ints
w
hil
e
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Ver
d
oo
l
ae
g
e
i
sl_basic_map_drop: pr
o
perly handle dimensions of type
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
S
ven Ver
d
oolaege
add isl_int
_
mul_ui
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
add isl_seq_fdiv_q
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
add isl_se
q
_fdiv_r
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoola
e
ge
i
s
l_basic_map_detect
_
equalit
i
es: pr
o
perly handle empty
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
isl_basic_
m
a
p
_is_empty: expli
c
itly mark basic sets
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
S
v
en
V
erdool
a
ege
isl_
m
ap
.
c: o
r
d
e
r_divs: swap with
c
o
rrect div
commit
|
commitdiff
|
tree
2009-06-07
Sven Ver
d
o
o
laege
isl_map_coales
c
e: remove extra divs
i
ntroduced by isl_map_al
.
.
.
commit
|
commitdiff
|
tree
2009-06-05
Sven Verdoolaege
add isl_map_coalesce
commit
|
commitdiff
|
tree
2009-05-19
Sven Ver
d
oolaeg
e
add isl_set_p
r
oduct
commit
|
commitdiff
|
tree
2009-05-19
Sve
n
Verdoolae
g
e
export
i
sl_map_dim
commit
|
commitdiff
|
tree
2009-05-06
Sven
Verdo
o
laege
isl_map_co
n
vex_hu
l
l
: handle unb
o
un
d
e
d
, bu
t
pointed
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven Verd
o
olaege
pr
i
v
a
tely expor
t
isl_mat
_
unimodular_com
p
lete
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
i
sl_tab
.
c: add
is
l
_
tab_get_samp
l
e
_
val
u
e
commit
|
commitdiff
|
tree
2009-05-06
Sven Ve
r
d
oolaege
isl_map_convex_hull
:
avoid
i
ntr
o
du
c
ing lineality spaces
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
S
ve
n
Verd
o
olaege
add two more convex hull te
s
t cases
commit
|
commitdiff
|
tree
2009-05-06
Sven Ver
d
oolae
g
e
isl_map_convex_hull: r
e
move line
a
l
i
ty space if any
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven
V
erdoolaege
add is
l
_basic
_
set_is_universe
commit
|
commitdiff
|
tree
2009-05-06
S
v
e
n Ver
d
ool
a
ege
a
d
d
isl_
s
et_get_
d
im
commit
|
commitdiff
|
tree
2009-05-05
Sven
V
e
r
doo
l
aege
isl_convex_
h
ul
l
.
c: update wrap_
f
acet to the fact we
.
.
.
commit
|
commitdiff
|
tree
2009-05-05
Sven V
e
rdoolaege
i
s
l_convex_
h
ul
l
.
c:
f
i
x typo in comm
e
nt
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdo
o
laege
isl_c
o
alesce
.
c: fix
t
ypo in comment
commit
|
commitdiff
|
tree
2009-05-05
S
v
en Verdoolaege
isl
_
tab
.
c: fi
x
typo in co
m
ment
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoolaege
con
f
igure
.
in: set
A
C
_
CONFIG_MAC
R
O_
D
IR
commit
|
commitdiff
|
tree
2009-03-23
Sv
e
n Ve
r
doolaeg
e
add isl_basic_set_get_dim
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
isl_basic_ma
p
_gist:
no
r
mal
i
ze divs (if any) in context
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdool
a
ege
i
s
l_basic_map_
s
im
p
lify: remov
e
dup
l
icate
d
ivs before
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoo
l
aege
add isl_bas
i
c
_se
t
_d
i
v
commit
|
commitdiff
|
tree
2009-03-23
Sven V
e
rdoolaege
c
hange calling convention of isl_ba
s
ic_map_div
commit
|
commitdiff
|
tree
2009-03-23
Sven Ve
r
doolaege
is
l
_map_simplify
.
c: uset_gi
s
t
:
break e
a
rly if there
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven
V
erd
o
olaege
isl
_
map_simplify
.
c
:
u
se
t
_
g
i
st: bre
a
k early if i
n
ter
s
ection
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sv
e
n
V
erdo
o
la
e
ge
ad
d
isl_
b
as
i
c_s
e
t_fast_is_empty
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaeg
e
update p
i
pli
b
t
o 1
.
4
.
0
commit
|
commitdiff
|
tree
2009-03-23
Sven V
e
rdoolaege
isl_tab
.
c:
s
tore n
u
mber of equalit
i
es
a
m
ong th
e
constraints
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdo
o
lae
g
e
is
l
_mat_
e
xt
e
nd:
p
r
operly extend matrices with r
e
ordered
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdool
a
ege
isl_map_gist: h
a
n
dl
e
some spe
c
ial cases
commit
|
commitdiff
|
tree
2009-03-20
S
ve
n
V
erdoolaege
add isl_map_universe
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
add
is
l
_basic_m
a
p
_
fast_is_empty
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoo
l
aege
isl_basic_m
a
p_gist: replace by ne
w
version ba
s
e
d
on
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verdoo
l
aege
i
s
l_map_simplify
.
c: compu
t
e
_elimi
n
at
i
on_
i
ndex
:
don
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
r
d
oolaege
add isl_map_imp
l
i
c
i
t
_equali
t
ies
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
a
d
d
isl_basic
_
set
_
free_equalit
y
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
i
s
l_ma
p
_convex_hull: mark result as
n
ot having any
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
doolaege
convex_hull:
coalesce
s
et fir
s
t
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdo
o
laege
add
i
sl_s
e
t_coa
l
esce
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoo
l
aeg
e
i
s
l_input_ome
g
a
.
c
:
bas
i
c_map_read: accep
t
"+" in
c
ons
t
ra
i
n
ts
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rdool
a
ege
ad
d
isl_basic_s
e
t_allo
c
_div
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
e
rdool
a
ege
ad
d
isl_set_align_divs
commit
|
commitdiff
|
tree
2009-03-20
S
v
e
n Verdoo
l
a
ege
u
set_aff
i
ne_hu
l
l:
i
gno
r
e directions in affine h
u
ll
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoola
e
ge
isl_
b
a
s
i
c_m
a
p
_implicit_equalities: perform Gaussian
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdo
o
laeg
e
isl_affine_hull
.
c: ou
t
side_
p
oint: check for obvious
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verdoolaege
privately export isl_basic_
s
et_conta
i
ns
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdoolaege
isl_ct
x
: a
d
d neg
o
ne
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolae
g
e
isl_vec_
d
ump: handle N
U
LL vec
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_affine_hull
.
c: extract
u
set_affine_h
u
ll
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
ool
a
ege
isl_mat_transpose: han
d
le non-rect
a
ngula
r
m
atrices
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n
Verdoo
l
aege
is
l
_ma
p
_simple_hul
l
: comp
u
te affine hul
l
be
f
ore aligning
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
doolaege
isl_map_si
m
ple_hull: mark result as not ha
v
i
n
g any
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
oo
l
aege
add
isl_set_bound
e
d
_sim
p
l
e_hul
l
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
olaege
isl
_
ma
p
_affine_hu
l
l: detect equ
a
l
ities of integer aff
i
n
e
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoo
l
aege
i
sl
_
ba
s
ic_map_dup
:
copy flags of
o
ri
g
in
a
l to duplicate
commit
|
commitdiff
|
tree
next