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
add isl_seq_last_non_zero
2009-08-04
Sven
V
erdoolaege
add isl_seq_last_non_zero
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoo
l
aege
isl_tab
.
c: simplify
a
dd_eq
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaege
isl_tab
.
c
:
extrac
t
al
l
ocate_con
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdo
o
laege
p
ri
v
atel
y
e
xport
i
sl_basi
c
_set_set_r
a
tiona
l
commit
|
commitdiff
|
tree
2009-07-22
S
ven Ve
r
d
o
olaege
configure
.
ac: expl
i
cit
l
y set AC_
C
ONFIG
_
AUX_DIR
commit
|
commitdiff
|
tree
2009-07-21
Sven Ve
r
do
o
laege
convex_hull: coalesce
set dur
i
ng fa
c
et computati
o
n
commit
|
commitdiff
|
tree
2009-07-21
Sven Verdoolaege
isl_map_coalesce: don't dr
o
p rational flag
f
rom result
.
.
.
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoolaege
isl_tab_
c
one_is_bounded: sta
r
t
ov
e
r afte
r
computing
.
.
.
commit
|
commitdiff
|
tree
2009-07-19
S
v
en V
e
rdo
o
la
e
ge
is
l
_
basic_set_dim_residue_cl
a
ss
:
on
l
y set *
m
o
dulo to
.
.
.
commit
|
commitdiff
|
tree
2009-07-18
Sv
e
n
Verdoolaege
add isl_bas
i
c_set_fast_d
i
m_i
s
_fixed
commit
|
commitdiff
|
tree
2009-07-16
Sv
e
n V
e
rdoo
l
ae
g
e
isl_tab:
drop isl_ctx ar
g
ument where
not
absolute
l
y
.
.
.
commit
|
commitdiff
|
tree
2009-07-16
Sven Verdoolaege
isl_mat: keep track
of isl_ctx
commit
|
commitdiff
|
tree
2009-07-16
Sve
n
Verdoola
e
ge
isl
_
basic_set_sampl
e
: don't p
r
o
j
ect
o
ut lineality space
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
isl_basi
c
_map_fix_pos: micro-optimizat
i
o
n
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
move isl_basic_set
_
skew_to_positiv
e
_ortha
n
t to isl_sa
m
ple
.
c
commit
|
commitdiff
|
tree
2009-07-15
Sven
Verdool
a
ege
isl
_
tab
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2009-07-15
Sv
e
n Verdoola
e
ge
isl
_
basic_set_s
a
mple: br
e
ak
early if sa
m
ple found
in
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sve
n
Verd
o
olaege
export isl_t
a
b_sample_is_integ
e
r
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
is
l
_b
a
sic_set_s
a
mple: check sa
m
ple stor
e
d by
isl_basic_map_i
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
S
ve
n
V
e
r
d
oolaeg
e
isl_ba
s
ic_ma
p
_is_empty: re
m
ove stale sample
commit
|
commitdiff
|
tree
2009-07-15
Sve
n
Verdoolaege
add isl_polyhedron
_
samp
l
e application
commit
|
commitdiff
|
tree
2009-07-15
Sven
V
erdoolaege
in
t
roduce generalize
d
basis redu
c
tion
b
ased sampling
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoo
l
a
eg
e
a
d
d
i
s
l
_
seq_cdiv_q
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolae
g
e
i
sl_
s
a
mple
.
c: interval_sample: drop redu
n
dan
t
argume
n
t
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdool
a
ege
isl
_
sample
.
c
: clean up handling of
l
ineal
i
ty space
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdo
o
laege
i
s
l
_
s
ample
.
c:
e
x
tract o
u
t sampl
e
_eq
commit
|
commitdiff
|
tree
2009-07-13
Sven
V
erdoola
e
g
e
isl_
s
ample
.
c
:
interval_
s
a
m
ple: handle equali
t
ie
s
di
r
ectly
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
isl_sa
m
p
l
e
.
c: ext
r
act out empty_sample
commit
|
commitdiff
|
tree
2009-07-13
Sven V
e
r
d
oolaege
isl_sample
.
c: generalize po
i
nt_s
a
mple to zero
_
sample
commit
|
commitdiff
|
tree
2009-07-13
Sve
n
Verdoolaege
isl_tab: don't create n
e
w undo recor
d
s during rollback
commit
|
commitdiff
|
tree
2009-07-13
Sven V
e
rdool
a
ege
i
s
l_tab_min: use general rollback mechanism
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n Verdool
a
ege
isl_tab: optionally save dual solut
i
on
commit
|
commitdiff
|
tree
2009-07-13
Sven V
e
rdool
a
e
ge
isl_ta
b
:
a
d
d isl_tab_add_valid_eq
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
expor
t
isl_tab_allo
c
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
add
i
sl_in
t
_le
commit
|
commitdiff
|
tree
2009-07-13
Sven
V
e
rdool
a
ege
privately ex
p
o
r
t isl_basic_set_recession_c
o
n
e
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
i
s
l_conv
e
x_hull
.
c: add missing
ass
i
g
n
men
t
commit
|
commitdiff
|
tree
2009-07-13
Sven Ve
r
doo
l
aege
pri
v
ate
l
y export isl_b
a
s
i
c_set_li
n
eality
_
space
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoo
l
aege
i
s
l_
v
ec: k
e
ep
t
rack of isl_ctx
commit
|
commitdiff
|
tree
2009-07-12
Sven Ve
r
d
oolaege
isl
_
coalesce
.
c:
fix
typo
commit
|
commitdiff
|
tree
2009-06-13
Sven
V
erdoolaege
update p
i
p
l
i
b
f
o
r ch
a
nge
i
n
configure ar
g
uments
commit
|
commitdiff
|
tree
2009-06-11
S
ven Verdoo
l
aege
isl_basi
c
_map_dro
p
_
r
edund
a
nt_divs: coalesce
d
ivs if
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
i
sl_basic_map_drop_redun
d
ant_divs: set
div
expr
e
ssion
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
i
s
l_basic_map_
d
rop_redundant_di
v
s: dro
p
m
ore kin
d
s
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven V
e
r
d
oolaeg
e
isl_map_
c
o
mpute_divs: dr
o
p obviously redundant divs
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_map_piplib
.
c: extre
m
um_on
:
dete
c
t equalit
i
es first
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_pip_basic_map_compute_divs:
remove some equalities
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sv
e
n
V
e
rdoolaeg
e
isl_pip_basi
c
_
m
ap_comp
u
te_divs: se
p
arat
e
o
u
t dimension
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven V
e
r
d
ool
a
e
ge
isl_basic_set_preimage: handle divs
i
n
input
commit
|
commitdiff
|
tree
2009-06-11
Sven
V
erdool
a
ege
isl_input_omega
.
c: make variable_{fr
e
e
,
new} stat
i
c
commit
|
commitdiff
|
tree
2009-06-11
Sv
e
n
V
e
rdoo
l
a
ege
is
l
_map
.
c: make add_divs s
t
at
i
c
commit
|
commitdiff
|
tree
2009-06-11
Sven
V
e
r
doo
l
aege
isl_b
a
sic_map_simplify: de
t
ect
div co
n
st
r
aints while
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven V
e
rdo
o
laege
isl_ba
s
i
c
_map_dr
o
p
:
p
r
o
perly han
d
l
e
dimen
s
i
o
n
s
o
f
type
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
add isl_int_mu
l
_ui
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdool
a
ege
add
i
sl_seq_fdiv_q
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdool
a
e
g
e
add
i
s
l_
s
eq_fdiv_
r
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaeg
e
isl_bas
i
c_map_detect_equalities: prop
e
rly
h
andle
e
m
pty
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sve
n
Verd
o
olaege
isl_basic_map_is_empty: expli
c
it
l
y
mark basic
s
ets
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
S
ven
Verd
o
olaege
isl_map
.
c: order_divs: s
w
a
p
wit
h
correct div
commit
|
commitdiff
|
tree
2009-06-07
S
v
e
n
Verdo
o
laege
isl_map_coales
c
e: remove extra divs intro
d
uc
e
d by isl_map
_
al
.
.
.
commit
|
commitdiff
|
tree
2009-06-05
Sven V
e
rdoolaege
add i
s
l
_
map
_
c
o
alesce
commit
|
commitdiff
|
tree
2009-05-19
Sven Verdoolaege
add i
s
l_set_product
commit
|
commitdiff
|
tree
2009-05-19
Sven
V
e
r
d
ool
a
ege
export isl_map
_
dim
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoola
e
ge
isl_ma
p
_convex_hull: hand
l
e unbounded, but p
o
inted
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sv
e
n
Verdoolaeg
e
p
rivately ex
p
o
r
t
isl_mat_
u
nim
o
dula
r
_complet
e
commit
|
commitdiff
|
tree
2009-05-06
Sven
Ver
d
o
olaege
isl_tab
.
c: add
isl_
t
ab_get_samp
l
e_
v
alue
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoo
l
aege
isl
_
map_c
o
nvex_
h
u
l
l
: avoid introduc
i
n
g
linealit
y
spaces
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
S
ven Verdoolaege
add two more con
v
ex hull
t
e
st cases
commit
|
commitdiff
|
tree
2009-05-06
S
v
en Ver
d
o
o
laege
isl_map
_
convex_hull: remove line
a
l
i
ty space
i
f
an
y
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven
Verdoo
l
a
e
ge
add isl_basic_set_is_un
i
ve
r
se
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdool
a
ege
add i
s
l_set_g
e
t_dim
commit
|
commitdiff
|
tree
2009-05-05
Sven Ve
r
do
o
laeg
e
isl_
c
o
nvex_hull
.
c: update wrap_face
t
to th
e
f
ac
t
we
.
.
.
commit
|
commitdiff
|
tree
2009-05-05
S
ven Verdoolaege
isl_convex_hull
.
c: f
i
x typo in com
m
ent
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoolaege
is
l
_coalesce
.
c: fix typo in com
m
ent
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoolae
g
e
isl_t
a
b
.
c: fix t
y
p
o
i
n
commen
t
commit
|
commitdiff
|
tree
2009-05-05
S
v
en Verdoolaege
configure
.
in: set A
C
_
CO
N
F
I
G
_MACRO_DIR
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
add isl_basic_set_get_dim
commit
|
commitdiff
|
tree
2009-03-23
Sven V
e
r
doolaege
isl_b
a
si
c
_map
_
gist: normal
i
ze di
v
s
(if any
)
in context
commit
|
commitdiff
|
tree
2009-03-23
S
v
en
V
erdool
a
ege
isl_basic_
m
ap_
s
implify:
r
emo
v
e
duplic
a
t
e divs before
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
a
d
d
i
s
l
_ba
s
ic_set_div
commit
|
commitdiff
|
tree
2009-03-23
Sven
V
e
r
d
oolaege
change calling convention
o
f
isl_basic_map_div
commit
|
commitdiff
|
tree
2009-03-23
S
v
en Ve
r
doolaege
isl_map_simplify
.
c: use
t
_
g
is
t
: brea
k
ea
r
ly if
t
here
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
S
v
en
Verdoolaege
isl
_
map_
s
implify
.
c:
u
set_gi
s
t
:
break
e
arly
if inte
r
section
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
add
isl_ba
s
ic_s
e
t
_
fast
_
i
s_empty
commit
|
commitdiff
|
tree
2009-03-23
Sv
e
n
Verdoolaege
update piplib t
o
1
.
4
.
0
commit
|
commitdiff
|
tree
2009-03-23
S
ven
Verdoolaeg
e
i
sl
_
tab
.
c
:
store num
b
er of equal
i
ties among the con
s
traints
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven V
e
rdoolae
g
e
isl_
m
a
t
_exten
d
: prop
e
r
ly extend matrices
with reordered
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdoolaege
isl_map_gist: hand
l
e some s
p
e
c
ial cases
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
add
isl_
m
ap_universe
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
add isl_basi
c
_
map_fas
t
_is_empt
y
commit
|
commitdiff
|
tree
2009-03-20
S
v
e
n Verdoolaege
is
l
_basic_map_gist: replace by n
e
w v
e
r
sion
b
a
sed
on
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdoolaege
isl_map
_
simplify
.
c: co
m
pute_eliminat
i
o
n
_index: don
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
oolaege
a
dd isl_map_impl
i
cit_equalities
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
add isl_
b
asic_set
_
free_equality
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaeg
e
isl
_
map_convex_
h
ull: mark result as not having any
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n
V
erdoolaege
conv
e
x_hull: coalesce
s
et firs
t
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
d
o
olaege
add isl_set_coale
s
ce
commit
|
commitdiff
|
tree
2009-03-20
S
v
e
n
Verdoolaege
isl_i
n
put
_
omega
.
c:
basic_map_read:
accept "+" in
con
s
t
r
aints
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verd
o
olae
g
e
add is
l
_ba
s
ic_set_al
l
oc_div
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoo
l
aege
add isl_set_align_div
s
commit
|
commitdiff
|
tree
next