SparstanBoogie

SparstanBoogie の起源は、報告によると iOS/iPadOS 15.2 - 16.7 RC 20H18 および 17.0 でテストされましたが、実際に動作しなくなった 26.1 26.1 のデバイスでのテストに関しては、より低レベルなテストが必要であり、歓迎されます。また、報告されたバージョンより上または下のデバイスでのテストも歓迎されます。新しいデバイスで再発する可能性があるため、自分にとって動作するかどうかを報告したいと考える善意のユーザーを無視する理由はありません。このツールの元となった親プログラムでサポートされていないとされていた古いデバイスも、iOS 15.8.7...