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_basic_map_apply_{domain,range}: drop redundant divs in result
2009-08-28
Sven Verdoo
l
a
e
g
e
isl_basic_map_apply_{doma
i
n
,
range}: drop redun
d
ant
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
S
v
en Verdoolaeg
e
isl_map_simpli
f
y
.
c
: fi
x
t
ypo in comment
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
is
l
_
b
asic
_
set_p
r
oject
_
out: drop redundant
d
ivs in result
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
i
s
l_basic
_
map_remove: only
d
rop divs if
basic m
a
p
did
.
.
.
commit
|
commitdiff
|
tree
2009-08-13
Sven Verdoolaege
isl_basic_m
a
p_detec
t
_equal
i
ties: explicitly keep track
.
.
.
commit
|
commitdiff
|
tree
2009-08-13
Sven
V
e
r
doola
e
ge
i
s
l_basic_
m
ap_
e
xtend_dim: keep
hold of
s
ample if d
i
mension
.
.
.
commit
|
commitdiff
|
tree
2009-08-09
Sven Verdoolaege
isl_
t
ab_
m
in: read
off all
i
n
f
o
rmation fr
o
m tableau
.
.
.
commit
|
commitdiff
|
tree
2009-08-09
Sven Verd
o
olae
g
e
i
s
l_tab_add_valid_eq: keep track of
whether equality
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Ve
r
doolaege
co
n
figu
r
e
.
ac:
no lo
n
ger
u
s
e
pi
p
li
b
by def
a
ult
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
e
r
doolaege
a
d
d an int
e
rnal parametric
i
nteger linear program solver
commit
|
commitdiff
|
tree
2009-08-07
S
ven Ver
d
oolaege
isl_mat_
e
xt
e
nd: make sure th
e
number
o
f rows
n
ever
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
v
e
n
V
erdoolaege
isl_affine_hu
l
l
.
c: only cons
t
r
uct affine h
u
l
l in bounded
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoola
e
g
e
isl_tab: ad
d
suppo
r
t for keeping track of samples
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
r
d
oolaeg
e
isl_tab: opti
o
nally k
e
ep track of row signs
commit
|
commitdiff
|
tree
2009-08-07
S
ven Ve
r
doolaege
i
sl_
t
ab:
add is
l
_basic
_
set fi
e
l
d for
o
p
t
i
o
n
ally keeping
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdo
o
laege
isl_tab:
introduce support for "big parameters
"
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdo
o
laege
isl_tab: a
l
l
o
w i
n
troduction of extra
v
ariables
commit
|
commitdiff
|
tree
2009-08-07
S
ven Verdoo
l
aege
i
sl_tab:
intr
o
duce p
a
rameters and d
i
vs
commit
|
commitdiff
|
tree
2009-08-07
Sven Verd
o
olae
g
e
isl_tab
.
h: f
i
x typo in comment
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdool
a
e
ge
isl_tab:
a
l
l
ow savi
n
g
a
nd re
s
toring
the co
m
pl
e
te basis
commit
|
commitdiff
|
tree
2009-08-07
Sven Verd
o
olaege
isl_tab:
private
l
y
export some function
a
lity
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoo
l
a
e
g
e
i
s
l_t
a
b: store undo argumen
t
i
n
a u
n
i
on for future
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Verdoolae
g
e
ad
d
isl_bas
i
c_set_samp
l
e
_
b
o
un
d
ed
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Verdoo
l
aege
privatel
y
export isl_basic_set_order_divs
commit
|
commitdiff
|
tree
2009-08-07
S
ven Ver
d
o
olaege
isl
_
map
_
sim
p
l
if
y
.
c:
r
emo
v
e_d
e
pendent_vars: on
l
y
re
m
ov
e
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verd
o
olaege
isl_bas
i
c_map_compute_div
s
: u
s
e isl
_
basic_set_lexmin
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Verdoolaeg
e
isl_pip
_
ba
s
ic_map_compu
t
e_divs: don't
t
urn d
i
vs into
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Verdoolaege
priva
t
ely ex
p
ort
isl_basi
c
_map_swap_div
commit
|
commitdiff
|
tree
2009-08-07
S
v
en
Verdoolaege
isl_{
s
et,map}_a
d
d: d
o
n't add obvi
o
usly emp
t
y basic
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Verdoolaege
combine isl_
p
ip_b
a
sic_
m
ap
_
lex{m
i
n,max} into isl_
p
ip_b
a
si
c
_ma
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
er
d
oo
l
aege
make piplib h
e
aders
p
r
ivate
commit
|
commitdiff
|
tree
2009-08-07
Sven
Verdool
a
ege
isl_
m
at: keep
tr
a
c
k
of the
a
c
t
ual
n
u
m
ber
of columns
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven
Verdoolaege
isl_tab_pivot:
f
ix t
y
po that p
r
even
t
ed normaliz
a
tion
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
add isl_basic_set_positi
v
e_orthant
commit
|
commitdiff
|
tree
2009-08-07
S
v
e
n Verdoolaege
add i
s
l_
b
a
sic_set_
p
arti
a
l_lex{min,max}
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolae
g
e
rena
m
e
isl_b
a
sic_map_lex{min,max} to
isl_b
a
sic_map_partia
l
_l
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Ver
d
oolaege
ad
d
isl_b
a
sic_set_f
r
ee
_
d
i
v
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Verdo
o
laege
isl_set_di
m
: support isl_dim_a
l
l
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
erdoolaege
isl
_
t
ab: store
i
nde
x
of variable in undo r
e
cord
i
nstea
d
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaeg
e
add isl_{set,
m
ap}_gro
w
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdool
a
ege
ad
d
isl_m
a
p_get_dim
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
erdoolaege
add isl_basi
c
_map_ge
t
_dim
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolae
g
e
ad
d
isl_tab_dup
commit
|
commitdiff
|
tree
2009-08-04
S
ven Ve
r
do
o
laege
export is
l
_mat
_
d
up
commit
|
commitdiff
|
tree
2009-08-04
S
v
en Verd
o
olaege
isl_ta
b
.
c: mark_
r
edu
n
dant: only mark vari
a
ble no
n
n
eg
.
.
.
commit
|
commitdiff
|
tree
2009-08-04
Sve
n
Verdoo
l
a
ege
isl_tab
.
c:
to_row
:
allow pivoting in arbitrar
y
direction
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaege
isl_tab
.
c: simplify
c
od
e
by letting mark
_
e
m
pty return
tab
commit
|
commitdiff
|
tree
2009-08-04
S
v
en Ver
d
o
olaege
add is
l
_seq_last_non_ze
r
o
commit
|
commitdiff
|
tree
2009-08-04
S
ven Verdoolaege
isl_tab
.
c
: simpli
f
y
a
dd_eq
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdo
o
laege
isl_tab
.
c
:
extract alloca
t
e_con
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
privately
export isl
_
basic_set
_
set_rationa
l
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
co
n
figure
.
a
c
: ex
p
licitly set
A
C_CONFIG_AU
X
_DIR
commit
|
commitdiff
|
tree
2009-07-21
Sven Verdoolaege
c
onvex_hull: c
o
alesce set during facet computation
commit
|
commitdiff
|
tree
2009-07-21
Sven Verdoolaege
isl_map_
c
oalesce: don't dro
p
r
a
ti
o
na
l
flag from result
.
.
.
commit
|
commitdiff
|
tree
2009-07-20
Sven
V
erdoo
l
aege
is
l
_tab_cone_i
s
_bounded: star
t
over after c
o
mputing
.
.
.
commit
|
commitdiff
|
tree
2009-07-16
Sven Verdoolaege
isl_tab: d
r
op i
s
l_ctx argum
e
nt where no
t
abso
l
utely
.
.
.
commit
|
commitdiff
|
tree
2009-07-16
Sven Verdool
a
ege
isl
_
mat: keep
track of isl_ctx
commit
|
commitdiff
|
tree
2009-07-16
Sven Verdoolaege
isl_basic_set_samp
l
e
:
don't proje
c
t out lineality space
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Ver
d
oola
e
ge
isl_bas
i
c
_
map_fix_pos: micr
o
-optimi
z
ation
commit
|
commitdiff
|
tree
2009-07-15
Sven
Ve
r
doola
e
ge
m
o
ve isl
_
basic_
s
et_skew_to_p
o
sitive_orthant to
isl_sample
.
c
commit
|
commitdiff
|
tree
2009-07-15
Sve
n
Verdoola
e
ge
isl_
t
ab
.
c: fix t
y
po in comment
commit
|
commitdiff
|
tree
2009-07-15
Sv
e
n
V
e
rdo
o
laege
isl_basi
c
_set
_
sample:
b
r
eak early if sa
m
ple found
i
n
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdo
o
la
e
ge
export isl_tab_s
a
mple_i
s
_integer
commit
|
commitdiff
|
tree
2009-07-15
Sve
n
Ver
d
oolaege
i
sl_basic_set_
s
ample: check sampl
e
stored
b
y
i
sl_basic_map_i
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Verd
o
ol
a
ege
isl_ba
s
i
c
_map_is_empt
y
: re
m
ove s
t
ale sample
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaeg
e
add isl_polyh
e
dron_sample ap
p
lication
commit
|
commitdiff
|
tree
2009-07-15
S
ven Verdoolaege
introduce ge
n
er
a
lized basi
s
r
eduction based sampling
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
a
dd isl_seq_cdiv_q
commit
|
commitdiff
|
tree
2009-07-15
Sven V
e
rdool
a
ege
isl
_
sample
.
c: interval_sample: drop
r
edundant argument
commit
|
commitdiff
|
tree
2009-07-15
Sve
n
Verdoolaege
i
sl_s
a
mple
.
c: clea
n
up handling of l
i
n
eality space
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
isl_sample
.
c: extrac
t
ou
t
sample_e
q
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n Verd
o
o
l
aege
i
sl_sample
.
c:
interval_
s
am
p
le:
h
a
nd
l
e
equalitie
s
directly
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
isl_sample
.
c: e
x
tra
c
t
out em
p
ty_sample
commit
|
commitdiff
|
tree
2009-07-13
S
ven Ve
r
doo
l
a
ege
i
sl_sample
.
c: generalize
point_sa
m
p
l
e
t
o
zero_sa
m
ple
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolae
g
e
isl_t
a
b: don't create new undo recor
d
s durin
g
r
o
l
lback
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
i
s
l_tab_min: u
s
e general roll
b
ack mechanism
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoo
l
aeg
e
isl_tab: opt
i
onal
l
y save
d
ual
s
olution
commit
|
commitdiff
|
tree
2009-07-13
Sven
V
e
rdo
o
laege
isl_tab: add
isl_tab_add_
v
alid_eq
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
exp
o
rt isl_t
a
b
_alloc
commit
|
commitdiff
|
tree
2009-07-13
S
v
en Verdoo
l
aege
a
d
d isl_int
_
le
commit
|
commitdiff
|
tree
2009-07-13
Sve
n
Ve
r
doolaege
privately
export isl
_
basic_s
e
t_recessio
n
_cone
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n
Ve
r
doo
l
aeg
e
isl_convex_hu
l
l
.
c: add missing assig
n
ment
commit
|
commitdiff
|
tree
2009-07-13
S
v
en Verdoolaege
pri
v
ately export isl_
b
asi
c
_set_lineality_space
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
isl
_
v
e
c: keep track of
i
sl_c
t
x
commit
|
commitdiff
|
tree
2009-07-12
Sven V
e
rdoo
l
aege
i
s
l_coalesce
.
c:
f
i
x typo
commit
|
commitdiff
|
tree
2009-06-13
Sven Ver
d
o
o
laege
u
p
da
t
e
p
iplib
f
or change in configure arg
u
men
t
s
commit
|
commitdiff
|
tree
2009-06-11
Sven Verd
o
olaege
is
l
_basic_map_dro
p
_
redundant_divs: coalesce di
v
s if
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_basic_m
a
p
_
drop_redundant_divs: set div expression
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven
Verdoo
l
a
ege
i
sl_basic_m
a
p_d
r
op_redundant_d
i
v
s:
d
rop more
k
i
n
ds
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdo
o
laege
i
sl_map_compute_
d
ivs: drop obvious
l
y
r
e
d
undant div
s
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
S
ven Verdoolaege
isl_map_piplib
.
c: extremu
m
_on: det
e
ct
e
qualities
f
irst
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_pip_basic_map
_
compute_divs: remove some equalities
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sve
n
V
e
rd
o
olaege
isl_pip_basic
_
map_com
p
ute_divs: separate out
dimensi
o
n
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven
Verdoolaege
isl
_
basic_set_preimage: handle divs in input
commit
|
commitdiff
|
tree
2009-06-11
S
ven V
e
r
d
o
ola
e
ge
isl_inp
u
t_omeg
a
.
c: make vari
a
ble
_
{
f
ree,new}
s
tatic
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_
m
a
p
.
c: make add_di
v
s static
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoola
e
ge
isl_basic_map
_
s
implif
y
: de
t
ect
div
c
o
n
s
traints w
h
ile
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Ve
r
doola
e
ge
i
s
l_basic_map_drop: pr
o
perly handle
d
imensions of ty
p
e
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Ver
d
oolaege
add isl_int_mul_
u
i
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaeg
e
a
d
d isl_s
e
q_fdiv_q
commit
|
commitdiff
|
tree
next