https://github.com/joom/cpp-coq-ffi
A primitive set data structure for Coq, using `std::set` from C++.
https://github.com/joom/cpp-coq-ffi
Last synced: 26 days ago
JSON representation
A primitive set data structure for Coq, using `std::set` from C++.
- Host: GitHub
- URL: https://github.com/joom/cpp-coq-ffi
- Owner: joom
- Created: 2023-11-15T22:08:26.000Z (over 2 years ago)
- Default Branch: main
- Last Pushed: 2023-11-21T13:21:06.000Z (over 2 years ago)
- Last Synced: 2025-02-28T16:17:15.045Z (over 1 year ago)
- Language: C++
- Size: 39.1 KB
- Stars: 0
- Watchers: 2
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# cpp-coq-ffi
A primitive set data structure for Coq, using `std::set` from C++.
This is only meant to be an experiment. The example returns the right result but it has other bugs about memory management.
You can compile it by `make`, and then run `./prog`.
This compiles for me with this commit of CertiCoq: https://github.com/CertiCoq/certicoq/commit/706ef73cf8ca9b3d41e046b0bf35e28083cfeac0