repo.or.cz
/
barvinok.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
isl_union_set_lattice_width: rename "dim" variable to "space"
2022-05-01
S
v
en Verd
o
olaege
i
sl_unio
n
_set
_
lattice_wid
t
h
: renam
e
"dim" variable
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
S
ven Verdool
a
e
ge
is
l
_s
e
t_lattice_wi
d
t
h: r
e
name
"
dim" variable to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sven Ve
r
doolaege
i
sl_basic
_
s
et_lattice_widt
h
: rename "d
i
m" var
i
able
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sven Ve
r
doolaege
eva
l
ue_isl
.
c: relati
o
n
2
pwqp: ren
a
me "dim" vari
a
ble
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sve
n
V
erdoolaege
e
v
a
l
ue_isl
.
c: e
x
tract_ba
s
e
: r
e
name "
d
im"
pa
r
a
mete
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sven Verd
o
olae
g
e
isl_pw_qp
o
l
y
nomial_from_ev
a
lue: rename "dim
"
pa
r
ameter
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sven
V
erdoola
e
ge
isl_qpol
y
no
m
ial_f
r
o
m
_eva
l
ue: rename
"
dim" pa
r
ameter
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-05-01
Sv
e
n Verdoolaeg
e
verify_options_set_range_pwqp
.
c: use i
s
l
_
pw_q
p
olynomial_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-04-30
S
ven Verdoo
l
aege
extract out sh
a
r
e
d ver
i
fy_
o
pt
i
on
s
_set_range_pwqp
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-04-30
S
ven Verdoolaege
barvinok_summate
.
c: verify: fix memory
m
a
nagemen
t
ann
o
t
ation
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-04-24
S
v
en Ver
d
oolaege
evalue_isl
.
c
:
ad
d
_guarded_qp: drop unused varia
b
le
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-04-24
Sven Verdoola
e
ge
barv
i
nok_su
m
m
ate
.
c: verify_point: drop unuse
d
variable
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2022-03-19
Sven Verdoola
e
g
e
do
c
: up
d
ate
g
fo
r
ge
.
inria
.
fr link
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2021-08-15
Sven
V
erdoolaege
barvinok
_
bound: fix --iterate option
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2021-08-15
Sv
e
n Ver
d
oola
e
g
e
bou
n
d
.
c:
iterate: ren
a
me "
d
im" variabl
e
t
o "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2021-07-26
Sven Verdoolaege
u
pdate pet for mor
e
relaxed p
e
t
_expr_i
s
_
equal i
n
d
ex
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2021-05-01
Sven Ver
d
oola
e
g
e
ba
r
vinok 0
.
41
.
5
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2021-05-01
Sven Verdoolaege
upd
a
t
e pet to v
e
rsion 0
.
1
1
.
5
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2021-05-01
Sven Verdoolaege
update isl t
o
ver
s
i
o
n 0
.
24
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2021-04-10
Sven Verdoolaege
Ma
k
efile
.
am:
drop LOCAL_POLYLIB_L
A
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2021-04-10
Sven Verdoolaege
build libis
l
.
l
a befor
e
libpet
.
la
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2021-04-10
Sven Verdoolaege
update p
e
t
f
or
s
uppor
t
f
or re
c
ent v
e
rsions
o
f clang
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2021-04-10
Sv
e
n
V
erdoolaege
update
isl fo
r
support f
o
r
re
c
ent vers
i
ons of clang
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2020-12-07
Sven Verdoo
l
aege
remove_all_equaliti
e
s: also remove parameter equali
t
i
e
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2020-12-07
Sven Ver
d
oolaege
remo
v
e_al
l
_
e
qualit
i
e
s:
copy
c
onte
x
t w
h
enever
m
ain polyhedr
o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2020-11-19
Sven V
e
rdool
a
ege
bar
v
in
o
k
0
.
41
.
4
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2020-11-13
Sven Verdool
a
ege
update pet to version 0
.
11
.
4
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2020-11-01
Sven Verdool
a
ege
update isl to version 0
.
23
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2020-09-03
S
v
en Verdoolaege
update
p
et for su
p
port for
recent versions of clang
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2020-09-03
S
ven Verdoolaege
u
p
date isl for support
f
or re
c
ent versions of
c
lang
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2019-11-13
Sven V
e
rdo
o
laege
b
a
rvinok 0
.
4
1
.
3
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2019-11-13
S
v
e
n
Verdoolaege
update pet to
version
0
.
11
.
3
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2019-11-13
S
ven Verdoolaege
upda
t
e
i
sl to version 0
.
2
2
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2019-09-17
Andi Drebes
Document Py
t
hon interface in README
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2019-09-17
Andi D
r
ebes
Makefil
e
.
am:
a
dd missi
n
g dependency to extr
a
ct_in
t
erfa
c
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2019-09-13
A
n
di Drebe
s
Makefi
l
e
.
am:
keep isl
.
py o
n
l
y
if generating commands
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2019-08-24
Sven Ver
d
oolaege
upda
t
e pet for
s
upp
o
rt for
recent versions of
c
lang
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2019-08-24
Sven Verdoolaege
update isl for support for recent versions of clang
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2019-08-24
Sven
V
er
d
oolae
g
e
upda
t
e is
l
for change
in outp
u
t of isl_hash_table_find
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2019-08-24
Sven Verd
o
olaege
configure
.
ac: f
i
x botched up assig
n
ment of previou
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2019-07-09
Sven Verdoo
l
aege
configure
.
a
c: override --wit
h
-isl o
p
tion for submo
d
u
les
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2019-05-11
S
v
en Verd
o
o
l
aege
t
r
y an
d
include co
m
piler/
l
ink
e
r
options
n
eeded for
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2019-05-11
Sven V
e
rdoolaege
use AC_PRO
G
_SED inste
a
d
o
f dire
c
tly calling sed
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2019-03-28
S
ven Ve
r
dool
a
ege
barvinok 0
.
41
.
2
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2019-03-28
Sven Ve
r
doolaege
u
pdate pet to version
0
.
11
.
2
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2019-03-10
Sven
V
erdoolaege
update isl to
versi
o
n 0
.
21
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2019-01-26
S
v
en
V
er
d
oolaege
u
pdate pet
f
or suppo
r
t fo
r
recent versio
n
s of clang
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2019-01-26
Sven
Verd
o
olaege
update isl for support for recent vers
i
ons
of clang
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2019-01-26
Sven Verdoolae
g
e
update pet fo
r
mo
v
e
of isl's inter
f
ace/a
l
l
.
h
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-19
S
ven Verdoolaege
drop EXT
R
A
_
{
test,barvinok}_{summate,bound}_SOUR
C
E
S
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-07-31
Sven Verdoo
l
a
e
ge
u
p
d
ate isl f
o
r
m
ove of
interface/all
.
h
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-07-30
S
ven Verdoolaege
barvino
k
0
.
41
.
1
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-07-30
Sven
Verdoolaege
update pet t
o
ve
r
sion 0
.
11
.
1
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-07-30
Sve
n
Verdoola
e
ge
u
p
date isl
to versi
o
n 0
.
20
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-07-17
Sve
n
Verdoolaege
update pet
for direct hea
d
er
inclusions
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-05-27
Sven Verdo
o
laege
only bui
l
d
i
sl
.
py and its dependencies
w
hen
extract_int
e
rfac
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-04-25
Sven Verdoolaege
lattice
_
w
i
d
th
.
c: direct
l
y
i
nclude requ
i
r
e
d
h
e
aders
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-04-25
Sven V
e
rdoolaege
isl_param_util
.
c: directly inc
l
ude r
e
qui
r
ed headers
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-04-25
Sven Verdoola
e
ge
bar
v
inok_e
.
cc: di
r
ectly include required headers
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-04-17
Sven Verdoolaege
add LIC
E
NSE to distr
i
bution
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-03-16
Sven Ver
d
oolaege
AX_
S
UBMODULE:
a
d
d mis
s
ing invoca
t
ion o
f
test
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-03-06
Sven Verdoolaege
b
ar
v
in
o
k 0
.
41
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-03-03
S
v
e
n V
e
rdoolaege
update pet
t
o ver
s
ion
0
.
11
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-03-03
Sven Verdoolaege
update isl to ve
r
s
i
o
n
0
.
1
9
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-03-03
Sven Ve
r
doolaeg
e
add missing CLEAN
F
I
L
ES
a
nd D
I
STCLEAN
F
IL
E
S
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-03-03
S
ven Ver
d
ool
a
ege
do not rem
o
ve polymake/autogen
.
sh from
dist
r
ibution
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-03-03
Sven Verdoolaege
add doc/glosstex
.
ist to distrib
u
tion
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-03-03
Sv
e
n Verdool
a
e
ge
AX
_
SU
B
MODU
L
E: fix
t
ypo in
t
est inv
o
cation
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-03-03
Sven Verdoolaege
interface:
make lang
u
age
bindings depend
on all relevant
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-06-16
Sven Verdoolaege
update pe
t
for support for recent
c
la
n
gs
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-06-16
Sven Verdool
a
e
ge
update isl for
s
upport fo
r
r
e
cen
t
clangs
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-06-13
S
ven
V
erdoolaege
iscc
:
dro
p
suppo
r
t
for a
p
p
lying "co
d
egen" to
a
set
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-06-02
Sven Verdoolaege
distribu
t
e both ver
s
ions of
i
nterface/isl
.
py
.
top
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-06-02
Sven Verdoola
e
ge
AX_SUBMODU
L
E: only
c
h
eck submod
u
le status in git reposito
r
y
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-05-04
Sven Verdoo
l
a
e
ge
interfa
c
e
/
isl
.
py
.
top
.
*
:
e
xp
l
i
citly ca
s
t self
.
ptr
o
f
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-05-04
Sven Verd
o
olaege
up
d
ate pet for
f
ixes in p
y
t
h
on
b
indings
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-05-04
Sven Ve
r
doolaege
update isl for f
i
xe
s
in python bindin
g
s
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-05-04
Sven V
e
r
d
oolaeg
e
update isl for ch
a
nge in int
e
rface/
e
xtract_i
n
t
e
r
face
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-03-13
Sven Verdo
o
lae
g
e
sum
m
ate
.
c: joi
n
_comp
a
ti
b
le: use isl_
s
pa
c
e_has_equal_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-03-13
Sven Verdoolaege
update isl for isl_space_ha
s
_equal_par
a
m
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-03-13
S
ven Verdo
o
lae
g
e
v
e
ri
f
y
.
c: verif
y
_point_da
t
a_
i
ni
t
:
explicitly co
n
v
ert
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-03-13
Sv
e
n Verdoo
l
aege
barvi
n
ok
.
cc: basic_map_card: exp
l
icitly reint
r
oduc
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-03-13
Sven Verdo
o
laege
update isl f
o
r
isl_pw_qpolynomial_f
r
om_
r
a
nge
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-03-02
S
v
en Verdool
a
ege
randomt
e
st
.
c: add missi
n
g
inclu
d
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-02-23
Sven Verdoolaeg
e
update
pet for support for recent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-02-23
Sve
n
Verdoolaege
u
p
date
i
sl fo
r
s
u
p
p
ort for
r
ecent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-02-23
Sven Ver
d
ool
a
ege
barvino
k
0
.
40
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-02-23
Sven Verdool
a
ege
up
d
ate AUTHORS
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-02-23
Sven Verdoolaege
o
n
ly use C++ 11
c
o
mpiler
i
f std::unor
d
ered
_
m
ap i
s
a
va
i
lable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-02-23
Sven
V
e
r
d
oolaege
mov
e
test for C++
11
c
ompiler into AX_
U
NOR
D
ERED_MAP
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-02-08
Sv
e
n Verdoolaege
doc:
add a
r
e
ference t
o
t
h
e tutorial
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-02-08
Sven Verdoolaege
d
oc: update barvinok URL
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-02-07
Sv
e
n
Verd
o
olaege
do
c
: fix ty
p
o
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-02-07
Sv
e
n Verdoolaege
verify
.
c
: fix typos in c
o
mments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-02-07
Sven Ver
d
o
olaege
iscc
:
add "cross_r
a
ng
e
" ope
r
a
tio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-02-07
Sven Verdoolaege
summate
.
c: bar
v
in
o
k_sum
m
ate_da
t
a
:
r
ename "dim"
f
ield
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-02-07
Sven V
e
r
doolaege
summa
t
e
.
c:
a
dd_unbounded_guarded_qp: ren
a
me
"
d
im"
v
a
r
i
a
bl
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-02-07
Sven Ver
d
oolaege
summate
.
c:
a
d
d
_basic_g
u
arded_qp: use
p
roper par
a
meter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-02-07
Sv
e
n Verdoolae
g
e
summate
.
c: add_b
a
sic_guar
d
ed_qp: re
n
ame "dim
"
varia
b
le
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-02-07
Sven
V
erdoo
l
aege
b
a
rvinok
.
cc: basic_set_card: rename "d
i
m
" vari
a
ble
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next