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
export isl_vec header
2009-08-28
Sven
Verdoolaege
expo
r
t isl_vec he
a
der
commit
|
commitdiff
|
tree
2009-08-28
Sve
n
Verdoolaege
add
i
s
l
_
int
_
fdiv_q_ui
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
add
i
sl_ve
c
_re
a
d_from_file
commit
|
commitdiff
|
tree
2009-08-28
Sven Ver
d
oolae
g
e
isl_basic_map_dro
p
_redunda
n
t
_
divs: also investigate
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sv
e
n
Verdoolaege
isl_
b
asic_ma
p
_
a
pply_{d
o
main,range
}
:
d
r
op red
u
ndant
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sven Ver
d
oolaege
isl_map_simplify
.
c: fi
x
typ
o
in com
m
ent
commit
|
commitdiff
|
tree
2009-08-28
S
v
en Verdoolaege
isl_basic
_
set_proje
c
t_ou
t
: drop r
e
dund
a
nt divs in result
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
isl_basic_map_remove
:
only dro
p
d
i
vs if b
a
sic map
d
id
.
.
.
commit
|
commitdiff
|
tree
2009-08-13
S
v
en
V
er
d
oolae
g
e
i
s
l
_basic
_
map_dete
c
t_equalit
i
e
s: explicitl
y
k
e
ep trac
k
.
.
.
commit
|
commitdiff
|
tree
2009-08-13
Sven Ve
r
doolaege
isl_basic_m
a
p_extend
_
dim:
keep h
o
ld of sam
p
le if dime
n
sion
.
.
.
commit
|
commitdiff
|
tree
2009-08-09
Sven Verdoolaege
isl_t
a
b_min:
re
a
d off all
i
nforma
t
i
on from tableau
.
.
.
commit
|
commitdiff
|
tree
2009-08-09
Sven
V
erdoola
e
ge
isl
_
tab_add_valid_
e
q: k
e
ep track of
whether
e
q
u
ality
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdo
o
laege
conf
i
gur
e
.
ac: no
longer use
p
ip
l
ib by def
a
ult
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
add an i
n
ternal parametri
c
i
nteger
l
i
near program solver
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Verdoolaege
isl_mat_ex
t
end: make sure t
h
e number of rows never
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Ver
d
ool
a
ege
i
s
l_affine_hul
l
.
c: o
n
ly con
s
truct
affine hull in bounded
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verd
o
ol
a
ege
isl_t
a
b
: add support for keeping track of sam
p
l
e
s
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
i
s
l_tab: optiona
l
ly keep
track of row signs
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_tab: add i
s
l
_ba
s
i
c_set field for optionall
y
ke
e
pi
n
g
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Verdoolaege
isl_tab:
introduce
s
uppor
t
f
or "big
p
a
ram
e
ter
s
"
commit
|
commitdiff
|
tree
2009-08-07
S
ve
n
Verdoolaege
isl
_
t
ab: a
l
low i
n
troduct
i
o
n
o
f
e
x
t
ra variables
commit
|
commitdiff
|
tree
2009-08-07
Sven Verd
o
o
l
aege
isl_tab: introduce
parame
t
ers and divs
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Ver
d
ool
a
e
ge
isl_tab
.
h:
f
ix typo in comme
n
t
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_tab:
allow saving and
r
estoring
the complete basi
s
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdo
o
l
aege
isl_tab: privatel
y
ex
p
or
t
some
f
unction
a
li
t
y
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
erd
o
olaege
isl_tab: store un
d
o argu
m
e
nt
i
n
a uni
o
n for future
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
ven Verdoolaege
a
dd
i
sl_basic_set_
s
ample_bounded
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Verdoo
l
aege
privat
e
ly e
x
p
ort isl_basic_se
t
_order_divs
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoola
e
ge
i
s
l
_ma
p
_simplify
.
c: remove_depende
n
t_vars: only remov
e
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
rdoola
e
ge
isl_basic_map_compute_divs: use
i
sl_basi
c
_
s
et_lexmin
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
is
l
_pip_b
a
si
c
_
m
a
p_compute_divs
:
d
o
n't turn divs into
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoo
l
aege
priva
t
e
l
y export isl
_
b
asic_map_s
w
ap_d
i
v
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
erdool
a
e
g
e
isl_{
s
e
t
,
m
ap}_add: don
'
t ad
d
obviously empty basic
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaeg
e
combine isl_p
i
p_basi
c
_map_le
x
{mi
n
,max} into isl_
p
ip_basic
_
m
a
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaeg
e
make piplib headers pri
v
ate
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolae
g
e
isl
_
mat: keep track of th
e
a
c
tual n
u
mber of co
l
um
n
s
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Verdoolaege
isl
_
t
a
b
_p
i
vot
:
fix typo that
p
re
v
ented n
o
rmalizat
i
on
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
v
en
V
erdoolaege
add
i
s
l
_basic_s
e
t
_
positive_orthant
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdool
a
ege
add isl_basic_s
e
t_partial_lex{min
,
max}
commit
|
commitdiff
|
tree
2009-08-07
S
ven Ver
d
oolaege
rename isl_bas
i
c_map
_
l
e
x{min,max} to isl
_
basic_ma
p
_p
a
rtial_l
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
add isl_
b
a
sic_set_free_div
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_s
e
t_dim:
support isl_dim_all
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
V
erdoo
l
a
ege
isl_tab: stor
e
index of variable
in
undo r
e
cord instead
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Ver
d
o
o
lae
g
e
add isl_{set
,
map
}
_grow
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
add isl_map_get
_
dim
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
add isl_basic_map_get_dim
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaege
ad
d
isl_tab_
d
u
p
commit
|
commitdiff
|
tree
2009-08-04
S
v
en Verdoolaege
export isl_mat_
d
up
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaege
isl_ta
b
.
c
:
m
a
r
k
_redundant: o
n
l
y
mark
v
ariable
n
onneg
.
.
.
commit
|
commitdiff
|
tree
2009-08-04
S
v
en Verdoola
e
ge
isl_tab
.
c
:
to_row
:
allow pivotin
g
in ar
b
itrary
direction
commit
|
commitdiff
|
tree
2009-08-04
Sven V
e
rdoolaege
isl_tab
.
c: simpl
i
fy code by letting mark_empty return tab
commit
|
commitdiff
|
tree
2009-08-04
Sven V
e
rdoola
e
ge
add isl_seq_last_
n
on_zero
commit
|
commitdiff
|
tree
2009-08-04
Sv
e
n Verdoo
l
aege
isl_tab
.
c: simpl
i
fy
add_e
q
commit
|
commitdiff
|
tree
2009-08-04
Sv
e
n Verdool
a
ege
isl_t
a
b
.
c: extract allocate_con
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdool
a
ege
privat
e
l
y export isl_basic_set_set_
r
ationa
l
commit
|
commitdiff
|
tree
2009-07-22
S
v
en Verdoolaege
config
u
re
.
ac: explicitly se
t
A
C_CONFIG_AUX_DIR
commit
|
commitdiff
|
tree
2009-07-21
Sve
n
Ve
r
doolae
g
e
c
o
n
v
ex
_
hull: coa
l
esce
set duri
n
g facet computation
commit
|
commitdiff
|
tree
2009-07-21
Sven Verdoolaege
isl_map_coalesce:
don't drop rational flag
f
rom
result
.
.
.
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoolae
g
e
isl_t
a
b_
c
on
e
_is_bounde
d
: s
t
a
r
t over
a
f
te
r
computin
g
.
.
.
commit
|
commitdiff
|
tree
2009-07-19
Sven
Verdoolaege
isl_basic_set_dim_residue_cla
s
s: only se
t
*modul
o
to
.
.
.
commit
|
commitdiff
|
tree
2009-07-16
Sven Verdoolaege
i
sl_tab: drop isl_ctx argument
where not abs
o
lute
l
y
.
.
.
commit
|
commitdiff
|
tree
2009-07-16
Sven Verdoolaege
is
l
_mat: k
e
ep
t
rack of
i
sl_ctx
commit
|
commitdiff
|
tree
2009-07-16
Sven
V
erdoolaege
isl_basic_set_sampl
e
:
don't projec
t
out l
i
ne
a
lity spac
e
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sv
e
n Verdoolaeg
e
isl_basic_map
_
fix_pos: micro-optimization
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
m
o
ve isl_basic_set_skew_to_positive_orthant
to isl_sample
.
c
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdo
o
laege
isl_tab
.
c: fix
typo in com
m
en
t
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaeg
e
is
l
_basic_set_sample:
break ea
r
ly if samp
l
e
f
o
un
d
in
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaeg
e
export isl_tab_sample_is
_
in
t
eger
commit
|
commitdiff
|
tree
2009-07-15
Sven Verd
o
ol
a
ege
isl_basic_set_sample: c
h
eck sample
sto
r
ed by isl_basic_m
a
p_i
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
isl_basi
c
_m
a
p_is_empty: remove stale sample
commit
|
commitdiff
|
tree
2009-07-15
S
v
en Verdoolaege
a
dd isl_polyhedron_sample app
l
icat
i
on
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoo
l
aege
introduce generalized b
a
sis re
d
u
ction
b
a
se
d
sampling
commit
|
commitdiff
|
tree
2009-07-15
Sven Verd
o
o
laege
add isl_seq_
c
d
iv_q
commit
|
commitdiff
|
tree
2009-07-15
Sve
n
Verdool
a
ege
isl_sampl
e
.
c
:
interval_sample: drop
re
d
undant argument
commit
|
commitdiff
|
tree
2009-07-15
S
v
en Verdoolaege
i
sl_sample
.
c: clea
n
up
handli
n
g
of lineality
spac
e
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
isl_sample
.
c:
e
xtract out sample_eq
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdo
o
la
e
ge
isl_sample
.
c: interva
l
_sample: ha
n
d
le equal
i
ties direc
t
ly
commit
|
commitdiff
|
tree
2009-07-13
S
ve
n
V
e
rdoola
e
g
e
isl_
s
amp
l
e
.
c: extract ou
t
em
p
ty_sampl
e
commit
|
commitdiff
|
tree
2009-07-13
Sven Ver
d
o
o
laege
isl
_
sa
m
ple
.
c: generalize point_
s
ample to
z
e
r
o
_
s
ample
commit
|
commitdiff
|
tree
2009-07-13
Sven Ve
r
doo
l
aege
isl_t
a
b:
d
on'
t
creat
e
new
u
ndo rec
o
rds du
r
ing rollback
commit
|
commitdiff
|
tree
2009-07-13
S
v
en Verdoola
e
ge
isl_
t
ab
_
min: us
e
gen
e
ra
l
rollback mech
a
nism
commit
|
commitdiff
|
tree
2009-07-13
Sven V
e
rdo
o
l
a
ege
i
sl_tab: o
p
ti
o
nally
s
av
e
d
ual solution
commit
|
commitdiff
|
tree
2009-07-13
Sven
V
erdoolaege
isl_tab: ad
d
isl_tab_add_v
a
li
d
_
eq
commit
|
commitdiff
|
tree
2009-07-13
Sven V
e
rdool
a
ege
export i
s
l
_
ta
b
_al
l
oc
commit
|
commitdiff
|
tree
2009-07-13
S
v
e
n Verdoolae
g
e
add isl_in
t
_le
commit
|
commitdiff
|
tree
2009-07-13
Sven Ver
d
oolaege
privately export isl_b
a
sic_set
_
recessi
o
n_cone
commit
|
commitdiff
|
tree
2009-07-13
S
v
en Verdoolaege
isl_convex_hul
l
.
c
:
ad
d
missing
assignment
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdo
o
laeg
e
privately expo
r
t
i
sl_basic_s
e
t_lineality_space
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n Verdoolaege
i
s
l_
v
ec
:
ke
e
p t
r
ack of
isl_ctx
commit
|
commitdiff
|
tree
2009-07-12
Sven Verdoolaege
isl_coa
l
e
s
ce
.
c: f
i
x
t
ypo
commit
|
commitdiff
|
tree
2009-06-13
Sven Verdoolae
g
e
update piplib
for cha
n
ge in configure arguments
commit
|
commitdiff
|
tree
2009-06-11
S
v
e
n Verd
o
o
l
a
e
ge
isl_basi
c
_map_dr
o
p
_redundant_divs: coalesc
e
divs
i
f
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaeg
e
is
l
_basic_ma
p
_d
r
op_redu
n
dant_divs: s
e
t div
expression
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_basic_map_drop_redund
a
nt_
d
ivs: drop
m
ore k
i
nds
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdool
a
ege
i
s
l_map_compute
_
di
v
s: drop obviously redundan
t
d
i
vs
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
S
ven Verdoolaege
isl_map_pip
l
i
b
.
c: extremum_
o
n: detect equalities firs
t
commit
|
commitdiff
|
tree
2009-06-11
Sv
e
n Ver
d
oolaeg
e
isl
_
pip_basic_map_compute_divs: remove some equal
i
tie
s
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven
V
erdoolaege
isl_pip_basic_map
_
compute_divs: separate out dimens
i
on
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sv
e
n
Verdoolaege
isl_basic_set_preimage:
hand
l
e divs in inpu
t
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoola
e
ge
i
sl_input_omega
.
c:
make
varia
b
le_{free,new} s
t
atic
commit
|
commitdiff
|
tree
next