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
fix return type of isl_div_free
2009-07-15
Sven Verd
o
olaege
ad
d
isl
_
p
o
lyhedron_samp
l
e application
commit
|
commitdiff
|
tree
2009-07-15
Sven
V
e
rdool
a
ege
introduc
e
g
e
ner
a
lized basis
r
eduction
based sampling
commit
|
commitdiff
|
tree
2009-07-15
Sven
V
erdoolaege
add isl
_
seq
_
cd
i
v_q
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
is
l
_
s
ample
.
c: inter
v
a
l
_sample:
d
ro
p
redundant argument
commit
|
commitdiff
|
tree
2009-07-15
S
ven Verdoolaege
i
s
l_sampl
e
.
c: clean up handling of lineali
t
y spa
c
e
commit
|
commitdiff
|
tree
2009-07-13
Sven
V
e
r
doolaege
isl_sample
.
c: extrac
t
out s
a
m
p
le_eq
commit
|
commitdiff
|
tree
2009-07-13
Sven
V
erdoolae
g
e
isl_sample
.
c:
i
nte
r
v
a
l_s
a
mple: handle equalit
i
es
d
irectly
commit
|
commitdiff
|
tree
2009-07-13
Sven V
e
rdoolaege
isl
_
sample
.
c: extract out empty_sample
commit
|
commitdiff
|
tree
2009-07-13
Sven
V
erdoolaeg
e
isl_sam
p
le
.
c: gene
r
alize point_sam
p
le to zero_sam
p
le
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
isl_tab: don't create new undo
r
ecords d
u
ring roll
b
ack
commit
|
commitdiff
|
tree
2009-07-13
Sven Ver
d
o
olaege
i
s
l
_tab_min: use
g
e
neral r
o
llback mechanism
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n V
e
rdo
o
la
e
ge
i
sl
_
t
a
b
: optionally
s
ave du
a
l solu
t
ion
commit
|
commitdiff
|
tree
2009-07-13
Sven
Verdoolaege
i
s
l_ta
b
: a
d
d
is
l
_tab_a
d
d_valid_eq
commit
|
commitdiff
|
tree
2009-07-13
S
ven Verdoolaege
e
xport isl_tab_alloc
commit
|
commitdiff
|
tree
2009-07-13
Sven Ver
d
o
olaege
a
d
d isl_i
n
t_le
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n
Verdoolaege
privately export i
s
l_basic_set_recession_cone
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdo
o
laeg
e
is
l
_c
o
nvex
_
hull
.
c: add missing assignment
commit
|
commitdiff
|
tree
2009-07-13
Sven V
e
rdoolaege
p
r
i
vately export isl_basic_set_
l
ineality
_
s
p
ace
commit
|
commitdiff
|
tree
2009-07-13
Sven
Verdoolaege
isl_vec: k
e
ep track of isl_ctx
commit
|
commitdiff
|
tree
2009-07-12
Sven Ver
d
oolaege
i
s
l
_
coalesce
.
c: fix
t
ypo
commit
|
commitdiff
|
tree
2009-06-13
Sv
e
n Verdoolaege
up
d
ate piplib for c
h
a
n
ge in configure arguments
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_ba
s
i
c
_
m
ap_drop_redundant_
d
ivs
:
coalesce divs if
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdo
o
laege
isl_ba
s
i
c_
m
ap_drop_r
e
dundant_div
s
: set div expressio
n
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven
V
erdoolaege
is
l
_
b
asic
_
m
ap_drop_
r
edundan
t
_divs: d
r
o
p
more kinds
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl
_
ma
p
_compute_divs: drop o
b
viously redund
a
nt divs
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
S
v
e
n
Ver
d
oolaege
isl
_
map_pip
l
ib
.
c: extremum_on: detec
t
equalities fi
r
st
commit
|
commitdiff
|
tree
2009-06-11
S
ven
V
erd
o
olaege
isl_p
i
p_b
a
s
i
c_map_com
p
u
te_d
i
vs:
r
emove
some equalit
i
e
s
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Ver
d
o
o
l
aege
isl_pip_basic_map_compute_divs: separate o
u
t dime
n
sion
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_basic_
s
et_pre
i
mage: handle divs in input
commit
|
commitdiff
|
tree
2009-06-11
Sven V
e
rdoolaege
i
s
l
_
input_om
e
ga
.
c: make
v
ar
i
able_
{
fr
e
e
,
new} static
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdo
o
lae
g
e
isl_map
.
c:
m
a
k
e add_divs stat
i
c
commit
|
commitdiff
|
tree
2009-06-11
Sven V
e
rdoolaege
i
sl_basic_map_s
i
mplify: detect div cons
t
raints while
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sve
n
Verdo
o
lae
g
e
i
s
l_basic_map_
d
r
op: properl
y
handle dimensions of type
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven V
e
r
d
oolaege
add isl_int_mul_ui
commit
|
commitdiff
|
tree
2009-06-07
Sv
e
n
Verd
o
olaege
add isl
_
seq_f
d
iv_q
commit
|
commitdiff
|
tree
2009-06-07
Sv
e
n Verdoolaege
add isl
_
seq_fdiv_
r
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdool
a
e
ge
i
s
l
_
b
a
sic_map_detect_equalities: properly ha
n
dle empty
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
isl_basic_map_is
_
empty:
ex
p
licitly mark basic s
e
ts
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Ver
d
oolaege
isl_map
.
c
:
o
rder_d
i
vs: swa
p
with correc
t
d
i
v
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolae
g
e
isl_
m
ap_coalesce: r
e
move extra divs
introdu
c
ed by
isl_map_al
.
.
.
commit
|
commitdiff
|
tree
2009-06-05
Sven Verdool
a
ege
add
i
sl_map_coale
s
ce
commit
|
commitdiff
|
tree
2009-05-19
Sven
V
erd
o
olaege
add isl
_
set_
p
ro
d
uct
commit
|
commitdiff
|
tree
2009-05-19
Sven Verdo
o
l
aege
export isl_
m
ap_dim
commit
|
commitdiff
|
tree
2009-05-06
S
v
e
n Verdoo
l
aeg
e
isl_
m
a
p_convex_hull: handle unbounded, but point
e
d
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven V
e
r
d
oolaeg
e
privately export isl_mat_unimodu
l
ar_com
p
lete
commit
|
commitdiff
|
tree
2009-05-06
Sven
Verdool
a
ege
i
sl_tab
.
c: add
isl_tab
_
get_sa
m
p
l
e
_value
commit
|
commitdiff
|
tree
2009-05-06
Sven
V
e
r
d
oolaeg
e
i
sl_map_convex_hull:
a
void introdu
c
ing lineality spaces
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven Ver
d
o
o
laege
add two
m
ore con
v
ex hull test cases
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
isl
_
map_convex_
h
ull: remove lineal
i
ty
s
pace if any
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdo
o
l
a
ege
add isl_basic_set_
i
s_un
i
v
e
rse
commit
|
commitdiff
|
tree
2009-05-06
Sven
Verdoolaege
add isl
_
set
_
get_d
i
m
commit
|
commitdiff
|
tree
2009-05-05
Sve
n
V
erdoolaege
isl_con
v
ex
_
hull
.
c: update wrap_facet to the fact
we
.
.
.
commit
|
commitdiff
|
tree
2009-05-05
Sven
V
erdoolaeg
e
i
s
l_conv
e
x
_
hull
.
c
:
f
ix typo in
comm
e
n
t
commit
|
commitdiff
|
tree
2009-05-05
S
v
en Ve
r
d
o
ola
e
ge
i
s
l_co
a
lesce
.
c: fix typo
i
n
c
om
m
ent
commit
|
commitdiff
|
tree
2009-05-05
S
v
en Verdoolaege
isl_tab
.
c
: fix typo in comment
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoolae
g
e
configure
.
in: set AC_CONFIG_MACRO_DIR
commit
|
commitdiff
|
tree
2009-03-23
S
v
e
n
V
erdoolae
g
e
add isl_
b
asic_set_get
_
d
im
commit
|
commitdiff
|
tree
2009-03-23
Sven Ve
r
d
o
ola
e
ge
isl_basic
_
map_g
i
st: n
o
rmalize divs (if any) in context
commit
|
commitdiff
|
tree
2009-03-23
S
ven Verdoo
l
aege
isl_basic_map_simplify: remove
d
uplicate d
i
vs before
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Verd
o
olaege
add isl_basic_set
_
div
commit
|
commitdiff
|
tree
2009-03-23
Sve
n
Verdoolae
g
e
cha
n
ge
c
a
lling conv
e
ntion of isl_basic_map_div
commit
|
commitdiff
|
tree
2009-03-23
Sv
e
n Verdool
a
ege
isl
_
map_simpli
f
y
.
c: us
e
t_
g
ist: brea
k
early if there
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven
V
e
rd
o
olaege
isl
_
map_s
i
m
plif
y
.
c: uset_gist: brea
k
early if interse
c
tion
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sv
e
n Verdoolaeg
e
ad
d
isl_basic_set_fast
_
is
_
e
m
p
t
y
commit
|
commitdiff
|
tree
2009-03-23
Sve
n
Verdo
o
l
aege
u
p
date pi
p
l
i
b
t
o 1
.
4
.
0
commit
|
commitdiff
|
tree
2009-03-23
S
v
en V
e
rdoolaege
isl_tab
.
c: store number of equalities a
m
o
ng the constraints
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Verd
o
olae
g
e
isl_mat_extend: properly extend matrice
s
with reordered
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
en V
e
rdoo
l
aege
isl_
m
a
p
_
gist: hand
l
e so
m
e special cas
e
s
commit
|
commitdiff
|
tree
2009-03-20
S
v
e
n
Verdool
a
ege
add is
l
_map
_
universe
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
olaege
add isl_bas
i
c_map_fast_is_empty
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdoo
l
aege
isl
_
basic_map_gist: replace by new version b
a
sed
o
n
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
is
l
_
m
ap_simplify
.
c: compute_elimination_i
n
dex:
don
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rdoolaege
add isl_
m
ap_implicit_equa
l
ities
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
doolaege
a
dd
i
sl_basic_set_
f
ree_equality
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verdoolae
g
e
i
s
l_
m
ap_
c
onvex_hull: mark result a
s
not having any
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdoola
e
ge
convex_hull
:
coalesce s
e
t
first
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdoolaege
add
i
sl_set
_
co
a
lesce
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdoo
l
aege
is
l
_inpu
t
_omega
.
c: bas
i
c
_
m
ap_read
:
accept
"
+" in constr
a
ints
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
doolaege
add
i
s
l
_basic_set_alloc_div
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaeg
e
a
dd isl
_
set_alig
n
_divs
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Ve
r
doolaege
uset_affin
e
_hull:
ignore direct
i
ons in affine hull
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdool
a
ege
isl
_
basic
_
map_implicit_equ
a
lities: p
e
rform Ga
u
ssi
a
n
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdool
a
ege
i
sl_affine_hul
l
.
c: o
u
tsi
d
e_point: check for
o
bvious
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdoo
l
a
e
ge
privately export isl_basic_set_
c
ontai
n
s
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoo
l
ae
g
e
i
s
l_c
t
x
:
ad
d
negone
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdoolaege
isl_vec_dump: ha
n
dle NULL vec
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_af
f
ine_hul
l
.
c: extr
a
c
t
uset
_
affine_hull
commit
|
commitdiff
|
tree
2009-03-20
S
v
e
n Verdoola
e
g
e
isl_mat
_
tran
s
pose: handle non-rectangular matri
c
es
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rdoolaeg
e
isl
_
map_simple
_
hull:
compute affine hull before alig
n
in
g
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
olaege
is
l
_map_si
m
ple_hull
:
mark
result as
not having any
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
ve
n
Verdoolaege
a
d
d
isl_set_bounded_simp
l
e_hull
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rdoolaege
is
l
_map_affine_hull: detect equal
i
t
i
es of integer affine
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
e
n
V
erd
o
ol
a
ege
isl_bas
i
c_
m
ap_dup: co
p
y flags of original to duplicate
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
i
sl_basic_map_ex
t
en
d
_dim: move responsibi
l
ity of cow
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
ven
V
e
rd
o
ol
a
ege
i
sl_basic_map_extend_dim: onl
y
exte
n
d constraint matrix
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_solve
_
l
p: use tableaus inst
e
ad
o
f
call
i
n
g
piplib
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
doolaege
is
l
_
s
olve_
l
p:
a
c
cep
t
a
ff
i
ne object function
i
ns
t
e
a
d
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
e
n
V
e
rdoolaege
isl_map_simple_hull: use hash tab
l
es and tableaus
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_convex_hull
.
c:
extract o
u
t uset
_
simp
l
e_h
u
ll
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoola
e
g
e
is
l
_convex_hull
.
c: extend: avoid wr
a
pp
i
ng
around
already
.
.
.
commit
|
commitdiff
|
tree
next