aboutsummaryrefslogtreecommitdiffstats
path: root/tests/sat/share.v
blob: e06fc8f1e53f34efaa422bf2f481e627e4ee655c (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
module test_1(
	input [7:0] a, b, c,
	input s, x,
	output [7:0] y1, y2
);
	wire [7:0] t1, t2;
	assign t1 = s ? a*b : 0, t2 = !s ? b*c : 0;
	assign y1 = x ? t2 : t1, y2 = x ? t1 : t2;
endmodule


module test_2(
	input s,
	input [7:0] a, b, c,
	output reg [7:0] y
);
	always @* begin
		y <= 'bx;
		if (s) begin
			if (a * b > 8)
				y <= b / c;
			else
				y <= c / b;
		end else begin
			if (b * c > 8)
				y <= a / b;
			else
				y <= b / a;
		end
	end
endmodule
Name.Constant */ .highlight .nd { color: #555555 } /* Name.Decorator */ .highlight .ne { color: #bb0066; font-weight: bold } /* Name.Exception */ .highlight .nf { color: #0066bb; font-weight: bold } /* Name.Function */ .highlight .nl { color: #336699; font-style: italic } /* Name.Label */ .highlight .nn { color: #bb0066; font-weight: bold } /* Name.Namespace */ .highlight .py { color: #336699; font-weight: bold } /* Name.Property */ .highlight .nt { color: #bb0066; font-weight: bold } /* Name.Tag */ .highlight .nv { color: #336699 } /* Name.Variable */ .highlight .ow { color: #008800 } /* Operator.Word */ .highlight .w { color: #bbbbbb } /* Text.Whitespace */ .highlight .mb { color: #0000DD; font-weight: bold } /* Literal.Number.Bin */ .highlight .mf { color: #0000DD; font-weight: bold } /* Literal.Number.Float */ .highlight .mh { color: #0000DD; font-weight: bold } /* Literal.Number.Hex */ .highlight .mi { color: #0000DD; font-weight: bold } /* Literal.Number.Integer */ .highlight .mo { color: #0000DD; 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 */
<html>
<head></head>
<body>

<h2>3.0.1</h2>
<ul>
<li>Better handling of large key imports</li>
<li>Improved subkey selection</li>
</ul>
<h2>3.0</h2>
<ul>
<li>Full support for Yubikey signature generation and decryption!</li>
<li>Propose installable compatible apps in apps list</li>
<li>復号化画面を新しいデザインに</li>
<li>Many fixes for key import, also fixes stripped keys</li>
<li>Honor and display key authenticate flags</li>
<li>User interface to generate custom keys</li>
<li>Fixing user id revocation certificates</li>
<li>New cloud search (searches over traditional keyservers and keybase.io)</li>
<li>Support for stripping keys inside OpenKeychain</li>
</ul>
<h2>2.9.2</h2>
<ul>
<li>2.9.1での鍵破壊問題修正</li>
<li>API経由でYubikeyの復号処理が動くようになった</li>
</ul>
<h2>2.9.1</h2>
<ul>
<li>暗号化スクリーンを2つに分割</li>
<li>鍵のフラグ管理を修正 (現在Mailvelope 0.7 鍵をサポート)</li>
<li>パスフレーズの取り回しを改善</li>
<li>SafeSlingerでの鍵の共有</li>
<li>Yubikey: 設定で他のPINを受け付け、現在OpenPGP API経由での署名しか動きません、OpenKeychainの内部ではないため</li>
<li>ストリップした鍵の利用法を修正</li>
<li>互換性のためデフォルトをSHA256に</li>
<li>インテント API を変更しました、以下参照 https://github.com/open-keychain/open-keychain/wiki/Intent-API</li>
<li>OpenPGP API は現在破棄/期限切れの鍵を扱えるようになり、またすべてのユーザIDを返すようになりました</li>
</ul>
<h2>2.9</h2>
<ul>
<li>v2.8 から発生したクラッシュ問題をFix</li>
<li>実験的にECCをサポート</li>
<li>実験的にYubikeyをサポート(インポート済みの鍵での署名のみ)</li>
</ul>
<h2>2.8</h2>
<ul>
<li>そして主要な新しい機能を主眼としたこのリリースでたくさんのバグが修正されました</li>
<li>鍵編集: 新しいすごいデザイン、鍵の破棄</li>
<li>鍵インポート: 新しいすごいデザイン、hkps経由での鍵サーバとの安全な接続、そしてDNS SRVレコードによる鍵サーバの解決</li>
<li>新しい初回表示</li>
<li>新しい鍵生成画面: Androidのあなたの個人アカウントをベースとした名前とメールの自動補完</li>
<li>ファイル暗号化: 新しいすごいデザイン、複数ファイルの暗号化をサポートする</li>
<li>鍵のステータス表示の新しいアイコン(Brennan Novak提供)</li>
<li>重要なバグ修正: 巨大な鍵コレクションをファイルからインポートするのが可能になりました</li>
<li>キャッシュしたパスフレーズの通知表示</li>
<li>鍵のアドレスをAndroidの連絡先と連携するようにした</li>
</ul>
<p> Vincent Breitmoser (GSoC 2014), mar-v-in (GSoC 2014), Daniel Albert, Art O Cathain, Daniel Haß, Tim Bray, Thialfiharの働きなくしてはこのリリースはありませんでした</p>

<h2>2.7</h2>
<ul>
<li>Purple! (Dominik, Vincent)</li>
<li>新しい鍵のビューのデザイン (Dominik, Vincent)</li>
<li>新しいフラットな Android ボタン (Dominik, Vincent)</li>
<li>API のフィックス (Dominik)</li>
<li>Keybase.io からのインポート (Tim Bray)</li>
</ul>
<h2>2.6.1</h2>
<ul>
<li>いくつかのリグレッションバグ修正</li>
</ul>
<h2>2.6</h2>
<ul>
<li>鍵証明 (ありがとうVincent Breitmoser)</li>
<li>GnuPGの部分秘密鍵のサポート (ありがとうVincent Breitmoser)</li>
<li>新しいデザインでの署名の検証</li>
<li>カスタムの鍵長 (ありがとうGreg Witczak)</li>
<li>他のアプリからの共有ファンクションの修正</li>
</ul>
<h2>2.5</h2>
<ul>
<li>対称暗号化PGPメッセージ/ファイルの復号化を修正</li>
<li>鍵編集画面のリファクタ (ありがとうAsh Hughes)</li>
<li>暗号化/復号化画面を新しいモダンなデザインに</li>
<li>OpenPGP API バージョン 3 (複数APIアカウント, 内部修正,鍵検索)</li>
</ul>
<h2>2.4</h2>
<p>このリリースにおいて適用したリッチでバグのない機能を作ってくれたGoogle Summer of Code 2014の参加者たちに感謝を!
また、以下の人達(アルファベット順)の作ってくれたいくつもののさなパッチや相当数のパッチにも:
Daniel Hammann, Daniel Haß, Greg Witczak, Miroojin Bakshi, Nikhil Peter Raj, Paul Sarbinowski, Sreeram Boyapati, Vincent Breitmoser.</p>
<ul>
<li>新しい統合キーリスト</li>
<li>鍵指紋のカラー化</li>
<li>鍵サーバのポート設定のサポート</li>
<li>弱い鍵の生成が可能だったのを無効化</li>
<li>さらなるAPIでの内部動作</li>
<li>ユーザーIDの証明</li>
<li>鍵サーバへの要求をマシンリーダブル出力を基盤にした</li>
<li>タブレットでのナビゲーションドロワーのロック</li>
<li>鍵の生成でのメールについての提案</li>
<li>公開鍵リスト内での検索</li>
<li>そしてさらなる改善と修正...</li>
</ul>
<h2>2.3.1</h2>
<ul>
<li>古いバージョンからのアップデートでクラッシュすることに対するホットフィックス</li>
</ul>
<h2>2.3</h2>
<ul>
<li>秘密鍵のエクスポート時における必要でない公開鍵のエクスポートの削除 (ありがとうAsh Hughes)</li>
<li>鍵の期限日時設定の修正 (ありがとうAsh Hughes)</li>
<li>鍵編集時のさらなる内部修正 (ありがとうAsh Hughes)</li>
<li>インポート画面から直接鍵サーバへ要求するようにした</li>
<li>Android 2.2から3.0でのレイアウトとダイアログスタイルの修正</li>
<li>空ユーザIDの鍵でのクラッシュ修正</li>
<li>署名画面から戻ってきたときにリストが空だとクラッシュするのを修正</li>
<li>Bouncy Castle (cryptography library) を1.47 から 1.50アップデートおよびソースからのビルド</li>
<li>署名画面からの鍵のアップロード修正</li>
</ul>
<h2>2.2</h2>
<ul>
<li>ナビゲーションドロワー付きの新しいデザイン</li>
<li>新しい公開鍵リストデザイン</li>
<li>新しい公開鍵ビュー</li>
<li>鍵のインポート時のバグ修正</li>
<li>鍵のクロス証明 (ありがとうAsh Hughes)</li>
<li>適切な UTF-8 パスワード処理 (ありがとうAsh Hughes)</li>
<li>新しい言語での最初のバージョン  (ありがとうTransifexの貢献者達)</li>
<li>QRコードによる鍵共有の修正と改善</li>
<li>APIでのパッケージ署名検証</li>
</ul>
<h2>2.1.1</h2>
<ul>
<li>APIアップデート、K-9 Mail統合準備</li>
</ul>
<h2>2.1</h2>
<ul>
<li>たくさんのバグ修正</li>
<li>開発者向け新API</li>
<li>Googleによる擬似乱数生成器バグの修正</li>
</ul>
<h2>2.0</h2>
<ul>
<li>再デザイン完了</li>
<li>Share public keys via QR codes, NFC beam</li>
<li>鍵への署名</li>
<li>鍵サーバへアップロード</li>
<li>インポート問題修正</li>
<li>新しいAIDL API</li>
</ul>
<h2>1.0.8</h2>
<ul>
<li>鍵サーバの基本サポート</li>
<li>App2SD</li>
<li>パスフレーズのキャッシュ時間についての選択肢追加: 1,2,4,8時間</li>
<li>翻訳: ノルウェー語 (ありがとう、Sander Danielsen)、中国語 (ありがとう、Zhang Fredrick) 追加</li>
<li>バグ修正</li>
<li>最適化</li>
</ul>
<h2>1.0.7</h2>
<ul>
<li>改行を含まないテキストの署名検証問題の修正</li>
<li>パスフレーズのキャッシュ生存時間 (20,40,60分) のオプション追加</li>
</ul>
<h2>1.0.6</h2>
<ul>
<li>Froyo でのアカウント追加時クラッシュの修正</li>
<li>セキュアファイル削除</li>
<li>鍵ファイルインポート後の削除オプション</li>
<li>ストリーム暗号化/復号化 (ギャラリーなど)</li>
<li>新しいオプション (言語、強制V3署名)</li>
<li>インタフェース変更</li>
<li>バグ修正</li>
</ul>
<h2>1.0.5</h2>
<ul>
<li>ドイツ語およびイタリア語翻訳追加</li>
<li>BCソースが重複してしまっていたことによる、より小さいパッケージ化</li>
<li>新しい設定GUI</li>
<li>ローカライズでのレイアウトを適合化</li>
<li>署名バグ修正</li>
</ul>
<h2>1.0.4</h2>
<ul>
<li>クエリービルダーによるSDKのいくつかのバグによるクラッシュの修正</li>
</ul>
<h2>1.0.3</h2>
<ul>
<li>鍵エクスポートできる時と暗号化/署名中のクラッシュ修正</li>
</ul>
<h2>1.0.2</h2>
<ul>
<li>鍵リストのフィルタ可能化</li>
<li>暗号化鍵の事前選択のよりスマートな実装</li>
<li>VIEWおよびSENDについて新しいインテントのハンドリング、ファイルマネージャ外のファイルを暗号化/復号化するのを受け付けるようになる。</li>
<li>K-9 Mailにおける修正と追加機能 (鍵事前選択)、新しいベータビルド提供</li>
</ul>
<h2>1.0.1</h2>
<ul>
<li>1.0.0で壊れたGmailアカウントリストアップを再度修正</li>
</ul>
<h2>1.0.0</h2>
<ul>
<li>K-9 Mail 統合、K-9 MailでのAPG サポートのベータビルド</li>
<li>(ASTROを含む)ファイルマネージャのさらなるサポート</li>
<li>スロベニア語翻訳追加</li>
<li>より早くてメモリ使用量の少ない新しいデータベース</li>
<li>他のアプリでのインテントおよびコンテンツプロバイダの定義</li>
<li>バグ修正</li>
</ul>
</body>
</html>