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: introduce support for "big parameters"
2009-08-07
S
v
en Ver
d
o
o
laege
i
sl_
t
ab: introdu
c
e
support for "big pa
r
amete
r
s"
commit
|
commitdiff
|
tree
2009-08-07
Sven Verd
o
olaege
i
s
l
_
tab: all
o
w introduction of extra vari
a
bles
commit
|
commitdiff
|
tree
2009-08-07
Sven Verd
o
o
lae
g
e
isl_ta
b
: introduc
e
par
a
meters an
d
divs
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Verdoolaege
isl_t
a
b
.
h:
fi
x
ty
p
o i
n
comment
commit
|
commitdiff
|
tree
2009-08-07
Sven Ve
r
doolaege
isl_tab: al
l
ow saving and resto
r
i
ng the complete basi
s
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Verdoolaege
i
sl
_
tab
:
priva
t
ely expo
r
t some functionali
t
y
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
e
r
doolaege
isl_tab: store undo
argum
e
nt in
a union
for fu
t
ure
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Verd
o
olaeg
e
a
dd isl_b
a
sic_set_samp
l
e_
b
ounded
commit
|
commitdiff
|
tree
2009-08-07
Sven Verd
o
olae
g
e
private
l
y export isl_
b
asic_set
_
o
r
d
e
r_divs
commit
|
commitdiff
|
tree
2009-08-07
S
ven Verdoo
l
a
ege
isl_map_simplify
.
c
:
remove_dependent_vars: onl
y
remov
e
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
ven Verdoolaege
i
sl_ba
s
ic_ma
p
_compute_divs: use i
s
l_basic_set_lexmin
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Ver
d
oolaege
isl
_
pip_basic_map_compute_
d
ivs
:
don't turn divs
into
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verd
o
olaege
p
r
i
vat
e
ly export isl_b
a
sic
_
map_swap_div
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_{set,m
a
p}_ad
d
: d
o
n
't
add obviously empty basi
c
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
ven V
e
rdoolaeg
e
c
o
mbine isl_pip_
b
a
s
ic_map_lex{min,max}
into i
s
l_pip_basic_ma
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Ver
d
ool
a
e
ge
make piplib head
e
rs priva
t
e
commit
|
commitdiff
|
tree
2009-08-07
Sven Ve
r
doolaeg
e
isl
_
m
a
t
:
keep track of the actual number of columns
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Verdoolaege
i
s
l_ta
b
_pivot: fix typo that pr
e
v
e
n
ted normalization
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
add is
l
_basic_
s
et_positive_orthant
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdool
a
ege
add isl_basic_set_partial
_
le
x
{min,max}
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
rd
o
olaege
re
n
a
me is
l
_b
a
s
ic_map_
l
ex{m
i
n
,
max
}
to i
s
l_basic_map_partial_l
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verd
o
olaege
add isl_
b
asic_s
e
t_
f
re
e
_div
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
i
s
l
_s
e
t_dim: support i
s
l_dim_a
l
l
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n V
e
rdoolaeg
e
i
s
l_tab: store i
n
dex of variable i
n
undo record inst
e
ad
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
erdool
a
ege
add i
s
l_{set,map
}
_gr
o
w
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Verdoolae
g
e
add isl_map_get_dim
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoola
e
ge
add isl_basic_map_get_dim
commit
|
commitdiff
|
tree
2009-08-04
S
ven V
e
rdoolaege
add isl_tab_dup
commit
|
commitdiff
|
tree
2009-08-04
Sven
V
er
d
o
olaege
export isl_mat_dup
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoo
l
aege
isl_
t
a
b
.
c
:
m
ar
k
_re
d
undant: only mar
k
variable nonneg
.
.
.
commit
|
commitdiff
|
tree
2009-08-04
Sven V
e
rdoolaege
isl_tab
.
c: to_row:
a
llow p
i
v
oting i
n
arbitrary direction
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdool
a
ege
isl_tab
.
c: simplify co
d
e
by letting m
a
r
k_e
m
p
ty re
t
urn tab
commit
|
commitdiff
|
tree
2009-08-04
S
v
en Ve
r
doo
l
a
e
ge
a
dd is
l
_seq_last_n
o
n_zero
commit
|
commitdiff
|
tree
2009-08-04
S
v
en
V
erdoolaege
isl_tab
.
c: si
m
plify add_
e
q
commit
|
commitdiff
|
tree
2009-08-04
Sven
V
e
rdo
o
laeg
e
i
s
l_
t
ab
.
c:
e
xtract alloca
t
e_con
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
privately export isl_basic_set_set_rat
i
onal
commit
|
commitdiff
|
tree
2009-07-22
Sven
V
er
d
oolaege
c
onfigure
.
ac: explicitly set AC_CONFIG
_
AUX_DI
R
commit
|
commitdiff
|
tree
2009-07-21
Sven Verdoolaege
c
o
nvex_hul
l
:
c
oa
l
esce
s
et during facet computation
commit
|
commitdiff
|
tree
2009-07-21
Sven Ve
r
d
oolae
g
e
isl_map_coal
e
sce: don't drop rational flag
fr
o
m result
.
.
.
commit
|
commitdiff
|
tree
2009-07-20
Sven V
e
rd
o
olaege
i
s
l_tab_cone_i
s
_
bounded: s
t
a
rt over aft
e
r computing
.
.
.
commit
|
commitdiff
|
tree
2009-07-19
Sven Verdoolaege
isl_basic
_
set_dim_re
s
idue_class: only
s
e
t
*
m
odulo to
.
.
.
commit
|
commitdiff
|
tree
2009-07-16
Sven V
e
rdoolaege
isl
_
t
a
b: dr
o
p isl_ctx argument wh
e
r
e
not absolutely
.
.
.
commit
|
commitdiff
|
tree
2009-07-16
Sv
e
n Verdoolaege
isl_mat
:
keep track of i
s
l_ctx
commit
|
commitdiff
|
tree
2009-07-16
Sven Verdo
o
laege
i
s
l_ba
s
ic_s
e
t_sampl
e
: don't project
o
ut lineali
t
y
sp
a
ce
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
isl_b
a
s
ic_map
_
fix_pos:
m
icro-o
p
timi
z
at
i
on
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
move isl_ba
s
ic_set_skew_to_p
o
s
i
tive_
o
r
tha
n
t to
isl
_
samp
l
e
.
c
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
isl
_
tab
.
c: fi
x
t
ypo i
n
c
o
m
men
t
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
is
l
_basic_se
t
_sample: break early if sample f
o
und in
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sve
n
Verdoo
l
aege
e
x
p
ort isl_
t
ab_sample_is_integer
commit
|
commitdiff
|
tree
2009-07-15
Sven V
e
r
d
oolae
g
e
isl_basic_se
t
_sample: c
h
ec
k
s
a
mpl
e
stored by isl_basic_map_i
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
isl_b
a
sic_map
_
is_empty: remove
s
tale sample
commit
|
commitdiff
|
tree
2009-07-15
S
ven Verdoolaege
add isl_polyhedron_
s
ample applicati
o
n
commit
|
commitdiff
|
tree
2009-07-15
Sve
n
Verdoolaege
intr
o
duce genera
l
ized
basis reduction
ba
s
ed
s
a
mpling
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolae
g
e
add
is
l
_seq_cdiv_q
commit
|
commitdiff
|
tree
2009-07-15
Sven V
e
r
d
oolaege
isl_sample
.
c
:
in
t
erval_sample
:
drop redunda
n
t argument
commit
|
commitdiff
|
tree
2009-07-15
S
v
en
V
e
rdoo
l
aege
isl_sam
p
l
e
.
c: clean
u
p hand
l
in
g
of lineality space
commit
|
commitdiff
|
tree
2009-07-13
Sven V
e
rdoolae
g
e
isl_sa
m
ple
.
c: e
x
tract out sample_eq
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdo
o
l
aege
isl_sample
.
c
:
interva
l
_sample: handle
e
q
ualities direct
l
y
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdool
a
eg
e
isl_sample
.
c:
e
xtrac
t
ou
t
em
p
t
y
_sample
commit
|
commitdiff
|
tree
2009-07-13
Sven
V
erdoo
l
aege
isl_sample
.
c
:
gen
e
ralize p
o
i
n
t_s
a
mple
to zero_sample
commit
|
commitdiff
|
tree
2009-07-13
Sven Ve
r
doolaeg
e
isl_tab:
d
on't create new u
n
d
o r
e
c
ords during roll
b
ac
k
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
isl_tab_min: use general rollba
c
k me
c
hanism
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdo
o
lae
g
e
isl_ta
b
: optio
n
all
y
sa
v
e dua
l
s
o
lution
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdool
a
eg
e
i
sl_tab: add isl_tab_add_valid_eq
commit
|
commitdiff
|
tree
2009-07-13
Sven Verd
o
olaege
e
x
port isl_tab_al
l
oc
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
add is
l
_
i
nt_le
commit
|
commitdiff
|
tree
2009-07-13
S
v
e
n Verdoolaege
privately exp
o
rt
isl_ba
s
ic_
s
et_recession_cone
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
isl_convex_hull
.
c: add
missing assignment
commit
|
commitdiff
|
tree
2009-07-13
S
ven
Ve
r
doolaege
p
r
iv
a
tel
y
e
xport
i
sl_basic_set_lineality_space
commit
|
commitdiff
|
tree
2009-07-13
Sven V
e
rdool
a
ege
isl_vec: keep t
r
ack of isl_ctx
commit
|
commitdiff
|
tree
2009-07-12
Sven Verdoolaege
isl_coalesce
.
c: fix typo
commit
|
commitdiff
|
tree
2009-06-13
Sven Verdool
a
ege
update piplib for
change in config
u
r
e
argu
m
e
n
ts
commit
|
commitdiff
|
tree
2009-06-11
Sven V
e
r
doolaege
is
l
_
basic_map_drop_redundant_d
i
vs: co
a
l
esce
d
ivs
if
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_basi
c
_map_drop_red
u
n
dant_divs: s
e
t div expressio
n
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verd
o
olaege
isl_basic_map_drop
_
redundant_divs: drop more kinds
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdo
o
laege
isl_map_compute_d
i
vs: drop obviously redundant divs
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
i
s
l_map_piplib
.
c: extremum_
o
n: detect
equaliti
e
s f
i
rst
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoo
l
a
eg
e
isl_
p
ip_b
a
sic_ma
p
_comp
u
t
e
_divs:
remov
e
som
e
equalit
i
es
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoola
e
g
e
is
l
_pip_b
a
sic_map_c
o
mpute_divs
:
se
p
arate o
u
t dimensi
o
n
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven V
e
rdoolaege
is
l
_basic_
s
et_
p
reim
a
ge:
h
andle divs
i
n input
commit
|
commitdiff
|
tree
2009-06-11
Sven
V
erdoolaege
isl_input_omega
.
c
:
make variable_{free,ne
w
}
static
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdo
o
laege
isl_m
a
p
.
c: make add_d
i
v
s
s
t
atic
commit
|
commitdiff
|
tree
2009-06-11
Sven Ver
d
oolae
g
e
isl_basic
_
map_s
i
mp
l
ify: dete
c
t di
v
co
n
str
a
ints while
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Ver
d
oo
l
aege
isl_
b
as
i
c_map_dro
p
: properly hand
l
e dimensio
n
s o
f
type
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdool
a
ege
a
d
d isl_int
_
m
u
l
_ui
commit
|
commitdiff
|
tree
2009-06-07
Sven V
e
rdoolae
g
e
ad
d
i
sl_seq_fdi
v
_
q
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaeg
e
add
i
sl_se
q
_fdiv_r
commit
|
commitdiff
|
tree
2009-06-07
Sven
Verd
o
ol
a
ege
isl_basic_map_detect_equa
l
it
i
e
s: pro
p
erly handle
empt
y
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoo
l
aege
isl_basic_map_is_empty: explicitly
m
ark basi
c
s
e
ts
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
isl_map
.
c: order_divs
:
s
w
ap with corre
c
t div
commit
|
commitdiff
|
tree
2009-06-07
Sven V
e
r
doolaege
i
s
l_map_co
a
le
s
ce
:
r
e
mov
e
ex
t
ra
divs introduced b
y
isl_map_al
.
.
.
commit
|
commitdiff
|
tree
2009-06-05
Sven Verdoola
e
ge
add isl_map_
c
oalesce
commit
|
commitdiff
|
tree
2009-05-19
Sve
n
Ver
d
o
ol
a
ege
add isl_set
_
produc
t
commit
|
commitdiff
|
tree
2009-05-19
Sven
Verdoolaege
e
x
por
t
is
l
_map_di
m
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaeg
e
isl
_
map_
c
on
v
ex_hull: h
a
ndle unbounde
d
,
b
ut
p
ointed
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
S
ven Verdoolaege
privately export isl
_
mat_
u
nimodu
l
a
r
_
c
ompl
e
te
commit
|
commitdiff
|
tree
2009-05-06
S
ven
V
erdo
o
laeg
e
isl_tab
.
c
: add isl_tab_get
_
sampl
e
_v
a
lue
commit
|
commitdiff
|
tree
2009-05-06
Sven
V
e
rdoola
e
ge
isl_
m
ap_c
o
nvex_hull:
a
void introducing l
i
neality spaces
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoo
l
aege
a
d
d two more co
n
vex hull tes
t
cases
commit
|
commitdiff
|
tree
2009-05-06
Sve
n
Verdool
a
ege
i
sl_map_convex_hull: remove lin
e
ality
s
p
ace i
f
any
.
.
.
commit
|
commitdiff
|
tree
next