iCE40/yosys - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
*	log, qbfsat: Include child process time in `PerformanceTimer::query()` and re...	Alberto Gonzalez	2020-06-21	1	-1/+6
*	qbfsat: Simplify solution recovery parsing and tweak the solution regexes.	Alberto Gonzalez	2020-06-21	1	-22/+12
*	qbfsat: Avoid instantiating `AttrObject`s directly.	Alberto Gonzalez	2020-06-21	1	-9/+6
*	qbfsat: Simplify solution format and replace `SigBit::str()` with `log_signal...	Alberto Gonzalez	2020-06-21	1	-19/+37
*	qbfsat: Fixes three bugs.	Alberto Gonzalez	2020-06-21	1	-5/+17
*	qbfsat: Use bit precise mapping for hole value wires and a more robust hole s...	Alberto Gonzalez	2020-06-21	1	-80/+113
*	Use C++11 final/override keywords.	whitequark	2020-06-18	1	-2/+2
*	smtbmc and qbfsat: Add timeout option to set solver timeouts for Z3, Yices, a...	Alberto Gonzalez	2020-05-25	1	-13/+53
*	qbfsat: Add support for CVC4.	Alberto Gonzalez	2020-05-25	1	-2/+6
*	qbfsat: Add `-solver` option and allow choice of Z3 or Yices, making Yices th...	Alberto Gonzalez	2020-05-25	1	-20/+47
*	qbfsat: Remove cruft inadvertently left untouched in commit 86fc49a9d60f9ad4c...	Alberto Gonzalez	2020-05-23	1	-11/+0
*	qbfsat: Add bisection mode and make it the default.	Alberto Gonzalez	2020-05-23	1	-87/+207
*	Merge pull request #1989 from boqwxp/qbfsat_anyconst_sourcelocs	Claire Wolf	2020-04-23	1	-5/+2
\|\
\| *	qbfsat: Make hole name recovery more robust. Allow multiple cell types to sha...	Alberto Gonzalez	2020-04-23	1	-5/+2
* \|	qbfsat: Add `-assume-negative-polarity` option.	Alberto Gonzalez	2020-04-23	1	-6/+22
\|/
*	qbfsat: Fix illegal use of 'stdout' identifier	David Shah	2020-04-17	1	-3/+3
*	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
*	Remove `$anyconst` cells before specialization to eliminate warnings and the ...	Alberto Gonzalez	2020-04-07	1	-2/+25
*	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 `-specia...	Alberto Gonzalez	2020-04-04	1	-0/+28
*	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
*	Use internal `run_command()` API instead of `popen()`.	Alberto Gonzalez	2020-04-04	1	-49/+15
*	Clean up manual casting.	Alberto Gonzalez	2020-04-04	1	-2/+2
*	Remove unimplemented `-timeout` option.	Alberto Gonzalez	2020-04-04	1	-16/+4
*	Implement the `-assume-outputs`, `-sat`, and -unsat` options for the `qbfsat`...	Alberto Gonzalez	2020-04-04	1	-3/+66
*	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 val...	Alberto Gonzalez	2020-04-04	1	-29/+39
*	Hole value recovery and specialization implementation for `qbfsat` command.	Alberto Gonzalez	2020-04-04	1	-20/+63
*	Barebones implementation of `qbfsat` command.	Alberto Gonzalez	2020-04-04	1	-32/+157
*	Initial skeleton for `qbfsat` command.	Alberto Gonzalez	2020-04-04	1	-0/+206