iCE40/yosys - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	verific: Added "-vlog-libext" option to specify search extension for libraries	Miodrag Milanovic	2022-06-09	2	-1/+17
\|
*	Bump version	github-actions[bot]	2022-06-09	1	-1/+1
\|
*	wreduce: Introduce -mux_undef option (aligned with opt_expr).	Marcelina Kościelnicka	2022-06-08	1	-1/+9
\|
*	Merge pull request #3357 from jix/smtbmc-cvc5	Jannis Harder	2022-06-08	1	-3/+13
\|\ \| \| \| \|	smtbmc: recognize cvc5 and fix unrolling for cvc4/cvc5
\| *	smtbmc: recognize cvc5 and fix unrolling for cvc4/cvc5	Jannis Harder	2022-06-03	1	-3/+13
\| \|
* \|	More updates on CHANGELOG	Miodrag Milanovic	2022-06-08	1	-5/+9
\| \|
* \|	Update changelog and manual	Miodrag Milanovic	2022-06-08	2	-91/+170
\| \|
* \|	sta: warn on unrecognised cells only once	Lofty	2022-06-08	1	-1/+4
\| \|
* \|	Bump version	github-actions[bot]	2022-06-08	1	-1/+1
\| \|
* \|	Merge pull request #3367 from jix/smtlib2-module-fixes	Jannis Harder	2022-06-07	3	-11/+15
\|\ \ \| \| \| \| \| \|	smt2: emit smtlib2_comb_expr outputs after all inputs
\| * \|	smt2: emit smtlib2_comb_expr outputs after all inputs	Jannis Harder	2022-06-07	3	-11/+15
\|/ /
* \|	Merge pull request #3319 from programmerjake/smtlib2-expr-support	Jannis Harder	2022-06-07	6	-6/+187
\|\ \ \| \| \| \| \| \|	add smtlib2_comb_expr
\| * \|	don't use sed -i because it won't work on macos	Jacob Lifshay	2022-06-03	2	-2/+3
\| \| \|
\| * \|	smtlib2_module: try to fix test on macos	Jacob Lifshay	2022-06-02	1	-1/+1
\| \| \|
\| * \|	smt2: Add smtlib2_comb_expr attribute to allow user-selected smtlib2 expressions	Jacob Lifshay	2022-06-02	6	-6/+186
\| \| \|
* \| \|	Merge pull request #3358 from jix/smtbmc-yices-forall	Jannis Harder	2022-06-07	1	-1/+4
\|\ \ \ \| \| \| \| \| \| \| \|	smtbmc: Force nonincremental mode when yices is used with forall
\| * \| \|	smtbmc: Force nonincremental mode when yices is used with forall	Jannis Harder	2022-06-03	1	-1/+4
\| \| \|/ \| \|/\|
* \| \|	opt_ffinv: Harden against simple ff/inv loop.	Marcelina Kościelnicka	2022-06-07	1	-0/+4
\| \| \|
* \| \|	iopadmap: Fix z assignment removal.	Marcelina Kościelnicka	2022-06-07	1	-7/+21
\| \| \| \| \| \| \| \| \| \| \| \|	Fixes #3360.
* \| \|	Bump version	github-actions[bot]	2022-06-05	1	-1/+1
\| \| \|
* \| \|	verific: proper file location for readmem commands	Miodrag Milanovic	2022-06-04	1	-0/+33
\| \| \|
* \| \|	Bump version	github-actions[bot]	2022-06-04	1	-1/+1
\|/ /
* /	Fix preventing show crashing with newer graphviz	Miodrag Milanovic	2022-06-03	1	-1/+6
\|/
*	Bump version	github-actions[bot]	2022-06-03	1	-1/+1
\|
*	Add -no-rw-check option to memory_dff + memory + synth_{ice40,ecp5,gowin}.	Marcelina Kościelnicka	2022-06-02	6	-14/+87
\|
*	memory_dff: Add support for no_rw_check attribute.	Marcelina Kościelnicka	2022-06-02	3	-0/+14
\|
*	Merge pull request #3348 from zachjs/func-tern-hint	Jannis Harder	2022-05-31	4	-5/+55
\|\ \| \| \| \|	verilog: fix width/sign detection for functions
\| *	verilog: fix width/sign detection for functions	Zachary Snow	2022-05-30	4	-5/+55
\| \|
* \|	Bump version	github-actions[bot]	2022-05-31	1	-1/+1
\|/
*	Merge pull request #3347 from DanielHuisman/fix-3053	Miodrag Milanović	2022-05-30	1	-1/+1
\|\ \| \| \| \|	Fix typo in emcc flags (typo introduced by #3053)
\| *	Fix typo in emcc flags (typo introduced by #3053)	Daniel Huisman	2022-05-30	1	-1/+1
\|/
*	verilog: fix size and signedness of array querying functions	Jannis Harder	2022-05-30	4	-3/+56
\| \| \| \| \| \| \| \| \| \|	genrtlil.cc and simplify.cc had inconsistent and slightly broken handling of signedness for array querying functions. These functions are defined to return a signed result. Simplify always produced an unsigned and genrtlil always a signed 32-bit result ignoring the context. Includes tests for the the relvant edge cases for context dependent conversions.
*	Bump version	github-actions[bot]	2022-05-28	1	-1/+1
\|
*	gatemate: Fix minor issues with `memory_libmap` (#3343)	Patrick Urban	2022-05-27	2	-28/+39
\|
*	Merge pull request #3333 from mohamed/feature/tmpdir	Miodrag Milanović	2022-05-27	6	-30/+47
\|\ \| \| \| \|	Observe $TMPDIR variable when creating tmp files
\| *	Cleanup, and fix windows	Miodrag Milanovic	2022-05-27	1	-37/+24
\| \|
\| *	Observe $TMPDIR variable when creating tmp files	Mohamed A. Bamakhrama	2022-05-27	6	-7/+37
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	POSIX defines $TMPDIR as containing the pathname of the directory where programs can create temporary files. On most systems, this variable points to "/tmp". However, on some systems it can point to a different location. Without respecting this variable, yosys fails to run on such systems. Signed-off-by: Mohamed A. Bamakhrama <mohamed@alumni.tum.de>
* \|	Merge pull request #3341 from mmicko/unused_vars	Miodrag Milanović	2022-05-27	1	-4/+0
\|\ \ \| \|/ \|/\|	Remove set but unused variable
\| *	Remove set but unused variable	Miodrag Milanovic	2022-05-27	1	-4/+0
\| \|
* \|	Upload emscripten artifact	Miodrag Milanovic	2022-05-27	1	-1/+5
\|/
*	Add emcc build (stuck if all cpus used on GH)	Miodrag Milanovic	2022-05-27	1	-0/+20
\|
*	Proper std::move	Miodrag Milanovic	2022-05-27	1	-8/+8
\|
*	Use proper operator	Miodrag Milanovic	2022-05-27	1	-4/+4
\|
*	Merge pull request #3053 from DanielHuisman/pr-2	Miodrag Milanović	2022-05-27	1	-8/+9
\|\ \| \| \| \|	Fix emcc warnings for WebAssembly build
\| *	Fix emcc warnings for WebAssembly build	Daniel Huisman	2021-10-20	1	-8/+9
\| \|
* \|	Bump version	github-actions[bot]	2022-05-26	1	-1/+1
\| \|
* \|	verilog: fix $past's signedness	Jannis Harder	2022-05-25	4	-1/+40
\| \|
* \|	Merge pull request #3011 from DanielHuisman/pr-1	Miodrag Milanović	2022-05-25	1	-2/+2
\|\ \ \| \| \| \| \| \|	Update WaveDrom script URLs in YosysJS demo
\| * \|	Update WaveDrom script URLs	Daniel Huisman	2021-09-18	1	-2/+2
\| \|/
* \|	Merge pull request #3335 from programmerjake/divfloor-in-write_smt2	Jannis Harder	2022-05-25	1	-0/+21
\|\ \ \| \| \| \| \| \|	add $divfloor support to write_smt2