240 commits

Author	SHA1	Message	Date
Clifford Wolf	d7763634b6	After reading the SV spec, using non-standard predict() instead of expect()	2016-07-21 13:34:33 +02:00
Clifford Wolf	721f1f5ecf	Added basic support for $expect cells	2016-07-13 16:56:17 +02:00
Clifford Wolf	d3f0d72427	Added warning about adding fsm_encoding attributes to wires to manual	2016-07-08 18:31:31 +02:00
Clifford Wolf	52bb1b968d	Added $sop cell type and "abc -sop"	2016-06-17 13:50:09 +02:00
Clifford Wolf	d05115ceda	Minor presentation fixes	2016-05-14 11:35:39 +02:00
Clifford Wolf	0bc95f1e04	Added "yosys -D" feature	2016-04-21 23:28:37 +02:00
Wladimir J. van der Laan	71f9f40fa9	Fix a few typos in the manual	2016-04-03 14:29:11 +02:00
Clifford Wolf	ec93680bd5	Renamed opt_share to opt_merge	2016-03-31 08:52:49 +02:00
Clifford Wolf	1d0f0d668a	Renamed opt_const to opt_expr	2016-03-31 08:46:56 +02:00
Sebastian Kuzminsky	7e6426a67d	user-facing spelling fixes ... "speciefied" -> "specified" "unkown" -> "unknown"	2016-02-28 15:14:01 -07:00
Clifford Wolf	85fe6d176f	Updated command reference in manual	2016-02-14 11:02:11 +01:00
Micah Elizabeth Scott	93f6f68b65	Remove nonportable "-r" option from xargs ... On Linux, this avoids an empty "rm -f" call when there's nothing to clean. But it isn't portable, and it causes the build to fail on Mac OS. It doesn't seem to be harmful to remove this option entirely, and it's a step toward fixing the Mac build.	2015-12-15 10:13:06 -08:00
Clifford Wolf	924d9d6e86	Added read-enable to memory model	2015-09-25 12:23:11 +02:00
Larry Doolittle	6c00704a5e	Another block of spelling fixes ... Smaller this time	2015-08-14 23:27:05 +02:00
Clifford Wolf	0350074819	Re-created command-reference-manual.tex, copied some doc fixes to online help	2015-08-14 11:27:19 +02:00
Clifford Wolf	84bf862f7c	Spell check (by Larry Doolittle)	2015-08-14 10:56:05 +02:00
Clifford Wolf	c699d7c614	More ASCII encoding fixes	2015-08-13 09:42:24 +02:00
Clifford Wolf	ad8efeb13f	Fixed CRLF line endings	2015-08-13 09:35:00 +02:00
Clifford Wolf	08ad5409a2	Some ASCII encoding fixes (comments and docs) by Larry Doolittle	2015-08-13 09:30:20 +02:00
Clifford Wolf	6c84341f22	Fixed trailing whitespaces	2015-07-02 11:14:30 +02:00
Clifford Wolf	0737bf5fb8	appnote 012 fix	2015-04-04 15:13:35 +02:00
Clifford Wolf	1d5d1f79f9	Appnote 012	2015-04-04 14:52:25 +02:00
Ahmed Irfan	bdf6b2b19a	Merge branch 'master' of https://github.com/cliffordwolf/yosys	2015-04-03 16:38:07 +02:00
Ahmed Irfan	7ad179151b	appnote for verilog to btor	2015-04-03 16:20:29 +02:00
Clifford Wolf	611cd010ae	Added blif reference to appnote 010	2015-03-22 09:49:46 +01:00
Clifford Wolf	b005eedf36	Added $assume cell type	2015-02-26 18:04:10 +01:00
Clifford Wolf	a779a09771	Fixed creation of command reference in manual	2015-02-09 13:24:29 +01:00
Clifford Wolf	b944fef925	Updated command reference in manual	2015-02-09 12:05:02 +01:00
Clifford Wolf	85887de547	Various presentation fixes	2015-02-09 12:02:21 +01:00
Clifford Wolf	e13a45ae61	Added $equiv cell type	2015-01-19 11:55:05 +01:00
Clifford Wolf	539dd805f4	Improvements in CodingReadme	2014-12-31 14:28:27 +01:00
Clifford Wolf	7b62bbeee8	Added more documentation fixmes for nontrivial register cells	2014-12-08 10:56:43 +01:00
Fabien Marteau	74d70bf9e9	manual/presentation.tex: bg option is unknown with beamer 3.3 in beamercolorbox	2014-12-07 19:04:06 +01:00
Fabien Marteau	e65033e421	suppressing semi-colon at the end of dot files	2014-12-05 18:17:00 +01:00
Clifford Wolf	abf81d7683	Added some missing .gitignore in manual/	2014-12-04 13:37:58 +01:00
Clifford Wolf	751fb33688	Some fixes in stubnets example	2014-11-24 12:55:30 +01:00
Clifford Wolf	12ffe0c438	Some fixes in presentation	2014-11-08 12:39:01 +01:00
Clifford Wolf	b9f2127f5d	Various documentation updates	2014-11-08 10:59:48 +01:00
Clifford Wolf	4569a747f8	Renamed SIZE() to GetSize() because of name collision on Win32	2014-10-10 17:07:24 +02:00
Clifford Wolf	af0c8873bb	Added $lcu cell type	2014-09-08 13:31:04 +02:00
Ruben Undheim	79cbf9067c	Corrected spelling mistakes found by lintian	2014-09-06 08:47:06 +02:00
Clifford Wolf	8927aa6148	Removed $bu0 cell type	2014-09-04 02:07:52 +02:00
Clifford Wolf	37fe7c7bdf	Removed references to yosys-svgviewer from docs	2014-09-02 04:03:06 +02:00
Clifford Wolf	4724d94fbc	Added $alu cell type	2014-08-30 18:59:05 +02:00
Clifford Wolf	47c2637a96	Added additional gate types: $_NAND_ $_NOR_ $_XNOR_ $_AOI3_ $_OAI3_ $_AOI4_ $_OAI4_	2014-08-16 18:29:39 +02:00
Clifford Wolf	f092b50148	Renamed $_INV_ cell type to $_NOT_	2014-08-15 14:11:40 +02:00
Clifford Wolf	bf486002d9	Removed old doc references to $safe_pmux	2014-08-15 14:04:35 +02:00
Clifford Wolf	13f2f36884	RIP $safe_pmux	2014-08-14 11:39:46 +02:00
Clifford Wolf	bd74ed7da4	Replaced sha1 implementation	2014-08-01 19:01:10 +02:00
Clifford Wolf	e6d33513a5	Added module->design and cell->module, wire->module pointers	2014-07-31 14:11:39 +02:00