- Install dependencies using script:
sudo ./install-dependencies.sh - Create the boost tarfile:
make -C tars install_boost make install
cd superopt-tests && make clangv_Od > clangv_Od.out & ../superopt/utils/show-results build
vscode-extension/scripts/upload-eqcheck --sessionName <sessionName> --eqchecksDir <dir1> --eqchecksDir <dir2>... [--passingOnly]
The directories dir1, dir2, ... are traversed recursively to identify any eqchecks that should be picked up. The sessionName can be used to load the session that contains all these eqchecks.
Follow these steps for building and running the equivalence checker inside a Docker container.
- See doc/Docker.md for instruction on how to install the Docker engine.
- Build the Docker image. Note that internet connectivity is required in this step.
This process can take a while depending upon your internet connection bandwidth.
make docker-build - Run the container forwarding container's port 80 to host's port 80.
The 8181 port is used by scan-view.
make docker-run - (Inside the container) Build and install the equivalence checker.
make install