aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
...
| | * | | | | | | | | | | | | | Fix TODOsEddie Hung2019-10-042-20/+0
| | * | | | | | | | | | | | | | ConsistencyEddie Hung2019-10-041-3/+3
| | * | | | | | | | | | | | | | Add comments for xilinx_dspEddie Hung2019-10-043-6/+134
| * | | | | | | | | | | | | | | Merge pull request #1439 from YosysHQ/eddie/fix_ice40_wrapcarryClifford Wolf2019-10-062-0/+26
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \
| | * | | | | | | | | | | | | | | Missing 'accept' at end of ice40_wrapcarry, spotted by @cliffordwolfEddie Hung2019-10-052-0/+26
| | |/ / / / / / / / / / / / / /
| * | | | | | | | | | | | | | | Update README.mdClifford Wolf2019-10-051-1/+1
| * | | | | | | | | | | | | | | Merge pull request #1436 from YosysHQ/mmicko/msvc_fixMiodrag Milanović2019-10-052-2/+7
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | | |/ / / / / / / / / / / / / / | |/| | | | | | | | | | | | | |
| | * | | | | | | | | | | | | | Fixes for MSVC buildMiodrag Milanovic2019-10-042-2/+7
| | | |_|_|_|_|_|_|/ / / / / / | | |/| | | | | | | | | | | |
| * | | | | | | | | | | | | | Fix typo in check_label()Eddie Hung2019-10-041-1/+1
| | |_|/ / / / / / / / / / / | |/| | | | | | | | | | | |
* | | | | | | | | | | | | | CleanupEddie Hung2019-10-071-7/+2
* | | | | | | | | | | | | | Rename $currQ to $abc9_currQEddie Hung2019-10-072-54/+54
* | | | | | | | | | | | | | Use "abc9_period" attribute for delay targetEddie Hung2019-10-071-3/+24
* | | | | | | | | | | | | | Get rid of latch_* in write_xaigerEddie Hung2019-10-071-7/+1
* | | | | | | | | | | | | | Update comments in abc9_map.vEddie Hung2019-10-071-131/+57
* | | | | | | | | | | | | | Remove -D_ABC9Eddie Hung2019-10-071-2/+0
* | | | | | | | | | | | | | Remove "write_xaiger -zinit"Eddie Hung2019-10-071-16/+6
* | | | | | | | | | | | | | Add comment on default flop initEddie Hung2019-10-071-0/+1
* | | | | | | | | | | | | | Get rid of output_port lookupEddie Hung2019-10-071-14/+8
* | | | | | | | | | | | | | Do not require changes to cells_sim.v; try and work out comb modelEddie Hung2019-10-056-308/+276
* | | | | | | | | | | | | | Error if $currQ not foundEddie Hung2019-10-051-0/+4
* | | | | | | | | | | | | | abc -> abc9Eddie Hung2019-10-041-3/+3
* | | | | | | | | | | | | | Fix from mergeEddie Hung2019-10-041-1/+1
* | | | | | | | | | | | | | Merge remote-tracking branch 'origin/master' into xaig_dffEddie Hung2019-10-048-184/+33
|\| | | | | | | | | | | | |
| * | | | | | | | | | | | | Add temporary `abc9 -nomfs` and use for `synth_xilinx -abc9`Eddie Hung2019-10-042-5/+19
| * | | | | | | | | | | | | Remove DSP48E1 from *_cells_xtra.vEddie Hung2019-10-043-178/+2
| * | | | | | | | | | | | | Fix xilinx_dsp for unsigned extensionsEddie Hung2019-10-041-1/+3
| * | | | | | | | | | | | | Fix for SigSpec() == SigSpec(State::Sx, 0) to be true againEddie Hung2019-10-041-0/+6
| * | | | | | | | | | | | | Add Const::{begin,end,empty}()Eddie Hung2019-10-041-0/+3
* | | | | | | | | | | | | | Use read_args for read_verilogEddie Hung2019-10-041-3/+6
* | | | | | | | | | | | | | Fix merge issuesEddie Hung2019-10-046-21/+14
* | | | | | | | | | | | | | Merge remote-tracking branch 'origin/eddie/abc_to_abc9' into xaig_dffEddie Hung2019-10-0434-361/+376
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ | | |_|/ / / / / / / / / / / | |/| | | | | | | | | | | |
| * | | | | | | | | | | | | Rename abc_* names/attributes to more precisely be abc9_*Eddie Hung2019-10-0434-305/+313
| |/ / / / / / / / / / / /
| * | | | | | | | | | | | Panic over. Model was elsewhere. Re-arrange for consistencyEddie Hung2019-10-045-31/+4
| * | | | | | | | | | | | OopsEddie Hung2019-10-041-1/+1
| * | | | | | | | | | | | Ohmilord this wasn't added all this time!?!Eddie Hung2019-10-041-0/+29
| |/ / / / / / / / / / /
* | | | | | | | | | | | Merge remote-tracking branch 'origin/master' into xaig_dffEddie Hung2019-10-0320-86/+374
|\| | | | | | | | | | |
| * | | | | | | | | | | Change smtbmc "Warmup failed" status to "PREUNSAT"Clifford Wolf2019-10-031-14/+14
| * | | | | | | | | | | Update ABC to git rev 623b5e8Clifford Wolf2019-10-031-1/+1
| * | | | | | | | | | | Bump versionClifford Wolf2019-10-031-1/+1
| * | | | | | | | | | | Merge pull request #1419 from YosysHQ/eddie/lazy_deriveClifford Wolf2019-10-032-35/+59
| |\ \ \ \ \ \ \ \ \ \ \
| | * | | | | | | | | | | Fix for svinterfacesEddie Hung2019-09-301-2/+8
| | * | | | | | | | | | | module->derive() to be lazy and not touch ast if already derivedEddie Hung2019-09-302-33/+51
| | | |_|_|/ / / / / / / | | |/| | | | | | | | |
| * | | | | | | | | | | Merge pull request #1422 from YosysHQ/eddie/aigmap_selectClifford Wolf2019-10-032-6/+50
| |\ \ \ \ \ \ \ \ \ \ \
| | * | | | | | | | | | | Add quick testEddie Hung2019-09-301-0/+10
| | * | | | | | | | | | | Add -select option to aigmapEddie Hung2019-09-301-6/+40
| | | |_|_|_|_|/ / / / / | | |/| | | | | | | | |
| * | | | | | | | | | | Merge pull request #1429 from YosysHQ/clifford/checkmappedClifford Wolf2019-10-032-27/+56
| |\ \ \ \ \ \ \ \ \ \ \ | | |_|_|_|_|/ / / / / / | |/| | | | | | | | | |
| | * | | | | | | | | | Add "check -allow-tbuf"Clifford Wolf2019-10-031-8/+22
| | * | | | | | | | | | Add "check -mapped"Clifford Wolf2019-10-022-21/+36
| * | | | | | | | | | | Merge pull request #1425 from YosysHQ/dave/ecp5_pdp16David Shah2019-10-036-2/+184
| |\ \ \ \ \ \ \ \ \ \ \
| | * | | | | | | | | | | ecp5: Fix shuffle_enable portDavid Shah2019-10-011-2/+2
generated by cgit v1.2.3 (git 2.25.1) at 2025-04-21 22:50:00 +0000