home.social

#creusot — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #creusot, aggregated by home.social.

  1. Jan :rust: :ferris: @[email protected] ·

    Huh, seems like I really have been living on the bleeding edge (of #FormalVerification):

    github.com/creusot-rs/creusot/

    The verification in the prev toot is currently not possible in #Creusot due to missing specs for the `Hash` trait and HashMap more broadly. 😔

    Oh well, seems like (at least currently!) I won't be able to fully verify the diffing algorithm of #CSVDiff.🥺

    Options I have now are:
    - Only verify parts of the algorithm (that don't depend on HashMap ops)
    or
    - Use fuzzing/property testing

    #formalverification #creusot #csvdiff