Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Make equivalence work with latest master | Miodrag Milanovic | 2019-10-17 | 1 | -3/+3 |
* | Split latches into separete tests | Miodrag Milanovic | 2019-10-17 | 1 | -8/+27 |
* | Use built-in async2sync call as per #1417 | Eddie Hung | 2019-10-17 | 1 | -4/+0 |
* | Add comment with expected behavior for latches,tribuf tests;Update adffs test | SergeyDegtyar | 2019-10-17 | 1 | -0/+1 |
* | Fix latches.ys test | SergeyDegtyar | 2019-10-17 | 1 | -4/+3 |
* | Add smoke tests to tests/xilinx | SergeyDegtyar | 2019-10-17 | 1 | -5/+12 |
* | Use equiv_opt -async2sync for xilinx | Eddie Hung | 2019-10-03 | 1 | -3/+1 |
* | Add latch test modified from #1363 | Eddie Hung | 2019-09-30 | 1 | -0/+15 |