Open xwcompe opened 8 months ago
Thanks for using ompTG tool for the research. This repo is the source code for our core implementation of our paper but without some dependencies. This repo contains part of 1,3 and full of 2.
Due to the strict compilation of the third party open source softwares like ALFBackend, etc, I suggest using the docker image mentioned in the readme. The whole runtime environment and the full code are bundled inside it, and you can check all codes and prebuilt libraries by docker exec -it xxx /bin/bash
. Also you can browse the web interface provided by this image.
Note: the sweet
tool is not an open-source program and we cannot provide the source code of the sweet due to the limitations. Sorry for the inconvenience.
Hello,
It seems to me the source code in this repo does not contain the whole ompTG tool as described in its paper. Specifically, several compilation steps are missing in the source code:
Do you plan to release the source code of the whole tool? Or am I missing something? Some guidances here would be of great help!
Thanks in advance.