Occam's verifier.
This readme file is mostly for developers. For instructions tailored to end users, see the following:
https://openmathematics.org/how-to-contribute
If you would like to contribute or would simply like to have a look at the code, you can clone the repository with Git...
git clone https://github.com/djalbat/occam-verify-cli.git
...and then install the dependencies with npm from within the project's root directory:
npm install
These are the commands and options:
verify [<options>] [<argument>] Verify the specified project
verify [<command>] [<options>] [<argument>]
Commands:
help Show this help
version Show the version
Options:
--help|-h Show this help
--version|-v Show the version
--tail|-t Sets the size of the tail of the log messages. The default is ten.
--follow|-f Show the log messages immediately instead of tailing them. The default is false.
Automation is thanks to npm scripts, have a look at the package.json file. The pertinent commands are:
npm run build-debug
npm run watch-debug
Copyright 2016-2023 James Smith
Licensed under the Apache License, Version 2.0 and Anti-996 License (collectively the "License"); you may not use this software except in compliance with the License and subject to the terms laid out after this notice. A copy of the License can be found at the following URL:
https://github.com/djalbat/occam-verify-cli/blob/master/license.txt
Unless required by applicable law or agreed to in writing, software distributed under the Licenses is distributed on an "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the Licenses for the specific language governing permissions and limitations under the Licenses.
- This is not free software.
- It can be used only for personal use and if not for profit, otherwise you must contact the author.
- You cannot re-use the source code for any reason, even if only for personal use and if not for profit; or even if you have paid to use it otherwise.