aeneas/backends/coq, branch isabelleaeneas rust verifier with a hacky Isabelle backend
Update the backend and ExtractBuiltin.ml2024-04-25T14:27:43+00:00Son Ho2024-04-25T14:27:43+00:00eb5b2e76de6e2c6780b9817c1424777276ea5e00
Update the tests for External2024-04-25T11:42:23+00:00Son Ho2024-04-25T11:42:23+00:00703261b6c8ad680a925ae0550117a85d9dfa40fe
Rename Result.ret as Result.ok in the backends2024-04-04T14:08:32+00:00Son Ho2024-04-04T14:08:32+00:004828b77847ee981f5c6a1bbad7f8e6ed0e58eb0f
Fix minor issues2023-12-22T22:04:31+00:00Son Ho2023-12-22T22:04:31+00:009a8e43df626400aacdfcb9d2cf2eec38d71d2d73
Fix the models for core::mem::replace2023-12-22T20:50:11+00:00Son Ho2023-12-22T20:50:11+00:00d9ace7d5f1968f26b586fb712c725b2ce51086f8
Update the library for Coq2023-12-22T17:56:49+00:00Son Ho2023-12-22T17:56:49+00:00632e2ddc0c5ed0c785b37fdc41394336e467f623
Update the extraction to handle casts between integers/bools2023-12-13T15:54:10+00:00Son Ho2023-12-13T15:54:10+00:00c48859717d847f4492a0c3cc76e8f8b0b38fcc10
Add support for more bitwise operations and update the extraction2023-11-29T14:45:27+00:00Son Ho2023-11-29T14:45:27+00:00dc4b11689131bdb41a43e5aca76538556a3a120c
Update more names2023-11-21T09:27:08+00:00Son Ho2023-11-21T09:27:08+00:001dbdd9e316e690e5c63de2e1923afad520c76e4d
Update the standard libraries2023-11-21T09:23:14+00:00Son Ho2023-11-21T09:23:14+00:00c3b6ad3685995b3b96dc88789e8512560d3257b3