aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
...
| | * | | | | | | | | | | | | | | | | | | | | | | Merge remote-tracking branch 'origin/master' into xaig_dffEddie Hung2019-07-0192-848/+3030
| | |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
| | * \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ Merge branch 'xaig' into xaig_dffEddie Hung2019-06-171-5/+5
| | |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
| | * | | | | | | | | | | | | | | | | | | | | | | | | Add box delays for FD*Eddie Hung2019-06-171-10/+10
| | * | | | | | | | | | | | | | | | | | | | | | | | | CleanupEddie Hung2019-06-171-3/+3
| | * | | | | | | | | | | | | | | | | | | | | | | | | Merge branch 'xaig' into xaig_dffEddie Hung2019-06-171-1/+1
| | |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
| | * \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ Merge branch 'xaig' into xaig_dffEddie Hung2019-06-171-3/+4
| | |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
| | * \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ Merge branch 'xaig' into xaig_dffEddie Hung2019-06-173-25/+37
| | |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
| | * \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ Merge remote-tracking branch 'origin/xaig' into xaig_dffEddie Hung2019-06-172-2/+3
| | |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
| | * | | | | | | | | | | | | | | | | | | | | | | | | | | | | CleanupEddie Hung2019-06-165-73/+59
| | * | | | | | | | | | | | | | | | | | | | | | | | | | | | | Merge branch 'xaig' into xaig_dffEddie Hung2019-06-160-0/+0
| | |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
| | * | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Cleanup write_xaigerEddie Hung2019-06-151-15/+10
| | * | | | | | | | | | | | | | | | | | | | | | | | | | | | | | CleanupEddie Hung2019-06-151-40/+7
| | * | | | | | | | | | | | | | | | | | | | | | | | | | | | | | abc9 to recover_init by defaultEddie Hung2019-06-151-11/+6
| | * | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Read init from outputsEddie Hung2019-06-151-0/+4
| | * | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Add +/xilinx/abc_ffEddie Hung2019-06-151-0/+33
| | * | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Preserve init of flops, and write into XAIGEddie Hung2019-06-151-5/+30
| | * | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Do not treat $__ABC_FF_ as a user cellEddie Hung2019-06-152-30/+15
| | * | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Fix spacingEddie Hung2019-06-151-1/+1
| | * | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Update commentEddie Hung2019-06-151-1/+1
| | * | | | | | | | | | | | | | | | | | | | | | | | | | | | | | CleanupEddie Hung2019-06-151-10/+7
| | * | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Use $__ABC_FF_ instead of $_FF_Eddie Hung2019-06-153-17/+33
| | * | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Fix debug messageEddie Hung2019-06-151-0/+1
| | * | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Fix log_debug messagesEddie Hung2019-06-151-17/+23
| | * | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Re-order alphabeticallyEddie Hung2019-06-151-1/+1
| | * | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Fix initialisation of flopsEddie Hung2019-06-153-14/+15
| | * | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Update commentEddie Hung2019-06-151-1/+1
| | * | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Map to $_FF_ instead of $_DFF_P_ to prevent recursion issuesEddie Hung2019-06-153-15/+15
| | * | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Missing close bracketEddie Hung2019-06-151-1/+1
| | * | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Wrap FDRE with $__ABC_FDRE containing combEddie Hung2019-06-154-12/+29
| | * | | | | | | | | | | | | | | | | | | | | | | | | | | | | | For now, short $_DFF_[NP]_ from ff_map.v at re-integrationEddie Hung2019-06-151-0/+8
| | * | | | | | | | | | | | | | | | | | | | | | | | | | | | | | read_aiger to not require clk_name for latches, plus debugEddie Hung2019-06-151-21/+37
| | * | | | | | | | | | | | | | | | | | | | | | | | | | | | | | write_xaiger to treat abc_flop boxes as boxff for ABCEddie Hung2019-06-151-122/+105
| * | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Bump versionClifford Wolf2019-09-051-1/+1
| * | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Merge pull request #1350 from YosysHQ/clifford/fixsby59Clifford Wolf2019-09-051-7/+18
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
| | * | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Properly construct $live and $fair cells from "if (...) assume/assert (s_even...Clifford Wolf2019-09-021-7/+18
| | | |_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|/ / | | |/| | | | | | | | | | | | | | | | | | | | | | | | | | | | |
| * | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Merge pull request #1330 from YosysHQ/clifford/fix1145Clifford Wolf2019-09-052-8/+40
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
| | * | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Update README.mdClifford Wolf2019-09-051-1/+2
| | * | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Rename conflicting wires on flatten/techmap, add "hierconn" attribute, fixes ...Clifford Wolf2019-09-052-8/+27
| | * | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Add flatten handling of pre-existing wires as created by interfaces, fixes #1145Clifford Wolf2019-09-051-8/+20
| |/ / / / / / / / / / / / / / / / / / / / / / / / / / / / / / /
| * | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Merge pull request #1356 from emilazy/fix-makefile-shellwhitequark2019-09-051-3/+3
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | | |_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|/ | |/| | | | | | | | | | | | | | | | | | | | | | | | | | | | | |
| | * | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Use $(shell :; ...) in Makefile to force shellEmily2019-09-051-3/+3
| |/ / / / / / / / / / / / / / / / / / / / / / / / / / / / / /
* / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / Add missing -assert to equiv_optEddie Hung2019-09-061-7/+7
|/ / / / / / / / / / / / / / / / / / / / / / / / / / / / / /
* | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Merge pull request #1354 from emilazy/remove-which-usewhitequark2019-09-041-3/+3
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
| * | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Replace `which` with `command -v` in Makefile tooEmily2019-09-041-3/+3
* | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Merge pull request #1338 from YosysHQ/eddie/deferred_topEddie Hung2019-09-043-0/+58
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
| * | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Adopt @cliffordwolf's suggestionEddie Hung2019-09-031-10/+3
| * | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Expand test with `hierarchy' without -auto-topEddie Hung2019-09-031-0/+7
| * | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Add `read -noverific` before readEddie Hung2019-09-031-0/+1
| * | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Merge remote-tracking branch 'origin/master' into eddie/deferred_topEddie Hung2019-09-0372-415/+1857
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | |/ / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / |/| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | |
* | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Merge pull request #1351 from emilazy/remove-which-useClifford Wolf2019-09-032-2/+2
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | | |/ / / / / / / / / / / / / / / / / / / / / / / / / / / / / / | |/| / / / / / / / / / / / / / / / / / / / / / / / / / / / / / | |_|/ / / / / / / / / / / / / / / / / / / / / / / / / / / / / |/| | | | | | | | | | | | | | | | | | | | | | | | | | | | | |