aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
...
| * | | | | Merge pull request #1308 from jakobwenzel/real_paramsClifford Wolf2019-08-201-1/+4
| |\ \ \ \ \
| | * | | | | handle real values when deriving ast modulesJakob Wenzel2019-08-191-1/+4
| * | | | | | Merge pull request #1309 from whitequark/proc_clean-fix-1268whitequark2019-08-206-2/+37
| |\ \ \ \ \ \ | | |_|_|_|_|/ | |/| | | | |
| | * | | | | proc_clean: fix order of switch insertion.whitequark2019-08-196-2/+37
| | |/ / / /
| | | * | | Merge branch 'master' of github.com:YosysHQ/yosys into clifford/pmgenClifford Wolf2019-08-19110-2078/+3173
| | | |\ \ \
| | | * | | | Add test for pmtest_test "reduce" demo patternClifford Wolf2019-08-171-0/+21
| | | * | | | Refactor pmgen rollback mechanismClifford Wolf2019-08-171-32/+21
| | | * | | | Improvements in "test_pmgen -generate"Clifford Wolf2019-08-171-3/+23
| | | * | | | Add pmgen "fallthrough" statementClifford Wolf2019-08-172-3/+17
| | | * | | | Add help() callEddie Hung2019-08-161-0/+1
| | | * | | | Minor bugfix in "test_pmgen -generate"Clifford Wolf2019-08-161-1/+1
| | | * | | | Add pmgen finish statement, return number of matchesClifford Wolf2019-08-164-82/+116
| | | * | | | Redesign pmgen backtracking for recursive matchingClifford Wolf2019-08-162-33/+38
| | | * | | | Add pmgen "generate" featureClifford Wolf2019-08-163-13/+208
| | | * | | | Refactor demo_reduce into test_pmgenClifford Wolf2019-08-164-14/+83
| | | * | | | Add doc for pmgen semioptional statement, Add pmgen changes to CHANGELOGClifford Wolf2019-08-152-0/+4
| | | * | | | Update pmgen documentationClifford Wolf2019-08-151-4/+58
| | | * | | | Change pmgen default rule to reject, switch peepopt behavior to acceptClifford Wolf2019-08-155-7/+5
| | | * | | | Add demo_reduce pass to demonstrace recursive pattern matchingClifford Wolf2019-08-154-0/+187
| | | * | | | Improvements in pmgen for recursive patternsClifford Wolf2019-08-155-26/+137
* | | | | | | Merge remote-tracking branch 'origin/master' into xaig_dffEddie Hung2019-08-1912-71/+81
|\| | | | | |
| * | | | | | Fix typoEddie Hung2019-08-191-1/+1
| * | | | | | Fix typoEddie Hung2019-08-191-1/+1
| * | | | | | ID({A,B,Y}) -> ID::{A,B,Y} for opt_share.ccEddie Hung2019-08-191-30/+30
| |/ / / / /
| * | | | | Merge pull request #1306 from mmicko/gitignore_fixClifford Wolf2019-08-191-2/+1
| |\ \ \ \ \
| | * | | | | Ignore all generated headers for pmgen passMiodrag Milanovic2019-08-181-2/+1
| * | | | | | Add *.sv to tests/simple_abc9/.gitignoreClifford Wolf2019-08-191-0/+1
| | |_|/ / / | |/| | | |
| * | | | | Merge pull request #1305 from YosysHQ/clifford/testfastClifford Wolf2019-08-198-38/+48
| |\ \ \ \ \ | | |/ / / / | |/| | | |
| | * | | | Merge remote-tracking branch 'origin/master' into clifford/testfastEddie Hung2019-08-1891-1110/+2215
| | |\ \ \ \ | | |/ / / / | |/| | | |
| | * | | | Removal of more `stat` calls from testsEddie Hung2019-08-183-26/+26
| | * | | | Speed up "make test" and related cleanupsClifford Wolf2019-08-176-12/+22
* | | | | | Add arrival times for SRL outputsEddie Hung2019-08-191-3/+5
* | | | | | Output i/o/h extensions even if no boxes or flopsEddie Hung2019-08-191-65/+66
* | | | | | Add BRAM arrival timesEddie Hung2019-08-191-8/+10
* | | | | | Remove debugEddie Hung2019-08-191-1/+1
* | | | | | Add reference to source of Tclktoq timingEddie Hung2019-08-191-0/+2
* | | | | | Add (* abc_arrival *) attributeEddie Hung2019-08-192-10/+67
* | | | | | Add 'abc_arrival' attribute for flop outputsEddie Hung2019-08-191-6/+6
* | | | | | Update box timingsEddie Hung2019-08-191-6/+9
* | | | | | Move from cell attr to module attrEddie Hung2019-08-192-36/+70
* | | | | | Merge remote-tracking branch 'origin/master' into xaig_dffEddie Hung2019-08-1992-1125/+2220
|\| | | | |
| * | | | | Merge pull request #1290 from YosysHQ/eddie/pr1266_againwhitequark2019-08-1820-180/+180
| |\ \ \ \ \
| | * \ \ \ \ Merge branch 'master' into eddie/pr1266_againwhitequark2019-08-1890-3441/+4565
| | |\ \ \ \ \ | | |/ / / / / | |/| | | | |
| * | | | | | Merge pull request #1283 from YosysHQ/clifford/fix1255Clifford Wolf2019-08-176-17/+15
| |\ \ \ \ \ \
| | * | | | | | Fix erroneous ifndef-NDEBUG in verific.ccClifford Wolf2019-08-171-3/+1
| | * | | | | | Remove unused variableEddie Hung2019-08-161-5/+0
| | * | | | | | Merge branch 'master' into clifford/fix1255Clifford Wolf2019-08-1528-2328/+2510
| | |\ \ \ \ \ \
| | * | | | | | | Fix various NDEBUG compiler warnings, closes #1255Clifford Wolf2019-08-136-13/+18
| * | | | | | | | Merge pull request #1303 from YosysHQ/bogdanvuk/opt_shareClifford Wolf2019-08-1728-1/+1108
| |\ \ \ \ \ \ \ \
| | * | | | | | | | Use ID() macroEddie Hung2019-08-161-118/+110