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_mat: keep track of isl_ctx
2009-07-16
Sven V
e
rdoo
l
aege
is
l
_ma
t
:
k
eep track o
f
is
l
_ctx
commit
|
commitdiff
|
tree
2009-07-16
Sv
e
n V
e
rdoolaege
isl
_
basic_set_sam
p
le
:
don't
project out
linea
l
ity space
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
S
v
en V
e
rdool
a
ege
is
l
_ba
s
ic_m
a
p_fix_pos: mi
c
ro-optimiza
t
ion
commit
|
commitdiff
|
tree
2009-07-15
Sv
e
n V
e
rdoolaeg
e
m
o
v
e
isl_ba
s
ic_set
_
skew_to_posit
i
ve_orthant to isl_sample
.
c
commit
|
commitdiff
|
tree
2009-07-15
S
v
en Verdoolaege
isl_tab
.
c: fix typo
i
n co
m
m
e
nt
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
isl_basic_se
t
_sa
m
p
le: break
earl
y
i
f
sample found
i
n
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sve
n
V
erdoolaege
expor
t
isl
_
tab_sample_is_intege
r
commit
|
commitdiff
|
tree
2009-07-15
Sv
e
n Verdoolaege
isl_b
a
sic_set_sample: che
c
k sa
m
p
le store
d
b
y
is
l
_basic_map_i
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven V
e
rdo
o
laege
isl_basic_map_i
s
_em
p
ty: re
m
ove stale sample
commit
|
commitdiff
|
tree
2009-07-15
Sven Verd
o
olaeg
e
add i
s
l_
p
o
l
y
h
e
dron_sample
application
commit
|
commitdiff
|
tree
2009-07-15
S
ve
n
Verdoola
e
ge
i
ntroduce generalized basis reduct
i
o
n
b
ased sampling
commit
|
commitdiff
|
tree
2009-07-15
S
v
en Ver
d
oolaege
a
d
d i
s
l_seq_cdiv_
q
commit
|
commitdiff
|
tree
2009-07-15
Sven V
e
rdoolaeg
e
isl_sam
p
le
.
c
:
interv
a
l_sam
p
l
e: drop r
e
dundant ar
g
u
m
e
n
t
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
i
s
l_sa
m
ple
.
c
: clean up handling of
lineality space
commit
|
commitdiff
|
tree
2009-07-13
Sve
n
Ver
d
oolaege
isl_
s
ample
.
c:
e
xtrac
t
out sample_eq
commit
|
commitdiff
|
tree
2009-07-13
Sve
n
Ve
r
d
o
o
l
aege
i
s
l
_
samp
l
e
.
c: interval_sample
:
h
a
ndle equalitie
s
dire
c
tly
commit
|
commitdiff
|
tree
2009-07-13
Sven
Ver
d
o
olaege
isl_sample
.
c: extract ou
t
empty
_
sample
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n V
e
r
d
oo
l
a
ege
isl_samp
l
e
.
c:
g
eneralize
p
oint_sample to zero_sa
m
p
l
e
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoo
l
aege
is
l
_
t
ab: don't create new undo records du
r
ing rollba
c
k
commit
|
commitdiff
|
tree
2009-07-13
Sven
V
erdoolaege
isl_tab_m
i
n: u
s
e
general rollback mechanism
commit
|
commitdiff
|
tree
2009-07-13
S
ven V
e
rdoolae
g
e
isl_tab:
o
p
tionally save dual
s
o
luti
o
n
commit
|
commitdiff
|
tree
2009-07-13
Sven Ve
r
doolaeg
e
isl_tab: add is
l
_tab_add_va
l
id_eq
commit
|
commitdiff
|
tree
2009-07-13
Sven
V
e
rdoolaege
export isl
_
tab
_
alloc
commit
|
commitdiff
|
tree
2009-07-13
Sven
V
er
d
oolaeg
e
a
dd i
s
l
_int_le
commit
|
commitdiff
|
tree
2009-07-13
Sve
n
V
erdoolaege
privat
e
l
y export isl_ba
s
i
c_set_re
c
ess
i
on_cone
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
isl
_
convex_hu
l
l
.
c: add missi
n
g
a
ssignm
e
nt
commit
|
commitdiff
|
tree
2009-07-13
S
v
e
n
Verd
o
o
l
ae
g
e
pr
i
vat
e
ly ex
p
o
r
t
isl_basic_se
t
_lineality_spa
c
e
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
isl_
v
ec: kee
p
track of isl_ct
x
commit
|
commitdiff
|
tree
2009-07-12
Sve
n
V
e
rdoola
e
ge
i
sl_coalesce
.
c:
f
ix typo
commit
|
commitdiff
|
tree
2009-06-13
Sven Verdoo
l
aege
up
d
ate pipl
i
b for change in
c
o
nf
i
gure argu
m
ents
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl
_
basic_map
_
drop_
r
edundant_divs: coalesce
d
ivs
if
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven
Verd
o
olaege
i
sl
_
b
a
s
i
c_m
a
p_dro
p
_red
u
ndant_d
i
v
s
: set div express
i
on
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolae
g
e
isl
_
basic_map_dr
o
p_r
e
dundant_divs: drop more
kinds
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_map_compute_divs: drop obvio
u
sly
redu
n
da
n
t divs
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sv
e
n V
e
r
d
oolaege
isl_
m
ap_piplib
.
c: extremu
m
_on
:
detect e
q
ualit
i
es
f
i
rs
t
commit
|
commitdiff
|
tree
2009-06-11
Sve
n
V
erdoo
l
a
ege
isl_
p
ip_basic_m
a
p_co
m
p
ute_divs: remove
some equalities
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sv
e
n Verdoolaege
isl_
p
ip_basic
_
m
ap
_
compute_divs: separate
o
ut dimension
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sve
n
Ver
d
oolaege
i
s
l_basic_set
_
preimage: handle divs
i
n input
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl
_
in
p
u
t_omega
.
c: make variable_{free,new} static
commit
|
commitdiff
|
tree
2009-06-11
Sv
e
n
V
e
rdoolae
g
e
isl_map
.
c
:
make
a
dd_divs stat
i
c
commit
|
commitdiff
|
tree
2009-06-11
Sven V
e
rdoolaege
isl_ba
s
i
c_map
_
simplify: detect div c
o
nstraints while
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolae
g
e
isl_basic_m
a
p_d
r
op: prop
e
rly ha
n
dle dim
e
n
sions of type
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
S
v
e
n
Ver
d
oolaege
add isl_int_
m
ul_ui
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
add isl_seq_fdiv_q
commit
|
commitdiff
|
tree
2009-06-07
Sven V
e
rdoolaege
a
d
d isl_seq_fdiv_r
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
isl
_
basic_map_det
e
ct_equaliti
e
s: proper
l
y hand
l
e
empty
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sv
e
n Ve
r
doola
e
ge
isl_ba
s
ic
_
map_is_empty: e
x
p
l
icitly mark b
a
si
c
sets
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sve
n
Verdoolaege
is
l
_map
.
c: order
_
d
i
vs: sw
a
p with correct div
commit
|
commitdiff
|
tree
2009-06-07
Sve
n
Ve
r
doo
l
aeg
e
i
s
l
_
map_
c
o
a
les
c
e: remove extra div
s
introduced b
y
isl_map_
a
l
.
.
.
commit
|
commitdiff
|
tree
2009-06-05
Sven Ver
d
oolaeg
e
add isl_map_c
o
alesce
commit
|
commitdiff
|
tree
2009-05-19
Sv
e
n Verdoolaege
add
isl_set_
p
rod
u
ct
commit
|
commitdiff
|
tree
2009-05-19
Sven Verdoolaege
e
x
por
t
isl_ma
p
_
dim
commit
|
commitdiff
|
tree
2009-05-06
Sven Ver
d
oolaege
isl_map_convex_hull: handle unbounded,
b
ut poi
n
te
d
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
S
v
en V
e
r
doolaege
privately
export isl_mat_un
i
mod
u
la
r
_complete
commit
|
commitdiff
|
tree
2009-05-06
S
v
en Verdo
o
l
aege
is
l
_tab
.
c: add isl
_
tab
_
get_
s
ample_value
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
isl_ma
p
_
c
onvex_hull: av
o
id intro
d
ucing line
a
l
i
ty spaces
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
add tw
o
mor
e
convex hul
l
te
s
t cases
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdo
o
la
e
ge
i
sl
_
map_c
o
nvex_hull: remove lineality
space if
an
y
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdool
a
ege
add is
l
_basic_set_is_universe
commit
|
commitdiff
|
tree
2009-05-06
Sv
e
n Verdoolaege
a
dd isl_set
_
g
e
t_dim
commit
|
commitdiff
|
tree
2009-05-05
Sven
V
e
r
doolaege
isl_c
o
nvex_hu
l
l
.
c: update wrap_fac
e
t to the fact we
.
.
.
commit
|
commitdiff
|
tree
2009-05-05
Sve
n
Verdoolaege
isl_c
o
nvex_
h
ull
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2009-05-05
Sven Ve
r
d
o
olaege
isl_coales
c
e
.
c
:
f
ix t
y
po in comment
commit
|
commitdiff
|
tree
2009-05-05
S
ven Verdoolaege
i
sl_tab
.
c
:
f
i
x typo in comment
commit
|
commitdiff
|
tree
2009-05-05
Sven Verd
o
olaege
configure
.
in: set
AC_CONFI
G
_MACRO_DIR
commit
|
commitdiff
|
tree
2009-03-23
Sven Verd
o
ol
a
ege
add isl_bas
i
c_set
_
get_dim
commit
|
commitdiff
|
tree
2009-03-23
Sv
e
n Verdoolaege
isl
_
basic_map_gis
t
: normalize divs (if any) in
con
t
ext
commit
|
commitdiff
|
tree
2009-03-23
S
v
en Verdoo
l
aege
isl_basic
_
map
_
simplify: remove duplic
a
te
d
iv
s
bef
o
re
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
add isl_basic_set
_
div
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoola
e
ge
change
c
allin
g
conven
t
ion of is
l
_basic_map_div
commit
|
commitdiff
|
tree
2009-03-23
Sven
V
erdoolaege
i
s
l
_m
a
p_simplify
.
c: uset_gist
:
b
reak
e
arly if there
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
isl_map_simplify
.
c: uset_gist: break early i
f
i
nterse
c
tion
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoola
e
ge
add
i
sl_basic_set_fa
s
t_is_empty
commit
|
commitdiff
|
tree
2009-03-23
Sven Verd
o
olaege
u
p
d
ate
p
i
plib to 1
.
4
.
0
commit
|
commitdiff
|
tree
2009-03-23
Sven Ver
d
oola
e
ge
isl_tab
.
c:
s
t
o
re
n
umber of e
q
ualities among the co
n
straints
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven
V
erdoolaege
isl_mat_e
x
tend: properly ex
t
end
m
atrices with
r
eordered
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_map_gis
t
:
h
andle some speci
a
l cases
commit
|
commitdiff
|
tree
2009-03-20
S
v
en V
e
rdoolaege
a
dd isl
_
map_u
n
iverse
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdoola
e
ge
add i
s
l
_
basic_map_fast_
i
s_empty
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
ola
e
ge
isl_basic_ma
p
_gist: replace b
y
ne
w
v
ersion based on
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdoolaege
i
sl_map_simplify
.
c: compute_e
l
iminat
i
on_index: don
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
add isl_map_implici
t
_equali
t
ies
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verdoolaege
add isl_basic_set_fr
e
e_equality
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
oolaege
i
sl_map
_
c
o
nvex_hull
:
ma
r
k
result as not ha
v
ing a
n
y
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
co
n
vex_hull: coale
s
ce set first
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoola
e
ge
add isl_
s
et_coalesce
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_inp
u
t_omeg
a
.
c: ba
s
ic
_
m
a
p
_r
e
ad: accept
"
+" in con
s
traints
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
do
o
la
e
ge
add isl_basic
_
set_alloc_div
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdoolaege
a
d
d isl_set_align_divs
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
oolaeg
e
us
e
t
_
a
ffine_hul
l
: ign
o
re directions
i
n a
f
fine hull
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdoolaeg
e
isl_basic_map_implic
i
t_equal
i
ti
e
s:
perform
Ga
u
ssia
n
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_af
f
i
n
e
_hull
.
c: outsi
d
e_point: che
c
k f
o
r obvio
u
s
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
p
r
i
v
a
t
e
ly export isl_ba
s
ic_set_contains
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
doo
l
a
ege
i
s
l_ct
x
: add n
e
gone
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rdoo
l
ae
g
e
isl_vec_du
m
p
:
handle NULL vec
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
is
l
_affine_hull
.
c
:
extract uset_
a
f
fin
e
_hull
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaeg
e
i
s
l_mat_transpose: handle non
-
rec
t
angu
l
ar
m
atrices
commit
|
commitdiff
|
tree
2009-03-20
Sven
Ve
r
d
o
o
l
a
eg
e
isl_map
_
s
i
mple_hull: compute affine hull before alig
n
ing
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
ool
a
e
g
e
isl
_
map_s
i
mple_hul
l
: mark result as not having any
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
oolaege
add isl_se
t
_bounded_simple
_
hull
commit
|
commitdiff
|
tree
next