projects / yosys.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
proc_prune: promote assigns to module connections when legal.
2019-06-27 Bogdan VukobratovicAdd help for "-sat" option inside opt_rmdff. "opt"...
commit | commitdiff | tree
2019-06-27 Bogdan VukobratovicFix memory leak when one of multiple DFF cells is removed...
commit | commitdiff | tree
2019-06-27 Bogdan VukobratovicMerge remote-tracking branch 'upstream/master'
 commit | commitdiff | tree
2019-06-14 Bogdan VukobratovicMove netlist helper module to passes/opt for the time...
commit | commitdiff | tree
2019-06-14 Bogdan VukobratovicMerge remote-tracking branch 'upstream/master'
 commit | commitdiff | tree
2019-06-14 Bogdan VukobratovicPrepare for situation when port of the signal cannot...
commit | commitdiff | tree
2019-06-14 Bogdan VukobratovicSome cleanup, revert sat.cc
 commit | commitdiff | tree
2019-06-13 Bogdan VukobratovicImplement disconnection of constant register bits
 commit | commitdiff | tree
2019-06-13 Bogdan VukobratovicPass SigBit by value to Netlist algorithms
 commit | commitdiff | tree
2019-06-12 Bogdan VukobratovicRename satgen_algo.h -> algo.h, code cleanup and refactoring
 commit | commitdiff | tree
2019-06-11 Bogdan VukobratovicGenerate satgen instance instead of calling sat pass
 commit | commitdiff | tree
2019-06-10 Bogdan VukobratovicRefactor driver map generation
 commit | commitdiff | tree
2019-05-28 Bogdan VukobratovicFix the regression
 commit | commitdiff | tree
2019-05-28 Bogdan VukobratovicMerge remote-tracking branch 'upstream/master'
 commit | commitdiff | tree
2019-05-28 Bogdan VukobratovicOptimizing DFFs whose initial value prevents their...
commit | commitdiff | tree