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_{set,map}_add: don't add obviously empty basic sets/maps
2009-08-07
S
v
en
Ve
r
doolaege
isl_{set,m
a
p}_add:
d
on't add obviously empty
basic
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven
Verdoolaege
com
b
ine isl_pip_bas
i
c
_
map_lex{min,m
a
x}
i
nt
o
isl_pip_basic_ma
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoo
l
aege
ma
k
e pi
p
lib head
e
rs private
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Verdoolaege
i
sl_m
a
t:
keep tr
a
c
k
of the a
c
tua
l
number of
c
ol
u
mns
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolae
g
e
isl_t
a
b_pivot
:
fix typo t
h
at preve
n
ted
n
ormalizat
i
on
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
add
i
sl_basic_set_positive_or
t
h
ant
commit
|
commitdiff
|
tree
2009-08-07
Sven
Verdoolaege
add i
s
l_basic_set_partia
l
_lex{min,m
a
x}
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdool
a
ege
rename isl_basic_map_l
e
x
{
min,
m
ax} to
isl_basic_map_par
t
ial_l
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
erdoolaege
add isl_b
a
sic_set_free_
d
iv
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n V
e
rd
o
ol
a
e
g
e
i
sl_set_dim
:
suppo
r
t isl_dim_all
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Verdoolaege
isl_
t
ab: s
t
ore index of variable in
undo record
instead
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Verd
o
olaege
add isl_{set,map}_grow
commit
|
commitdiff
|
tree
2009-08-07
S
v
en
V
erdoolaege
add
i
sl_map_ge
t
_di
m
commit
|
commitdiff
|
tree
2009-08-07
S
ven Verdoolaege
add is
l
_basic_ma
p
_g
e
t_di
m
commit
|
commitdiff
|
tree
2009-08-04
Sven
V
erdoolaege
add isl_
t
ab_dup
commit
|
commitdiff
|
tree
2009-08-04
Sven
V
erdoolaege
exp
o
rt
isl_mat_
d
up
commit
|
commitdiff
|
tree
2009-08-04
S
ven
V
erdoolaege
i
s
l_tab
.
c: ma
r
k_redundant: only m
a
r
k
v
ariable nonneg
.
.
.
commit
|
commitdiff
|
tree
2009-08-04
Sv
e
n Ver
d
oolaege
i
sl_tab
.
c:
to_row: allow pivotin
g
i
n arbitrar
y
dire
c
tio
n
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaege
i
s
l_tab
.
c: si
m
plif
y
code by
l
e
tting mark_empty return ta
b
commit
|
commitdiff
|
tree
2009-08-04
Sven
V
e
rdoolaeg
e
add isl_
s
e
q_las
t
_non_zero
commit
|
commitdiff
|
tree
2009-08-04
S
v
e
n Ver
d
oolaege
isl_tab
.
c: simplif
y
add_eq
commit
|
commitdiff
|
tree
2009-08-04
Sv
e
n Ve
r
doola
e
ge
is
l
_
tab
.
c: ex
t
ract allocate_con
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
pri
v
a
t
e
ly export
i
sl_
b
asic
_
set_set_ra
t
io
n
a
l
commit
|
commitdiff
|
tree
2009-07-22
S
ven Verdoolaege
con
f
igure
.
ac: expl
i
citly set AC_CON
F
IG
_
A
UX_
D
IR
commit
|
commitdiff
|
tree
2009-07-21
Sven Verd
o
olae
g
e
c
o
nvex_hull: coales
c
e set during facet comput
a
tion
commit
|
commitdiff
|
tree
2009-07-21
Sven Verdo
o
laege
isl_m
a
p_coalesc
e
: don'
t
drop ration
a
l
f
lag
f
rom res
u
lt
.
.
.
commit
|
commitdiff
|
tree
2009-07-20
Sve
n
V
erdoo
l
a
e
ge
isl_tab_cone
_
is_bounded: s
t
art over
after compu
t
ing
.
.
.
commit
|
commitdiff
|
tree
2009-07-16
Sven Verd
o
ol
a
ege
is
l
_tab: drop isl_ctx argume
n
t where not absolutely
.
.
.
commit
|
commitdiff
|
tree
2009-07-16
Sven Verd
o
olaege
i
s
l_mat
:
keep track o
f
i
s
l
_ctx
commit
|
commitdiff
|
tree
2009-07-16
Sven V
e
rdoola
e
ge
isl
_
basic_set_sample:
d
on't p
r
oject ou
t
linea
l
ity
s
pa
c
e
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdo
o
laeg
e
is
l
_basic_
m
ap_f
i
x_
p
os: mic
r
o
-optimizatio
n
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
move isl_
b
asic_set_skew_to_positive_orthant
to i
s
l_sample
.
c
commit
|
commitdiff
|
tree
2009-07-15
S
v
e
n Verdo
o
laege
isl_tab
.
c: fix t
y
po in comment
commit
|
commitdiff
|
tree
2009-07-15
Sven Ve
r
doolaege
i
s
l_basic_s
e
t_s
a
m
p
le:
b
reak early
if sa
m
ple found in
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven
V
e
rd
o
olaege
expo
r
t isl_tab_sample_is_in
t
eger
commit
|
commitdiff
|
tree
2009-07-15
Sven Ve
r
do
o
laege
isl_basic_se
t
_sa
m
ple: che
c
k sample s
t
ored b
y
isl_basic_map_i
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven
V
erdoolaege
isl_basic_m
a
p
_
is_empty
:
remo
v
e stale sampl
e
commit
|
commitdiff
|
tree
2009-07-15
Sven V
e
rdoolaege
a
d
d
isl_polyhedron_sample a
p
plication
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdo
o
laege
introduce generalized b
a
sis reducti
o
n
based sa
m
pli
n
g
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoola
e
ge
a
d
d
i
s
l_se
q
_cd
i
v_q
commit
|
commitdiff
|
tree
2009-07-15
S
v
en Verdoolaege
i
s
l
_sa
m
ple
.
c: interval
_
samp
l
e: drop redundant argument
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
isl
_
sam
p
l
e
.
c: clean u
p
h
andling
o
f linea
l
ity space
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdool
a
ege
isl_sample
.
c:
e
xtract out sample
_
e
q
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
isl_sample
.
c:
interval_samp
l
e: ha
n
d
le equal
i
ties directly
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
i
sl_sample
.
c: ext
r
act out empty_sample
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
isl_sa
m
pl
e
.
c: g
e
n
erali
z
e point
_
s
a
mple
t
o
z
er
o
_sample
commit
|
commitdiff
|
tree
2009-07-13
Sven V
e
rdoolaege
isl_tab: don'
t
create new undo rec
o
r
d
s during rollback
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
i
sl_tab_min: use g
e
neral rollbac
k
mec
h
anism
commit
|
commitdiff
|
tree
2009-07-13
Sven
V
e
rdoola
e
ge
i
s
l_tab: opt
i
onall
y
save
d
ual solution
commit
|
commitdiff
|
tree
2009-07-13
Sve
n
Ve
r
doolaeg
e
i
sl_tab:
a
d
d
isl_tab_add_valid
_
eq
commit
|
commitdiff
|
tree
2009-07-13
Sve
n
Verdoolaege
export
i
sl_t
a
b_
a
lloc
commit
|
commitdiff
|
tree
2009-07-13
S
v
en Verdo
o
laege
add isl_int_
l
e
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
privatel
y
e
x
port isl_basi
c
_set
_
recession_con
e
commit
|
commitdiff
|
tree
2009-07-13
S
ven Verdoo
l
ae
g
e
i
s
l_convex_hul
l
.
c:
add missing a
s
signment
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdool
a
ege
p
r
ivately export isl_basic_set_lineality_space
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdool
a
e
g
e
i
s
l_vec: keep track
o
f
isl_ctx
commit
|
commitdiff
|
tree
2009-07-12
Sven
Verd
o
olaege
i
sl_co
a
l
e
s
c
e
.
c: fix typ
o
commit
|
commitdiff
|
tree
2009-06-13
Sven Ver
d
oolaege
update pi
p
lib
for change
i
n configure
arguments
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl
_
basic_map_drop
_
r
e
dundant_d
i
vs
:
coalesce divs if
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Ve
r
doolaege
isl_basic_map_d
r
o
p_redu
n
d
ant_divs:
set div e
x
pr
e
ss
i
on
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven
Verdoola
e
ge
i
sl_bas
i
c_map_drop_
r
edunda
n
t_divs:
d
r
op mor
e
kinds
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Ver
d
oo
l
aege
isl_m
a
p_
c
omput
e
_divs: drop ob
v
iously
redundant
d
ivs
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sv
e
n
Verdoolae
g
e
isl_map_p
i
p
lib
.
c
: extremum
_
o
n: detect
e
quali
t
ies first
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoola
e
g
e
isl_p
i
p_b
a
sic_
m
ap_compute_
d
ivs: remove some equ
a
lities
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Ve
r
doolaege
i
s
l_pip_
b
asic_map_compute_
d
ivs: se
p
arate out dimens
i
on
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verd
o
ol
a
ege
isl_basic_set_prei
m
age
:
handle divs
i
n inpu
t
commit
|
commitdiff
|
tree
2009-06-11
S
v
en Verdo
o
lae
g
e
is
l
_in
p
ut_om
e
ga
.
c: make
vari
a
ble
_
{free,ne
w
} static
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaeg
e
isl
_
map
.
c: make add_divs sta
t
ic
commit
|
commitdiff
|
tree
2009-06-11
Sve
n
V
e
rdoola
e
g
e
isl_b
a
sic_ma
p
_simpl
i
fy
:
d
etect div constraints
while
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven
Verd
o
o
l
a
ege
isl
_
basic
_
map_drop: properly
handle d
i
mensions
of
typ
e
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven
V
e
rdoolaege
a
dd i
s
l_int
_
mul_ui
commit
|
commitdiff
|
tree
2009-06-07
Sv
e
n
Ver
d
o
olaege
a
dd isl_s
e
q_fd
i
v_q
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoola
e
g
e
add
i
s
l_
s
e
q
_f
d
iv_r
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
isl_basic_
m
ap_detect_equalities: p
r
operly handle empty
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven
Verdoolaege
isl_basic_ma
p
_is_
e
mp
t
y: ex
p
licitly mark basic sets
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdool
a
ege
i
sl_map
.
c
:
orde
r
_di
v
s:
swap with correct
div
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdool
a
e
g
e
i
sl_map_co
a
lesc
e
: remove extra d
i
vs introdu
c
e
d by isl_map_a
l
.
.
.
commit
|
commitdiff
|
tree
2009-06-05
Sven Verdoola
e
g
e
ad
d
isl
_
map_co
a
lesce
commit
|
commitdiff
|
tree
2009-05-19
Sve
n
Verdoolaege
add isl_s
e
t
_prod
u
ct
commit
|
commitdiff
|
tree
2009-05-19
Sven Verdoola
e
ge
export isl_m
a
p_dim
commit
|
commitdiff
|
tree
2009-05-06
Sven Verd
o
olaege
isl_map_convex
_
hull: h
a
ndle unbounded, but pointed
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
privately expor
t
isl_
m
at_un
i
modular_comp
l
ete
commit
|
commitdiff
|
tree
2009-05-06
S
ven Verdoolaege
isl_t
a
b
.
c: a
d
d
i
sl_t
a
b_get_samp
l
e_va
l
ue
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoo
l
aege
i
sl_map_c
o
n
v
ex_hull:
a
void
i
ntro
d
u
c
i
ng
l
i
n
ea
l
i
ty
s
paces
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
S
v
en Ver
d
o
o
la
e
ge
add two more convex hu
l
l
test case
s
commit
|
commitdiff
|
tree
2009-05-06
Sve
n
Ver
d
oolaege
i
s
l_map_convex_hull: remo
v
e lin
e
al
i
ty
s
p
a
c
e
i
f
any
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sv
e
n
Verdoolaege
add isl_basic_se
t
_i
s
_universe
commit
|
commitdiff
|
tree
2009-05-06
S
v
en Verdoola
e
ge
add isl_set_get
_
dim
commit
|
commitdiff
|
tree
2009-05-05
Sven Ve
r
doolaege
isl_convex_hull
.
c: upd
a
te wra
p
_face
t
to the
f
act
we
.
.
.
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoolaege
isl_convex_hull
.
c:
f
ix
typo in
c
o
m
ment
commit
|
commitdiff
|
tree
2009-05-05
Sven Ve
r
doolaeg
e
isl_coalesce
.
c: fix
typo in comment
commit
|
commitdiff
|
tree
2009-05-05
Sv
e
n Verdoolaege
i
sl_tab
.
c:
f
ix typo in comment
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoo
l
a
e
g
e
add isl_basic_set_
g
et_dim
commit
|
commitdiff
|
tree
2009-03-23
Sven
V
e
rdoolaege
i
sl_ba
s
i
c
_
map_gist: nor
m
a
l
ize
d
i
v
s (if
an
y
) in context
commit
|
commitdiff
|
tree
2009-03-23
Sven
V
erd
o
o
l
aeg
e
isl_bas
i
c_
m
ap_simplify: remove d
u
plicate divs
b
e
fore
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdo
o
l
a
ege
add isl
_
b
a
s
i
c
_s
e
t
_div
commit
|
commitdiff
|
tree
2009-03-23
Sven
Verdoolaege
chan
g
e calling convention of isl_basic_
m
a
p
_div
commit
|
commitdiff
|
tree
2009-03-23
S
v
en Verdoolae
g
e
isl_ma
p
_simplify
.
c:
u
set_gist: brea
k
ea
r
ly if there
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven
V
erdo
o
la
e
ge
isl_map_simplify
.
c: uset_gist:
b
reak earl
y
if intersection
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
add isl_basic_set_
f
ast_is_empty
commit
|
commitdiff
|
tree
next