aboutsummaryrefslogtreecommitdiffstats
path: root/techlibs/ice40
diff options
context:
space:
mode:
authorMiodrag Milanović <mmicko@gmail.com>2022-03-11 15:29:34 +0100
committerGitHub <noreply@github.com>2022-03-11 15:29:34 +0100
commit2f44683f4f32c2066eadc3caf83b2d5b5cbdbb27 (patch)
tree519d3654760d4a03f780959f4e617de528561dd1 /techlibs/ice40
parenteb8c61f033fca5c0148d7ede41b8e36fe751a234 (diff)
parent5204694123e6ac10b931ac45dbe7f4cd0b11b93b (diff)
downloadyosys-2f44683f4f32c2066eadc3caf83b2d5b5cbdbb27.tar.gz
yosys-2f44683f4f32c2066eadc3caf83b2d5b5cbdbb27.tar.bz2
yosys-2f44683f4f32c2066eadc3caf83b2d5b5cbdbb27.zip
Merge pull request #3226 from YosysHQ/micko/btor2witness
Sim support for btor2 witness files
Diffstat (limited to 'techlibs/ice40')
0 files changed, 0 insertions, 0 deletions
generated by cgit v1.2.3 (git 2.25.1) at 2025-12-12 17:56:22 +0000
; font-weight: bold } /* Literal.Number.Oct */ .highlight .sa { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Affix */ .highlight .sb { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Backtick */ .highlight .sc { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Char */ .highlight .dl { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Delimiter */ .highlight .sd { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Doc */ .highlight .s2 { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Double */ .highlight .se { color: #0044dd; background-color: #fff0f0 } /* Literal.String.Escape */ .highlight .sh { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Heredoc */ .highlight .si { color: #3333bb; background-color: #fff0f0 } /* Literal.String.Interpol */ .highlight .sx { color: #22bb22; background-color: #f0fff0 } /* Literal.String.Other */ .highlight .sr { color: #008800; background-color: #fff0ff } /* Literal.String.Regex */ .highlight .s1 { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Single */ .highlight .ss { color: #aa6600; background-color: #fff0f0 } /* Literal.String.Symbol */ .highlight .bp { color: #003388 } /* Name.Builtin.Pseudo */ .highlight .fm { color: #0066bb; font-weight: bold } /* Name.Function.Magic */ .highlight .vc { color: #336699 } /* Name.Variable.Class */ .highlight .vg { color: #dd7700 } /* Name.Variable.Global */ .highlight .vi { color: #3333bb } /* Name.Variable.Instance */ .highlight .vm { color: #336699 } /* Name.Variable.Magic */ .highlight .il { color: #0000DD; font-weight: bold } /* Literal.Number.Integer.Long */
Before contributing, please keep in mind the following:

 - The development branch of micronucleus is called "testing" and contains all
   the latest changes. You can check it out with "git checkout testing" or using
   a graphical git tools. 
   https://github.com/micronucleus/micronucleus/tree/testing
 
 - Please commit contributions as a pull request to "testing" so there is less
   troube with merging. Alternatively, if you only have small changes, just
   open an issue and one of the maintainers will add it manually.
   https://github.com/micronucleus/micronucleus/issues
   
 - Have a look at License.txt
 - If you're going to write or change C or Ruby code, read Style Guide.txt
 - When writing commit messages, please prefix your message with one of these:
	   firmware:
	   upgrade:
	   commandline:
	   ruby:
	   tests:
	 This will help us all understand what your commit is primarily in relation
	 to when reading through the commit history hunting for specific changes.
 - Even if you aren't writing code, we prefer spaces to tabs.