riscv
/
alliance
mirror of https://gitlab.lip6.fr/vlsi-eda/alliance.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

A little bug in the CTL grammar

This commit is contained in:
Ludovic Jacomme 2002-08-05 12:54:06 +00:00
parent 858be31d7a
commit c17c4b6a21
1 changed files with 14 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

22
alliance/src/ctp/src/ctp_y.y
View File

@ -212,12 +212,12 @@
%token <valu> WHILE %token <valu> WHILE
%token <valu> WITH %token <valu> WITH
%left _AND _OR _NAND _NOR _XOR %left _AND _OR _NAND _NOR _XOR Imply Equiv
%left _EQSym _NESym _LTSym _LESym _GTSym _GESym %left _EQSym _NESym _LTSym _LESym _GTSym _GESym
%left Plus Minus Ampersand %left Plus Minus Ampersand
%left Star Slash MOD REM %left Star Slash MOD REM
%left DoubleStar %left DoubleStar
%right ABS _NOT %right ABS _NOT _AF _AG _AX _EF _EG _EX
%type <list> expression %type <list> expression
%type <list> relation..AND__relation.. %type <list> relation..AND__relation..
@ -1080,17 +1080,23 @@ relation.NAND_NOR_NXOR_relation.
{ {
$$ = ctp_crtvex (VEX_IFT,$1 ,$3 ,-1,-1); $$ = ctp_crtvex (VEX_IFT,$1 ,$3 ,-1,-1);
} }
| relation | _EU
_AU LeftParen
relation relation
Comma
relation
RightParen_ERR
{ {
$$ = ctp_crtvex (VEX_AU,$1 ,$3 ,-1,-1); $$ = ctp_crtvex (VEX_EU,$3 ,$5 ,-1,-1);
} }
| relation | _AU
_EU LeftParen
relation relation
Comma
relation
RightParen_ERR
{ {
$$ = ctp_crtvex (VEX_EU,$1 ,$3 ,-1,-1); $$ = ctp_crtvex (VEX_AU,$3 ,$5 ,-1,-1);
} }
; ;