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_tab: store index of variable in undo record instead of pointer to variable
2009-08-07
Sven Verdoolaege
is
l
_
ta
b
: store
index of
variable in undo record instead
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven
Verd
o
olae
g
e
add isl_{
s
et,map}_grow
commit
|
commitdiff
|
tree
2009-08-07
Sven
Verd
o
olaege
a
dd
i
sl_map_get
_
dim
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoola
e
g
e
add isl_basic_map_get_dim
commit
|
commitdiff
|
tree
2009-08-04
Sv
e
n Verd
o
olaege
a
d
d i
s
l
_tab_dup
commit
|
commitdiff
|
tree
2009-08-04
S
ven Verdoola
e
ge
expor
t
isl_mat_dup
commit
|
commitdiff
|
tree
2009-08-04
Sven Ve
r
doolaege
isl_
t
ab
.
c: mark
_
re
d
undan
t
: onl
y
mark variabl
e
nonneg
.
.
.
commit
|
commitdiff
|
tree
2009-08-04
Sven Ver
d
ool
a
ege
isl_tab
.
c: to_row:
allow pivoting in arbi
t
rary dir
e
ction
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaege
isl_ta
b
.
c: s
i
m
plify code
b
y
letting mark_
e
mpty
r
eturn
t
ab
commit
|
commitdiff
|
tree
2009-08-04
S
v
e
n
V
erdoola
e
ge
add isl_seq_last_n
o
n_zero
commit
|
commitdiff
|
tree
2009-08-04
Sven
V
erdoolae
g
e
isl_tab
.
c:
sim
p
lify add_eq
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaege
isl_
t
a
b
.
c: extract allocate_con
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdo
o
laege
priva
t
ely export isl_bas
i
c_set_set_
r
ati
o
n
al
commit
|
commitdiff
|
tree
2009-07-22
Sve
n
Verdoolaege
configu
r
e
.
ac: explicitly set AC_
C
ONF
I
G_A
U
X_DI
R
commit
|
commitdiff
|
tree
2009-07-21
Sven Verdoolaege
co
n
v
ex
_
hull: c
o
a
l
esce set during facet computation
commit
|
commitdiff
|
tree
2009-07-21
Sven Ve
r
d
o
olaege
isl_
m
a
p
_
coalesce: don't drop ra
t
ional flag from result
.
.
.
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoolaege
isl_tab_cone_is
_
b
ounded
:
s
t
art over after co
m
pu
t
ing
.
.
.
commit
|
commitdiff
|
tree
2009-07-19
Sven Ve
r
dool
a
ege
isl_basic_se
t
_
d
im_residue_class: only set *mo
d
u
l
o to
.
.
.
commit
|
commitdiff
|
tree
2009-07-16
Sven
V
erdoolaege
isl_tab:
d
rop
i
sl_ctx ar
g
ument
w
her
e
not absolute
l
y
.
.
.
commit
|
commitdiff
|
tree
2009-07-16
Sven Verdoolaege
isl_
m
at: keep track of i
s
l_ctx
commit
|
commitdiff
|
tree
2009-07-16
Sven Verdoolaege
isl_basic_set_s
a
m
p
le: do
n
't proj
e
ct out
l
i
neality space
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
i
s
l_basic_ma
p
_fix_pos:
m
i
cro-optimization
commit
|
commitdiff
|
tree
2009-07-15
Sven
V
erdoolae
g
e
move isl_b
a
sic
_
set_
s
kew_to_pos
i
ti
v
e_orthant to isl_sample
.
c
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaeg
e
i
sl_tab
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdo
o
laege
isl_
b
as
i
c_se
t
_samp
l
e: b
r
e
a
k earl
y
if sample found
i
n
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
e
x
p
ort isl_tab_sample
_
i
s_intege
r
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolae
g
e
isl_basic_set_
s
ample: check s
a
m
p
le st
o
red
b
y isl_basic_map_i
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoo
l
aege
i
s
l_basic_map_is_empt
y
: r
e
move
s
t
a
le
s
am
p
le
commit
|
commitdiff
|
tree
2009-07-15
Sv
e
n Verdoo
l
aege
a
d
d
isl_polyhed
r
o
n
_sample applic
a
tion
commit
|
commitdiff
|
tree
2009-07-15
S
v
en Verdoola
e
ge
introduce
g
enerali
z
ed basis reduction based sampling
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdool
a
e
g
e
a
d
d
isl
_
s
eq_c
d
iv_q
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
isl_sample
.
c: interval_sam
p
le: drop redundant
argume
n
t
commit
|
commitdiff
|
tree
2009-07-15
Sve
n
Verdool
a
ege
is
l
_s
a
mple
.
c: clean
u
p
handling of lineality s
p
a
ce
commit
|
commitdiff
|
tree
2009-07-13
Sven Ve
r
doolaege
isl_sample
.
c: extract out sampl
e
_
e
q
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdool
a
ege
isl_samp
l
e
.
c: interval_sample: handl
e
e
q
ualit
i
e
s
directly
commit
|
commitdiff
|
tree
2009-07-13
Sven Ve
r
do
o
laege
isl_sample
.
c: extr
a
ct out empty_sa
m
ple
commit
|
commitdiff
|
tree
2009-07-13
Sven
Verdoolaeg
e
isl_
s
ample
.
c
:
g
ene
r
alize
point_sample to
zer
o
_sample
commit
|
commitdiff
|
tree
2009-07-13
Sven V
e
r
doolaege
i
sl_
t
ab
:
d
o
n't
cre
a
t
e
n
ew undo
records
d
uring rollback
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n Ve
r
do
o
laege
i
sl_tab_min: us
e
gen
e
ra
l
rol
l
bac
k
mechanism
commit
|
commitdiff
|
tree
2009-07-13
Sven Ver
d
oolaege
isl_
t
ab
:
optionally save dua
l
s
o
l
u
ti
o
n
commit
|
commitdiff
|
tree
2009-07-13
Sve
n
Ver
d
oola
e
ge
isl_tab
:
add isl_tab_a
d
d_valid_eq
commit
|
commitdiff
|
tree
2009-07-13
Sven V
e
rdoolaege
export isl_tab_all
o
c
commit
|
commitdiff
|
tree
2009-07-13
Sven Ver
d
o
ol
a
ege
add
is
l
_int_le
commit
|
commitdiff
|
tree
2009-07-13
Sven Ve
r
doolaege
privately
e
xport isl_
b
asic_set_rece
s
sion_cone
commit
|
commitdiff
|
tree
2009-07-13
S
ven Verdoolae
g
e
isl_
c
onvex_
h
ull
.
c:
a
d
d missing ass
i
g
n
ment
commit
|
commitdiff
|
tree
2009-07-13
Sven Ve
r
d
oolae
g
e
privately export
isl_basic_set
_
line
a
l
i
t
y
_space
commit
|
commitdiff
|
tree
2009-07-13
S
ve
n
Verdo
o
laege
i
s
l_ve
c
: keep track
of is
l
_c
t
x
commit
|
commitdiff
|
tree
2009-07-12
Sve
n
Verdo
o
lae
g
e
isl_co
a
lesce
.
c: fix typo
commit
|
commitdiff
|
tree
2009-06-13
Sven
Verdoola
e
ge
update pi
p
lib f
o
r
change in configur
e
argument
s
commit
|
commitdiff
|
tree
2009-06-11
Sv
e
n Verdoolaege
isl_basic_map_drop_
r
edundant_divs:
co
a
lesc
e
di
v
s if
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven
V
erd
o
ol
a
e
g
e
isl_bas
i
c
_map_drop_red
u
nda
n
t_divs:
s
et div expr
e
s
sion
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
S
ven
V
e
r
doolaege
i
sl_basic
_
map_drop_redundant_di
v
s: drop more
k
i
n
ds
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sv
e
n Verdoo
l
aege
i
s
l
_map_comp
u
te_
d
ivs: drop obvio
u
sly redundant divs
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
S
ve
n
V
erdoolaege
isl_map_pipl
i
b
.
c: extremum_on: detect
e
q
u
a
lities first
commit
|
commitdiff
|
tree
2009-06-11
S
ve
n
Verdoolaege
isl_pip
_
b
a
sic_map_co
m
pute_divs: rem
o
ve som
e
equalities
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven
V
erdoolaege
i
s
l_pip_b
a
sic_map_compu
t
e_divs: separate out
d
imension
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sv
e
n Verdoolaege
isl_ba
s
ic_set_preima
g
e
: handle divs in in
p
ut
commit
|
commitdiff
|
tree
2009-06-11
Sven
Verdoolaege
isl_
i
np
u
t_omeg
a
.
c:
make variable_{free
,
new}
static
commit
|
commitdiff
|
tree
2009-06-11
Sven
V
erdoola
e
ge
i
s
l_m
a
p
.
c:
m
a
ke add_divs static
commit
|
commitdiff
|
tree
2009-06-11
S
ven Verdoolaege
i
s
l_
b
asic_ma
p
_simplify:
detect div
c
o
ns
t
raints
while
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
isl_ba
s
ic_map_dro
p
:
properly handle dimensions of ty
p
e
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
S
ve
n
Verdoola
e
ge
add isl_int_mul_ui
commit
|
commitdiff
|
tree
2009-06-07
S
ven
Verdoola
e
ge
add isl_seq_fdi
v
_q
commit
|
commitdiff
|
tree
2009-06-07
S
v
en
V
erdoo
l
aege
add isl_seq
_
fdiv_r
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
isl_basi
c
_map_d
e
tect
_
equ
a
li
t
ies: properly handl
e
empty
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sv
e
n Ver
d
o
ola
e
ge
i
sl_ba
s
ic_ma
p
_is_empty
:
explicitly m
a
rk ba
s
i
c
sets
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
S
v
en Verd
o
olaege
isl_map
.
c: order_divs: swa
p
with
correct div
commit
|
commitdiff
|
tree
2009-06-07
Sven
Verdoolaege
isl_map_
c
oa
l
esce: r
e
m
ove extra divs introduced b
y
isl_m
a
p_al
.
.
.
commit
|
commitdiff
|
tree
2009-06-05
Sven Verdo
o
laege
add isl
_
map_coalesce
commit
|
commitdiff
|
tree
2009-05-19
Sven
Verdoolaege
add isl_s
e
t_product
commit
|
commitdiff
|
tree
2009-05-19
Sven Verdoolaege
e
x
p
ort i
s
l_map_
d
im
commit
|
commitdiff
|
tree
2009-05-06
Sven V
e
rd
o
olaege
is
l
_map_convex
_
hull:
h
a
n
dle
unboun
d
e
d,
b
ut pointed
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
priva
t
ely ex
p
ort isl_mat_unimod
u
lar
_
complete
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
isl_tab
.
c: add
isl
_
tab_get_
s
ample_value
commit
|
commitdiff
|
tree
2009-05-06
S
ven V
e
rdoolaege
i
s
l_map_convex
_
hull: avoid
i
n
troducing li
n
eality spaces
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
S
ven
V
erdoolaege
add two mo
r
e convex
h
ull test cases
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
isl_map_conve
x
_hull: remove l
i
neality
s
pace if
a
n
y
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoo
l
a
e
ge
add
isl_basic_set_is_u
n
iverse
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdool
a
eg
e
add
isl_set_get_dim
commit
|
commitdiff
|
tree
2009-05-05
Sven Ve
r
dool
a
e
ge
isl_
c
onvex_hull
.
c: update wrap_facet
t
o the fact we
.
.
.
commit
|
commitdiff
|
tree
2009-05-05
S
v
en Verdoo
l
aege
isl_convex_hull
.
c: fix typo in com
m
ent
commit
|
commitdiff
|
tree
2009-05-05
Sven
Verdoolae
g
e
isl_coalesce
.
c: fi
x
t
y
p
o
i
n comment
commit
|
commitdiff
|
tree
2009-05-05
S
v
en Ver
d
oolaege
isl_tab
.
c: fix typo in
c
omme
n
t
commit
|
commitdiff
|
tree
2009-05-05
Sve
n
Verdoolaege
configur
e
.
in: set
A
C_CONFIG_MACRO_DIR
commit
|
commitdiff
|
tree
2009-03-23
S
ven Verdoola
e
g
e
add
i
s
l_basic_s
e
t_get
_
dim
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdo
o
laege
isl
_
bas
i
c_map_
g
i
s
t:
n
ormalize div
s
(if any) in context
commit
|
commitdiff
|
tree
2009-03-23
Sve
n
Verdoola
e
ge
isl_basic_map_simp
l
ify: remove duplicate divs before
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
add
i
sl_bas
i
c
_set
_
div
commit
|
commitdiff
|
tree
2009-03-23
Sve
n
Verdo
o
l
a
e
g
e
change ca
l
ling convention of isl_basic_map_
d
iv
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoo
l
aege
isl_map_sim
p
li
f
y
.
c
:
uset_gis
t
:
break early
i
f
there
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sv
e
n Verdoola
e
ge
i
s
l_ma
p
_simplify
.
c: uset_g
i
st: break early if i
n
tersection
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven
V
erdoolaege
add isl_basic_s
e
t_f
a
s
t
_
is_empty
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdo
o
laege
update piplib t
o
1
.
4
.
0
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
isl
_
tab
.
c
: store number of equalities a
m
on
g
the constraints
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven V
e
rdoolaege
isl_
m
at_e
x
tend: properly ext
e
n
d
mat
r
ices w
i
th reordered
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdoolaege
isl_map_gist: ha
n
dle
some
s
peci
a
l cases
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdoola
e
ge
add is
l
_map_unive
r
se
commit
|
commitdiff
|
tree
2009-03-20
S
v
en
Verdoolaege
add
i
sl_bas
i
c
_map_fast_is
_
empty
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
doolae
g
e
i
sl_basic_
m
ap_gist
:
r
eplace by
new v
e
rsion
b
a
sed
o
n
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
o
l
aege
is
l
_map_sim
p
l
i
fy
.
c:
com
p
ute_eli
m
i
n
ation_
i
ndex: d
o
n
.
.
.
commit
|
commitdiff
|
tree
next