Skip to content

@AnnotationsForAll AnnotationsForAll

Change the repository type filter

All

    Repositories list

    4 repositories

    • WhyR

      Public
      An annotation and verification tool for LLVM IR.
      C++
      •
      Other
      •0•5•8•0•Updated Dec 19, 2017Dec 19, 2017

    • AnnotationsForAll.github.io

      Public
      AnnotationsForAll website
      HTML
      •0•0•0•0•Updated Apr 1, 2017Apr 1, 2017

    • annotationsforall

      Public
      Public repository of formal specifications for libraries
      C
      •
      Other
      •1•4•0•0•Updated Mar 31, 2017Mar 31, 2017

    • CodeSonarFramacPlugin

      Public
      Plugin to integrate Frama-C with Codesonar
      Python
      •0•0•0•0•Updated Feb 26, 2017Feb 26, 2017