tree 9cdc0a26a98880fd9f0f90e21db269d074901471
parent 9fd2ddb14c0f7c40f6ed01a5db61cb6b327d877f
parent 84f978bdc20494167a6a2c5f654b96c4f565a5e0
author Eddie Hung <eddie@fpgeh.com> 1570557224 -0700
committer GitHub <noreply@github.com> 1570557224 -0700
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsBcBAABCAAQBQJdnM0oCRBK7hj4Ov3rIwAAdHIIABU9bhVNQTo/JM71/amHFerU
 K/nmgYAK4X20wu5u7lWoT7c5nPmvDjhJ5zSv8kCIRgcIKXwgdtAb89pLjdJEl1KO
 xFF8JIfU3LWscQa236YYGqyXFwKgHjvYzgWcd1RZYEPNA/f0ENR9FM7b1qYec67q
 QsQbqCPBfBJ7hWw9+1edayj15HPd7pN7ksNp+DZLY/0wKOiAFdmIyrntdf6Nxaai
 2/N/q/wSTHvAlzUVzCIZ/4+kJ8Fs4Tmhq5wyuEK8dXSZd1j8rz0xzKa374CKJIqN
 Kl68mZQ7vjA4MPgrvI8+LyFEQv+PgyXSoa7aaIZl+ykcLBBlEkifxipUERZPn9I=
 =GpF1
 -----END PGP SIGNATURE-----
 

Merge pull request #1433 from YosysHQ/eddie/equiv_opt_async2sync

async2sync to be called by equiv_opt only when -async2sync given