Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | verilog_backend: dump attributes on SwitchRule. | whitequark | 2019-07-08 | 1 | -0/+1 |
| | | | | This appears to be an omission. | ||||
* | proc_mux: consider \src attribute on CaseRule. | whitequark | 2019-07-08 | 1 | -10/+16 |
| | |||||
* | verilog_backend: dump attributes on CaseRule, as comments. | whitequark | 2019-07-08 | 1 | -6/+10 |
| | | | | Attributes are not permitted in that position by Verilog grammar. | ||||
* | genrtlil: emit \src attribute on CaseRule. | whitequark | 2019-07-08 | 1 | -0/+1 |
| | |||||
* | Allow attributes on individual switch cases in RTLIL. | whitequark | 2019-07-08 | 3 | -5/+15 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | The parser changes are slightly awkward. Consider the following IL: process $0 <point 1> switch \foo <point 2> case 1'1 assign \bar \baz <point 3> ... case end end Before this commit, attributes are valid in <point 1>, and <point 3> iff it is immediately followed by a `switch`. (They are essentially attached to the switch.) But, after this commit, and because switch cases do not have an ending delimiter, <point 3> becomes ambiguous: the attribute could attach to either the following `case`, or to the following `switch`. This isn't expressible in LALR(1) and results in a reduce/reduce conflict. To address this, attributes inside processes are now valid anywhere inside the process: in <point 1> and <point 3> a part of case body, and in <point 2> as a separate rule. As a consequence, attributes can now precede `assign`s, which is made illegal in the same way it is illegal to attach attributes to `connect`. Attributes are tracked separately from the parser state, so this does not affect collection of attributes at all, other than allowing them on `case`s. The grammar change serves purely to allow attributes in more syntactic places. | ||||
* | Merge pull request #1159 from btut/fix/1090_segfault_cell_and_wire | Clifford Wolf | 2019-07-05 | 1 | -0/+3 |
|\ | | | | | Throw runtime exception when trying to convert inexistend C++ object to Python | ||||
| * | Throw runtime exception when trying to convert a c++-pointer to a | Benedikt Tutzer | 2019-07-04 | 1 | -0/+3 |
|/ | | | | | | python-object in case the pointer is a nullptr to avoid a segfault. Fixes #1090 | ||||
* | Merge pull request #1156 from YosysHQ/eddie/fix_abc9_unknown_cell | Eddie Hung | 2019-07-03 | 3 | -6/+28 |
|\ | | | | | write_xaiger to treat unknown cell connections as keep-s | ||||
| * | write_xaiger to treat unknown cell connections as keep-s | Eddie Hung | 2019-07-02 | 1 | -6/+14 |
| | | |||||
| * | Add test | Eddie Hung | 2019-07-02 | 2 | -0/+14 |
| | | |||||
* | | Merge pull request #1147 from YosysHQ/clifford/fix1144 | Clifford Wolf | 2019-07-03 | 3 | -82/+26 |
|\ \ | | | | | | | Improve specify dummy parser | ||||
| * | | Fix tests/various/specify.v | Clifford Wolf | 2019-07-03 | 2 | -8/+3 |
| | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
| * | | Some cleanups in "ignore specify parser" | Clifford Wolf | 2019-07-03 | 2 | -80/+6 |
| | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
| * | | Comment out invalid syntax | Eddie Hung | 2019-06-30 | 1 | -2/+2 |
| | | | |||||
| * | | Add test from #1144, and try reading without '-specify' flag | Eddie Hung | 2019-06-28 | 2 | -0/+16 |
| | | | |||||
| * | | Improve specify dummy parser, fixes #1144 | Clifford Wolf | 2019-06-28 | 1 | -2/+9 |
| | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
* | | | Merge pull request #1154 from whitequark/manual-sync-always | Clifford Wolf | 2019-07-03 | 1 | -2/+3 |
|\ \ \ | | | | | | | | | manual: explain the purpose of `sync always` | ||||
| * | | | manual: explain the purpose of `sync always`. | whitequark | 2019-07-02 | 1 | -2/+3 |
| | |/ | |/| | |||||
* | | | Merge pull request #1150 from YosysHQ/eddie/script_from_wire | Eddie Hung | 2019-07-02 | 3 | -8/+60 |
|\ \ \ | |/ / |/| | | Add "script -select [selection]" to allow commands to be taken from wires | ||||
| * | | Update test for Pass::call_on_module() | Eddie Hung | 2019-07-02 | 1 | -1/+1 |
| | | | |||||
| * | | Use Pass::call_on_module() as per @cliffordwolf comments | Eddie Hung | 2019-07-02 | 1 | -1/+1 |
| | | | |||||
| * | | Update test too | Eddie Hung | 2019-07-02 | 1 | -2/+2 |
| | | | |||||
| * | | script -select -> script -scriptwire | Eddie Hung | 2019-07-02 | 2 | -6/+6 |
| | | | |||||
| * | | Space | Eddie Hung | 2019-07-01 | 1 | -0/+1 |
| | | | |||||
| * | | Move CHANGELOG entry from yosys-0.8 to 0.9 | Eddie Hung | 2019-07-01 | 1 | -7/+1 |
| | | | |||||
| * | | Merge branch 'master' into eddie/script_from_wire | Eddie Hung | 2019-07-01 | 4 | -5/+15 |
| |\ \ | |||||
| * \ \ | Merge branch 'master' into eddie/script_from_wire | Eddie Hung | 2019-06-28 | 1 | -1/+1 |
| |\ \ \ | |||||
| * | | | | Try command in another module | Eddie Hung | 2019-06-28 | 1 | -0/+3 |
| | | | | | |||||
| * | | | | Add to CHANGELOG | Eddie Hung | 2019-06-28 | 1 | -0/+6 |
| | | | | | |||||
| * | | | | Support ability for "script -select" to take commands from wires | Eddie Hung | 2019-06-28 | 1 | -8/+39 |
| | | | | | |||||
| * | | | | Add test | Eddie Hung | 2019-06-28 | 1 | -0/+17 |
| | | | | | |||||
* | | | | | Merge pull request #1153 from YosysHQ/dave/fix_multi_mux | David Shah | 2019-07-02 | 3 | -3/+25 |
|\ \ \ \ \ | | | | | | | | | | | | | memory_dff: Fix checking of feedback mux input when more than one mux | ||||
| * | | | | | memory_dff: Fix checking of feedback mux input when more than one mux | David Shah | 2019-07-02 | 3 | -3/+25 |
|/ / / / / | | | | | | | | | | | | | | | | Signed-off-by: David Shah <dave@ds0.me> | ||||
* | | / / | Fix read_verilog assert/assume/etc on default case label, fixes ↵ | Clifford Wolf | 2019-07-02 | 1 | -0/+2 |
| |_|/ / |/| | | | | | | | | | | | | | | | | | | | YosysHQ/SymbiYosys#53 Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
* | | | | Move abc9 from yosys-0.8 to yosys-0.9 in CHANGELOG | Eddie Hung | 2019-07-01 | 1 | -5/+11 |
| | | | | |||||
* | | | | Merge branch 'master' of github.com:YosysHQ/yosys | Eddie Hung | 2019-07-01 | 3 | -0/+4 |
|\ \ \ \ | |_|/ / |/| | | | |||||
| * | | | install *_nowide.lut files | Eddie Hung | 2019-06-29 | 2 | -0/+3 |
| | | | | |||||
| * | | | Merge pull request #1149 from gsomlo/gls-1098-abcext-fixup | Eddie Hung | 2019-06-28 | 1 | -0/+1 |
| |\ \ \ | | |/ / | |/| | | Make abc9 pass aware of optional ABCEXTERNAL override | ||||
| | * | | Make abc9 pass aware of optional ABCEXTERNAL override | Gabriel L. Somlo | 2019-06-28 | 1 | -0/+1 |
| | | | | | | | | | | | | | | | | Signed-off-by: Gabriel Somlo <gsomlo@gmail.com> | ||||
* | | | | autotest.sh to define _AUTOTB when test_autotb | Eddie Hung | 2019-06-28 | 1 | -1/+1 |
|/ / / | |||||
* | | | Replace log_assert() with meaningful log_error() | Eddie Hung | 2019-06-28 | 1 | -1/+5 |
| | | | |||||
* | | | Remove peepopt call in synth_xilinx since already in synth -run coarse | Eddie Hung | 2019-06-28 | 1 | -5/+0 |
|/ / | |||||
* | | Add missing CHANGELOG entries | Eddie Hung | 2019-06-28 | 1 | -0/+3 |
| | | |||||
* | | Fix spacing | Eddie Hung | 2019-06-28 | 1 | -2/+2 |
| | | |||||
* | | Merge pull request #1098 from YosysHQ/xaig | Eddie Hung | 2019-06-28 | 45 | -247/+3642 |
|\ \ | | | | | | | "abc9" pass for timing-aware techmapping (experimental, FPGA only, no FFs) | ||||
| * | | Add generic __builtin_bswap32 function | Eddie Hung | 2019-06-28 | 1 | -0/+15 |
| | | | |||||
| * | | Also fix write_aiger for UB | Eddie Hung | 2019-06-28 | 1 | -26/+26 |
| | | | |||||
| * | | Fix more potential for undefined behaviour due to container invalidation | Eddie Hung | 2019-06-28 | 1 | -6/+10 |
| | | | |||||
| * | | Update synth_ice40 -device doc to be relevant for -abc9 only | Eddie Hung | 2019-06-28 | 1 | -2/+2 |
| | | | |||||
| * | | Disable boxing of ECP5 dist RAM due to regression | Eddie Hung | 2019-06-28 | 1 | -1/+1 |
| | | |