projects / yosys.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Add $allconst and $allseq cell types
[yosys.git] / backends /
2018-02-20 Clifford WolfAdd support for mockup clock signals in yosys-smtbmc... tree | commitdiff
2018-02-08 Clifford WolfFix handling of zero-length cell connections in SMT2... tree | commitdiff
2018-02-03 Clifford WolfMerge branch 'master' of github.com:cliffordwolf/yosys tree | commitdiff
2018-02-03 Clifford WolfMerge pull request #488 from azonenberg/for_clifford tree | commitdiff
2018-02-03 Clifford WolfFixed gcc 7.2 "statement will never be executed" warning tree | commitdiff
2018-01-29 Clifford WolfFix smtio.py for large SMT2 S-expressions tree | commitdiff
2018-01-18 Clifford WolfMove user-provided smt2 info stmts to the top of the... tree | commitdiff
2017-12-24 Clifford WolfAdd "no driver for signal bit" error msg to btor back-end tree | commitdiff
2017-12-17 Clifford WolfSimple fix BTOR memory encoding tree | commitdiff
2017-12-17 Clifford WolfImprove BTOR memory encoding tree | commitdiff
2017-12-15 Clifford WolfMerge branch 'btor-ng' tree | commitdiff
2017-12-15 Clifford WolfAdd array support to btor back-end tree | commitdiff
2017-12-14 Clifford WolfAdd $anyconst/$anyseq support to btor back-end tree | commitdiff
2017-12-14 Clifford WolfMerge branch 'master' into btor-ng tree | commitdiff
2017-12-14 Clifford WolfAdd yosys-smtbmc VCD writer support for memories with... tree | commitdiff
2017-12-14 Clifford WolfMerge branch 'master' into btor-ng tree | commitdiff
2017-12-14 Clifford WolfAdd smt2 back-end support for async write memories tree | commitdiff
2017-12-12 Clifford WolfAdd "write_btor -s" mode tree | commitdiff
2017-12-12 Clifford WolfAdd state initval handling to btor back-end tree | commitdiff
2017-12-12 Clifford WolfAdd btor back-end support for 'x' constants tree | commitdiff
2017-12-11 Clifford WolfAdd btor $shift/$shiftx support tree | commitdiff
2017-12-10 Clifford WolfFix btor back-end shift handling tree | commitdiff
2017-12-10 Clifford WolfAdd support for $pmux in btor back-end tree | commitdiff
2017-12-10 Clifford WolfAdd support for more cell types to btor back-end tree | commitdiff
2017-12-10 Clifford WolfMerge branch 'master' into btor-ng tree | commitdiff
2017-12-09 Clifford WolfFix btor concat tree | commitdiff
2017-12-09 Clifford WolfMerge branch 'master' into btor-ng tree | commitdiff
2017-12-01 Clifford WolfMerge branch 'master' into btor-ng tree | commitdiff
2017-11-28 Clifford WolfMerge pull request #462 from daveshah1/up5k tree | commitdiff
2017-11-27 Clifford WolfMerge branch 'master' into btor-ng tree | commitdiff
2017-11-27 Clifford WolfFixed "yosys-smtbmc -g" handling of no solution tree | commitdiff
2017-11-27 Clifford WolfFixed "yosys-smtbmc -g" handling of no solution tree | commitdiff
2017-11-24 Clifford WolfMerge branch 'master' into btor-ng tree | commitdiff
2017-11-24 Clifford WolfBugfixes in new BTOR back-end tree | commitdiff
2017-11-24 Clifford WolfMerge pull request #446 from mithro/travis-rework tree | commitdiff
2017-11-23 Clifford WolfProgress in new BTOR back-end tree | commitdiff
2017-11-23 Clifford WolfProgress in new BTOR back-end tree | commitdiff
2017-11-23 Clifford WolfProgress in new BTOR back-end tree | commitdiff
2017-11-23 Clifford WolfMerge branch 'master' into btor-ng tree | commitdiff
2017-11-23 Clifford WolfProgress with new BTOR backend tree | commitdiff
2017-11-23 Clifford WolfAdd skeleton for new BTOR back-end tree | commitdiff
2017-11-23 Clifford WolfRemove old BTOR back-end tree | commitdiff
2017-11-09 dh73Merge https://github.com/cliffordwolf/yosys tree | commitdiff
2017-10-29 Clifford WolfFix SMT2 handling of initstate in sub-modules tree | commitdiff
2017-10-25 Clifford WolfImprove smtio performance by using reader thread, not... tree | commitdiff
2017-10-25 Clifford WolfUse separate writer thread for talking to SMT solver... tree | commitdiff
2017-10-25 Clifford WolfImprove p_* functions in smtio.py tree | commitdiff
2017-10-25 Clifford WolfCapsulate smt-solver read/write in separate functions tree | commitdiff
2017-10-25 Clifford WolfFix a bug in yosys-smtbmc in ROM handling tree | commitdiff
2017-10-10 Clifford WolfMerge branch 'master' of github.com:cliffordwolf/yosys tree | commitdiff
2017-10-07 Clifford WolfAdd $shiftx support to verilog front-end tree | commitdiff
2017-10-03 Clifford WolfMerge branch 'pr_ast_const_funcs' of https://github... tree | commitdiff
2017-10-03 Clifford WolfMerge branch 'fix_shift_reduce_conflict' of https:... tree | commitdiff
2017-10-03 Clifford WolfMerge branch 'dh73-master' tree | commitdiff
2017-10-03 Clifford WolfRename "write_verilog -nobasenradix" to "write_verilog... tree | commitdiff
2017-10-01 dh73Fixed wrong declaration in Verilog backend tree | commitdiff
2017-10-01 dh73Adding Cyclone IV (E, GX), Arria 10, Cyclone V and... tree | commitdiff
2017-08-25 Clifford WolfMerge branch 'extract_fa' tree | commitdiff
2017-08-25 Clifford WolfFix bug in write_smt2 (export logic driving hierarchica... tree | commitdiff
2017-08-04 Clifford WolfAdd "yosys-smtbmc --smtc-init --smtc-top --noinit" tree | commitdiff
2017-07-21 Clifford WolfAdd verilator support to testbenches generated by yosys... tree | commitdiff
2017-07-12 Clifford WolfGenerate FSM-style testbenches in smtbmc tree | commitdiff
2017-07-11 Clifford WolfFix the fixed handling of x-bits in EDIF back-end tree | commitdiff
2017-07-11 Clifford WolfFix handling of x-bits in EDIF back-end tree | commitdiff
2017-07-10 Clifford WolfAdd attributes and parameter support to JSON front-end tree | commitdiff
2017-07-07 Clifford WolfChange s/asserts/assertions/ in yosys-smtbmc log messages tree | commitdiff
2017-07-07 Clifford WolfAdd "yosys-smtbmc --presat" tree | commitdiff
2017-07-05 Clifford WolfFix generation of multiple outputs for same AIG node... tree | commitdiff
2017-07-05 Clifford WolfAdd write_table command tree | commitdiff
2017-07-03 Clifford WolfMerge pull request #352 from rqou/master tree | commitdiff
2017-07-03 Clifford WolfRemove unneeded delays in smtbmc vlogtb tree | commitdiff
2017-07-03 Clifford WolfInclude output ports with constant driver in AIGER... tree | commitdiff
2017-07-01 Clifford WolfAdd "yosys-smtbmc --vlogtb-top" tree | commitdiff
2017-07-01 Clifford WolfFix smtbmc vlogtb bug in $anyseq handling tree | commitdiff
2017-06-07 Clifford WolfFix generation of vlogtb output in yosys-smtbmc for... tree | commitdiff
2017-05-30 Clifford WolfFix AIGER back-end for multiple symbols per input/latch... tree | commitdiff
2017-05-28 Clifford WolfImprove write_aiger handling of unconnected nets and... tree | commitdiff
2017-05-27 Clifford WolfChange default smt2 solver to yices (Yices 2 has switch... tree | commitdiff
2017-05-23 Clifford WolfMerge branch 'master' of github.com:cliffordwolf/yosys tree | commitdiff
2017-05-17 Clifford WolfAdd workaround for CBMC bug to SimpleC back-end tree | commitdiff
2017-05-17 Clifford WolfAdd $_ANDNOT_ and $_ORNOT_ gates tree | commitdiff
2017-05-16 Clifford WolfAdd <modname>_init() function generator to simpleC... tree | commitdiff
2017-05-16 Clifford WolfImprove simplec back-end tree | commitdiff
2017-05-15 Clifford WolfImprove simplec back-end tree | commitdiff
2017-05-14 Clifford WolfImprove simplec back-end tree | commitdiff
2017-05-13 Clifford WolfImprove simplec back-end tree | commitdiff
2017-05-12 Clifford WolfImprove simplec back-end tree | commitdiff
2017-05-12 Clifford WolfAdded support for more gate types to simplec back-end tree | commitdiff
2017-05-12 Clifford WolfAdd first draft of simple C back-end tree | commitdiff
2017-05-08 Clifford WolfFix boolector support in yosys-smtbmc tree | commitdiff
2017-03-20 Clifford WolfAdd "write_smt2 -stdt" mode tree | commitdiff
2017-03-19 Clifford WolfAdd generation of logic cells to EDIF back-end runtest.py tree | commitdiff
2017-03-19 Clifford WolfFix EDIF: portRef member 0 is always the MSB bit tree | commitdiff
2017-03-18 Clifford WolfAdd simple EDIF test case generator and checker tree | commitdiff
2017-03-04 Clifford WolfImprove smt2 encodings of assert/assume/cover, better... tree | commitdiff
2017-03-02 Clifford WolfAdd write_aiger $anyseq support tree | commitdiff
2017-02-28 Clifford WolfUse hex addresses in smtbmc vcd mem traces tree | commitdiff
2017-02-26 Clifford WolfAdd smtbmc support for memory vcd dumping tree | commitdiff
2017-02-26 Clifford WolfFix extra newline bug in write_smt2 tree | commitdiff
2017-02-26 Clifford WolfFix bug in smtio unroll code tree | commitdiff
next