CMAKE_ANDROID_API will set CMAKE_SYSTEM_VERSION if it's not defined.
Also remove setting CMake variable values that don't affect the ability
to successfully configure in CI.
* [Draft] Added unfinished code for high level bindings for js
* * Rewrote structure of js api files
* Added more high level apis
* Minor fixes
* Fixed wasm github action
* Fix JS test
* Removed ContextOptions type
* * Added Ints to JS Api
* Added tests to JS Api
* Added run-time checks for contexts
* Removed default contexts
* Merged Context and createContext so that the api behaves the sames as in other constructors
* Added a test for Solver
* Added Reals
* Added classes for IntVals and RealVals
* Added abillity to specify logic for solver
* Try to make CI tests not fail
* Changed APIs after a round of review
* Fix test
* Added BitVectors
* Made sort into getter
* Added initial JS docs
* Added more coercible types
* Removed done TODOs
* Update docker-image.yml
towards tweaking script to use ghcr
* Update docker-image.yml
* Update docker-image.yml
* Update docker-image.yml
change usr/pwd to names that are more descriptive
* Update docker-image.yml
rename back to use DOCKER prefix
it remains to bind to ghcr.io instead of docker.io
* Update ubuntu-20-04.Dockerfile
try to use ghcr instead of docker.io
* Update docker-image.yml
try with chcr token
* Update docker-image.yml
* Update docker-image.yml
* Update docker-image.yml
* Update ubuntu-20-04.Dockerfile
* Update docker-image.yml
* Correctly emits simple and detailed coverage reports using a
combination of `gcovr` and `llvm-cov gcov`
* Uploads the reports as associated artifacts, with 4 days of retention
* Executes on every `master` push, and daily at 11 UTC
Co-authored-by: Andrei Lascu <andrei.lascu10@imperial.ac.uk>
* Due to the long duration of the CI execution, execute it at a set time
daily (currently 11 UTC / 4 PDT)
* Use `Ninja` to build instead of Makefile, due to better compilation
time
* Execute all the available Z3 tests and examples: `test-z3 -a`,
`z3test` regression suites (`smt2`, `smt2-debug`, and `smt2-extra`),
`z3test` coverage tests, and the 4 provided examples
* Upload `gcovr` report as an artifact associated with the CI run
TODOs:
* Fix `gcovr` emitting an empty report
* Potentially take the artifact and upload it somewhere accessible
Co-authored-by: Andrei Lascu <andrei.lascu10@imperial.ac.uk>
