aboutsummaryrefslogtreecommitdiffstats
path: root/backends
Commit message (Expand)AuthorAgeFilesLines
* RTLIL::S{0,1} -> State::S{0,1}Eddie Hung2019-08-074-12/+12
* Merge remote-tracking branch 'origin/master' into eddie/cleanupEddie Hung2019-08-072-106/+240
|\
| * Merge pull request #1240 from ucb-bar/firrtl-properties+pow+xnorClifford Wolf2019-08-071-93/+203
| |\
| | * Support explicit FIRRTL properties for better accommodation of FIRRTL/Verilog...Jim Lawson2019-07-311-93/+203
| * | Merge pull request #1241 from YosysHQ/clifford/jsonfixDavid Shah2019-08-071-13/+37
| |\ \
| | * | Implement improved JSON attr/param encodingClifford Wolf2019-08-011-13/+37
| | |/
* | | Use IdString::begins_with()Eddie Hung2019-08-061-2/+2
* | | RTLIL::S{0,1} -> State::S{0,1}Eddie Hung2019-08-061-5/+5
* | | Use State::S{0,1}Eddie Hung2019-08-063-6/+6
* | | Make liberal use of IdString.in()Eddie Hung2019-08-062-2/+2
|/ /
* | Add $_NMUX_, add "abc -g cmos", add proper cmos cell costsClifford Wolf2019-08-066-3/+40
* | Merge pull request #1238 from mmicko/vsbuild_fixClifford Wolf2019-08-021-1/+1
|\ \
| * | Visual Studio build fixMiodrag Milanovic2019-07-311-1/+1
| |/
* / Fix formatting for msys2 mingw build using GetSizeMiodrag Milanovic2019-08-011-6/+6
|/
* Merge pull request #1203 from whitequark/write_verilog-zero-width-valuesClifford Wolf2019-07-181-1/+2
|\
| * write_verilog: dump zero width constants correctly.whitequark2019-07-161-1/+2
* | Remove old $pmux_safe code from write_verilogClifford Wolf2019-07-171-5/+4
|/
* smt: handle failure of setrlimit syscallN. Engelhardt2019-07-151-1/+5
* Merge pull request #1172 from whitequark/write_verilog-Sa-as-qmarkClifford Wolf2019-07-111-2/+8
|\
| * write_verilog: write RTLIL::Sa aka - as Verilog ?.whitequark2019-07-091-2/+8
* | Merge pull request #1175 from whitequark/write_verilog-fix-case-attr-positionClifford Wolf2019-07-091-3/+2
|\ \
| * | write_verilog: fix placement of case attributes. NFC.whitequark2019-07-091-3/+2
| |/
* | Merge pull request #1170 from YosysHQ/eddie/fix_double_underscoreEddie Hung2019-07-091-4/+6
|\ \ | |/ |/|
| * Rename __builtin_bswap32 -> bswap32Eddie Hung2019-07-091-4/+6
* | verilog_backend: dump attributes on SwitchRule.whitequark2019-07-081-0/+1
* | verilog_backend: dump attributes on CaseRule, as comments.whitequark2019-07-081-6/+10
* | Allow attributes on individual switch cases in RTLIL.whitequark2019-07-081-0/+5
|/
* write_xaiger to treat unknown cell connections as keep-sEddie Hung2019-07-021-6/+14
* Add generic __builtin_bswap32 functionEddie Hung2019-06-281-0/+15
* Also fix write_aiger for UBEddie Hung2019-06-281-26/+26
* Fix more potential for undefined behaviour due to container invalidationEddie Hung2019-06-281-6/+10
* Refactor for one "abc_carry" attribute on moduleEddie Hung2019-06-271-42/+40
* Merge origin/masterEddie Hung2019-06-272-4/+31
* Improve debugging message for comb loopsEddie Hung2019-06-261-4/+6
* Merge remote-tracking branch 'origin/master' into xaigEddie Hung2019-06-241-0/+4
|\
| * Fix json formattingMiodrag Milanovic2019-06-211-1/+1
| * Add upto and offset to JSON portsMiodrag Milanovic2019-06-211-0/+4
* | Carry in/out box ordering now move to end, not swap with endEddie Hung2019-06-221-26/+34
* | Merge remote-tracking branch 'origin/master' into xaigEddie Hung2019-06-211-0/+4
|\|
| * Added JSON upto and offsetClifford Wolf2019-06-211-0/+4
| * Fix gcc invalidation behaviour for write_aigerEddie Hung2019-06-201-1/+2
* | Replace assert with error messageEddie Hung2019-06-211-1/+2
* | Add log_push()/log_pop() inside write_xaigerEddie Hung2019-06-211-0/+4
* | One more workaround for gcc-4.8Eddie Hung2019-06-211-3/+4
* | No point logging constant bitEddie Hung2019-06-211-1/+1
* | Move commentEddie Hung2019-06-211-2/+3
* | Fix spacingEddie Hung2019-06-201-1/+1
* | Refactor bit2aig for less lookupsEddie Hung2019-06-201-24/+27
* | Fix gcc invalidation behaviour for write_aigerEddie Hung2019-06-201-1/+2
* | Fix gcc error, due to dict invalidation during recursionEddie Hung2019-06-201-2/+3