aboutsummaryrefslogtreecommitdiffstats
path: root/frontends
Commit message (Expand)AuthorAgeFilesLines
* Merge pull request #1308 from jakobwenzel/real_paramsClifford Wolf2019-08-201-1/+4
|\
| * handle real values when deriving ast modulesJakob Wenzel2019-08-191-1/+4
* | Fix typoEddie Hung2019-08-191-1/+1
|/
* Merge branch 'master' into eddie/pr1266_againwhitequark2019-08-184-15/+12
|\
| * Merge pull request #1283 from YosysHQ/clifford/fix1255Clifford Wolf2019-08-172-13/+10
| |\
| | * Fix erroneous ifndef-NDEBUG in verific.ccClifford Wolf2019-08-171-3/+1
| | * Remove unused variableEddie Hung2019-08-161-5/+0
| | * Fix various NDEBUG compiler warnings, closes #1255Clifford Wolf2019-08-132-9/+13
| * | Change signature of parse_blif to take IdStringEddie Hung2019-08-152-2/+2
| |/
* / Revert "Merge pull request #1280 from YosysHQ/revert-1266-eddie/ice40_full_ad...Eddie Hung2019-08-121-1/+1
|/
* Revert "Wrap SB_LUT+SB_CARRY into $__ICE40_CARRY_WRAPPER"David Shah2019-08-101-1/+1
* Merge pull request #1258 from YosysHQ/eddie/cleanupClifford Wolf2019-08-108-49/+49
|\
| * substr() -> compare()Eddie Hung2019-08-075-12/+12
| * RTLIL::S{0,1} -> State::S{0,1}Eddie Hung2019-08-072-19/+19
| * Merge remote-tracking branch 'origin/master' into eddie/cleanupEddie Hung2019-08-072-38/+36
| |\
| * | stoi -> atoiEddie Hung2019-08-073-5/+5
| * | IdString::str().substr() -> IdString::substr()Eddie Hung2019-08-061-1/+1
| * | Use std::stoi instead of atoi(<str>.c_str())Eddie Hung2019-08-063-5/+5
| * | RTLIL::S{0,1} -> State::S{0,1}Eddie Hung2019-08-061-16/+16
| * | Use State::S{0,1}Eddie Hung2019-08-061-1/+1
* | | Merge pull request #1261 from YosysHQ/clifford/verific_initClifford Wolf2019-08-102-7/+60
|\ \ \
| * | | Automatically prune init attributes in verific front-end, fixes #1237Clifford Wolf2019-08-072-7/+60
| | |/ | |/|
* | | Add __STDC_FORMAT_MACROS before <inttypes.h> as per @mithroEddie Hung2019-08-091-0/+1
* | | Allow whitebox modules to be overwrittenEddie Hung2019-08-071-1/+1
* | | Run "clean" on mapped_mod in its own designEddie Hung2019-08-072-24/+10
|/ /
* | Merge pull request #1252 from YosysHQ/clifford/fix1231Clifford Wolf2019-08-071-15/+2
|\ \
| * | Fix handling of functions/tasks without top-level begin-end block, fixes #1231Clifford Wolf2019-08-061-15/+2
| |/
* | Merge pull request #1241 from YosysHQ/clifford/jsonfixDavid Shah2019-08-071-23/+34
|\ \ | |/ |/|
| * Update JSON front-end to process new attr/param encodingClifford Wolf2019-08-011-23/+34
* | Merge pull request #1239 from mmicko/mingw_fixClifford Wolf2019-08-021-0/+4
|\ \ | |/ |/|
| * Fix formatting for msys2 mingw build using GetSizeMiodrag Milanovic2019-08-011-0/+4
* | Merge pull request #1233 from YosysHQ/clifford/deferClifford Wolf2019-07-311-1/+2
|\ \ | |/ |/|
| * Call "read_verilog" with -defer from "read"Clifford Wolf2019-07-291-1/+2
* | verilog_lexer: Increase YY_BUF_SIZE to 65536David Shah2019-07-261-0/+3
|/
* initialize noblackbox and nowb in AstModule::cloneJakob Wenzel2019-07-221-0/+2
* Fix typo, double "of"Miodrag Milanovic2019-07-161-1/+1
* Fix missing semicolon in Windows-specific code in aigerparse.cc.William D. Jones2019-07-141-2/+2
* genrtlil: emit \src attribute on CaseRule.whitequark2019-07-081-0/+1
* Allow attributes on individual switch cases in RTLIL.whitequark2019-07-081-4/+9
* Merge pull request #1147 from YosysHQ/clifford/fix1144Clifford Wolf2019-07-031-81/+14
|\
| * Some cleanups in "ignore specify parser"Clifford Wolf2019-07-031-79/+5
| * Improve specify dummy parser, fixes #1144Clifford Wolf2019-06-281-2/+9
| * Fix segfault on failed VERILOG_FRONTEND::const2ast, closes #1131Clifford Wolf2019-06-261-1/+1
* | Fix read_verilog assert/assume/etc on default case label, fixes YosysHQ/Symbi...Clifford Wolf2019-07-021-0/+2
* | Replace log_assert() with meaningful log_error()Eddie Hung2019-06-281-1/+5
* | Refactor for one "abc_carry" attribute on moduleEddie Hung2019-06-271-31/+37
* | Remove unneeded includeEddie Hung2019-06-271-3/+0
* | Merge origin/masterEddie Hung2019-06-271-1/+1
* | Merge remote-tracking branch 'origin/master' into xaigEddie Hung2019-06-241-0/+12
|\|
| * Add upto and offset to JSON portsMiodrag Milanovic2019-06-211-0/+12