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_basic_set_project_out: drop redundant divs in result
2009-08-28
S
v
e
n Ve
r
doolaege
isl_basic_set_project_out: drop red
u
ndan
t
divs
i
n r
e
su
l
t
commit
|
commitdiff
|
tree
2009-08-28
Sven V
e
rdoolaege
isl
_
b
a
sic_map_rem
o
v
e
: only d
r
o
p
divs if basic
map
did
.
.
.
commit
|
commitdiff
|
tree
2009-08-13
Sven Ve
r
doola
e
ge
isl_basi
c
_map_det
e
ct_equ
a
liti
e
s
: explicitly
k
e
ep track
.
.
.
commit
|
commitdiff
|
tree
2009-08-13
S
v
en Ver
d
oolaege
isl_basic_map_extend_dim: keep hold of
s
a
mple if dimension
.
.
.
commit
|
commitdiff
|
tree
2009-08-09
Sven Verdoo
l
aege
isl_tab_
m
in: r
e
ad off
all i
n
formation from
tableau
.
.
.
commit
|
commitdiff
|
tree
2009-08-09
Sven Verdoolaege
i
sl_tab_add_v
a
lid_eq:
keep tr
a
ck
of w
h
ether
e
qual
i
ty
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
e
rdool
a
ege
c
o
n
figure
.
ac: n
o
long
e
r
use p
i
p
li
b
by
default
commit
|
commitdiff
|
tree
2009-08-07
Sven Ver
d
oola
e
ge
ad
d
an intern
a
l par
a
met
r
ic integer linear progr
a
m
solver
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Verdoola
e
ge
isl_mat_extend
:
ma
k
e sur
e
the nu
m
be
r
of rows neve
r
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
i
sl_aff
i
n
e
_hull
.
c: only c
o
nstruct a
f
fine hu
l
l in bo
u
n
ded
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Ve
r
d
o
olaege
is
l
_tab: add support for keepin
g
track of sample
s
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
rdoolaege
isl_
t
a
b: optionally keep track of
row sign
s
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
i
sl_tab: add isl_basic_set field fo
r
option
a
l
ly keepi
n
g
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Ve
r
doolaege
isl_tab:
introduce su
p
port for "big
parameters"
commit
|
commitdiff
|
tree
2009-08-07
Sven Verd
o
ol
a
eg
e
isl_tab: allo
w
introduction of
e
x
t
ra
v
a
r
iables
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolae
g
e
isl_tab: int
r
oduce
p
a
r
a
m
eters and
d
i
vs
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_tab
.
h: fix typo
i
n c
o
mment
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Verdoo
l
a
e
ge
isl_ta
b
:
allow saving an
d
re
s
t
orin
g
t
h
e complete basis
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
is
l
_tab: privately expor
t
some function
a
lity
commit
|
commitdiff
|
tree
2009-08-07
S
v
e
n
Ve
r
doo
l
aege
isl_tab: store u
n
do argument in
a
unio
n
for future
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
v
en
V
er
d
oolae
g
e
add isl_basic_set_sample_bounded
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdo
o
la
e
ge
privat
e
l
y
export
isl
_
basic_set_or
d
er_divs
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Verdoolaege
isl_map
_
simplify
.
c: remo
v
e
_
d
epen
d
e
n
t_vars: onl
y
remove
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven
Verdoolaege
isl_b
a
sic_m
a
p_compu
t
e_divs: use isl_basic_se
t
_lexm
i
n
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verd
o
olae
g
e
isl_pip_basic_map_compute_divs: don't turn div
s
in
t
o
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
privat
e
ly export isl
_
ba
s
i
c_map_swap_div
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_
{
set,
m
ap}_add: don't add obvio
u
sly empty basic
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
ven Verdoo
l
aege
combine
i
sl_pip
_
basic
_
map
_
lex{min,max} int
o
isl_pip_basic_ma
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verd
o
olaege
make pipli
b
headers priv
a
te
commit
|
commitdiff
|
tree
2009-08-07
Sven
Verdoolaege
isl_ma
t
: k
e
ep t
r
ack of the actual num
b
er o
f
colum
n
s
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Verdo
o
lae
g
e
isl_tab_
p
i
v
ot: fix typo that pr
e
vente
d
normal
i
zation
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdo
o
laege
ad
d
isl_
b
asic_se
t
_positive_orthant
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaeg
e
a
d
d isl
_
b
asic_set_partial_lex{mi
n
,max}
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
rdoolaege
renam
e
isl_bas
i
c_ma
p
_lex
{
min,
m
ax} to isl_basic_map_part
i
a
l_l
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
ven
Verdoolaege
add isl_ba
s
ic_set_free_
d
i
v
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
V
e
rdoolaeg
e
isl_set_dim: support
isl_dim_all
commit
|
commitdiff
|
tree
2009-08-07
S
ven V
e
rdoo
l
ae
g
e
isl_tab: store ind
e
x of vari
a
ble in un
d
o r
e
cord instead
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Verdoola
e
ge
add isl_{set,map}
_
grow
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaeg
e
add isl_map_get_
d
im
commit
|
commitdiff
|
tree
2009-08-07
Sven Ve
r
do
o
lae
g
e
add isl_basic_ma
p
_get_dim
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaeg
e
add is
l
_ta
b
_dup
commit
|
commitdiff
|
tree
2009-08-04
Sven
Ve
r
d
o
olaege
export
i
sl_mat_
d
up
commit
|
commitdiff
|
tree
2009-08-04
Sve
n
Verd
o
olaege
isl_tab
.
c: mark_redundant
:
only mark va
r
iable non
n
eg
.
.
.
commit
|
commitdiff
|
tree
2009-08-04
Sve
n
Verdoolaege
isl_
t
ab
.
c
: to_row:
a
llow pi
v
oting in ar
b
itrary direction
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolae
g
e
isl_tab
.
c: simplify code by letting mark
_
empty retur
n
tab
commit
|
commitdiff
|
tree
2009-08-04
Sven Ver
d
ool
a
e
g
e
add isl_
s
eq_las
t
_n
o
n_zero
commit
|
commitdiff
|
tree
2009-08-04
Sven Ver
d
o
o
lae
g
e
isl
_
tab
.
c
: simpli
f
y add_eq
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaege
isl_
t
ab
.
c:
e
xtrac
t
allocate_con
commit
|
commitdiff
|
tree
2009-07-22
Sven
V
e
rdoolaege
privately export isl_basic_set_set_rationa
l
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
configure
.
ac
:
ex
p
licitly set AC_CON
F
I
G_
A
UX
_
D
IR
commit
|
commitdiff
|
tree
2009-07-21
Sven Verdoolaege
c
o
n
vex
_
h
u
l
l: coales
c
e
set during facet compu
t
ation
commit
|
commitdiff
|
tree
2009-07-21
Sven Verdoolaege
isl
_
m
a
p_
c
oalesce
:
don't
d
rop rational
f
lag from
result
.
.
.
commit
|
commitdiff
|
tree
2009-07-20
Sven
V
erdoolaege
i
s
l_tab_cone_is_bounded: start over after computing
.
.
.
commit
|
commitdiff
|
tree
2009-07-19
Sven
V
erdoolaege
isl_basic
_
s
e
t
_dim_resid
u
e_class: only set *m
o
dulo to
.
.
.
commit
|
commitdiff
|
tree
2009-07-16
Sven
V
e
rdoola
e
ge
isl_tab: dr
o
p isl_ctx
argument wher
e
not absolutel
y
.
.
.
commit
|
commitdiff
|
tree
2009-07-16
Sve
n
Verd
o
olaege
isl_mat
:
keep track of isl_ctx
commit
|
commitdiff
|
tree
2009-07-16
Sv
e
n Verdo
o
lae
g
e
isl_basic_
s
e
t_samp
l
e: don't pro
j
ec
t
ou
t
l
i
n
e
alit
y
space
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sve
n
Ver
d
oola
e
ge
i
s
l_
b
asic_map_fix_
p
os: micro-optimizati
o
n
commit
|
commitdiff
|
tree
2009-07-15
Sven V
e
rdo
o
lae
g
e
mo
v
e isl_
b
asic_s
e
t
_ske
w
_to_positive_ort
h
ant to i
s
l_sample
.
c
commit
|
commitdiff
|
tree
2009-07-15
Sven Verd
o
olae
g
e
isl
_
tab
.
c: fix
typo in
comment
commit
|
commitdiff
|
tree
2009-07-15
Sven Ver
d
oolae
g
e
isl_basic_set_
s
am
p
l
e: break
early
i
f sa
m
ple f
o
u
nd in
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sve
n
Verdool
a
ege
expor
t
i
s
l_tab_sample_is_integer
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
isl_basic_set_sample:
c
heck
s
a
mple stored
by isl_basic_ma
p
_i
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sve
n
Verdoolaege
isl
_
basic_map_is_em
p
t
y: remo
v
e stale sample
commit
|
commitdiff
|
tree
2009-07-15
Sven
Verdoola
e
ge
add isl_poly
h
edron_sample application
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
i
nt
r
oduce gener
a
l
ize
d
ba
s
is redu
c
t
i
o
n
b
a
sed sampling
commit
|
commitdiff
|
tree
2009-07-15
Sven Verd
o
olae
g
e
ad
d
i
s
l_s
e
q_cdiv_q
commit
|
commitdiff
|
tree
2009-07-15
S
v
e
n V
e
r
doo
l
aege
isl_s
a
mple
.
c: inte
r
v
a
l
_
sample: drop
r
edundan
t
argum
e
nt
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdo
o
lae
g
e
isl_sample
.
c
:
clean
u
p han
d
ling of lineality sp
a
c
e
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
i
sl_sa
m
ple
.
c
: ex
t
ract
o
ut sampl
e
_e
q
commit
|
commitdiff
|
tree
2009-07-13
Sve
n
Verdoolaege
i
sl_sam
p
le
.
c: interval_sa
m
ple: handle equali
t
ie
s
d
i
rectly
commit
|
commitdiff
|
tree
2009-07-13
Sve
n
Verdoolaege
isl_sample
.
c
:
e
x
tract out
e
mpty_sample
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
isl_sa
m
ple
.
c: g
e
neralize
point_sam
p
l
e
to
z
ero_sampl
e
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n Verdoo
l
aege
isl_tab: d
o
n'
t
create new
undo records du
r
ing rollbac
k
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
isl_tab
_
min
:
use genera
l
rollbac
k
m
echanism
commit
|
commitdiff
|
tree
2009-07-13
S
v
en V
e
rdool
a
ege
isl_ta
b
: optio
n
ally
s
a
v
e
dual s
o
lution
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n Verd
o
olaege
isl_tab:
add
isl_tab_add_valid_eq
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
export isl_tab_alloc
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
add isl_int_le
commit
|
commitdiff
|
tree
2009-07-13
S
ven Verdoola
e
ge
privately exp
o
r
t isl
_
ba
s
ic_
s
et_recession_cone
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdool
a
ege
isl_c
o
nvex_hull
.
c: add mis
s
ing assignment
commit
|
commitdiff
|
tree
2009-07-13
Sven V
e
rdool
a
ege
private
l
y export
isl_ba
s
ic_s
e
t_lineality
_
space
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
isl_vec: ke
e
p
tra
c
k of is
l
_ctx
commit
|
commitdiff
|
tree
2009-07-12
S
v
e
n
Verdoolaege
isl_c
o
a
lesce
.
c: fi
x
typ
o
commit
|
commitdiff
|
tree
2009-06-13
Sve
n
Ve
r
d
o
ol
a
ege
update
piplib
f
o
r
change in c
o
nfigure a
r
g
u
me
n
ts
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
i
s
l_basi
c
_map_drop_redun
d
ant_
d
ivs: coalesce divs if
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
S
ve
n
V
e
r
d
oo
l
aege
isl_basic
_
map_drop_redund
a
nt
_
divs:
set div exp
r
ession
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_basic
_
ma
p
_drop_redundant
_
d
i
vs:
d
rop m
o
re kinds
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoola
e
g
e
isl_map_comput
e
_divs:
drop obviou
s
ly red
u
ndant divs
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaeg
e
isl_ma
p
_
piplib
.
c: extremum
_
on: det
e
ct equalities first
commit
|
commitdiff
|
tree
2009-06-11
Sven Ve
r
d
o
olaeg
e
isl_pip_ba
s
ic_map_c
o
mpute_
d
ivs: r
e
move som
e
equ
a
lities
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
S
ven
V
erdoolaege
isl
_
pip_bas
i
c_map
_
comput
e
_
divs: separate o
u
t dim
e
n
sion
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
S
v
en Ve
r
d
o
o
laege
isl_
b
asi
c
_set_preimage: handle divs in input
commit
|
commitdiff
|
tree
2009-06-11
Sven Ver
d
oo
l
aege
isl_input_omega
.
c: make
v
ariable_
{
free,ne
w
} static
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_
m
ap
.
c: make ad
d
_di
v
s stati
c
commit
|
commitdiff
|
tree
2009-06-11
Sven
V
erdoo
l
aege
i
sl_basic_
m
ap_s
i
mpl
i
fy: detect
div const
r
aints wh
i
le
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
isl_basic_map_
d
rop: properly handle dimen
s
ions of type
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
add isl_
i
nt_mul_ui
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdo
o
laege
a
dd isl_seq_fdi
v
_
q
commit
|
commitdiff
|
tree
2009-06-07
Sve
n
Verdo
o
laege
add isl_seq_fdiv_r
commit
|
commitdiff
|
tree
next