projects
/
yosys.git
/ shortlog
commit
grep
author
committer
pickaxe
?
search:
re
summary
| shortlog |
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
yosys.git
2019-10-17
Eddie Hung
Add -assert
commit
|
commitdiff
|
tree
2019-10-17
Eddie Hung
Use built-in async2sync call as per #1417
commit
|
commitdiff
|
tree
2019-10-17
Eddie Hung
Update mul test to DSP48E1
commit
|
commitdiff
|
tree
2019-10-17
Eddie Hung
Update area for div_mod
commit
|
commitdiff
|
tree
2019-10-17
Eddie Hung
Add comment for lack of tristate logic pointing to...
commit
|
commitdiff
|
tree
2019-10-17
Eddie Hung
Move $x to end as 7f0eec8
commit
|
commitdiff
|
tree
2019-10-17
SergeyDegtyar
adffs test update (equiv_opt -multiclock)
commit
|
commitdiff
|
tree
2019-10-17
Sergey
Fix div_mod test
commit
|
commitdiff
|
tree
2019-10-17
Sergey
Fix div_mod test
commit
|
commitdiff
|
tree
2019-10-17
Sergey
Fix div_mod test
commit
|
commitdiff
|
tree
2019-10-17
Sergey
Fix div_mod test
commit
|
commitdiff
|
tree
2019-10-17
Sergey
Fix div_mod test
commit
|
commitdiff
|
tree
2019-10-17
Sergey
Fix div_mod test
commit
|
commitdiff
|
tree
2019-10-17
SergeyDegtyar
Add comment with expected behavior for latches,tribuf...
commit
|
commitdiff
|
tree
2019-10-17
SergeyDegtyar
Fix latches.ys test
commit
|
commitdiff
|
tree
2019-10-17
SergeyDegtyar
Remove xilinx_ug901 tests (will be moved to yosys-tests)
commit
|
commitdiff
|
tree
2019-10-17
SergeyDegtyar
Add smoke tests to tests/xilinx
commit
|
commitdiff
|
tree
2019-10-17
SergeyDegtyar
Add comments for unproven cells.
commit
|
commitdiff
|
tree
2019-10-17
SergeyDegtyar
Add tests for Xilinx UG901 examples
commit
|
commitdiff
|
tree
2019-10-16
Clifford Wolf
Merge pull request #1450 from YosysHQ/clifford/fixdffmux
commit
|
commitdiff
|
tree
2019-10-16
Clifford Wolf
Fix dffmux peepopt init handling
commit
|
commitdiff
|
tree
2019-10-16
Clifford Wolf
Move GENERATE_PATTERN macro to separate utility header
commit
|
commitdiff
|
tree
2019-10-16
Clifford Wolf
Disable left-over log_debug in peepopt_dffmux.pmg
commit
|
commitdiff
|
tree
2019-10-16
Clifford Wolf
Fix parsing of .cname BLIF statements
commit
|
commitdiff
|
tree
2019-10-15
Clifford Wolf
Add .blackbox support to blif front-end
commit
|
commitdiff
|
tree
2019-10-14
Clifford Wolf
Merge pull request #1448 from YosysHQ/daveshah1-sv...
commit
|
commitdiff
|
tree
2019-10-14
David Shah
Merge pull request #1446 from YosysHQ/dave/ecp5-ioff
commit
|
commitdiff
|
tree
2019-10-14
Clifford Wolf
Use "(id)" instead of "id" for types as temporary hack
commit
|
commitdiff
|
tree
2019-10-11
David Shah
ecp5: Add ECLKBRIDGECS blackbox
commit
|
commitdiff
|
tree
2019-10-10
David Shah
ecp5: Add attrmvcp to copy syn_useioff to driving FF
commit
|
commitdiff
|
tree
2019-10-10
David Shah
ecp5: Set syn_useioff on IO FFs to enable packing
commit
|
commitdiff
|
tree
2019-10-10
Miodrag Milanović
Merge pull request #1445 from YosysHQ/mwk/xilinx_ibufg
commit
|
commitdiff
|
tree
2019-10-10
Marcin Kościelnicki
xilinx: Add simulation model for IBUFG.
commit
|
commitdiff
|
tree
2019-10-08
Eddie Hung
Revert "Add test that is expecting to fail"
commit
|
commitdiff
|
tree
2019-10-08
Eddie Hung
Revert "Be mindful that sigmap(wire) could have dupes...
commit
|
commitdiff
|
tree
2019-10-08
Eddie Hung
Merge pull request #1432 from YosysHQ/eddie/fix1427
commit
|
commitdiff
|
tree
2019-10-08
Eddie Hung
Merge pull request #1433 from YosysHQ/eddie/equiv_opt_a...
commit
|
commitdiff
|
tree
2019-10-08
Eddie Hung
Merge pull request #1437 from YosysHQ/eddie/abc_to_abc9
commit
|
commitdiff
|
tree
2019-10-08
Eddie Hung
Merge pull request #1438 from YosysHQ/eddie/xilinx_dsp_...
commit
|
commitdiff
|
tree
2019-10-06
Clifford Wolf
Merge pull request #1439 from YosysHQ/eddie/fix_ice40_w...
commit
|
commitdiff
|
tree
2019-10-05
Eddie Hung
Missing 'accept' at end of ice40_wrapcarry, spotted...
commit
|
commitdiff
|
tree
2019-10-05
Clifford Wolf
Update README.md
commit
|
commitdiff
|
tree
2019-10-05
Eddie Hung
Missed this
commit
|
commitdiff
|
tree
2019-10-05
Eddie Hung
Add comment on why we have to match for clock-enable...
commit
|
commitdiff
|
tree
2019-10-05
Eddie Hung
Add note on pattern detector
commit
|
commitdiff
|
tree
2019-10-05
Miodrag Milanović
Merge pull request #1436 from YosysHQ/mmicko/msvc_fix
commit
|
commitdiff
|
tree
2019-10-05
Eddie Hung
Add comment on why partial multipliers are 18x18
commit
|
commitdiff
|
tree
2019-10-05
Eddie Hung
Add comments for xilinx_dsp_cascade
commit
|
commitdiff
|
tree
2019-10-05
Eddie Hung
Improve comments for xilinx_dsp_CREG
commit
|
commitdiff
|
tree
2019-10-05
Eddie Hung
Fix comment
commit
|
commitdiff
|
tree
2019-10-05
Eddie Hung
Restore optimisation for sigM.empty()
commit
|
commitdiff
|
tree
2019-10-05
Eddie Hung
Retry on fixing TODOs
commit
|
commitdiff
|
tree
2019-10-05
Eddie Hung
Revert "Fix TODOs"
commit
|
commitdiff
|
tree
2019-10-05
Eddie Hung
More comments, cleanup
commit
|
commitdiff
|
tree
2019-10-05
Eddie Hung
Fix TODOs
commit
|
commitdiff
|
tree
2019-10-05
Eddie Hung
Consistency
commit
|
commitdiff
|
tree
2019-10-05
Eddie Hung
Add comments for xilinx_dsp
commit
|
commitdiff
|
tree
2019-10-05
Eddie Hung
Fix typo in check_label()
commit
|
commitdiff
|
tree
2019-10-05
Eddie Hung
Merge branch 'master' into eddie/abc_to_abc9
commit
|
commitdiff
|
tree
2019-10-05
Eddie Hung
Add temporary `abc9 -nomfs` and use for `synth_xilinx...
commit
|
commitdiff
|
tree
2019-10-05
Eddie Hung
Remove DSP48E1 from *_cells_xtra.v
commit
|
commitdiff
|
tree
2019-10-04
Eddie Hung
Fix xilinx_dsp for unsigned extensions
commit
|
commitdiff
|
tree
2019-10-04
Eddie Hung
Fix for SigSpec() == SigSpec(State::Sx, 0) to be true...
commit
|
commitdiff
|
tree
2019-10-04
Eddie Hung
Add Const::{begin,end,empty}()
commit
|
commitdiff
|
tree
2019-10-04
Eddie Hung
Rename abc_* names/attributes to more precisely be...
commit
|
commitdiff
|
tree
2019-10-04
Eddie Hung
Panic over. Model was elsewhere. Re-arrange for consistency
commit
|
commitdiff
|
tree
2019-10-04
Eddie Hung
Oops
commit
|
commitdiff
|
tree
2019-10-04
Eddie Hung
Ohmilord this wasn't added all this time!?!
commit
|
commitdiff
|
tree
2019-10-04
Eddie Hung
Add -async2sync to help text as per @daveshah1
commit
|
commitdiff
|
tree
2019-10-04
Miodrag Milanovic
Fixes for MSVC build
commit
|
commitdiff
|
tree
2019-10-03
Eddie Hung
Use `sat -tempinduct` and comments for why equiv_opt...
commit
|
commitdiff
|
tree
2019-10-03
Eddie Hung
Restore part of doc
commit
|
commitdiff
|
tree
2019-10-03
Eddie Hung
Disable equiv check for ice40 latches
commit
|
commitdiff
|
tree
2019-10-03
Eddie Hung
Add new -async2sync option
commit
|
commitdiff
|
tree
2019-10-03
Eddie Hung
Use equiv_opt -async2sync for xilinx
commit
|
commitdiff
|
tree
2019-10-03
Eddie Hung
Revert "equiv_opt to call async2sync when not -multiclo...
commit
|
commitdiff
|
tree
2019-10-03
Eddie Hung
Revert "Update doc for equiv_opt"
commit
|
commitdiff
|
tree
2019-10-03
Clifford Wolf
Change smtbmc "Warmup failed" status to "PREUNSAT"
commit
|
commitdiff
|
tree
2019-10-03
Clifford Wolf
Update ABC to git rev 623b5e8
commit
|
commitdiff
|
tree
2019-10-03
Clifford Wolf
Bump version
commit
|
commitdiff
|
tree
2019-10-03
Clifford Wolf
Merge pull request #1419 from YosysHQ/eddie/lazy_derive
commit
|
commitdiff
|
tree
2019-10-03
Clifford Wolf
Merge pull request #1422 from YosysHQ/eddie/aigmap_select
commit
|
commitdiff
|
tree
2019-10-03
Clifford Wolf
Merge pull request #1429 from YosysHQ/clifford/checkmapped
commit
|
commitdiff
|
tree
2019-10-03
Clifford Wolf
Add "check -allow-tbuf"
commit
|
commitdiff
|
tree
2019-10-03
David Shah
frontends/ast: code style
commit
|
commitdiff
|
tree
2019-10-03
David Shah
sv: Improve tests
commit
|
commitdiff
|
tree
2019-10-03
David Shah
sv: Fix typedefs in blocks
commit
|
commitdiff
|
tree
2019-10-03
David Shah
sv: Disambiguate interface ports
commit
|
commitdiff
|
tree
2019-10-03
David Shah
Update CHANGELOG and README
commit
|
commitdiff
|
tree
2019-10-03
David Shah
sv: Add test scripts for typedefs
commit
|
commitdiff
|
tree
2019-10-03
David Shah
sv: Fix memories of typedefs
commit
|
commitdiff
|
tree
2019-10-03
David Shah
sv: Add %expect
commit
|
commitdiff
|
tree
2019-10-03
David Shah
sv: Add support for memories of a typedef
commit
|
commitdiff
|
tree
2019-10-03
David Shah
sv: Add support for memory typedefs
commit
|
commitdiff
|
tree
2019-10-03
David Shah
sv: Fix typedefs in packages
commit
|
commitdiff
|
tree
2019-10-03
David Shah
sv: Fix typedef parameters
commit
|
commitdiff
|
tree
2019-10-03
David Shah
sv: Switch parser to glr, prep for typedef
commit
|
commitdiff
|
tree
2019-10-03
David Shah
Merge pull request #1425 from YosysHQ/dave/ecp5_pdp16
commit
|
commitdiff
|
tree
2019-10-03
Eddie Hung
Fix broken CI, check reset even for constants, trim...
commit
|
commitdiff
|
tree
2019-10-03
Eddie Hung
Merge pull request #1423 from YosysHQ/eddie/techmap_rep...
commit
|
commitdiff
|
tree
next