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_pivot: fix typo that prevented normalization of rows
2009-08-07
Sve
n
Ve
r
doolae
g
e
i
s
l_tab_piv
o
t
:
f
ix t
y
po that prevented
n
o
rmalizatio
n
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
ven Verdool
a
ege
ad
d
is
l
_
b
as
i
c
_set_positive_orthant
commit
|
commitdiff
|
tree
2009-08-07
Sven
Verdoolaege
add isl_basic
_
set_parti
a
l_l
e
x{min,max}
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Verdoola
e
ge
re
n
ame isl_basic_map_lex{min,max} t
o
isl
_
basic_m
a
p_
p
a
r
tial_l
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Verdoolaege
add isl_
b
asic_set_free_di
v
commit
|
commitdiff
|
tree
2009-08-07
Sven Ve
r
doolaege
i
sl_set_dim: sup
p
ort isl_
d
im_
a
ll
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Verdoo
l
aege
isl
_
tab: store in
d
ex of variable in u
n
do
r
ecord instead
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
erdoolaege
add isl_
{
s
et,ma
p
}_grow
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
erdoolaege
add
i
sl
_
map_get_dim
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Verdool
a
ege
add isl
_
basic_map_
g
e
t_dim
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdool
a
e
g
e
add
isl_tab_dup
commit
|
commitdiff
|
tree
2009-08-04
Sven V
e
rdoolaege
export isl_mat_dup
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolae
g
e
isl_tab
.
c: mark_r
e
dundant:
only ma
r
k v
a
riable
n
o
n
neg
.
.
.
commit
|
commitdiff
|
tree
2009-08-04
Sv
e
n Verdoolaeg
e
isl_tab
.
c: to_r
o
w: allow pivot
i
n
g
i
n arb
i
t
r
a
r
y di
r
ecti
o
n
commit
|
commitdiff
|
tree
2009-08-04
Sv
e
n Ve
r
d
oolaege
i
sl_tab
.
c
:
si
m
plify cod
e
by letting mark
_
e
m
pt
y
return tab
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolae
g
e
add
isl_
s
eq_last_non_zero
commit
|
commitdiff
|
tree
2009-08-04
Sv
e
n Ve
r
d
o
olaege
isl_tab
.
c: simpl
i
fy a
d
d_eq
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaege
isl_tab
.
c
:
e
xtract allocate
_
con
commit
|
commitdiff
|
tree
2009-07-22
Sven
V
erd
o
ol
a
ege
pri
v
a
te
l
y export isl_basic_se
t
_set_rationa
l
commit
|
commitdiff
|
tree
2009-07-22
Sven Ve
r
d
o
olaege
configure
.
ac: explicitly
s
et AC_CONFIG_AUX_D
I
R
commit
|
commitdiff
|
tree
2009-07-21
Sv
e
n
Verdoolaege
convex_hull: coal
e
s
c
e
se
t
during
facet comp
u
tation
commit
|
commitdiff
|
tree
2009-07-21
Sven Ver
d
o
o
laege
isl_map_coales
c
e: don't
d
r
op rational flag fro
m
resu
l
t
.
.
.
commit
|
commitdiff
|
tree
2009-07-20
S
v
en Verdo
o
laege
isl_
t
ab_cone_is_bounded: start over
a
f
ter computing
.
.
.
commit
|
commitdiff
|
tree
2009-07-16
Sven Verdoolaege
i
sl_tab
:
d
r
op isl_ct
x
arg
u
ment where
not absolutely
.
.
.
commit
|
commitdiff
|
tree
2009-07-16
Sven Verdoolaege
is
l
_mat: ke
e
p tra
c
k
of i
s
l_ctx
commit
|
commitdiff
|
tree
2009-07-16
Sven V
e
rdoolaege
isl_
b
asic_set_sample: don't pr
o
ject out li
n
eality space
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sve
n
V
e
r
doolaege
isl_basic_map_
f
ix
_
pos:
m
icro-optimization
commit
|
commitdiff
|
tree
2009-07-15
Sven V
e
r
doolaege
m
o
ve
i
sl
_
basi
c
_set_skew
_
t
o_positive_orthant to isl_sampl
e
.
c
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoola
e
ge
isl_tab
.
c:
fix ty
p
o in comment
commit
|
commitdiff
|
tree
2009-07-15
Sve
n
Verdo
o
l
aege
isl_basic_set_sample
:
break early if sample
f
ound in
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven
V
e
r
doolaege
expo
r
t
isl_tab_sa
m
p
le_is_in
t
eger
commit
|
commitdiff
|
tree
2009-07-15
Sv
e
n Verdoolaege
isl
_
basic_set_s
a
mple
:
ch
e
ck
s
a
mple stored by is
l
_basic
_
map_i
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Ver
d
oola
e
ge
isl_bas
i
c_map_is_
e
mpty
:
rem
o
ve stale sample
commit
|
commitdiff
|
tree
2009-07-15
S
v
e
n
Verdoola
e
ge
add isl_p
o
l
yhedro
n
_s
a
mple applicati
o
n
commit
|
commitdiff
|
tree
2009-07-15
S
ven Ve
r
d
o
ol
a
ege
intro
d
uce gen
e
raliz
e
d basi
s
red
u
ction based samplin
g
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoo
l
ae
g
e
add isl
_
seq_cdiv
_
q
commit
|
commitdiff
|
tree
2009-07-15
Sv
e
n Ver
d
oolaege
isl_sample
.
c: interval_sample:
d
rop re
d
undant a
r
gument
commit
|
commitdiff
|
tree
2009-07-15
Sven V
e
rdo
o
laege
is
l
_sample
.
c: clean up handlin
g
of lineality space
commit
|
commitdiff
|
tree
2009-07-13
Sve
n
Verdoo
l
aege
isl_sample
.
c: extr
a
ct out sample_eq
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
isl_s
a
mple
.
c: interval_s
a
mp
l
e:
hand
l
e equalities di
r
ectly
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
isl_sample
.
c:
e
xtra
c
t out empty_sample
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
isl_sample
.
c
:
g
eneralize point_sample
t
o zero_sample
commit
|
commitdiff
|
tree
2009-07-13
Sven Verd
o
olae
g
e
isl_tab: don't create new undo records during
rollback
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n
V
e
rdoo
l
aege
isl_ta
b
_mi
n
: us
e
general roll
b
ack mec
h
a
ni
s
m
commit
|
commitdiff
|
tree
2009-07-13
S
ven Verd
o
olaege
isl_tab: optional
l
y save du
a
l solution
commit
|
commitdiff
|
tree
2009-07-13
Sven
V
er
d
oolaege
isl_tab: add isl_tab_add_valid_eq
commit
|
commitdiff
|
tree
2009-07-13
S
v
en Verdoolaeg
e
expo
r
t
isl_tab
_
alloc
commit
|
commitdiff
|
tree
2009-07-13
Sve
n
Verdoolaege
add isl_
i
nt
_
le
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
privately export isl_basic_set_reces
s
ion_c
o
ne
commit
|
commitdiff
|
tree
2009-07-13
Sven Ver
d
oolaege
is
l
_convex_hull
.
c: add missing assignment
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaeg
e
privately export
isl_basic_set_lineality_
s
pace
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdo
o
lae
g
e
isl_vec: k
e
ep track of isl
_
ctx
commit
|
commitdiff
|
tree
2009-07-12
Sv
e
n Verdoolaege
isl_coalesce
.
c: fix typo
commit
|
commitdiff
|
tree
2009-06-13
S
ven Verd
o
olaege
update pip
l
ib for
c
h
ange in
config
u
re
argu
m
ents
commit
|
commitdiff
|
tree
2009-06-11
Sven
Verdoolaeg
e
isl_basic_map_drop_redundan
t
_
d
i
v
s: coalesce divs if
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
S
v
en Verdool
a
ege
isl_basic_map_dro
p
_redu
n
dan
t
_divs: s
e
t
di
v
ex
p
r
ession
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sve
n
Verdoolaege
isl_basic_map_drop_
r
edundant_divs: drop more k
i
nds
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sv
e
n Verdoolaege
isl_map_co
m
pute_divs: drop obviously redundant divs
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Ve
r
d
o
olaege
isl_m
a
p
_piplib
.
c: extremum_on: detect
equalities first
commit
|
commitdiff
|
tree
2009-06-11
Sven V
e
rdoola
e
ge
i
s
l_pip
_
basic_map_com
p
ute_d
i
vs: remove
s
o
m
e equalities
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
i
s
l
_
p
ip
_
ba
s
ic_
m
ap_com
p
ute_divs:
s
e
parat
e
out dimens
i
on
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoo
l
aege
i
s
l_basic_set_preim
a
ge: handle
divs
in input
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_input_omega
.
c: make variab
l
e_{free,new} st
a
tic
commit
|
commitdiff
|
tree
2009-06-11
Sven Verd
o
olaege
i
sl
_
map
.
c: make add_divs st
a
t
ic
commit
|
commitdiff
|
tree
2009-06-11
Sv
e
n
Verdo
o
laege
isl_basi
c
_map_si
m
plify: det
e
ct div constrain
t
s while
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
S
ven Verdoolaege
i
sl_basi
c
_map_drop:
properly handle dimensions o
f
type
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
a
d
d
i
sl
_
int_mul_ui
commit
|
commitdiff
|
tree
2009-06-07
S
v
en V
e
rdoolae
g
e
add isl_seq_fdiv_q
commit
|
commitdiff
|
tree
2009-06-07
Sven
V
erdo
o
la
e
ge
add isl_se
q
_fdi
v
_r
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
isl_basi
c
_map
_
detect_equ
a
l
i
ties: p
r
o
p
e
rly
h
andle e
m
pty
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Ver
d
oolaege
isl_basic_map_is_empty: exp
l
icitly mark basic sets
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Ver
d
oolaege
is
l
_map
.
c: order_divs
:
swap
wit
h
correct
div
commit
|
commitdiff
|
tree
2009-06-07
Sven Verd
o
olaege
isl_ma
p
_c
o
alesce:
r
emove extra divs introduced by
i
sl_map_al
.
.
.
commit
|
commitdiff
|
tree
2009-06-05
Sven Verdoolaege
add
i
s
l_map_
c
oalesce
commit
|
commitdiff
|
tree
2009-05-19
Sven Verdoo
l
aeg
e
ad
d
isl_set_product
commit
|
commitdiff
|
tree
2009-05-19
Sven Verdo
o
laege
e
xport
i
s
l
_map_dim
commit
|
commitdiff
|
tree
2009-05-06
Sven
V
e
r
d
oolaege
isl
_
map_conv
e
x_
h
ull: handle unbo
u
n
ded, but pointed
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
privately
expor
t
is
l
_mat_
u
nimodular_complete
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
isl_tab
.
c: add isl_tab_get_sa
m
p
le_value
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
is
l
_map_co
n
vex_hull: avoi
d
introducing
l
i
neality s
p
aces
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
S
v
en Verdo
o
laege
ad
d
two more con
v
ex
h
u
l
l test cases
commit
|
commitdiff
|
tree
2009-05-06
Sven
V
e
r
doolae
g
e
isl_map_convex_hull: remo
v
e lineality spac
e
i
f
any
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
S
v
en
Verdool
a
e
g
e
add isl
_
basic_set_i
s
_universe
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
a
d
d
i
s
l
_set_get_dim
commit
|
commitdiff
|
tree
2009-05-05
S
v
en
V
erdool
a
ege
isl_
c
o
n
vex_hull
.
c: update wrap_facet to the fact we
.
.
.
commit
|
commitdiff
|
tree
2009-05-05
Sven
V
erdool
a
ege
isl_conve
x
_hull
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2009-05-05
Sven
V
er
d
oola
e
ge
isl_coalesce
.
c: fix typo
in
c
om
m
ent
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoolaege
isl_tab
.
c: fi
x
t
ypo in comment
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoola
e
ge
add isl_basic_set_get_dim
commit
|
commitdiff
|
tree
2009-03-23
Sve
n
V
e
rdoolaege
isl_basic_map_gist: normalize divs (i
f
a
n
y
) i
n
co
n
text
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdool
a
ege
i
sl_basic_map_simpl
i
fy: remov
e
dupl
i
ca
t
e
di
v
s bef
o
re
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoo
l
aege
add isl_basic_set_div
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolae
g
e
ch
a
nge calling con
v
ention of
i
s
l_b
a
sic_map_
d
iv
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
isl_map_simplify
.
c: uset_gist: break early if
there
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
isl_map_simpli
f
y
.
c: uset_gist: brea
k
early if int
e
rsection
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
S
ven Verd
o
olaege
add
i
sl_bas
i
c
_se
t
_fast_is_em
p
ty
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdo
o
laege
update piplib to 1
.
4
.
0
commit
|
commitdiff
|
tree
2009-03-23
Sve
n
V
erdo
o
l
aege
isl_
t
a
b
.
c: store
n
umber of equalities among th
e
co
n
straints
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
is
l
_mat_extend: properly exte
n
d m
a
t
r
ices w
i
th reordered
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
oolaege
isl_map
_
g
i
s
t: handle some
s
pecial
c
ases
commit
|
commitdiff
|
tree
next