├── .github └── workflows │ └── ci.yml ├── .gitignore ├── .gitmodules ├── Cargo.lock ├── Cargo.toml ├── LICENSE ├── README.md ├── scripts └── build_shared_libs.sh ├── src ├── cli.rs ├── main.rs └── tests.rs └── test_files ├── issue_5_1.ml ├── issue_5_2.ml └── simple └── simple.rs /.github/workflows/ci.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/osa1/sg/HEAD/.github/workflows/ci.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- 1 | /target 2 | -------------------------------------------------------------------------------- /.gitmodules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/osa1/sg/HEAD/.gitmodules -------------------------------------------------------------------------------- /Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/osa1/sg/HEAD/Cargo.lock -------------------------------------------------------------------------------- /Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/osa1/sg/HEAD/Cargo.toml -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/osa1/sg/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/osa1/sg/HEAD/README.md -------------------------------------------------------------------------------- /scripts/build_shared_libs.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/osa1/sg/HEAD/scripts/build_shared_libs.sh -------------------------------------------------------------------------------- /src/cli.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/osa1/sg/HEAD/src/cli.rs -------------------------------------------------------------------------------- /src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/osa1/sg/HEAD/src/main.rs -------------------------------------------------------------------------------- /src/tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/osa1/sg/HEAD/src/tests.rs -------------------------------------------------------------------------------- /test_files/issue_5_1.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/osa1/sg/HEAD/test_files/issue_5_1.ml -------------------------------------------------------------------------------- /test_files/issue_5_2.ml: -------------------------------------------------------------------------------- 1 | 2 | 3 | let checkpoint_max_count = ref 15 4 | -------------------------------------------------------------------------------- /test_files/simple/simple.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/osa1/sg/HEAD/test_files/simple/simple.rs --------------------------------------------------------------------------------