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: allow saving and restoring the complete basis
2009-08-07
Sven Ver
d
oolae
g
e
i
s
l_tab:
allow s
a
ving and r
e
storin
g
the complete basi
s
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_t
a
b:
pri
v
atel
y
exp
o
rt some fu
n
c
t
io
n
ality
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Verdoolaege
i
s
l_tab: stor
e
u
n
do
a
rgu
m
ent
i
n
a
u
n
ion for f
u
ture
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Ver
d
ool
a
ege
add isl_basic_set_sam
p
le_bounded
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Verdoolaege
p
rivately export isl_basic_
s
et_order_divs
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoola
e
ge
i
sl_m
a
p_simplify
.
c:
r
emove_dep
e
nden
t
_vars: only
r
emo
v
e
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Ve
r
doolaege
i
sl_basic_map_co
m
pute
_
divs: use
isl_basic_se
t
_l
e
xmin
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
ve
n
Verdoolaege
isl_pip_basic_map_compute_
d
i
v
s: don't
tu
r
n
divs i
n
to
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
erdoola
e
ge
priva
t
e
l
y
export isl_basic_map
_
swap_div
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
i
sl_{set,map}_add: don
'
t
a
dd obv
i
ously
empty basic
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Ver
d
o
o
laege
co
m
bine
i
sl_pip_basic_m
a
p_lex{
m
in,
m
ax} into is
l
_pip_basic
_
ma
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
rdoolaeg
e
make pi
p
lib headers pri
v
ate
commit
|
commitdiff
|
tree
2009-08-07
Sven
Ver
d
oolaege
isl_
m
at: keep track
o
f the
actual number of
col
u
mns
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
is
l
_tab_pivot: fi
x
typo that prevented
n
or
m
alization
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
add isl
_
basic_set_positive_orthant
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoo
l
aege
add i
s
l_basic_set_partial_lex{m
i
n
,
max
}
commit
|
commitdiff
|
tree
2009-08-07
S
v
e
n Ver
d
oolaege
rename isl_basic_m
a
p
_
l
ex{min,max} to isl_basic_map_partial_l
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
add isl_
b
asic_set_free_di
v
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolae
g
e
isl_set_dim: su
p
port isl_dim_all
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Verdoolae
g
e
isl_
t
ab: store index of var
i
able in un
d
o record instead
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
ven
Verd
o
ola
e
ge
add isl_{set,map}
_
gr
o
w
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n
Verdoolaege
add isl_map
_
get_dim
commit
|
commitdiff
|
tree
2009-08-07
Sven Ver
d
oolaeg
e
a
d
d isl_basic_map
_
get_dim
commit
|
commitdiff
|
tree
2009-08-04
S
v
en
Verd
o
olaege
add isl
_
tab_dup
commit
|
commitdiff
|
tree
2009-08-04
S
v
en
V
e
rdoolaege
export isl_mat_dup
commit
|
commitdiff
|
tree
2009-08-04
Sve
n
Verdo
o
laege
isl_tab
.
c: mark_redundant:
o
n
l
y
m
ark var
i
able nonneg
.
.
.
commit
|
commitdiff
|
tree
2009-08-04
Sve
n
Ver
d
o
ola
e
g
e
isl_tab
.
c
: to_row: al
l
ow
p
ivoting in arb
i
trary
d
irect
i
on
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoo
l
aege
i
sl_tab
.
c: s
i
mp
l
ify code by letting mark_
e
mpt
y
return
t
ab
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaege
add is
l
_
s
e
q_last_non_zer
o
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaege
isl
_
ta
b
.
c: simplify add_eq
commit
|
commitdiff
|
tree
2009-08-04
Sven V
e
rdoolaege
isl_tab
.
c: ex
t
ract allo
c
ate_
c
on
commit
|
commitdiff
|
tree
2009-07-22
S
ve
n
Ver
d
oo
l
aege
privately export
is
l
_basic_s
e
t_set_rational
commit
|
commitdiff
|
tree
2009-07-22
Sv
e
n Ve
r
d
ool
a
ege
configu
r
e
.
ac
:
explicitly set
AC_CON
F
IG_AUX_
D
IR
commit
|
commitdiff
|
tree
2009-07-21
Sven V
e
rdoolaege
conve
x
_
hull: coalesce set duri
n
g fac
e
t co
m
p
utation
commit
|
commitdiff
|
tree
2009-07-21
Sve
n
Ve
r
d
o
olaege
isl_map_co
a
lesce: don't dr
o
p
r
ati
o
nal flag from resul
t
.
.
.
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoolaege
i
s
l_tab_cone_is
_
bounded: start over
afte
r
c
omputing
.
.
.
commit
|
commitdiff
|
tree
2009-07-19
S
v
en Verdool
a
ege
i
sl_basic_set_dim_residue_cla
s
s: only set *modulo to
.
.
.
commit
|
commitdiff
|
tree
2009-07-18
S
ven Verdoolaege
add isl_basic
_
set_fas
t
_d
i
m
_is_fixed
commit
|
commitdiff
|
tree
2009-07-16
Sven
Verdo
o
l
aege
isl_t
a
b: dro
p
i
s
l
_c
t
x argument whe
r
e not
a
bsolu
t
ely
.
.
.
commit
|
commitdiff
|
tree
2009-07-16
Sven Verdo
o
laege
i
s
l_ma
t
: ke
e
p track of isl_ctx
commit
|
commitdiff
|
tree
2009-07-16
Sv
e
n
Verdoolaege
is
l
_b
a
si
c
_set_sa
m
ple: don't project out l
i
neality
spac
e
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sv
e
n Ve
r
doolaege
isl_basic_map_fix_pos: micr
o
-optimi
z
ation
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdool
a
ege
move isl
_
b
a
sic_set_ske
w
_to_positive_orth
a
nt to isl_
s
ample
.
c
commit
|
commitdiff
|
tree
2009-07-15
Sven V
e
rdoola
e
ge
isl_tab
.
c: fix typo in comm
e
nt
commit
|
commitdiff
|
tree
2009-07-15
S
v
en Ver
d
oolaege
isl_bas
i
c
_
set_s
a
mple
:
break earl
y
if
sampl
e
found in
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Verd
o
o
la
e
ge
export isl_tab_sample_
i
s_integer
commit
|
commitdiff
|
tree
2009-07-15
Sve
n
Ver
d
oolaege
i
s
l_
b
asic_set
_
sample: chec
k
sa
m
ple s
t
ored by isl_basic
_
m
a
p_i
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdo
o
laege
isl_basic_
m
ap_is_empty: remove stale sam
p
le
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
add isl_polyhedron_sample
applicat
i
on
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
i
n
t
r
oduce gene
r
aliz
e
d basis reduction b
a
s
ed samplin
g
commit
|
commitdiff
|
tree
2009-07-15
S
ven Ve
r
d
o
ol
a
ege
add isl_seq_cdiv
_
q
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
i
s
l_sample
.
c: interval_sample: drop redund
a
n
t argument
commit
|
commitdiff
|
tree
2009-07-15
S
v
e
n
Verd
o
olaeg
e
isl_
s
amp
l
e
.
c:
c
lean u
p
handling of linealit
y
space
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n Verdoolaege
isl
_
sample
.
c: extrac
t
out sample_eq
commit
|
commitdiff
|
tree
2009-07-13
Sven
V
erdoola
e
ge
isl_
s
amp
l
e
.
c: interval_sample:
han
d
l
e equalities directly
commit
|
commitdiff
|
tree
2009-07-13
Sven Ve
r
d
o
olaege
isl_sample
.
c: extrac
t
out em
p
ty_
s
ample
commit
|
commitdiff
|
tree
2009-07-13
Sven V
e
rdoo
l
aege
isl_s
a
mple
.
c: generalize point_sample to zer
o
_sam
p
le
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n Verdool
a
ege
isl_tab: don't create
new undo records d
u
ring
r
ollb
a
c
k
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoola
e
ge
isl_tab_min: use general rollback mechanism
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoola
e
ge
is
l
_tab: optionally s
a
v
e
dual
solu
t
ion
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n
Verdoolaege
i
s
l_tab:
a
dd isl_tab_add_va
l
id_eq
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoo
l
aege
e
xport isl
_
tab_allo
c
commit
|
commitdiff
|
tree
2009-07-13
Sven Verd
o
olaege
add
isl_int_le
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
privately expor
t
i
s
l
_
basic
_
set_recession_
c
one
commit
|
commitdiff
|
tree
2009-07-13
Sven Verd
o
olaege
isl_convex
_
h
u
ll
.
c: a
d
d
missing assignment
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdool
a
e
ge
private
l
y export is
l
_basic_set_lineal
i
ty_space
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
i
s
l_v
e
c: keep track of isl_ctx
commit
|
commitdiff
|
tree
2009-07-12
Sven Verdoolae
g
e
isl_coales
c
e
.
c
: fix typo
commit
|
commitdiff
|
tree
2009-06-13
Sven Verdoolae
g
e
update piplib
for ch
a
nge in configure argum
e
nts
commit
|
commitdiff
|
tree
2009-06-11
Sven
Verdoolaege
isl_ba
s
ic_map_dro
p
_
r
e
dun
d
ant_d
i
v
s: co
a
lesce divs if
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdo
o
laeg
e
isl_bas
i
c_map_drop_r
e
dundant_div
s
: set div expression
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verd
o
olaege
i
s
l_
b
asi
c
_map_d
r
op_
r
e
dundant_div
s
: drop m
o
re kinds
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sv
e
n Verdoolaege
isl_
m
ap_compute
_
d
i
vs:
d
rop ob
v
iously redu
n
dant divs
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven
V
erdool
a
ege
isl_map_pip
l
ib
.
c: extremum_on: detect
equ
a
l
ities
f
i
rst
commit
|
commitdiff
|
tree
2009-06-11
Sven V
e
r
do
o
laege
isl_pi
p
_basic_map_com
p
ute_divs:
r
emove some eq
u
a
l
iti
e
s
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Ver
d
oola
e
ge
is
l
_p
i
p_basic_map_comput
e
_divs: separate out d
i
men
s
ion
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven V
e
rd
o
olaege
isl_basic_set_preimage: hand
l
e
divs in input
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdo
o
l
a
e
ge
i
sl_input_omega
.
c: make variable_{free,
n
ew}
stat
i
c
commit
|
commitdiff
|
tree
2009-06-11
S
v
en Verd
o
ola
e
ge
isl_map
.
c
:
make add_di
v
s static
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaeg
e
isl_basic_map_simp
l
ify
:
dete
c
t
di
v
constraints whi
l
e
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Ver
d
o
o
laege
is
l
_basic_map_drop: p
r
operly handle dimens
i
o
n
s o
f
t
ype
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
S
ven Verdoolaege
add
i
s
l_i
n
t_
m
ul_ui
commit
|
commitdiff
|
tree
2009-06-07
S
ven Verdoolaege
add isl_seq_fdiv_
q
commit
|
commitdiff
|
tree
2009-06-07
Sven Ve
r
doolaege
add isl_seq_f
d
iv_
r
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
isl
_
basic_map
_
de
t
ect_equaliti
e
s: properly handle e
m
p
ty
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolae
g
e
isl_basic_map_is_empty: explicit
l
y ma
r
k bas
i
c sets
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sv
e
n
V
erdoolaeg
e
isl_
m
ap
.
c
:
order_divs:
s
w
a
p with cor
r
ect div
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoola
e
ge
isl_map_coalesc
e
:
r
emove extra divs
intro
d
uced by isl_
m
ap_al
.
.
.
commit
|
commitdiff
|
tree
2009-06-05
Sven Verdoolaege
add isl_map_coalesce
commit
|
commitdiff
|
tree
2009-05-19
Sv
e
n Verdoolaege
add isl_set_product
commit
|
commitdiff
|
tree
2009-05-19
Sve
n
Verdoolaeg
e
export isl_
m
ap_dim
commit
|
commitdiff
|
tree
2009-05-06
Sven V
e
rdoolaege
isl_map_convex_hu
l
l: handle unbounded, but pointed
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolae
g
e
privately export isl_mat_un
i
modular_comple
t
e
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
i
s
l_
t
ab
.
c: add
i
sl_tab_get
_
sample_value
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
isl
_
map
_
convex_hull
:
av
o
id introducin
g
lineality spaces
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sve
n
Verdoolaege
add two
m
ore convex hu
l
l
te
s
t cases
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoola
e
ge
isl_map_conve
x
_hull: remove
lineality space if any
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven Ver
d
oolaeg
e
add isl_basic_set
_
is_universe
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoo
l
a
e
g
e
ad
d
isl_
s
et_
g
et_dim
commit
|
commitdiff
|
tree
2009-05-05
S
ven Verdoolaeg
e
isl_
c
onve
x
_
h
u
ll
.
c: upda
t
e
w
rap_facet to the fact we
.
.
.
commit
|
commitdiff
|
tree
next