Changed MiniSAT feater defines again
Added placeholder check to dfflibmap and cleaned up some other placeholder checks
Added DFFSR cell to techlibs/cmos/cmos_cells.lib
Various ast changes for early expression width detection (prep for constfold fixes)
Added roadmap to readme file
Behavior should be identical now to rev. 0b4a64ac6adbd6 (next: testing before constfold fixes)
Fixed detectSignWidthWorker (ast frontend) for AST_CONCAT
Merge branch 'master' of github.com:cliffordwolf/yosys
Write yosys version to output files
Added simple topological sort to edif backend