|
|
|
|
|
|
by pjmlp
3532 days ago
|
|
|
On the talk that they did, the guy from F* team mentioned that their goal was to be able to validate that the C code is correct and they can match 1:1 the language constructs, to allow for proper verification of the generated code. |
|
|