1. 21 Jul, 2021 1 commit
  2. 05 Jul, 2020 1 commit
  3. 01 Jun, 2020 1 commit
  4. 07 May, 2020 2 commits
    • Nadim Kobeissi's avatar
      Reorganize project structure into "lib" internals · 36b8e6eb
      Nadim Kobeissi authored
      In order to accomodate the fact that Verifpal will now be translating to
      Coq, ProVerif and soon Go, the project structure inside the `internal`
      folder is now such that we have Verifpal's code itself and a bunch of
      "lib" folders:
      
      - libpeg implements the Verifpal grammar in Peg and generates the
      Verifpal model parser.
      - libcoq implements the Verifpal Coq library/header.
      - libpv implements the Verifpal ProVerif headers.
      - libgo will implement the Verifpal Go implementation headers etc.
      
      Whenever a "lib" is compiled, the resulting artifact goes in
      internal/verifpal/libname.go.
      
      The Makefile should hopefully compile these libs whenever is necessary
      automatically.
      36b8e6eb
    • Nadim Kobeissi's avatar
      Coq · 0c13b526
      Nadim Kobeissi authored
      0c13b526