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 Ver
d
oolaege
isl_
t
ab: introduce paramet
e
rs
a
nd di
v
s
commit
|
commitdiff
|
tree
2009-08-07
S
ven Verd
o
olaege
isl_ta
b
.
h:
f
i
x
typo
in comment
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_ta
b
: al
l
ow savi
n
g and restoring
the compl
e
te basis
commit
|
commitdiff
|
tree
2009-08-07
Sven Ver
d
oolaege
isl_tab: p
r
ivately e
x
port some func
t
ionality
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaeg
e
isl_ta
b
: store undo
a
rgument
i
n a union for
f
u
ture
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoola
e
ge
a
dd isl_basic_
s
et_sample_bounde
d
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Verdoo
l
a
ege
privately
export isl_basic
_
set_order_divs
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_map_simplify
.
c: remov
e
_depe
n
dent_vars: only
re
m
o
ve
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven
Verdoolaege
isl_b
a
si
c
_ma
p
_comput
e
_d
i
vs: u
s
e
i
sl_b
a
s
ic_set
_
lexmin
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
v
en
Ve
r
d
o
o
laege
isl_pip_basic_map_comp
u
t
e
_d
i
v
s: d
o
n
'
t turn d
i
vs into
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Verdo
o
laege
p
r
i
vately export isl_bas
i
c
_map_swap_d
i
v
commit
|
commitdiff
|
tree
2009-08-07
Sven Verd
o
o
laege
isl_{set,map}_add: don't add ob
v
iously empty
b
asic
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
combine i
s
l_pip_b
a
sic_ma
p
_lex{min,m
a
x}
into isl_p
i
p_basic_ma
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
make pipli
b
headers
privat
e
commit
|
commitdiff
|
tree
2009-08-07
Sven Verd
o
olae
g
e
isl_mat:
k
eep track of t
h
e
a
c
tual number of columns
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoo
l
aege
isl_tab
_
piv
o
t
:
f
i
x typo
t
h
at prevented no
r
maliz
a
tion
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
v
e
n
Ve
r
doolae
g
e
add i
s
l_
b
asic_set_positive_orthant
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Verdoolaeg
e
add isl_ba
s
ic_set_
p
artial_lex{min,max}
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Verdoolaege
re
n
a
me i
s
l_basic_map_lex{min,max} to isl_bas
i
c_
m
ap_partia
l
_l
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
add is
l
_basic_
s
et_fr
e
e_
d
i
v
commit
|
commitdiff
|
tree
2009-08-07
Sven Verd
o
olaege
isl_set_dim: support isl_
d
i
m
_a
l
l
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
rdool
a
e
ge
isl_tab:
store ind
e
x of variable
i
n undo
r
ecord i
n
stead
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
ven
V
e
r
doo
l
a
e
g
e
add isl
_
{set,map}_grow
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
rdool
a
ege
ad
d
isl_map_g
e
t_dim
commit
|
commitdiff
|
tree
2009-08-07
Sven Verd
o
ol
a
e
ge
a
d
d
isl_basic_map
_
get_d
i
m
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaege
add isl_tab
_
dup
commit
|
commitdiff
|
tree
2009-08-04
Sven Ve
r
d
o
olaege
export isl_mat_dup
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaege
isl_tab
.
c: m
a
rk
_
r
e
d
undant: onl
y
mark var
i
able nonneg
.
.
.
commit
|
commitdiff
|
tree
2009-08-04
Sv
e
n Verd
o
olaege
isl_t
a
b
.
c: t
o
_row: allow pivoting in arb
i
trary directio
n
commit
|
commitdiff
|
tree
2009-08-04
Sven
V
erdo
o
laege
is
l
_tab
.
c: simplify
c
ode
b
y le
t
ti
n
g mark_empty re
t
urn ta
b
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoola
e
ge
add isl_seq_
l
ast_non_z
e
ro
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolae
g
e
isl_tab
.
c:
s
implify add_eq
commit
|
commitdiff
|
tree
2009-08-04
Sv
e
n Ve
r
doolaege
isl_tab
.
c: ext
r
act a
l
lo
c
ate_c
o
n
commit
|
commitdiff
|
tree
2009-07-22
S
v
e
n Ver
d
oolaege
privately export isl_basic_set_set_r
a
tional
commit
|
commitdiff
|
tree
2009-07-22
Sven
Ve
r
doolaege
c
onfigure
.
ac: explicitly set
A
C_CONFIG_AUX_DI
R
commit
|
commitdiff
|
tree
2009-07-21
Sv
e
n
V
erdoolaege
convex_hull:
c
oales
c
e s
e
t
during
facet computation
commit
|
commitdiff
|
tree
2009-07-21
Sv
e
n
V
e
rdoolae
g
e
i
sl_map_coa
l
esc
e
: don't
drop ra
t
ional flag fr
o
m
result
.
.
.
commit
|
commitdiff
|
tree
2009-07-20
Sv
e
n V
e
rdoolaege
isl_tab_cone_is_bounded: start over after computi
n
g
.
.
.
commit
|
commitdiff
|
tree
2009-07-19
Sven V
e
rdo
o
l
a
ege
i
sl
_
basic_set_dim_re
s
idue_cl
a
ss: only
s
et *m
o
du
l
o to
.
.
.
commit
|
commitdiff
|
tree
2009-07-18
Sven Verdoolaege
a
d
d isl_basic_
s
et_fas
t
_dim_is_fixed
commit
|
commitdiff
|
tree
2009-07-16
Sven V
e
rdoolaege
isl_tab: drop is
l
_ctx
argum
e
nt
w
here not absolute
l
y
.
.
.
commit
|
commitdiff
|
tree
2009-07-16
Sven
V
e
r
d
oolaege
isl_mat:
keep
t
rack of i
s
l_ctx
commit
|
commitdiff
|
tree
2009-07-16
Sven Verdo
o
laege
isl_bas
i
c_s
e
t_sam
p
le: d
o
n'
t
project out li
n
e
ality space
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven
V
erdo
o
laeg
e
i
sl_basic_map
_
fix_pos: micr
o
-opti
m
i
z
at
i
on
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaeg
e
move isl_basic_set_ske
w
_to_positive_orthant to isl_sample
.
c
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
isl_tab
.
c: fix typ
o
in
c
omment
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
isl_basic_set_
s
ample:
b
rea
k
early if sample foun
d
in
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdool
a
ege
export i
s
l_tab_
s
ample_is_integer
commit
|
commitdiff
|
tree
2009-07-15
Sven
V
erd
o
olaege
isl_basic_set_s
a
mple
:
check s
a
mp
l
e st
o
red by isl_basic_ma
p
_i
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
S
ven
V
erdo
o
laege
isl
_
bas
i
c_
m
ap_is_emp
t
y: remove stal
e
sample
commit
|
commitdiff
|
tree
2009-07-15
Sven
Verdoolaege
add isl_polyhedron_
s
ample
a
pplication
commit
|
commitdiff
|
tree
2009-07-15
Sven Ve
r
doolaege
introdu
c
e gen
e
rali
z
ed
bas
i
s reduction ba
s
ed sam
p
ling
commit
|
commitdiff
|
tree
2009-07-15
S
ven Verdool
a
ege
add isl_seq_cdi
v
_q
commit
|
commitdiff
|
tree
2009-07-15
Sve
n
Verdoolaeg
e
isl_sam
p
le
.
c: interval_sampl
e
:
d
rop r
e
dundant argum
e
nt
commit
|
commitdiff
|
tree
2009-07-15
S
v
en Ve
r
d
oola
e
ge
isl_s
a
mp
l
e
.
c
: clean up
handl
i
ng of lineality spa
c
e
commit
|
commitdiff
|
tree
2009-07-13
Sven
Verdool
a
ege
isl
_
sample
.
c: extract out sam
p
le_eq
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoola
e
ge
isl_samp
l
e
.
c
:
i
nter
v
a
l_
s
ampl
e
:
h
andl
e
e
qualities directly
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoo
l
aege
isl_sample
.
c: extract out
e
mp
t
y_sample
commit
|
commitdiff
|
tree
2009-07-13
Sven
V
erdoola
e
g
e
i
s
l
_sample
.
c: generaliz
e
point_sampl
e
t
o
ze
r
o_s
a
mple
commit
|
commitdiff
|
tree
2009-07-13
S
v
en
Verdoolaeg
e
isl_tab: don't create
new undo rec
o
rds during ro
l
lbac
k
commit
|
commitdiff
|
tree
2009-07-13
S
v
en Verdoola
e
g
e
isl_tab_min: use general
r
ollback mechanism
commit
|
commitdiff
|
tree
2009-07-13
S
v
e
n
Ve
r
doolaege
isl_
t
ab:
optionally save dual s
o
lution
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
i
s
l_tab: add isl
_
tab_add_valid_eq
commit
|
commitdiff
|
tree
2009-07-13
S
ven Verd
o
olaeg
e
expor
t
i
sl_tab
_
alloc
commit
|
commitdiff
|
tree
2009-07-13
Sve
n
Verdoolaege
add isl
_
int_le
commit
|
commitdiff
|
tree
2009-07-13
Sven Ve
r
doolaeg
e
priva
t
ely export is
l
_basic_set_reces
s
i
o
n
_
c
o
n
e
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
isl_
c
on
v
e
x
_h
u
l
l
.
c: add missing assignment
commit
|
commitdiff
|
tree
2009-07-13
Sven Ve
r
doolae
g
e
pr
i
vatel
y
expo
r
t isl
_
basic_set_lineality_space
commit
|
commitdiff
|
tree
2009-07-13
Sven V
e
rdoolaeg
e
isl_vec: keep track of isl_
c
tx
commit
|
commitdiff
|
tree
2009-07-12
Sven Verdoolaege
isl_coalesce
.
c
: fix typo
commit
|
commitdiff
|
tree
2009-06-13
S
ven
V
erdoolaege
updat
e
pipl
i
b
f
or ch
a
nge in configure argume
n
t
s
commit
|
commitdiff
|
tree
2009-06-11
Sv
e
n
V
e
rdoolaege
i
sl_ba
s
ic_m
a
p_drop_redun
d
an
t
_div
s
: coalesce di
v
s
if
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolae
g
e
isl_basic
_
map_drop_re
d
u
ndant_di
v
s
: se
t
div express
i
on
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sv
e
n
V
e
r
d
oolaege
isl_bas
i
c_map_drop_
r
edun
d
ant_divs:
drop more kind
s
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sve
n
V
erdoolaeg
e
isl_
m
ap_
c
o
mpute_divs: drop obvious
l
y
re
d
undant div
s
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
i
s
l_map_pipl
i
b
.
c: extremum_
o
n: detect equalities first
commit
|
commitdiff
|
tree
2009-06-11
Sven
V
erd
o
olaege
isl_pip_basic_map_compute_divs: remo
v
e
some equaliti
e
s
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoo
l
a
ege
isl_p
i
p_basic_map_
c
ompute_divs: separate out d
i
mension
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven
Verdoo
l
aege
is
l
_
b
asic_set_pre
i
mage: h
a
ndle divs in input
commit
|
commitdiff
|
tree
2009-06-11
Sven
V
erdoolaege
isl_input_ome
g
a
.
c: make var
i
ab
l
e_{free,new} static
commit
|
commitdiff
|
tree
2009-06-11
Sven Verd
o
o
l
a
ege
i
sl_map
.
c
:
m
ake add_div
s
stat
i
c
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdool
a
ege
isl
_
basi
c
_map_simp
l
ify
:
detec
t
div cons
t
raint
s
while
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdo
o
l
a
ege
is
l
_basic_map_drop: prope
r
ly h
a
n
d
le dimensi
o
ns of t
y
pe
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Ve
r
d
o
olaege
add
i
sl_int_mul_ui
commit
|
commitdiff
|
tree
2009-06-07
Sv
e
n
V
erdoolaege
add isl_seq_fdiv_q
commit
|
commitdiff
|
tree
2009-06-07
S
ven
Verdoola
e
ge
ad
d
isl
_
seq_fdiv_r
commit
|
commitdiff
|
tree
2009-06-07
Sv
e
n Verdoolaeg
e
isl_
b
asic_map_det
e
c
t_equalities: properly han
d
le empty
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sve
n
V
erd
o
olaege
isl_basic_map_is_empty
:
e
x
p
l
icitly mar
k
basic sets
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
S
ven Verdoolaege
isl_map
.
c: order
_
divs: swa
p
w
ith correct div
commit
|
commitdiff
|
tree
2009-06-07
Sven
V
e
rdoolaege
isl_map_coal
e
sce: remove extra
divs int
r
oduced by
i
sl_map_al
.
.
.
commit
|
commitdiff
|
tree
2009-06-05
Sven Ver
d
oolaege
add
i
sl_map_coales
c
e
commit
|
commitdiff
|
tree
2009-05-19
Sven Ve
r
doolaege
add isl_se
t
_
p
roduct
commit
|
commitdiff
|
tree
2009-05-19
Sven
V
erdoolaege
ex
p
or
t
isl_map_dim
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
isl_
m
ap_convex_hull: handle u
n
bounded, but pointed
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sv
e
n Ve
r
doolae
g
e
priva
t
ely e
x
port isl_ma
t
_unimodular
_
com
p
lete
commit
|
commitdiff
|
tree
2009-05-06
S
ven Verd
o
olaege
isl
_
tab
.
c: ad
d
is
l
_ta
b
_
get_s
a
m
p
l
e_value
commit
|
commitdiff
|
tree
2009-05-06
Sven Verd
o
o
laege
isl_map_
c
onvex
_
hull: avoid intr
o
ducing lin
e
alit
y
spaces
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
S
ven Verdoolaege
add two more convex hull
test cases
commit
|
commitdiff
|
tree
2009-05-06
S
v
en Verdoolaege
is
l
_map_
c
onvex_hull: r
e
mo
v
e line
a
lity
space if any
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven
Ve
r
doola
e
ge
add isl_basic_set_
i
s_univer
s
e
commit
|
commitdiff
|
tree
next