|
|
@@ -7759,7 +7759,6 @@ operators to include
|
|
|
\newcommand{\LifASTPython}{
|
|
|
\begin{array}{lcl}
|
|
|
\itm{boolop} &::=& \code{And()} \MID \code{Or()} \\
|
|
|
-%\itm{unaryop} &::=& \code{Not()} \\
|
|
|
\itm{cmp} &::= & \code{Eq()} \MID \code{NotEq()} \MID \code{Lt()} \MID \code{LtE()} \MID \code{Gt()} \MID \code{GtE()} \\
|
|
|
\itm{bool} &::=& \code{True} \MID \code{False} \\
|
|
|
\Exp &::=& \BOOL{\itm{bool}}
|
|
|
@@ -23754,7 +23753,7 @@ registers.
|
|
|
% LocalWords: Brelaz eu Gebremedhin Omari deletekeywords min JGS wb
|
|
|
% LocalWords: morekeywords fullflexible goto allocator tuples Wailes
|
|
|
% LocalWords: Kernighan runtime Freiburg Thiemann Bloomington unary
|
|
|
-% LocalWords: eq prog rcl definitional Evaluator os
|
|
|
+% LocalWords: eq prog rcl definitional Evaluator os Earley's mul
|
|
|
% LocalWords: subexpression evaluator InterpLint lcl quadwords concl
|
|
|
% LocalWords: nanopass subexpressions decompositions Lawall Hatcliff
|
|
|
% LocalWords: subdirectory monadic Moggi mon utils macosx unix repr
|
Jeremy G. Siek