Skip to content
@cavi-art

CAVI-ART

A UCM-GPD project

Popular repositories Loading

  1. clir-vcgen clir-vcgen Public

    Verification Conditions Generator for CLIR at CAVI-ART

    Common Lisp 3

  2. sexp-parser-java sexp-parser-java Public

    A s-expression parser written in Java. Nothing more. Use as a library.

    Java 1

  3. clir-parser-java clir-parser-java Public

    A CAVI-ART IR Parser implemented in Java

    Java

  4. why3-hs why3-hs Public

    Why3 Haskell interface

    Haskell

  5. cl-clir2mlw cl-clir2mlw Public

    CLIR2MLW is a parser which prints CLIR files as MLW Why3 files.

    Common Lisp

  6. clir-theories clir-theories Public

    CLIR TheoryDB for generating MLW/Why3 imports.

    Coq

Repositories

Showing 10 of 11 repositories
  • clir-parser-haskell Public

    A CLIR parser written in Haskell

    cavi-art/clir-parser-haskell’s past year of commit activity
    Haskell 0 Apache-2.0 0 0 0 Updated Nov 23, 2016
  • java2ir Public

    A Java to CLIR transformer using spoon.

    cavi-art/java2ir’s past year of commit activity
    Java 0 Apache-2.0 0 0 0 Updated Nov 21, 2016
  • clir-vcgen Public

    Verification Conditions Generator for CLIR at CAVI-ART

    cavi-art/clir-vcgen’s past year of commit activity
    Common Lisp 3 0 4 0 Updated Nov 17, 2016
  • cl-clir2mlw Public

    CLIR2MLW is a parser which prints CLIR files as MLW Why3 files.

    cavi-art/cl-clir2mlw’s past year of commit activity
    Common Lisp 0 AGPL-3.0 0 0 0 Updated Nov 17, 2016
  • api-backend Public archive
    cavi-art/api-backend’s past year of commit activity
    Python 0 Apache-2.0 0 0 0 Updated Nov 17, 2016
  • why3-hs Public

    Why3 Haskell interface

    cavi-art/why3-hs’s past year of commit activity
    Haskell 0 BSD-3-Clause 0 0 0 Updated Nov 10, 2016
  • clir-parser-java Public

    A CAVI-ART IR Parser implemented in Java

    cavi-art/clir-parser-java’s past year of commit activity
    Java 0 Apache-2.0 0 0 0 Updated Nov 10, 2016
  • sexp-parser-java Public

    A s-expression parser written in Java. Nothing more. Use as a library.

    cavi-art/sexp-parser-java’s past year of commit activity
    Java 1 Apache-2.0 0 0 0 Updated Nov 10, 2016
  • clir-theories Public

    CLIR TheoryDB for generating MLW/Why3 imports.

    cavi-art/clir-theories’s past year of commit activity
    Coq 0 Apache-2.0 0 0 0 Updated Aug 31, 2016
  • sexp-grammar Public Forked from esmolanka/sexp-grammar

    Invertible grammar for S-expressions

    cavi-art/sexp-grammar’s past year of commit activity
    Haskell 0 BSD-3-Clause 4 0 0 Updated Aug 27, 2016
View all repositories

Top languages

Loading…

Most used topics

Loading…