acw1251
33ac82a5fe
Fixed typo in "verilog_write" help message
2018-10-08 11:38:10 -07:00
Henner Zeller
3aa4484a3c
Consistent use of 'override' for virtual methods in derived classes.
...
o Not all derived methods were marked 'override', but it is a great
feature of C++11 that we should make use of.
o While at it: touched header files got a -*- c++ -*- for emacs to
provide support for that language.
o use YS_OVERRIDE for all override keywords (though we should probably
use the plain keyword going forward now that C++11 is established)
2018-07-20 23:51:06 -07:00
Clifford Wolf
eb67a7532b
Add $allconst and $allseq cell types
...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
2018-02-23 13:14:47 +01:00
Clifford Wolf
05cdd58c8d
Add $_ANDNOT_ and $_ORNOT_ gates
2017-05-17 09:08:29 +02:00
Clifford Wolf
5f1d0b1024
Add $live and $fair cell types, add support for s_eventually keyword
2017-02-25 10:36:39 +01:00
Piotr Esden-Tempski
e3a12b57f5
Use -E sed parameter instead of -r.
...
BSD sed equivalent to -r parameter is -E and it is also supported in GNU
sed thus using -E results in support on both platforms.
2017-02-04 18:26:01 -08:00
Clifford Wolf
3928482a3c
Add $cover cell type and SVA cover() support
2017-02-04 14:14:26 +01:00
Clifford Wolf
4832faf5e9
Updated command reference in manual
2016-11-02 19:25:28 +01:00
Clifford Wolf
bdc316db50
Added $anyseq cell type
2016-10-14 15:24:03 +02:00
Clifford Wolf
8ebba8a35f
Added $ff and $_FF_ cell types
2016-10-12 01:18:39 +02:00
Clifford Wolf
6f41e5277d
Removed $aconst cell type
2016-08-30 19:09:56 +02:00
Clifford Wolf
eae390ae17
Removed $predict again
2016-08-28 21:35:33 +02:00
Clifford Wolf
4056312987
Added $anyconst and $aconst
2016-07-27 15:41:22 +02:00
Clifford Wolf
5c166e76e5
Added $initstate cell type and vlog function
2016-07-21 14:23:22 +02:00
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