Implement a compiling version of the sabre rewriter

mlaveaux / mCRL2-rust

A rust wrapper for the library functionality of the mCRL2 toolset

https://mlaveaux.github.io/mCRL2-rust/

Boost Software License 1.0

0 stars 0 forks source link

Implement a compiling version of the sabre rewriter #8

Open mlaveaux opened 3 months ago

mlaveaux commented 3 months ago

This pull request is an experiment to implement a compiling rewriter. Currently it just uses libloading to load a shared library that is being compiled with cargo.