問題タブ [acl2]
For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.
sbcl - SBCL で ACL2 をコンパイルするときに、低レベル デバッガーへのクラッシュを回避するにはどうすればよいですか?
SBCL で ACL2 をコンパイルするときに、低レベル デバッガーへのクラッシュを回避するにはどうすればよいですか? Linux で SBCL 1.2.3 を使用してコンパイルすると、次のエラー メッセージが表示されます。
acl2 - ttags エラーについて
エラーメッセージの意味を理解しようとしているので、修正することを検討してください。次のエラーを修正する正しい方法は何ですか? :oslib、:quicklisp、および:quicklisp.osicatを 内の include-books に追加する必要がありbooks/oslib/rmtree.lispますか? ブックを含めるフォームは間違っていますか?
acl2 - cert.pl が ttag について不平を言うのはなぜですか
ACL2 書籍の認定時に、次のエラー メッセージが表示されることがよくあります。
どうしたの？
acl2 - ACL2を使用してemacsで読み取り専用領域を元に戻す
ACL2 を使用しているときに、emacs でキーストロークの奇妙な呪文を唱えると、バッファー内の領域が読み取り専用になります。何が原因でしょうか? リージョンを読み取り専用としてマーク解除するにはどうすればよいですか?
acl2 - ACL2 終了コード 137 はどういう意味ですか?
ACL2 終了コード 137 はどういう意味ですか? 出力は次のようになります。
acl2 - ACL2 リライタを追跡するにはどうすればよいですか?
ACL2 リライタを追跡するにはどうすればよいですか? 証明器の内部で何が起こっているのか知りたいです。この種の情報を探すのは得策ですか、それとも方法に従うべきですか?
acl2 - ACL2 ブックのサニティ チェックの失敗を修正するにはどうすればよいですか?
ACL2 ブック ディレクトリ内からブックをビルドまたはクリーンアップしようとすると、次のようなエラー メッセージが表示されます。
GNUmakefile:299: *** Books Sanity Check Failed. Stop.
このエラー メッセージを回避するにはどうすればよいですか?