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 parameters and divs
2009-08-07
Sven Verdoo
l
aege
isl_tab: introd
u
ce paramete
r
s
a
nd divs
commit
|
commitdiff
|
tree
2009-08-07
S
ven Verdoolaeg
e
is
l
_tab
.
h: fi
x
t
y
p
o in comment
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
e
r
doolaege
isl_tab
:
all
o
w sav
i
ng and
r
estoring the complete basis
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_tab: priva
t
ely export some fun
c
tion
a
lity
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Ve
r
doolaege
isl
_
ta
b
:
sto
r
e undo argumen
t
in a
u
ni
o
n fo
r
futur
e
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoola
e
ge
add isl_basic_s
e
t_sample_b
o
un
d
ed
commit
|
commitdiff
|
tree
2009-08-07
Sven Verd
o
o
l
aeg
e
privately export isl_ba
s
ic_set_order_divs
commit
|
commitdiff
|
tree
2009-08-07
Sven
Verdoolaege
isl_map_simplify
.
c: rem
o
ve_depend
e
nt_vars: only r
e
move
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_basic_map
_
compute_d
i
vs: use is
l
_basic_se
t
_
lexmin
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
i
s
l_
p
i
p
_
basi
c
_map_comp
u
te_divs: don't turn divs into
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaeg
e
priva
t
ely expor
t
isl_basic_map_
s
wa
p
_div
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Ver
d
oo
l
aege
isl_{set
,
map}_a
d
d: don't add obv
i
ou
s
ly
e
mpty ba
s
ic
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolae
g
e
combine isl_pip
_
basic_map_
l
ex{
m
in,max} into
i
sl_pip_bas
i
c_ma
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
ven Verdool
a
ege
make
p
ipli
b
hea
d
ers private
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
erd
o
o
laege
isl_mat: keep track of the actual num
b
er
o
f columns
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
v
e
n
V
erdoolae
g
e
isl_t
a
b_piv
o
t: fix typo that prevented n
o
rmalization
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
e
r
d
oolaege
a
d
d isl
_
basic
_
se
t
_positive_or
t
han
t
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
add is
l
_basic_s
e
t_partial_lex{
m
in,max}
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Verdoola
e
ge
r
e
name i
s
l
_
b
asi
c
_map_l
e
x{m
i
n,m
a
x} t
o
i
s
l
_basic_map_parti
a
l_l
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Ve
r
d
o
olaege
a
d
d isl_basic_set_free_di
v
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
e
rd
o
olae
g
e
isl_s
e
t_d
i
m: s
u
pport
isl_
d
im_
a
ll
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Verdoolaege
isl_
t
ab: store ind
e
x
o
f variable in undo
r
e
cord
ins
t
ea
d
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Ve
r
doo
l
aege
add i
s
l_{set,map}_grow
commit
|
commitdiff
|
tree
2009-08-07
S
v
e
n
Verdool
a
e
g
e
a
dd
isl_map_get
_
dim
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Verdoolaege
add isl_
b
asi
c
_map
_
get_
d
im
commit
|
commitdiff
|
tree
2009-08-04
Sven
V
erdoolaege
add isl_tab_
d
up
commit
|
commitdiff
|
tree
2009-08-04
Sven Verd
o
o
la
e
g
e
expo
r
t
i
sl_mat
_
dup
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdool
a
ege
i
sl
_
tab
.
c: mark_redundant: only
m
ark variable nonneg
.
.
.
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoola
e
ge
i
s
l_t
a
b
.
c: t
o
_row: allow pivoting in ar
b
itrary direc
t
i
o
n
commit
|
commitdiff
|
tree
2009-08-04
Sven Ver
d
oo
l
aege
isl_tab
.
c: simplify code
by letting mark_empty return tab
commit
|
commitdiff
|
tree
2009-08-04
Sv
e
n Verd
o
o
l
aege
add
i
sl_seq_l
a
st_non
_
ze
r
o
commit
|
commitdiff
|
tree
2009-08-04
S
ven Verdoola
e
ge
isl_tab
.
c: simplify a
d
d_eq
commit
|
commitdiff
|
tree
2009-08-04
Sven Ve
r
dool
a
ege
isl
_
tab
.
c
:
extract allocate_con
commit
|
commitdiff
|
tree
2009-07-22
S
ven Ver
d
ool
a
ege
pr
i
vat
e
ly export isl_basic_s
e
t_set_
r
at
i
o
n
al
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
configure
.
ac: e
x
plici
t
ly set
A
C_CONFIG_AUX_DIR
commit
|
commitdiff
|
tree
2009-07-21
S
v
e
n Verdoolaege
con
v
ex_hull: coalesce set during f
a
c
et
c
om
p
utation
commit
|
commitdiff
|
tree
2009-07-21
Sve
n
Verd
o
olaege
isl_m
a
p
_
c
oalesce: don't drop rational fla
g
from result
.
.
.
commit
|
commitdiff
|
tree
2009-07-20
Sv
e
n Verdoola
e
ge
i
sl
_
tab_cone_is_bound
e
d: start over af
t
e
r computing
.
.
.
commit
|
commitdiff
|
tree
2009-07-19
Sven
V
erdo
o
laege
i
sl_basic_set
_
d
i
m
_res
i
due_c
l
a
ss
:
only set *modu
l
o t
o
.
.
.
commit
|
commitdiff
|
tree
2009-07-18
Sve
n
Verdoola
e
g
e
add i
s
l_basic_set_fast_dim_is_fixed
commit
|
commitdiff
|
tree
2009-07-16
Sven Verdoolaege
isl_tab: dro
p
isl_ct
x
argument
w
here no
t
a
b
solutely
.
.
.
commit
|
commitdiff
|
tree
2009-07-16
Sv
e
n V
e
rdoolaege
isl_mat
:
keep tra
c
k of
is
l
_ctx
commit
|
commitdiff
|
tree
2009-07-16
Sven Ve
r
doolaeg
e
isl_basi
c
_
s
et_sam
p
l
e
:
d
on't project ou
t
lineality space
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoo
l
aege
isl_basic_map_fix_
p
os: micro-
o
ptimi
z
ation
commit
|
commitdiff
|
tree
2009-07-15
S
v
e
n Verdoolaege
move is
l
_bas
i
c_set_skew_to_positive_ort
h
ant to i
s
l_sample
.
c
commit
|
commitdiff
|
tree
2009-07-15
S
ven Verdoolae
g
e
isl_tab
.
c
:
fix t
y
po in comment
commit
|
commitdiff
|
tree
2009-07-15
Sven
V
erdoo
l
aege
isl
_
basic_set_
s
ample: break early if sample found in
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven
V
e
r
doolaege
ex
p
ort isl_tab_sample_is_i
n
t
eger
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
i
s
l_basi
c
_set_sample: check sample stored by isl_b
a
si
c
_map_
i
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoola
e
ge
isl_basi
c
_map_
i
s_empty: remove s
t
a
le sample
commit
|
commitdiff
|
tree
2009-07-15
Sv
e
n
Verdoolaege
add
isl_polyhed
r
on_
s
ample application
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
intro
d
u
ce generali
z
ed basis reductio
n
based sa
m
p
l
ing
commit
|
commitdiff
|
tree
2009-07-15
Sve
n
Verd
o
o
l
aege
add isl_
s
e
q_cdi
v
_q
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
isl
_
sample
.
c: inte
r
val_sample: drop redundant argument
commit
|
commitdiff
|
tree
2009-07-15
Sven Ve
r
dool
a
e
ge
isl_sample
.
c: clean
up handlin
g
o
f
l
ineali
t
y spac
e
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolae
g
e
isl_sample
.
c: e
x
tr
a
ct out sa
m
ple
_
eq
commit
|
commitdiff
|
tree
2009-07-13
Sven Ve
r
doo
l
a
e
ge
isl_
s
ampl
e
.
c:
i
n
t
erval_sample: ha
n
dle equalities directly
commit
|
commitdiff
|
tree
2009-07-13
Sven
V
er
d
o
o
laege
isl_sample
.
c
: extract out
e
mpty_s
a
mple
commit
|
commitdiff
|
tree
2009-07-13
S
v
e
n
Ve
r
dool
a
ege
isl_sample
.
c: generalize point_
s
ample to zero_sample
commit
|
commitdiff
|
tree
2009-07-13
Sven V
e
rdoolaege
isl_ta
b
:
don'
t
create new undo r
e
cords during rollbac
k
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
isl_ta
b
_min: use
general rollbac
k
mechanis
m
commit
|
commitdiff
|
tree
2009-07-13
S
v
en Ver
d
oolaege
isl_ta
b
: o
p
ti
o
nal
l
y
save dual so
l
ution
commit
|
commitdiff
|
tree
2009-07-13
S
ven Verdoolaege
i
s
l_ta
b
: add isl_tab_add_v
a
lid
_
e
q
commit
|
commitdiff
|
tree
2009-07-13
Sven
V
e
r
d
o
olaege
exp
o
rt
isl_tab_alloc
commit
|
commitdiff
|
tree
2009-07-13
S
v
en
V
erdoo
l
aege
add isl_int_le
commit
|
commitdiff
|
tree
2009-07-13
Sven Ve
r
doo
l
a
e
ge
pri
v
at
e
ly export isl_b
a
s
ic_set_recess
i
on_cone
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
i
sl_conve
x
_hull
.
c: add
missing
assignment
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n Verdoo
l
a
ege
pri
v
ately
exp
o
rt isl_b
a
sic_set_lineali
t
y_
s
pa
c
e
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdool
a
eg
e
isl_vec: keep t
r
ack of isl_ctx
commit
|
commitdiff
|
tree
2009-07-12
S
ve
n
Ve
r
doolaege
isl_
c
oalesce
.
c
:
fix typ
o
commit
|
commitdiff
|
tree
2009-06-13
Sven Verd
o
olae
g
e
update pip
l
ib for chang
e
in configur
e
a
r
g
u
men
t
s
commit
|
commitdiff
|
tree
2009-06-11
S
v
en
Verdo
o
laege
isl_basic_map_
d
rop_redundant_divs: coale
s
c
e
divs
if
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_basic_map_
d
rop_red
u
ndant_di
v
s
: set div expre
s
sion
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl
_
basic_m
a
p_drop_redundan
t
_div
s
: drop more kinds
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verd
o
olaege
isl_map_compu
t
e_div
s
: drop ob
v
iously red
u
ndant divs
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoo
l
aege
isl_map
_
piplib
.
c: extr
e
mum_
o
n:
d
etect equalities first
commit
|
commitdiff
|
tree
2009-06-11
Sven
V
erdoolaege
isl_pip_basic_
m
ap_compute_d
i
vs
:
remov
e
some equalities
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
S
ven Verdo
o
laege
i
sl_pip_basic_map_compute_divs:
separate out d
i
mension
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
S
v
en Ver
d
o
o
laege
isl_basic_s
e
t
_
preimage: handle divs in input
commit
|
commitdiff
|
tree
2009-06-11
Sv
e
n Verdoola
e
ge
isl_i
n
pu
t
_o
m
ega
.
c:
m
ake variabl
e
_{fre
e
,new}
s
t
a
tic
commit
|
commitdiff
|
tree
2009-06-11
Sven Ve
r
d
o
olaege
is
l
_ma
p
.
c: ma
k
e add_div
s
static
commit
|
commitdiff
|
tree
2009-06-11
Sv
e
n
V
e
r
doolaege
isl_b
a
sic_m
a
p_simpli
f
y:
d
etect di
v
c
o
nstraints whi
l
e
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sv
e
n Verd
o
olaege
isl_bas
i
c_map_drop: properly
handle dim
e
nsions of typ
e
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven
Verdoolaege
add
i
sl
_
int_mul_ui
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
a
dd isl_seq_fdiv
_
q
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
a
dd isl_
s
eq_fdiv_
r
commit
|
commitdiff
|
tree
2009-06-07
Sven
V
erdoolaege
isl_basic_m
a
p
_
detect_eq
u
aliti
e
s:
p
roperly ha
n
d
le empty
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
isl_
b
asic_map_is_empty: explicitly mark basic sets
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
S
ven Verdoolaeg
e
isl_m
a
p
.
c
: orde
r
_divs: swap with correc
t
div
commit
|
commitdiff
|
tree
2009-06-07
S
v
en Verdoolaege
isl_map_coalesce: remo
v
e extra divs introduce
d
b
y
i
s
l
_
map_al
.
.
.
commit
|
commitdiff
|
tree
2009-06-05
Sven
Verdoolaege
add i
s
l_map_co
a
l
e
sce
commit
|
commitdiff
|
tree
2009-05-19
S
v
en Verdoolae
g
e
a
dd isl_s
e
t_product
commit
|
commitdiff
|
tree
2009-05-19
Sven Ve
r
doolaege
ex
p
o
rt is
l
_map_
d
im
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
i
sl_map_convex
_
hull: handle
u
n
bounded, but poi
n
ted
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven
V
erdoolaege
privately exp
o
rt isl_mat_un
i
modu
l
ar_c
o
mplete
commit
|
commitdiff
|
tree
2009-05-06
Sve
n
Verdoolaege
is
l
_tab
.
c: add i
s
l
_
tab_get_sample_value
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
isl_map_con
v
ex_hull:
a
void in
t
roducin
g
lineality
s
paces
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
ad
d
two m
o
re co
n
vex hull
t
est
cases
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdo
o
l
a
e
g
e
isl_map_convex_h
u
ll: remove linealit
y
spac
e
i
f any
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sv
e
n
V
erdo
o
laege
a
dd isl_b
a
sic_s
e
t_is
_
u
ni
v
erse
commit
|
commitdiff
|
tree
next