aeneas/backends/fstar, branch isabelle aeneas rust verifier with a hacky Isabelle backend https://stuebinm.eu/git/aeneas/atom/backends/fstar?h=isabelle 2024-04-25T14:27:43Z Update the backend and ExtractBuiltin.ml 2024-04-25T14:27:43Z Son Ho 2024-04-25T14:27:43Z urn:sha1:eb5b2e76de6e2c6780b9817c1424777276ea5e00 Update the tests for External 2024-04-25T11:42:23Z Son Ho 2024-04-25T11:42:23Z urn:sha1:703261b6c8ad680a925ae0550117a85d9dfa40fe Rename Result.ret as Result.ok in the backends 2024-04-04T14:08:32Z Son Ho 2024-04-04T14:08:32Z urn:sha1:4828b77847ee981f5c6a1bbad7f8e6ed0e58eb0f Update the Makefile and remove the split files for F* 2024-03-08T15:08:39Z Son Ho 2024-03-08T15:08:39Z urn:sha1:78734dc530ee209b5a0946e82bf98b97e374bed0 Fix minor issues 2023-12-22T22:04:31Z Son Ho 2023-12-22T22:04:31Z urn:sha1:9a8e43df626400aacdfcb9d2cf2eec38d71d2d73 Fix the models for core::mem::replace 2023-12-22T20:50:11Z Son Ho 2023-12-22T20:50:11Z urn:sha1:d9ace7d5f1968f26b586fb712c725b2ce51086f8 Update the library for F* 2023-12-22T17:47:50Z Son Ho 2023-12-22T17:47:50Z urn:sha1:455ba366f9c8d07a1f1848ec0960b1f2d161e7cf Update the extraction to handle casts between integers/bools 2023-12-13T15:54:10Z Son Ho 2023-12-13T15:54:10Z urn:sha1:c48859717d847f4492a0c3cc76e8f8b0b38fcc10 Add support for more bitwise operations and update the extraction 2023-11-29T14:45:27Z Son Ho 2023-11-29T14:45:27Z urn:sha1:dc4b11689131bdb41a43e5aca76538556a3a120c Update more names 2023-11-21T09:27:08Z Son Ho 2023-11-21T09:27:08Z urn:sha1:1dbdd9e316e690e5c63de2e1923afad520c76e4d