https://github.com/roptat/vsfi

ocaml prototype for verifying SFI
https://github.com/roptat/vsfi

Last synced: 9 days ago
JSON representation

ocaml prototype for verifying SFI

• Host: GitHub
• URL: https://github.com/roptat/vsfi
• Owner: roptat
• Created: 2017-12-13T22:52:16.000Z (about 7 years ago)
• Default Branch: master
• Last Pushed: 2018-03-27T12:53:28.000Z (over 6 years ago)
• Last Synced: 2024-10-28T11:27:55.761Z (about 2 months ago)
• Language: C
• Size: 308 KB
• Stars: 0
• Watchers: 0
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
Building

========

Dependencies:

* ocaml-bitstring

* ocaml-c2newspeak

* ocaml-zarith

* ocaml-menhir

* ocaml-graph

* ocaml-cppo

* ocaml-ppx-tools

* gmp

Build tools:

* ocaml

* ocaml-findlib	

* make

* gcc

Testing

=======

Build dependencies and optionally:

* guix (for compcert tests)

* sfiCompCert (for compcert tests)