Skip to main content

Browse the archive

Revision 5b2fbf3c4989a9b0587a00578f69f3041df3f957 authored by Jonathan Protzenko on 08 April 2020, 18:59:46 UTC, committed by Jonathan Protzenko on 08 April 2020, 18:59:46 UTC 
Makefile tweaks
1 parent d4ca892
Raw File
INFO.txt 
This code was generated with the following toolchain.
F* version: a6369cecc0d4feb100c7ee5875de6dc59955fc18
KreMLin version: 4e863a78b7fdd017d0a7544128bffcf296b8cb8c
Vale version: 0.3.12
back to top