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: optionally keep track of row signs
2009-08-07
Sven Verd
o
olaege
is
l
_tab:
optionally kee
p
tra
c
k of row s
i
gns
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
rdoo
l
aege
isl_tab: add
isl_basic_set
f
ield fo
r
optionally keeping
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolae
g
e
isl
_
tab: intro
d
uce support for "big parameters"
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
rdoolaege
is
l
_
t
a
b
: all
o
w
i
ntro
d
uctio
n
of
e
xtra vari
a
bles
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_
t
a
b: introduce parameters
and
d
ivs
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
rdoolaege
i
sl_t
a
b
.
h: fix
t
y
p
o i
n
commen
t
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
i
sl_tab
:
allow saving an
d
rest
o
ring
t
he co
m
plete basis
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdo
o
laege
isl_t
a
b
: privately expo
r
t
some func
t
io
n
ality
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_tab: store und
o
arg
u
ment in a union
for future
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
ven
V
er
d
oolaege
add isl_basic_set_sample_
b
ounded
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdo
o
laege
privatel
y
export
i
s
l
_ba
s
ic_
s
et_order_di
v
s
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_map
_
simplif
y
.
c:
r
emove_dependent_vars: only
r
emove
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Verdoolaege
isl_basic
_
map_compute_divs: use isl_basic_set_lexmi
n
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
i
sl_pip_ba
s
ic_map_
c
o
m
pu
t
e_
d
ivs: don'
t
turn divs into
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
ven Verdoolaege
privately export isl_basic_
m
ap
_
s
wa
p
_div
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl
_
{set,map}_add:
d
on't
add obv
i
ously empty ba
s
i
c
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdo
o
laege
combi
n
e isl_
p
i
p
_basic_map_l
e
x{min,m
a
x} in
t
o isl_p
i
p
_b
a
sic
_
ma
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verd
o
ola
e
ge
make pipli
b
h
e
ad
e
rs pri
v
ate
commit
|
commitdiff
|
tree
2009-08-07
Sven Verd
o
olaege
isl_m
a
t: kee
p
t
r
ack of the actua
l
nu
m
ber of colum
n
s
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdo
o
la
e
ge
isl
_
tab_pivot: fix typo that preve
n
ted no
r
maliza
t
ion
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoo
l
aege
add isl_basic_set_positive_o
r
thant
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolae
g
e
add isl
_
basic_set_partial_lex{min,max}
commit
|
commitdiff
|
tree
2009-08-07
Sven Verd
o
o
l
aege
rename isl_b
a
si
c
_m
a
p
_
lex{min
,
max} to is
l
_basic_map_
p
artial_l
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n
Verdoo
l
aege
add isl_basic_set
_
free
_
div
commit
|
commitdiff
|
tree
2009-08-07
S
ven V
e
rdoolaege
i
sl_set_dim: support
i
sl_d
i
m_all
commit
|
commitdiff
|
tree
2009-08-07
S
ven Verdoolaege
isl_
t
a
b: st
o
re index
of variable in undo re
c
ord instead
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolae
g
e
add isl_{s
e
t
,map}_
g
row
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
rdoola
e
ge
add isl_
m
ap_
g
et_dim
commit
|
commitdiff
|
tree
2009-08-07
Sven Ver
d
o
o
laege
add isl_b
a
sic_
m
ap
_
get_dim
commit
|
commitdiff
|
tree
2009-08-04
Sven Ver
d
o
olaege
add isl_tab_dup
commit
|
commitdiff
|
tree
2009-08-04
S
ven Verdool
a
ege
exp
o
rt isl_mat_dup
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaege
isl_tab
.
c: mark_redundant:
only mark variable nonneg
.
.
.
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolae
g
e
i
s
l_tab
.
c
: to_row: allo
w
pivoting i
n
arbitrary
directi
o
n
commit
|
commitdiff
|
tree
2009-08-04
Sv
e
n Verd
o
olaege
is
l
_tab
.
c: simplify code by lettin
g
mark_emp
t
y
ret
u
rn tab
commit
|
commitdiff
|
tree
2009-08-04
S
ven Verdoolaege
add isl_seq_
l
a
st_non_zero
commit
|
commitdiff
|
tree
2009-08-04
Sven
V
erdoolae
g
e
isl_tab
.
c
: simplify
add_eq
commit
|
commitdiff
|
tree
2009-08-04
S
v
e
n Verd
o
ol
a
e
ge
isl_tab
.
c
: e
x
trac
t
allocate_con
commit
|
commitdiff
|
tree
2009-07-22
S
v
en Verdo
o
laeg
e
p
r
ivately ex
p
ort i
s
l_basic
_
s
et_set_rationa
l
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaeg
e
configu
r
e
.
ac: ex
p
licitly s
e
t A
C
_CONFIG_AUX_DIR
commit
|
commitdiff
|
tree
2009-07-21
Sven Verdoolaege
c
onvex_hull:
coalesce
s
et du
r
ing f
a
ce
t
computation
commit
|
commitdiff
|
tree
2009-07-21
Sven Verdoolaege
isl_
m
ap_coa
l
esce: don'
t
drop rat
i
onal flag from result
.
.
.
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoolaege
isl_tab_
c
one_is_bou
n
d
ed
:
start over a
f
ter co
m
puting
.
.
.
commit
|
commitdiff
|
tree
2009-07-19
Sven
V
erdoola
e
g
e
isl_basi
c
_set_
d
im_
r
esidue
_
class: only set
*modulo to
.
.
.
commit
|
commitdiff
|
tree
2009-07-18
S
v
en Verdoolaege
add isl
_
b
a
sic_set_fast_dim_is_fixed
commit
|
commitdiff
|
tree
2009-07-16
Sven Verdool
a
ege
i
s
l_tab: drop is
l
_ctx argument w
h
er
e
not ab
s
olutely
.
.
.
commit
|
commitdiff
|
tree
2009-07-16
Sve
n
V
erdoolaege
isl_mat: keep t
r
ack of isl_ctx
commit
|
commitdiff
|
tree
2009-07-16
Sve
n
Verdoo
l
a
e
ge
isl_ba
s
ic_set_sampl
e
:
don't proj
e
ct out lineality s
p
ace
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdo
o
laege
isl
_
basic
_
map_fix_pos: micro-
o
ptimizat
i
on
commit
|
commitdiff
|
tree
2009-07-15
S
v
en Verdo
o
laege
move isl_bas
i
c_s
e
t_
s
kew_to
_
p
o
sitive
_
orthant
t
o
isl_sample
.
c
commit
|
commitdiff
|
tree
2009-07-15
Sven Verd
o
olaege
i
s
l_t
a
b
.
c:
f
ix typo in comment
commit
|
commitdiff
|
tree
2009-07-15
Sven
V
erdoolaege
isl
_
ba
s
ic_s
e
t_sample: br
e
ak early if sample foun
d
in
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Verd
o
olaege
ex
p
ort isl_tab_samp
l
e
_
is_integer
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoola
e
g
e
i
sl_ba
s
i
c
_set_
s
a
m
ple: check sample
s
t
o
red
b
y
isl_basi
c
_ma
p
_i
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sve
n
Ver
d
oolaege
isl_
b
asic_map_
i
s_empty:
r
e
move stale
s
amp
l
e
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
add isl_polyhedro
n
_sa
m
p
l
e
appl
i
cation
commit
|
commitdiff
|
tree
2009-07-15
S
ven Verdo
o
laege
in
t
roduce gener
a
liz
e
d basis reduction
b
ased sampling
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdool
a
eg
e
add
isl_seq_c
d
iv_q
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoo
l
aege
is
l
_sam
p
le
.
c: interv
a
l
_
sample: dr
o
p redundant a
r
gum
e
nt
commit
|
commitdiff
|
tree
2009-07-15
Sven V
e
r
d
oola
e
ge
isl_sample
.
c: c
l
e
a
n up handl
i
n
g
of
l
i
neality space
commit
|
commitdiff
|
tree
2009-07-13
S
v
en Verdoolaege
i
s
l_sample
.
c: e
x
tract ou
t
s
ample
_
eq
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaeg
e
isl_s
a
mple
.
c: interval_sam
p
le: handle equ
a
lities directly
commit
|
commitdiff
|
tree
2009-07-13
S
v
en
Verdoolae
g
e
i
sl_s
a
mple
.
c: e
x
tract o
u
t em
p
ty_sample
commit
|
commitdiff
|
tree
2009-07-13
S
ven Verdoolaege
i
s
l_sa
m
ple
.
c: generalize point_
s
ample to z
e
r
o
_sam
p
le
commit
|
commitdiff
|
tree
2009-07-13
S
v
en
Verdoolaege
isl_ta
b
: don't create new undo re
c
ords durin
g
r
ollback
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n Verd
o
olaege
isl_tab_
m
i
n: u
s
e
g
e
n
eral rollb
a
c
k
mechanism
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
i
s
l_tab: optionally
sa
v
e dual s
o
lution
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
isl_tab: a
d
d is
l
_
t
a
b_add_
v
alid_eq
commit
|
commitdiff
|
tree
2009-07-13
S
ven Ve
r
doolaege
e
xpor
t
isl_tab_alloc
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
add isl_
i
nt_le
commit
|
commitdiff
|
tree
2009-07-13
Sve
n
Verdo
o
lae
g
e
priva
t
ely export isl_ba
s
i
c_set_re
c
ession
_
cone
commit
|
commitdiff
|
tree
2009-07-13
S
ven Verdoolaege
i
sl_convex_hull
.
c: add missing
a
ssignment
commit
|
commitdiff
|
tree
2009-07-13
S
ven
V
e
r
doolaege
pri
v
atel
y
export isl_
b
asic_set_li
n
eality
_
spa
c
e
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoo
l
aege
i
s
l
_vec:
k
e
ep tr
a
ck of isl_ctx
commit
|
commitdiff
|
tree
2009-07-12
S
v
en
Verdoolae
g
e
isl_co
a
lesce
.
c
: fix
ty
p
o
commit
|
commitdiff
|
tree
2009-06-13
S
ven Verdoolaege
update piplib for cha
n
g
e
in
c
onf
i
gur
e
argum
e
nts
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaeg
e
i
s
l_basic_map
_
dro
p
_red
u
nda
n
t
_di
v
s: coalesce divs if
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Ve
r
doolaege
isl_basic_
m
ap_dro
p
_r
e
dund
a
nt
_
divs: se
t
div expre
s
sion
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_basi
c
_map_drop_redu
n
d
ant_div
s
:
drop
more kinds
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven V
e
rdoolaege
isl_map_compute
_
div
s
: drop
o
bvio
u
sly re
d
und
a
nt divs
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_map_piplib
.
c: extremu
m
_on: detect equalities first
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_pip_basic_map_comput
e
_divs: remove some equal
i
ties
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven
V
erd
o
o
l
aege
isl_p
i
p_basic_ma
p
_co
m
pute_divs: separ
a
t
e
ou
t
dimens
i
on
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven
V
erdoola
e
ge
isl_basic_
s
et_pr
e
ima
g
e
:
ha
n
dle di
v
s i
n
i
n
put
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_input_o
m
ega
.
c
: m
a
k
e variable_{free,new} stat
i
c
commit
|
commitdiff
|
tree
2009-06-11
Sven Ver
d
oolae
g
e
i
s
l
_
map
.
c: make a
d
d_divs
s
t
a
t
ic
commit
|
commitdiff
|
tree
2009-06-11
Sve
n
V
e
rdoolaege
isl_basic_ma
p
_si
m
plify: detect div constraints while
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven
Verdoolaege
isl_basic_map_dr
o
p: pro
p
erly handle dimensions of type
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
S
ven Verdoolaege
a
d
d isl_int_
m
ul_ui
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
add isl
_
s
e
q_fdiv_q
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoola
e
ge
add isl_seq_fdiv_r
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdo
o
l
a
ege
isl_basic_map_d
e
t
ect_equalit
i
es: pro
p
e
r
ly
han
d
le
emp
t
y
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verd
o
olaege
isl
_
b
a
sic_map_
i
s_empty: explicitly mark
basi
c
set
s
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verd
o
o
la
e
ge
isl_map
.
c:
o
rde
r
_divs: swap with correct div
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
i
s
l_map_coa
l
esce: remove
extra divs introduced by
isl_ma
p
_
a
l
.
.
.
commit
|
commitdiff
|
tree
2009-06-05
Sven Verdoolaege
add
i
sl_
m
ap_
c
oa
l
esce
commit
|
commitdiff
|
tree
2009-05-19
Sven V
e
r
d
oolaege
a
d
d isl
_
set_product
commit
|
commitdiff
|
tree
2009-05-19
Sven Verdo
o
l
aege
export isl_m
a
p_dim
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
isl_map
_
co
n
vex_
h
ull: handle unbounded,
b
u
t
pointe
d
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
S
v
e
n
Ve
r
doola
e
ge
pr
i
vately ex
p
ort
i
sl_mat_unimodular_co
m
plete
commit
|
commitdiff
|
tree
2009-05-06
Sven Ve
r
do
o
laege
isl_tab
.
c
:
add
isl
_
tab_get_sample_va
l
ue
commit
|
commitdiff
|
tree
next