URL
https://opencores.org/ocsvn/wb2axip/wb2axip/trunk
Subversion Repositories wb2axip
[/] [wb2axip/] [trunk/] [bench/] [formal/] - Rev 11
Directory listing | View Log | Compare with Previous | RSS feed
Last modification
- Rev 11, 2017-11-30 13:10:39 GMT
- Author: dgisselq
- Log message:
- Updated the bench/formal properties
SVN will now ignore the build files associated with this directory: *.smt2,
*.yslog, *.vcd