projects
/
yosys.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Remove old BTOR back-end
[yosys.git]
/
passes
/
2017-11-09
dh73
Merge https://github.com/cliffordwolf/yosys
tree
|
commitdiff
2017-11-08
Clifford Wolf
Add support for editline as replacement for readline
tree
|
commitdiff
2017-10-31
Clifford Wolf
Add "ltp" command
tree
|
commitdiff
2017-10-26
Clifford Wolf
Fix memory corruption bug in opt_rmdff
tree
|
commitdiff
2017-10-26
Clifford Wolf
Fix typo in opt_clean log message
tree
|
commitdiff
2017-10-14
Clifford Wolf
Revert 90be0d8 as it causes endless loops for some...
tree
|
commitdiff
2017-10-12
Clifford Wolf
Merge pull request #434 from Kmanfi/vector_fix
tree
|
commitdiff
2017-10-12
Kaj Tuomi
Fix input vector for reduce cells.
tree
|
commitdiff
2017-10-10
Clifford Wolf
Merge branch 'master' of github.com:cliffordwolf/yosys
tree
|
commitdiff
2017-10-10
Clifford Wolf
Rewrite ABC output to include proper net names in timin...
tree
|
commitdiff
2017-10-04
Clifford Wolf
Add blackbox command
tree
|
commitdiff
2017-09-16
Clifford Wolf
Merge pull request #413 from azonenberg/extract-reduce...
tree
|
commitdiff
2017-09-16
Andrew Zonenberg
Added missing "break"
tree
|
commitdiff
2017-09-15
Andrew Zonenberg
Implemented off-chain support for extract_reduce
tree
|
commitdiff
2017-09-15
Andrew Zonenberg
extract_reduce now only removes the head of the chain...
tree
|
commitdiff
2017-09-15
Clifford Wolf
Merge branch 'master' of github.com:cliffordwolf/yosys
tree
|
commitdiff
2017-09-14
Clifford Wolf
Merge pull request #412 from azonenberg/reduce-fixes
tree
|
commitdiff
2017-09-14
Robert Ou
extract_reduce: Fix segfault on "undriven" inputs
tree
|
commitdiff
2017-09-14
Clifford Wolf
Merge pull request #411 from azonenberg/counter-extract...
tree
|
commitdiff
2017-09-14
Clifford Wolf
Merge pull request #410 from azonenberg/opt_demorgan
tree
|
commitdiff
2017-09-14
Andrew Zonenberg
Minor changes to opt_demorgan requested during code...
tree
|
commitdiff
2017-09-14
Andrew Zonenberg
Fixed bug where counter extraction on non-GreenPAK...
tree
|
commitdiff
2017-09-14
Andrew Zonenberg
Added support for inferring counters with reset to...
tree
|
commitdiff
2017-09-14
Andrew Zonenberg
Added RESET_TO_MAX parameter to $__COUNT_ cell. Cannot...
tree
|
commitdiff
2017-09-14
Andrew Zonenberg
Added support for inferring counters with active-low...
tree
|
commitdiff
2017-09-14
Andrew Zonenberg
Initial support for extraction of counters with clock...
tree
|
commitdiff
2017-09-14
Andrew Zonenberg
Fixed typo in comment. Fixed bug where extract_counter...
tree
|
commitdiff
2017-09-13
Andrew Zonenberg
Initial version of opt_demorgan is functioning for...
tree
|
commitdiff
2017-09-09
Clifford Wolf
Add src attribute to extra cells generated by proc_dlatch
tree
|
commitdiff
2017-09-02
Clifford Wolf
Further improve extract_fa (but still buggy)
tree
|
commitdiff
2017-09-01
Clifford Wolf
Merge branch 'master' of github.com:cliffordwolf/yosys
tree
|
commitdiff
2017-09-01
Clifford Wolf
Merge branch 'ChipScan-master'
tree
|
commitdiff
2017-09-01
Clifford Wolf
Update more stuff to use get_src_attribute() and set_sr...
tree
|
commitdiff
2017-08-31
Jason Lowdermilk
updated to use get_src_attribute() and set_src_attribute().
tree
|
commitdiff
2017-08-31
Clifford Wolf
Merge pull request #399 from azonenberg/counter-extraction
tree
|
commitdiff
2017-08-31
Andrew Zonenberg
Merge branch 'counter-extraction' of github.com:azonenb...
tree
|
commitdiff
2017-08-31
Andrew Zonenberg
extract_counter: Added optimizations to remove unused...
tree
|
commitdiff
2017-08-30
Andrew Zonenberg
Merge branch 'master' of https://github.com/cliffordwol...
tree
|
commitdiff
2017-08-30
Andrew Zonenberg
extract_counter: Minor changes requested to comply...
tree
|
commitdiff
2017-08-30
Jason Lowdermilk
Merge remote-tracking branch 'upstream/master'
tree
|
commitdiff
2017-08-29
Jason Lowdermilk
Add support for source line tracking through synthesis...
tree
|
commitdiff
2017-08-29
Andrew Zonenberg
Finished refactoring counter extraction to be nice...
tree
|
commitdiff
2017-08-29
Andrew Zonenberg
Refactored extract_counter to be generic vs GreenPAK...
tree
|
commitdiff
2017-08-29
Andrew Zonenberg
Refactoring: Renamed greenpak4_counters pass to extract...
tree
|
commitdiff
2017-08-28
Clifford Wolf
Merge branch 'azonenberg-recover-reduce'
tree
|
commitdiff
2017-08-28
Clifford Wolf
Rename recover_reduce to extract_reduce, fix args handling
tree
|
commitdiff
2017-08-28
Clifford Wolf
Merge branch 'recover-reduce' of https://github.com...
tree
|
commitdiff
2017-08-28
Clifford Wolf
Further improve extract_fa pass
tree
|
commitdiff
2017-08-27
Robert Ou
recover_reduce: Update documentation
tree
|
commitdiff
2017-08-27
Robert Ou
recover_reduce: Reindent using tabs
tree
|
commitdiff
2017-08-27
Robert Ou
recover_reduce: Rename recover_reduce_core to recover_r...
tree
|
commitdiff
2017-08-27
Robert Ou
recover_reduce: Add driver script for the $reduce_...
tree
|
commitdiff
2017-08-27
Robert Ou
recover_reduce_core: Finish implementing the core function
tree
|
commitdiff
2017-08-27
Robert Ou
recover_reduce_core: Initial commit
tree
|
commitdiff
2017-08-25
Clifford Wolf
Don't track , ... contradictions through x/z-bits
tree
|
commitdiff
2017-08-25
Clifford Wolf
Add removing of redundant pairs of bits in ==, ===...
tree
|
commitdiff
2017-08-25
Clifford Wolf
Merge branch 'extract_fa'
tree
|
commitdiff
2017-08-25
Clifford Wolf
Further improve extract_fa (seems to be fully functiona...
tree
|
commitdiff
2017-08-25
Clifford Wolf
Rename "adders" to "extract_fa"
tree
|
commitdiff
2017-08-23
Clifford Wolf
Towards more generic "adder" function extractor
tree
|
commitdiff
2017-08-22
Clifford Wolf
Add experimental adders pass
tree
|
commitdiff
2017-08-21
Clifford Wolf
Remove some dead code from fsm_map
tree
|
commitdiff
2017-08-20
Clifford Wolf
Rename "singleton" pass to "uniquify"
tree
|
commitdiff
2017-08-18
Clifford Wolf
More intuitive handling of "cd .." for singleton modules
tree
|
commitdiff
2017-08-18
Clifford Wolf
Add "sim -zinit -rstlen"
tree
|
commitdiff
2017-08-18
Clifford Wolf
Merge branch 'sim'
tree
|
commitdiff
2017-08-18
Clifford Wolf
Add "sim" support for memories
tree
|
commitdiff
2017-08-18
Clifford Wolf
Add support for assert/assume/cover to "sim" command
tree
|
commitdiff
2017-08-17
Clifford Wolf
Add writeback mode to "sim" command
tree
|
commitdiff
2017-08-17
Clifford Wolf
Improve "sim" command
tree
|
commitdiff
2017-08-16
Clifford Wolf
Add "sim" command skeleton
tree
|
commitdiff
2017-08-15
Clifford Wolf
Merge branch 'azonenberg-rmports'
tree
|
commitdiff
2017-08-15
Clifford Wolf
Mostly coding style related fixes in rmports pass
tree
|
commitdiff
2017-08-15
Clifford Wolf
Merge branch 'rmports' of https://github.com/azonenberg...
tree
|
commitdiff
2017-08-14
Clifford Wolf
Merge pull request #381 from azonenberg/countfix
tree
|
commitdiff
2017-08-14
Clifford Wolf
Merge pull request #383 from azonenberg/abcfnames
tree
|
commitdiff
2017-08-14
Robert Ou
abc: Allow +/ filenames in the abc command
tree
|
commitdiff
2017-08-14
Andrew Zonenberg
rmports: Now remove ports from cell instances if we...
tree
|
commitdiff
2017-08-14
Andrew Zonenberg
ProcessModule is no longer virtual (why was it in the...
tree
|
commitdiff
2017-08-14
Andrew Zonenberg
rmports now works on all modules in the design, not...
tree
|
commitdiff
2017-08-14
Andrew Zonenberg
Updated Makefile to reflect opt_rmports being renamed...
tree
|
commitdiff
2017-08-14
Andrew Zonenberg
Renamed opt_rmports pass to rmports
tree
|
commitdiff
2017-08-14
Andrew Zonenberg
Improved handling of constant connections in opt_rmports
tree
|
commitdiff
2017-08-14
Andrew Zonenberg
Fixed handling of cell ports that aren't wires
tree
|
commitdiff
2017-08-14
Andrew Zonenberg
opt_rmports: Fixed incorrect handling of multi-bit...
tree
|
commitdiff
2017-08-14
Andrew Zonenberg
Removed commented out debug code
tree
|
commitdiff
2017-08-14
Andrew Zonenberg
Added opt_rmports pass (remove unconnected ports from...
tree
|
commitdiff
2017-08-09
Clifford Wolf
Add support for set-reset cell variants to opt_rmdff
tree
|
commitdiff
2017-08-06
Clifford Wolf
Add handling of constant reset signals to opt_rmdff
tree
|
commitdiff
2017-07-29
Clifford Wolf
Fix typo in "abc" pass help message
tree
|
commitdiff
2017-07-28
Clifford Wolf
Add consolidation of init attributes to opt_clean,...
tree
|
commitdiff
2017-07-26
Clifford Wolf
Add "opt_expr -fine" feature to remove neutral bits...
tree
|
commitdiff
2017-07-22
Clifford Wolf
Add error for cell output ports that are connected...
tree
|
commitdiff
2017-07-21
Clifford Wolf
Fix handling of empty cell port assignments (i.e. ignor...
tree
|
commitdiff
2017-07-14
Clifford Wolf
Add $alu to list of supported cells for "stat -width"
tree
|
commitdiff
2017-07-03
Clifford Wolf
Merge pull request #352 from rqou/master
tree
|
commitdiff
2017-07-03
Clifford Wolf
Merge pull request #356 from set-soft/clean-test
tree
|
commitdiff
2017-07-03
Clifford Wolf
Merge pull request #355 from set-soft/exclude_TBUF_merge
tree
|
commitdiff
2017-07-03
Salvador E. Tropea
Excluded $_TBUF_ from opt_merge pass
tree
|
commitdiff
2017-07-01
Clifford Wolf
Fix and_or_buffer optimization in opt_expr for signed...
tree
|
commitdiff
next