aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* Fix use of signed integers in JSON back-endClifford Wolf2018-08-141-1/+3
* Merge pull request #602 from litghost/add_eblif_extensionClifford Wolf2018-08-141-0/+2
|\
| * Map .eblif extension as blif.litghost2018-08-131-0/+2
* | Fixed use of char array for string in blifparse error handlingClifford Wolf2018-08-081-5/+5
* | Merge pull request #596 from litghost/extend_blif_parserClifford Wolf2018-08-081-5/+35
|\ \
| * | Report error reason on same line as syntax error.litghost2018-08-081-6/+9
| * | Use log_warning which does not immediately terminate.litghost2018-08-031-3/+3
| * | Add BLIF parsing support for .conn and .cnamelitghost2018-08-021-3/+30
| |/
* | Merge pull request #600 from jpathy/patch-1Clifford Wolf2018-08-061-1/+1
|\ \
| * | Use `realpath` jpathy2018-08-061-1/+1
| |/
* | Merge pull request #599 from kbeckmann/kbeckmann/fix_readme_quotesClifford Wolf2018-08-061-1/+1
|\ \ | |/ |/|
| * readme: Fix formatting of a keywordKonrad Beckmann2018-08-061-1/+1
|/
* Verific: Produce errors for instantiating unknown moduleClifford Wolf2018-07-221-0/+3
* Add missing <deque> include (MSVC build fix)Clifford Wolf2018-07-221-0/+1
* Upodate ABC to git rev ae6716bClifford Wolf2018-07-221-1/+1
* Add missing -lz to MXE buildClifford Wolf2018-07-221-1/+1
* Merge pull request #586 from hzeller/more-sourcepos-loggingClifford Wolf2018-07-204-137/+131
|\
| * Convert more log_error() to log_file_error() where possible.Henner Zeller2018-07-204-137/+131
|/
* Merge pull request #585 from hzeller/use-file-warning-errorClifford Wolf2018-07-203-82/+79
|\
| * Use log_file_warning(), log_file_error() functions.Henner Zeller2018-07-203-82/+79
|/
* Merge pull request #584 from hzeller/provide-source-location-loggingClifford Wolf2018-07-203-47/+47
|\
| * Provide source-location logging.Henner Zeller2018-07-193-47/+47
|/
* Add async2sync passClifford Wolf2018-07-192-0/+148
* Fix handling of eventually properties in verific importerClifford Wolf2018-07-171-2/+4
* Fix verific -vlog-incdir and -vlog-libdir handlingClifford Wolf2018-07-161-2/+13
* Merge pull request #581 from daveshah1/ecp5Clifford Wolf2018-07-1610-3/+1200
|\
| * ecp5: Fixing miscellaneous sim model issuesDavid Shah2018-07-161-2/+2
| * ecp5: Fixing 'X' issues with LUT simulation modelsDavid Shah2018-07-161-6/+19
| * ecp5: ECP5 synthesis fixesDavid Shah2018-07-163-15/+32
| * ecp5: Adding synchronous set/reset supportDavid Shah2018-07-145-24/+197
| * ecp5: Add DRAM match ruleDavid Shah2018-07-131-0/+4
| * ecp5: Cells and mappings fixesDavid Shah2018-07-132-5/+5
| * ecp5: Fixing arith_mapDavid Shah2018-07-131-4/+5
| * ecp5: Initial arith_map implementationDavid Shah2018-07-133-6/+80
| * ecp5: Adding basic synth_ecp5 based on synth_ice40David Shah2018-07-133-7/+345
| * ecp5: Adding DFF mapsDavid Shah2018-07-132-1/+30
| * ecp5: Adding DRAM mapDavid Shah2018-07-133-1/+76
| * ecp5: Adding basic cells_sim and mapper for LUTs up to LUT7David Shah2018-07-132-0/+473
* | Fix "read -incdir"Clifford Wolf2018-07-161-1/+1
* | Merge branch 'master' of github.com:YosysHQ/yosysClifford Wolf2018-07-161-2/+6
|\ \
| * | Merge pull request #580 from daveshah1/ice40_nxClifford Wolf2018-07-131-2/+6
| |\|
| | * ice40: Add CIN_CONST and CIN_SET parameters to ICESTORM_LCDavid Shah2018-07-131-2/+6
| |/
* / Add "read -incdir"Clifford Wolf2018-07-161-0/+19
|/
* Fix verific eventually handlingClifford Wolf2018-06-291-6/+5
* Add verific support for eventually propertiesClifford Wolf2018-06-291-5/+105
* Add "verific -formal" and "read -formal"Clifford Wolf2018-06-291-7/+15
* Add "read -sv -D" supportClifford Wolf2018-06-281-2/+25
* Add "read -undef"Clifford Wolf2018-06-281-0/+32
* Fix handling of signed memoriesClifford Wolf2018-06-281-0/+3
* Add YOSYS_NOVERIFIC env variable for temporarily disabling verificClifford Wolf2018-06-221-22/+40
generated by cgit v1.2.3 (git 2.25.1) at 2025-04-03 15:58:50 +0000