#prusti

  1. prusti-contracts

    使用Prusti指定合同的工具

    v0.2.0 #verification #prusti #specification #contracts #formal-verification #formal #proc-macro
  2. prusti-specs

    Prusti内部用于解析规格的crate

    v0.2.0 #prusti #specification #macro #procedural #parser #proc-macro #processing
  3. prusti-std

    为Prusti的std中的项目提供的外部规格

    v0.2.0 #specification #verification #contracts #prusti #specifications #formal
  4. prusti-contracts-proc-macros

    Prusti内部proc-macro crate

    v0.2.0 #prusti #proc-macro #limitation #due #separate #verification
  5. 尝试使用DuckDuckGo搜索