search

isaac-dunn / Part2_Project

OCaml implementation of dynamic partial-order reduction model-checking algorithm, and accompanying dissertation.
Apache License 2.0
1 stars 1 forks source link

Documentation on the tool #1

Open karthiv opened 7 months ago

karthiv commented 7 months ago

Hi, is there any documentation on how to run this tool please

isaac-dunn commented 7 months ago

I'm afraid not! What is your interest in running the tool?

karthiv commented 7 months ago

I am looking into POR techniques and i found your tool. So i wanted to use it for some sample programs and see how they work but am unable to run the code.

On Wed, 15 Nov 2023, 00:42 Isaac Dunn, @.***> wrote:

I'm afraid not! What is your interest in running the tool?

— Reply to this email directly, view it on GitHub https://github.com/isaac-dunn/Part2_Project/issues/1#issuecomment-1811016063, or unsubscribe https://github.com/notifications/unsubscribe-auth/AACVPN5OWFXQ5A2M43QYD5DYEO7AFAVCNFSM6AAAAAA7LJUWEWVHI2DSMVQWIX3LMV43OSLTON2WKQ3PNVWWK3TUHMYTQMJRGAYTMMBWGM . You are receiving this because you authored the thread.Message ID: @.***>

isaac-dunn commented 7 months ago

The main documentation, if you haven't seen it already, is my dissertation.

The code is written in OCaml. It only works on programs written in a custom, toy language.

Let me know if you have any more questions!

karthiv commented 7 months ago

Thank you. Yes this i saw.

Is there any documentation on how to run the code and some input files for the program?

On Wed, 15 Nov 2023, 16:31 Isaac Dunn, @.***> wrote:

The main documentation, if you haven't seen it already, is my dissertation https://github.com/isaac-dunn/Part2_Project/blob/master/diss/diss.pdf.

The code is written in OCaml. It only works on programs written in a custom, toy language.

Let me know if you have any more questions!

— Reply to this email directly, view it on GitHub https://github.com/isaac-dunn/Part2_Project/issues/1#issuecomment-1812288435, or unsubscribe https://github.com/notifications/unsubscribe-auth/AACVPN6MOUBWA2VDNWM654LYESOJ3AVCNFSM6AAAAAA7LJUWEWVHI2DSMVQWIX3LMV43OSLTON2WKQ3PNVWWK3TUHMYTQMJSGI4DQNBTGU . You are receiving this because you authored the thread.Message ID: @.***>

isaac-dunn commented 7 months ago

Unfortunately there's nothing outside of this git repository, sorry.

If you're not sure how to run the OCaml code, I suggest consulting the web or asking a large language model for help.

From https://github.com/isaac-dunn/Part2_Project/blob/master/src/main.ml, it looks like this main file takes the filename of an input file, and runs a model checking algorithm on it.

There aren't any input files immediately available. I suggest looking at the dissertation and test cases or parser to understand the toy language.

Sorry I can't be more help!