iCE40/yosys - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
...
\| * \| \| \| \| \|	Const parameter in function (backends/firrtl/firrtl.cc)	Sahand Kashani-Akhavan	2020-03-23	1	-1/+1
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	Co-Authored-By: Alberto Gonzalez <61295559+boqwxp@users.noreply.github.com>
\| * \| \| \| \| \|	Strip quotes around fileinfo strings	Sahand Kashani	2020-03-21	1	-1/+5
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	Yosys puts quotes around the string that represents the fileinfo whereas firrtl does not. So when firrtl sees quotes, it escapes them with an extra backslash which makes it hard to read afterwards.
\| * \| \| \| \| \|	Add fileinfo to firrtl backend for assignments and non-instance cells	Sahand Kashani	2020-03-21	1	-21/+30
\| \| \| \| \| \| \|
\| * \| \| \| \| \|	Refactor fileinfo emission characters to single location	Sahand Kashani	2020-03-20	1	-6/+8
\| \| \| \| \| \| \|
\| * \| \| \| \| \|	Add fileinfo to firrtl backend for instances	Sahand Kashani	2020-03-19	1	-2/+3
\| \| \| \| \| \| \|
\| * \| \| \| \| \|	Add fileinfo to firrtl backend for modules and wires	Sahand Kashani	2020-03-19	1	-12/+20
\| \| \| \| \| \| \|
\| * \| \| \| \| \|	Add fileinfo to firrtl backend for top-level circuit	Sahand Kashani	2020-03-19	1	-1/+62
\| \| \| \| \| \| \|
* \| \| \| \| \| \|	ecp5: Force SIGNED ports to be 1 bit	David Shah	2020-04-16	1	-1/+1
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	Signed-off-by: David Shah <dave@ds0.me>
* \| \| \| \| \| \|	Merge pull request #1927 from YosysHQ/eddie/design_remove_assert	Eddie Hung	2020-04-16	2	-1/+2
\|\ \ \ \ \ \ \ \| \|_\|_\|_\|/ / / \|/\| \| \| \| \| \|	kernel: Design::remove(RTLIL::Module *) to check refcount_modules_
\| * \| \| \| \| \|	design: do not delete when iterating over Design::modules() directly	Eddie Hung	2020-04-14	1	-1/+1
\| \| \| \| \| \| \|
\| * \| \| \| \| \|	kernel: Design::remove(RTLIL::Module *) to check refcount_modules_	Eddie Hung	2020-04-14	1	-0/+1
\| \| \| \| \| \| \|
* \| \| \| \| \| \|	Merge pull request #1915 from boqwxp/dict_move_semantics	whitequark	2020-04-16	1	-4/+68
\|\ \ \ \ \ \ \ \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	kernel: Add `dict` support for rvalue references and C++11 move semantics.
\| * \| \| \| \| \| \|	Rename overloaded `insert()` to `emplace()` and add overloaded versions for ↵	Alberto Gonzalez	2020-04-16	1	-1/+31
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	all possible lvalue/rvalue combinationsfor its arguments.
\| * \| \| \| \| \| \|	Add `dict` support for rvalue references and C++11 move semantics.	Alberto Gonzalez	2020-04-13	1	-4/+38
\| \| \| \| \| \| \| \|
* \| \| \| \| \| \| \|	Merge pull request #1900 from Xiretza/suppress-makefile-echo	whitequark	2020-04-16	1	-0/+3
\|\ \ \ \ \ \ \ \ \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	Suppress output of Makefile.conf when printing source versions
\| * \| \| \| \| \| \| \|	Suppress output of Makefile.conf when printing source versions	Xiretza	2020-04-11	1	-0/+3
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	The make targets echo-yosys-ver, echo-git-ver and echo-abc-rev can be used to programmatically extract contents of make variables for external scripts. Unfortunately, when a Makefile.conf exists, its contents would also be echoed, making the output almost unusable. This patch selectively disables this functionality for these special targets.
* \| \| \| \| \| \| \| \|	Merge pull request #1937 from hzeller/consexpr-opportunity	whitequark	2020-04-16	2	-5/+4
\|\ \ \ \ \ \ \ \ \ \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	Use static constexpr instead of static const where possible.
\| * \| \| \| \| \| \| \| \|	Use static constexpr instead of static const where possible.	Henner Zeller	2020-04-14	2	-5/+4
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	In particular inside class declarations, a static const assignment is technically not a definition, while constexpr is. Signed-off-by: Henner Zeller <h.zeller@acm.org>
* \| \| \| \| \| \| \| \| \|	Merge pull request #1943 from YosysHQ/dave/fix-1919	David Shah	2020-04-16	3	-2/+25
\|\ \ \ \ \ \ \ \ \ \ \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	ast: Fix handling of identifiers in the global scope
\| * \| \| \| \| \| \| \| \| \|	ast: Fix handling of identifiers in the global scope	David Shah	2020-04-16	3	-2/+25
\| \| \|_\|_\|_\|_\|_\|_\|/ / \| \|/\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	Signed-off-by: David Shah <dave@ds0.me>
* / \| \| \| \| \| \| \| \|	opt_expr: Fix X and CO outputs for $alu identity-mapping rules.	Marcelina Kościelnicka	2020-04-16	2	-10/+83
\|/ / / / / / / / /
* \| \| \| \| \| \| \| \|	Merge pull request #1894 from YosysHQ/mingw_fix	Miodrag Milanović	2020-04-15	1	-0/+4
\|\ \ \ \ \ \ \ \ \ \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	Fix compile for mingw
\| * \| \| \| \| \| \| \| \|	Fix compile for mingw	Miodrag Milanovic	2020-04-15	1	-0/+4
\| \| \|_\|_\|_\|_\|_\|/ / \| \|/\| \| \| \| \| \| \|
* \| \| \| \| \| \| \| \|	Merge pull request #1916 from YosysHQ/eddie/kernel_makeblackbox	Eddie Hung	2020-04-15	1	-0/+2
\|\ \ \ \ \ \ \ \ \ \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	kernel: Module::makeblackbox() to clear connections too
\| * \| \| \| \| \| \| \| \|	kernel: Module::makeblackbox() to clear connections too	Eddie Hung	2020-04-13	1	-0/+2
\| \| \|_\|_\|/ / / / / \| \|/\| \| \| \| \| \| \|
* \| \| \| \| \| \| \| \|	Merge pull request #1933 from YosysHQ/eddie/zinit_more	Eddie Hung	2020-04-15	2	-9/+123
\|\ \ \ \ \ \ \ \ \ \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	zinit: handle $__DFFS?E?_[NP][NP][01] too
\| * \| \| \| \| \| \| \| \|	tests: zinit for new types	Eddie Hung	2020-04-14	1	-2/+96
\| \| \| \| \| \| \| \| \| \|
\| * \| \| \| \| \| \| \| \|	zinit: handle $__DFFS?E?_[NP][NP][01] too	Eddie Hung	2020-04-14	1	-7/+27
\| \| \| \| \| \| \| \| \| \|
* \| \| \| \| \| \| \| \| \|	Merge pull request #1830 from boqwxp/qbfsat	N. Engelhardt	2020-04-15	4	-3/+573
\|\ \ \ \ \ \ \ \ \ \ \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	Add `qbfsat` command to integrate exists-forall solving and specialization
\| * \| \| \| \| \| \| \| \| \|	Use `pool` instead of `std::set`.	Alberto Gonzalez	2020-04-11	1	-6/+6
\| \| \| \| \| \| \| \| \| \| \|
\| * \| \| \| \| \| \| \| \| \|	Use `dict` instead of `std::map`.	Alberto Gonzalez	2020-04-11	1	-8/+8
\| \| \| \| \| \| \| \| \| \| \|
\| * \| \| \| \| \| \| \| \| \|	Clean up `passes/sat/qbfsat.cc`.	Alberto Gonzalez	2020-04-09	1	-13/+10
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	Makes various cosmetic fixes, removes superfluous `hasPort()` check, and uses `emplace_back()` instead of `push_back()`.
\| * \| \| \| \| \| \| \| \| \|	Remove `$anyconst` cells before specialization to eliminate warnings and the ↵	Alberto Gonzalez	2020-04-07	1	-2/+25
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	need to run `opt_clean`.
\| * \| \| \| \| \| \| \| \| \|	Use newly-renamed `-push-copy` option.	Alberto Gonzalez	2020-04-04	1	-1/+1
\| \| \| \| \| \| \| \| \| \| \|
\| * \| \| \| \| \| \| \| \| \|	Improve style in `passes/sat/qbfsat.cc`.	Alberto Gonzalez	2020-04-04	1	-4/+2
\| \| \| \| \| \| \| \| \| \| \|
\| * \| \| \| \| \| \| \| \| \|	Gracefully report error when module has nothing to prove.	Alberto Gonzalez	2020-04-04	1	-5/+8
\| \| \| \| \| \| \| \| \| \| \|
\| * \| \| \| \| \| \| \| \| \|	Suppress `yosys-smtbmc` output unless the new `-show-smtbmc` option is provided.	Alberto Gonzalez	2020-04-04	1	-5/+14
\| \| \| \| \| \| \| \| \| \| \|
\| * \| \| \| \| \| \| \| \| \|	Fix handling of `-sat` and `-unsat` options when the solver returns `unknown`.	Alberto Gonzalez	2020-04-04	1	-0/+2
\| \| \| \| \| \| \| \| \| \| \|
\| * \| \| \| \| \| \| \| \| \|	Use `log_push()` and `log_pop()` and show the satisfiable model when ↵	Alberto Gonzalez	2020-04-04	1	-0/+28
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	`-specialize` is not specified. Co-Authored-By: N. Engelhardt <nak@symbioticeda.com>
\| * \| \| \| \| \| \| \| \| \|	Clean up `qbfsat` command and fix AND-reduction of miter outputs.	Alberto Gonzalez	2020-04-04	1	-8/+10
\| \| \| \| \| \| \| \| \| \| \|
\| * \| \| \| \| \| \| \| \| \|	Use the `-duplicate` option rather than `-save` and `-load` with an explicit ↵	Alberto Gonzalez	2020-04-04	1	-2/+2
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	name. Co-Authored-By: Claire Wolf <claire@symbioticeda.com>
\| * \| \| \| \| \| \| \| \| \|	Use internal `run_command()` API instead of `popen()`.	Alberto Gonzalez	2020-04-04	1	-49/+15
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	Co-Authored-By: Claire Wolf <claire@symbioticeda.com>
\| * \| \| \| \| \| \| \| \| \|	Clean up manual casting.	Alberto Gonzalez	2020-04-04	1	-2/+2
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	Co-Authored-By: David Shah <dave@ds0.me>
\| * \| \| \| \| \| \| \| \| \|	Remove unimplemented `-timeout` option.	Alberto Gonzalez	2020-04-04	1	-16/+4
\| \| \| \| \| \| \| \| \| \| \|
\| * \| \| \| \| \| \| \| \| \|	Implement the `-assume-outputs`, `-sat`, and -unsat` options for the ↵	Alberto Gonzalez	2020-04-04	1	-3/+66
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	`qbfsat` command.
\| * \| \| \| \| \| \| \| \| \|	Add NDEBUG guards to `qbfsat` assertions.	Alberto Gonzalez	2020-04-04	1	-0/+18
\| \| \| \| \| \| \| \| \| \| \|
\| * \| \| \| \| \| \| \| \| \|	Implement `-specialize-from-file` option for the `qbfsat` command.	Alberto Gonzalez	2020-04-04	1	-23/+56
\| \| \| \| \| \| \| \| \| \| \|
\| * \| \| \| \| \| \| \| \| \|	Implement `-write-solution` option for the `qbfsat` command.	Alberto Gonzalez	2020-04-04	1	-7/+28
\| \| \| \| \| \| \| \| \| \| \|
\| * \| \| \| \| \| \| \| \| \|	Clean up `passes/sat/qbfsat.cc`.	Alberto Gonzalez	2020-04-04	1	-86/+101
\| \| \| \| \| \| \| \| \| \| \|
\| * \| \| \| \| \| \| \| \| \|	Updated `yosys-smtbmc` to optionally dump raw bit strings, and fixed hole ↵	Alberto Gonzalez	2020-04-04	2	-32/+54
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	value recovery using that mode.