Merge pull request #946 from YosysHQ/clifford/specify

Add specify parser

diff --cc frontends/ilang/ilang_parser.y
Simple merge

diff --cc frontends/verilog/verilog_parser.y
index 46b3a90251c175a85738564ae64fd21e409f8983,4914b2c182576e1d993a8859116bb58c1ed5c380..d23009e60f41dd32fd5a28b39b5175a7be22d8e7
--- 1/frontends/verilog/verilog_parser.y
--- 2/frontends/verilog/verilog_parser.y
+++ b/frontends/verilog/verilog_parser.y
@@@ -94,9 -94,23 +94,23 @@@ static void free_attr(std::map<std::str
        delete al;
  }
  
+ struct specify_target {
+       char polarity_op;
+       AstNode *dst, *dat;
+ };
+ 
+ struct specify_triple {
+       AstNode *t_min, *t_avg, *t_max;
+ };
+ 
+ struct specify_rise_fall {
+       specify_triple rise;
+       specify_triple fall;
+ };
+ 
  %}
  
 -%name-prefix "frontend_verilog_yy"
 +%define api.prefix {frontend_verilog_yy}
  
  %union {
        std::string *string;

diff --cc passes/opt/opt_clean.cc
Simple merge