問題タブ [z-notation]
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.
formal-languages - Z仕様の日付の違いを見つける方法
以下に定義された日付スキーマがあります
そして、以下に定義された寄付日チェックスキーマ
前回の寄付から3ヶ月経過しているか確認したい 差額はどうやって確認できますか？
日付を差し引いて、それらの日の間の日数を示していると仮定しましたが、実際の解決策はわかりません
typechecking - ファズの取り付け。エラー: exp '='、','、';'、'asm' または '__attribute__' が 'x_slot'ected の前にある
Ubuntu 20.04 https://spivey.oriel.ox.ac.uk/corner/Fuzz_typechecker_for_Zに「Fuzz typechecker Z」をインストールしています
ただし、make次のエラーが発生します。どこから始めればよいですか？
これはファズに関連する非常に具体的な質問である可能性があることを知っているので、助けてくれてありがとう. ファイルのリストは次のとおりです (zparse.c、zparse.h、absyn.h) https://github.com/Spivoxity/fuzz/tree/master/src