This project was created for the Spring 2019 Capstone Class at California State University, Monterey Bay. The proof checking done in the project is derived from OpenLogicProject.
This project is deployed on heroku at https://logic-proof-checker.herokuapp.com/. The project is set to automatically deploy when new changes are made to the master branch.
For an alternate method of deployment or to deploy a branch other than master:
- Go to this link if you have access to the deployment.
- Find the section of the page that under Manual deployment.
- Select the branch you would like to deploy, and click Deploy Branch.
Note: changing the currently deployed branch will not affect the automatic deployment and the master branch will still be deployed when changes are made to it. If you would like to disable Automatic deployments from master follow the steps below.
To disable automatic deployment:
- Go to this link if you have access to the deployment.
- Find the section of the page that under Automatic deploys.
- Click on Disable Automatic Deploys.
Note: This will mean that you will have to deploy manually everytime you make changes to the code.