t, there is the case that B = 1 is true and C = 1 is
false and the resulting implications and the same with B = 1 false and C = 1
true and with both of them false. And it probably needs even more constraints
to get the first three propositions consistent in general.
Yes, it is possible to get this right i
in general.
Yes, it is possible to get this right in propositional logic, but it is really
cumbersome and lots of new code will be necessary.
Regards,
Martin Walch
[1] https://www4.cs.fau.de/Research/VAMOS/
--
--
To unsubscribe from this list: send the line unsubscribe linux-kernel in
the body
tually more complex and
reasoning harder.
Once the new relations are added, it will be hard to get rid of them again.
So, should this patch be reconsidered?
Regards,
Martin Walch
--
--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majord.
, it will be hard to get rid of them again.
So, should this patch be reconsidered?
Regards,
Martin Walch
--
--
To unsubscribe from this list: send the line unsubscribe linux-kernel in
the body of a message to majord...@vger.kernel.org
More majordomo info at http://vger.kernel.org/majordomo
ads to the same
configuration. However if there was a third default line, then in the former
case that third default value would be always ignored while in the latter
case it would determine the default value on s390.
Regards,
Martin Walch
--
--
To unsubscribe from this list: send the line &qu
ch architecture PCI_QUIRKS=y
except on s390 where PCI_QUIRKS=n.
Regards,
Martin Walch
--
--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majord...@vger.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/
with a default n in the
architecture specific file.
A real world case is PCI_QUIRKS in the mainline kernel:
init/Kconfig:1554: default y
arch/s390/Kconfig:59: def_bool n
When setting PCI!=n EXPERT=n then on each architecture PCI_QUIRKS=y
except on s390 where PCI_QUIRKS=n.
Regards,
Martin Walch
would be always ignored while in the latter
case it would determine the default value on s390.
Regards,
Martin Walch
--
--
To unsubscribe from this list: send the line unsubscribe linux-kernel in
the body of a message to majord...@vger.kernel.org
More majordomo info at http://vger.kernel.org
On Thursday 12 March 2015 21:59:33 Wang YanQing wrote:
> "IPV6 || IPV6=n" means no dependence!
IPV6 and BONDING are both tristate symbols and therefore this is not the same
as no dependency. When setting IPV6 to m, the expression evaluates to
"IPV6 || IPV6=n"
"m || m=n"
"m || n"
"m"
So, if
On Thursday 12 March 2015 21:59:33 Wang YanQing wrote:
IPV6 || IPV6=n means no dependence!
IPV6 and BONDING are both tristate symbols and therefore this is not the same
as no dependency. When setting IPV6 to m, the expression evaluates to
IPV6 || IPV6=n
m || m=n
m || n
m
So, if IPV6=m, then
On Tuesday 07 October 2014 11:21:51 Dirk Gouders wrote:
> Paul Bolle writes:
>
> > On Mon, 2014-09-22 at 19:13 +0200, Martin Walch wrote:
> >> expr_eliminate_dups2() in scripts/kconfig/expr.c applies two bad
> >> inference rules:
> >>
> >> (FOO
On Tuesday 07 October 2014 11:21:51 Dirk Gouders wrote:
Paul Bolle pebo...@tiscali.nl writes:
On Mon, 2014-09-22 at 19:13 +0200, Martin Walch wrote:
expr_eliminate_dups2() in scripts/kconfig/expr.c applies two bad
inference rules:
(FOO || BAR) (!FOO !BAR) - n
(FOO BAR) || (!FOO
comments and convert C99 style
comments to traditional ones.
Martin Walch (2):
kconfig: fix bad syntactic transformation in expr.c
kconfig: trivial - adjust comments
scripts/kconfig/expr.c | 146 +++--
scripts/kconfig/expr.h | 3 -
2 files changed, 1
not triggered in mainline, so this patch does not modify
the configuration space there.
As a side effect, this reduces code size in expr.c by roughly 10% and slightly
improves startup time for all configuration frontends.
Signed-off-by: Martin Walch
---
bly read
(a!='b') && (a='c') -> 'b'='c' ? 'n' : a='c'
2) that one is similar:
(a!='m') && (a!='n') -> (a='m')
it should be
(a!='m') && (a!='n') -> (a='y')
Signed-off-by: Martin Walch
---
scripts/kconfig/expr.c | 38 +++---
1 file change
') - 'b'='c' ? 'n' : a='c'
2) that one is similar:
(a!='m') (a!='n') - (a='m')
it should be
(a!='m') (a!='n') - (a='y')
Signed-off-by: Martin Walch walch.mar...@web.de
---
scripts/kconfig/expr.c | 38 +++---
1 file changed, 19 insertions(+), 19 deletions(-)
diff
this patch does not modify
the configuration space there.
As a side effect, this reduces code size in expr.c by roughly 10% and slightly
improves startup time for all configuration frontends.
Signed-off-by: Martin Walch walch.mar...@web.de
---
scripts/kconfig/expr.c | 108
to traditional ones.
Martin Walch (2):
kconfig: fix bad syntactic transformation in expr.c
kconfig: trivial - adjust comments
scripts/kconfig/expr.c | 146 +++--
scripts/kconfig/expr.h | 3 -
2 files changed, 19 insertions(+), 130 deletions
l (subject start [kconfig.xml]) or
in the bug tracker of KDE at https://bugs.kde.org/
Regards
Martin Walch
--
--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majord...@vger.kernel.org
More majordomo info at http://vger.kernel.org/
]) or
in the bug tracker of KDE at https://bugs.kde.org/
Regards
Martin Walch
--
--
To unsubscribe from this list: send the line unsubscribe linux-kernel in
the body of a message to majord...@vger.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http
From: Martin Walch
Replace any C99 comments with traditional ones (/*...*/).
Also fix the contents of two comments:
1) the second occurrence of
(a='b') && (a!='c') -> 'b'='c' ? 'n' : a='b'
is probably copy & paste from above, missing the adjustment corresponding
to the code.
It
From: Martin Walch
remove expr_eliminate_dups2(), expr_extract_eq_and(), expr_extract_eq_or(),
and expr_extract_eq() from scripts/kconfig/expr.[ch]
As the comments in the code state, expr_eliminate_dups2 applies these
two transformations:
(FOO || BAR) && (!FOO && !BAR)
.
Martin Walch (2):
kconfig: completely remove expr_eliminate_dups2() and related code
kconfig: trivial - adjust comments
scripts/kconfig/expr.c | 146 +++--
scripts/kconfig/expr.h | 3 -
2 files changed, 19 insertions(+), 130 deletions(-)
--
1.8.5.5
.
Martin Walch (2):
kconfig: completely remove expr_eliminate_dups2() and related code
kconfig: trivial - adjust comments
scripts/kconfig/expr.c | 146 +++--
scripts/kconfig/expr.h | 3 -
2 files changed, 19 insertions(+), 130 deletions(-)
--
1.8.5.5
From: Martin Walch walch.mar...@web.de
remove expr_eliminate_dups2(), expr_extract_eq_and(), expr_extract_eq_or(),
and expr_extract_eq() from scripts/kconfig/expr.[ch]
As the comments in the code state, expr_eliminate_dups2 applies these
two transformations:
(FOO || BAR) (!FOO !BAR) - n
(FOO
From: Martin Walch walch.mar...@web.de
Replace any C99 comments with traditional ones (/*...*/).
Also fix the contents of two comments:
1) the second occurrence of
(a='b') (a!='c') - 'b'='c' ? 'n' : a='b'
is probably copy paste from above, missing the adjustment corresponding
to the code
From: Martin Walch
Date: Fri, 18 Apr 2014 22:15:37 +0200
Subject: [PATCH v2 2/2] kconfig: trivial - adjust comments
Replace any C99 comments with traditional ones (/*...*/).
Also fix the contents of two comments:
1) the second occurrence of
(a='b') && (a!='c') -> 'b'='c' ?
From: Martin Walch
Date: Fri, 18 Apr 2014 22:10:14 +0200
Subject: [PATCH v2 1/2] kconfig: completely remove expr_eliminate_dups2() and
related code
remove expr_eliminate_dups2(), expr_extract_eq_and(), expr_extract_eq_or(),
and expr_extract_eq() from scripts/kconfig/expr.[ch]
As the comments
to fix something somewhere). Maybe
some warning should be documented in case this patch gets accepted?
v2 updates line numbers after latest changes
PATCH 2: Fix some comments when touching expr.c anyway. No code changes.
v2 additionally converts C99 style comments to traditional ones.
Martin
to fix something somewhere). Maybe
some warning should be documented in case this patch gets accepted?
v2 updates line numbers after latest changes
PATCH 2: Fix some comments when touching expr.c anyway. No code changes.
v2 additionally converts C99 style comments to traditional ones.
Martin
From: Martin Walch walch.mar...@web.de
Date: Fri, 18 Apr 2014 22:10:14 +0200
Subject: [PATCH v2 1/2] kconfig: completely remove expr_eliminate_dups2() and
related code
remove expr_eliminate_dups2(), expr_extract_eq_and(), expr_extract_eq_or(),
and expr_extract_eq() from scripts/kconfig/expr.[ch
From: Martin Walch walch.mar...@web.de
Date: Fri, 18 Apr 2014 22:15:37 +0200
Subject: [PATCH v2 2/2] kconfig: trivial - adjust comments
Replace any C99 comments with traditional ones (/*...*/).
Also fix the contents of two comments:
1) the second occurrence of
(a='b') (a!='c') - 'b'='c' ? 'n
From: Martin Walch
Date: Thu, 13 Feb 2014 02:13:01 +0100
Subject: [PATCH 1/2] kconfig: completely remove expr_eliminate_dups2() and
related code
this removes expr_eliminate_dups2(), expr_extract_eq_and(),
expr_extract_eq_or(), and expr_extract_eq() from scripts/kconfig/expr.[ch
From: Martin Walch
Date: Thu, 13 Feb 2014 12:22:18 +0100
Subject: [PATCH 0/2] kconfig: Remove bad inference rules expr_eliminate_dups2()
PATCH 1: Removes expr_eliminate_dups2() and other related code.
This does not seem to actually affect the behaviour when using Kconfig files
from the mainline
From: Martin Walch
Date: Thu, 13 Feb 2014 12:17:06 +0100
Subject: [PATCH 2/2] kconfig: trivial - adjust comments
the line
(a='b') && (a!='c') -> 'b'='c' ? 'n' : a='b'
is probably copy & paste from above, missing the adjustment done in the code.
It should probably read
(a!='b') &
From: Martin Walch walch.mar...@web.de
Date: Thu, 13 Feb 2014 12:17:06 +0100
Subject: [PATCH 2/2] kconfig: trivial - adjust comments
the line
(a='b') (a!='c') - 'b'='c' ? 'n' : a='b'
is probably copy paste from above, missing the adjustment done in the code.
It should probably read
(a!='b
From: Martin Walch walch.mar...@web.de
Date: Thu, 13 Feb 2014 12:22:18 +0100
Subject: [PATCH 0/2] kconfig: Remove bad inference rules expr_eliminate_dups2()
PATCH 1: Removes expr_eliminate_dups2() and other related code.
This does not seem to actually affect the behaviour when using Kconfig files
From: Martin Walch walch.mar...@web.de
Date: Thu, 13 Feb 2014 02:13:01 +0100
Subject: [PATCH 1/2] kconfig: completely remove expr_eliminate_dups2() and
related code
this removes expr_eliminate_dups2(), expr_extract_eq_and(),
expr_extract_eq_or(), and expr_extract_eq() from scripts/kconfig/expr
On Tuesday 11 February 2014 13:31:32 Paul Bolle wrote:
> This patch also deserves a
> Reported-by: Martin Walch
>
> line, but that apparently requires Martin's permission.
I would be happy. And I am sorry for not sending patches myself. As I expect
to find some more issues in K
On Tuesday 11 February 2014 13:31:32 Paul Bolle wrote:
This patch also deserves a
Reported-by: Martin Walch walch.mar...@web.de
line, but that apparently requires Martin's permission.
I would be happy. And I am sorry for not sending patches myself. As I expect
to find some more issues
This is an update to the syntactic results that I sent, back in July.
With kernel 3.12 nearing completion, I would like to point to new sections
in Kconfig files with potential problems:
drivers/media/common/siano/Kconfig:21-26
> config SMS_SIANO_DEBUGFS
> bool "Enable debugfs for smsdvb"
This is an update to the syntactic results that I sent, back in July.
With kernel 3.12 nearing completion, I would like to point to new sections
in Kconfig files with potential problems:
drivers/media/common/siano/Kconfig:21-26
config SMS_SIANO_DEBUGFS
bool Enable debugfs for smsdvb
From: Martin Walch
Date: Thu, 3 Oct 2013 18:32:02 +0200
Subject: [PATCH v2 3/5] kconfig: adjust warning message for conflicting types
Each symbol must have exactly one type assigned. However, if a symbol happens
to have two different types assigned at runtime, a warning is printed and the
first
From: Martin Walch
Date: Thu, 3 Oct 2013 17:21:23 +0200
Subject: [PATCH v2 1/5] kconfig: add short explanation to SYMBOL_WRITE
replace the question mark in the comment after SYMBOL_WRITE with an explanation
Signed-off-by: Martin Walch
---
scripts/kconfig/expr.h | 2 +-
1 file changed, 1
unused definition from scanner
No changes since the first version.
PATCH 5: kconfig: fix bug in search results string: use strlen(gstr->s), not
gstr->len
As I do not think it is worth to make this a separate patch, I appended
this fix for a bug that is only triggered by the search
From: Martin Walch
Date: Thu, 3 Oct 2013 17:28:14 +0200
Subject: [PATCH v2 2/5] kconfig: fix trivial typos and update mconf
documentation
This fixes lots of typos in comments and strings.
It also updates the documentation strings in mconf to reflect the changes in
the user interface from
From: Martin Walch
Date: Thu, 3 Oct 2013 18:33:47 +0200
Subject: [PATCH v2 4/5] kconfig: remove unused definition from scanner
The definition ws [ \n\t] is not used anywhere. Drop it to avoid confusion.
As it is a dead definition, any changes in the resulting code generated by
flex would
From: Martin Walch
Date: Thu, 3 Oct 2013 18:35:16 +0200
Subject: [PATCH v2 5/5] kconfig: fix bug in search results string: use
strlen(gstr->s), not gstr->len
The struct gstr has a capacity that may differ from the actual string length.
However, a string manipulation in the function searc
From: Martin Walch walch.mar...@web.de
Date: Thu, 3 Oct 2013 18:35:16 +0200
Subject: [PATCH v2 5/5] kconfig: fix bug in search results string: use
strlen(gstr-s), not gstr-len
The struct gstr has a capacity that may differ from the actual string length.
However, a string manipulation
From: Martin Walch walch.mar...@web.de
Date: Thu, 3 Oct 2013 17:28:14 +0200
Subject: [PATCH v2 2/5] kconfig: fix trivial typos and update mconf
documentation
This fixes lots of typos in comments and strings.
It also updates the documentation strings in mconf to reflect the changes in
the user
From: Martin Walch walch.mar...@web.de
Date: Thu, 3 Oct 2013 18:33:47 +0200
Subject: [PATCH v2 4/5] kconfig: remove unused definition from scanner
The definition ws [ \n\t] is not used anywhere. Drop it to avoid confusion.
As it is a dead definition, any changes in the resulting code generated
From: Martin Walch walch.mar...@web.de
Date: Thu, 3 Oct 2013 17:21:23 +0200
Subject: [PATCH v2 1/5] kconfig: add short explanation to SYMBOL_WRITE
replace the question mark in the comment after SYMBOL_WRITE with an explanation
Signed-off-by: Martin Walch walch.mar...@web.de
---
scripts/kconfig
No changes since the first version.
PATCH 5: kconfig: fix bug in search results string: use strlen(gstr-s), not
gstr-len
As I do not think it is worth to make this a separate patch, I appended
this fix for a bug that is only triggered by the search function of mconf.
Martin Walch (5):
kconfig
From: Martin Walch walch.mar...@web.de
Date: Thu, 3 Oct 2013 18:32:02 +0200
Subject: [PATCH v2 3/5] kconfig: adjust warning message for conflicting types
Each symbol must have exactly one type assigned. However, if a symbol happens
to have two different types assigned at runtime, a warning
n including the regenerated files in
this patch set.
Of course, if you see any benefit in regenerating the *_shipped files, I can
still do so.
Regards,
Martin Walch
--
--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majord...@v
On Wednesday 02 October 2013 16:42:27 David Rientjes wrote:
> The purpose of SYMBOL_WRITE is in sym_calc_value() where it is set if the
> config symbol is visible and settable by the user, which is why I
> suggested it be specified as being writable by the user.
Then this looks strange to me: a
> > diff --git a/scripts/kconfig/expr.h b/scripts/kconfig/expr.h
> > index df198a5..ba663e1 100644
> > --- a/scripts/kconfig/expr.h
> > +++ b/scripts/kconfig/expr.h
> > @@ -93,7 +93,7 @@ struct symbol {
> > #define SYMBOL_CHOICEVAL 0x0020 /* used as a value in a choice block */
> > #define
diff --git a/scripts/kconfig/expr.h b/scripts/kconfig/expr.h
index df198a5..ba663e1 100644
--- a/scripts/kconfig/expr.h
+++ b/scripts/kconfig/expr.h
@@ -93,7 +93,7 @@ struct symbol {
#define SYMBOL_CHOICEVAL 0x0020 /* used as a value in a choice block */
#define SYMBOL_VALID
On Wednesday 02 October 2013 16:42:27 David Rientjes wrote:
The purpose of SYMBOL_WRITE is in sym_calc_value() where it is set if the
config symbol is visible and settable by the user, which is why I
suggested it be specified as being writable by the user.
Then this looks strange to me: a
in
this patch set.
Of course, if you see any benefit in regenerating the *_shipped files, I can
still do so.
Regards,
Martin Walch
--
--
To unsubscribe from this list: send the line unsubscribe linux-kernel in
the body of a message to majord...@vger.kernel.org
More majordomo info at http://vger.kernel.org
From: Martin Walch
Date: Wed, 2 Oct 2013 06:58:46 +0200
Subject: [PATCH 4/4] kconfig: remove unused definition from scanner
The definition ws [ \n\t] is not used anywhere. Drop it to avoid confusion.
Signed-off-by: Martin Walch
---
scripts/kconfig/zconf.l | 1 -
1 file changed, 1 deletion
From: Martin Walch
Date: Wed, 2 Oct 2013 06:58:01 +0200
Subject: [PATCH 3/4] kconfig: adjust warning message for conflicting types
Adjust warning: a second symbol type does *not* replace the first one.
Signed-off-by: Martin Walch
---
scripts/kconfig/menu.c | 2 +-
1 file changed, 1 insertion
From: Martin Walch
Date: Wed, 2 Oct 2013 06:54:27 +0200
Subject: [PATCH 1/4] kconfig: add short explanation to SYMBOL_WRITE
replace the question mark in the comment after SYMBOL_WRITE with an explanation
Signed-off-by: Martin Walch
---
scripts/kconfig/expr.h | 2 +-
1 file changed, 1 insertion
Hello,
these are some simple fixes to correct minor things I came across while reading
the code.
Martin Walch (4):
kconfig: add short explanation to SYMBOL_WRITE
kconfig: trivial: fix typos in comments
kconfig: adjust warning message for conflicting types
kconfig: remove unused
From: Martin Walch
Date: Wed, 2 Oct 2013 06:56:45 +0200
Subject: [PATCH 2/4] kconfig: trivial: fix typos
inser() -> insert(), tell -> tells, peoperty -> property
Signed-off-by: Martin Walch
---
scripts/kconfig/mconf.c | 2 +-
scripts/kconfig/menu.c | 2 +-
scripts/kconfig/sym
Hello,
these are some simple fixes to correct minor things I came across while reading
the code.
Martin Walch (4):
kconfig: add short explanation to SYMBOL_WRITE
kconfig: trivial: fix typos in comments
kconfig: adjust warning message for conflicting types
kconfig: remove unused
From: Martin Walch walch.mar...@web.de
Date: Wed, 2 Oct 2013 06:56:45 +0200
Subject: [PATCH 2/4] kconfig: trivial: fix typos
inser() - insert(), tell - tells, peoperty - property
Signed-off-by: Martin Walch walch.mar...@web.de
---
scripts/kconfig/mconf.c | 2 +-
scripts/kconfig/menu.c | 2
From: Martin Walch walch.mar...@web.de
Date: Wed, 2 Oct 2013 06:54:27 +0200
Subject: [PATCH 1/4] kconfig: add short explanation to SYMBOL_WRITE
replace the question mark in the comment after SYMBOL_WRITE with an explanation
Signed-off-by: Martin Walch walch.mar...@web.de
---
scripts/kconfig
From: Martin Walch walch.mar...@web.de
Date: Wed, 2 Oct 2013 06:58:46 +0200
Subject: [PATCH 4/4] kconfig: remove unused definition from scanner
The definition ws [ \n\t] is not used anywhere. Drop it to avoid confusion.
Signed-off-by: Martin Walch walch.mar...@web.de
---
scripts/kconfig/zconf.l
From: Martin Walch walch.mar...@web.de
Date: Wed, 2 Oct 2013 06:58:01 +0200
Subject: [PATCH 3/4] kconfig: adjust warning message for conflicting types
Adjust warning: a second symbol type does *not* replace the first one.
Signed-off-by: Martin Walch walch.mar...@web.de
---
scripts/kconfig
On Wednesday 17 July 2013 01:18:00 Paul Bolle wrote:
> On Wed, 2013-07-17 at 00:34 +0200, Martin Walch wrote:
> > As I am working on yet another project for analyzing LKC's input files, I
> > have some intermediate results from simple syntactical checks.
>
> Naive question: L
On Wednesday 17 July 2013 01:18:00 Paul Bolle wrote:
On Wed, 2013-07-17 at 00:34 +0200, Martin Walch wrote:
As I am working on yet another project for analyzing LKC's input files, I
have some intermediate results from simple syntactical checks.
Naive question: LKC?
Sorry, I thought
As I am working on yet another project for analyzing LKC's input files, I have
some intermediate results from simple syntactical checks.
The results below are an excerpt from a run against tche current master. If
anyone is interested in the code (it's written in Java), please contact me. I
As I am working on yet another project for analyzing LKC's input files, I have
some intermediate results from simple syntactical checks.
The results below are an excerpt from a run against tche current master. If
anyone is interested in the code (it's written in Java), please contact me. I
underscore from
64_BIT in drivers/staging/zcache/Kconfig.
Regards
Martin Walch
--
signature.asc
Description: This is a digitally signed message part.
/zcache/Kconfig.
Regards
Martin Walch
--
signature.asc
Description: This is a digitally signed message part.
According to the documentation, at least FOO0 should exist, even if BAR0 is
set to n. But this is not the case. AFAICS, both versions behave equivalently.
I suggest changing the documentation accordingly.
Regards
Martin Walch
--
config FOO0
tristate "FOO0"
depends
. But this is not the case. AFAICS, both versions behave equivalently.
I suggest changing the documentation accordingly.
Regards
Martin Walch
--
config FOO0
tristate FOO0
depends on BAR0
config BAR0
tristate BAR0
config BAR1
tristate BAR1
if BAR1
config FOO1
tristate FOO1
78 matches
Mail list logo
