[hacspec] CFRG meeting and syntax updates

[Franziskus Kiefer]

Hi all,

it was a little quiet lately but there's been progress.

*CFRG:*
Karthik is presenting hacpsec at the CFRG meeting on Monday in London.
There'll be a short presentation but we mainly hope to gather feedback from
spec-writers on what we have so far and maybe get some of them to start
using hacspec.

Are there any questions you want to post to CFRG that we should include?
Or is there anything specific we should talk about when presenting hacspec?


*Hacspec updates:*
We'd like to get some feedback on the newest version of hacspec syntax.
There has been progress on translating hacpsec to F*, which introduced a
couple syntax changes. This version lives on the extended_syntax branch for
now [1]. F* specs compiled from hacspec type-check in F*. The F* compiler
and specs can be found at [2].

Some notable changes to the language are:
* all types have a `_t` suffix
* there are fixed length and variable length arrays and bytes
See Language.md [2] for more.

To avoid hacpsec becoming too F* focused it would be great when we could
get translations to other languages working as well.

Cheers,
Franziskus

[1] https://github.com/HACS-workshop/hacspec/tree/extended_syntax
[2]
https://github.com/HACS-workshop/hacspec/tree/extended_syntax/spec-compilers
[3]
https://github.com/HACS-workshop/hacspec/blob/extended_syntax/LANGUAGE.md
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://moderncrypto.org/mail-archive/hacspec/attachments/20180317/e9a07297/attachment.html>