Open SaeedZhiany opened 4 years ago
Hi,
Thank you for using the tool. Sorry, I am not familiar with cmake, but I guess that you may include the source code easily if all the dependencies are installed.
best, Xin
On Mon, Sep 23, 2019 at 1:50 AM SaeedZhiany notifications@github.com wrote:
Hi,
Does any cmake file exist that I can use to build this project in IDEs like Clion?
— You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub https://github.com/chenxin415/flowstar/issues/1?email_source=notifications&email_token=ABZML2FYGSDLKXBBHRDOCTTQLBKLFA5CNFSM4IZGTVPKYY3PNVWWK3TUL52HS4DFUVEXG43VMWVGG33NNVSW45C7NFSM4HM6F4YA, or mute the thread https://github.com/notifications/unsubscribe-auth/ABZML2F44WR4DBR2SSUDFC3QLBKLFANCNFSM4IZGTVPA .
Thank you for your response.
Cmake is a new branded procedure for compiling c++ projects and IDEs like Clion (by jetbrains) only support Cmake based projects.
your current project is compilable only with eclipse or by make
command from a terminal. I tried to convert your MakeFile
to a CMakeList.txt
but I still get some errors that I don't know how to resolve them. currently I have no access to my laptop. I try to share my CMakeLists.txt
file with you to adding cmake support to your project.
have you changed any of the original FlowStar tool? what is the difference between this tool and the original one? what are the new features? is this project for your research project? and if yes can you share your paper?
Yes, the version on github is entriely different from the one on the homepage, since this version is only for providing C++ API on continuous dynamics.
I use this version in all of the recent papers on the reachability analysis for neural network controlled systems.
On Mon, Sep 23, 2019 at 10:33 AM SaeedZhiany notifications@github.com wrote:
have you changed any of the original FlowStar tool https://flowstar.org/ ? what is the difference between this tool and the original one? what are the new features? is this project for your research project? and if yes can you share your paper?
— You are receiving this because you commented. Reply to this email directly, view it on GitHub https://github.com/chenxin415/flowstar/issues/1?email_source=notifications&email_token=ABZML2BZTO4XC2UOLDQGDEDQLDHVDA5CNFSM4IZGTVPKYY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGOD7LB7YA#issuecomment-534126560, or mute the thread https://github.com/notifications/unsubscribe-auth/ABZML2FVLQ7VT6MQS27S5TTQLDHVDANCNFSM4IZGTVPA .
So interesting, Can you please give me the link of your papers? I like to take a look at those.
and is your tool suitable for reachability analysis of Cyber-Physical Systems? or it's better to use the original one for CPSs.
Sure, you may check the following papers:
http://www.cs.colorado.edu/~srirams/papers/neural-reachability-hscc2019.pdf
https://arxiv.org/abs/1906.10654
Yes, Flow* is developed to analyze the safety of CPS, but our models are just hybrid automata.
On Mon, Sep 23, 2019 at 11:24 AM SaeedZhiany notifications@github.com wrote:
So interesting, Can you please give me the link of your paper? I like to take a look at those.
and is your tool suitable for reachability analysis of Cyber-Physical Systems? or it's better to use the original one for CPSs.
— You are receiving this because you commented. Reply to this email directly, view it on GitHub https://github.com/chenxin415/flowstar/issues/1?email_source=notifications&email_token=ABZML2C6LBUNQDDNODO4NG3QLDNR3A5CNFSM4IZGTVPKYY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGOD7LHUXI#issuecomment-534149725, or mute the thread https://github.com/notifications/unsubscribe-auth/ABZML2DVEICDINGPV4REGVDQLDNR3ANCNFSM4IZGTVPA .
Thank you.
but our models are just hybrid automata.
sorry, I didn't get it.
Hi,
Does any cmake file exist that I can use to build this project in IDEs like Clion?