commit | 10b0ae021e1cce7c5a4c9b1ed6354aa48f239c7a | [log] [tgz] |
---|---|---|
author | Patrick Hiesel <hiesel@google.com> | Tue Dec 10 17:34:47 2019 +0100 |
committer | Patrick Hiesel <hiesel@google.com> | Wed Dec 11 09:29:19 2019 +0100 |
tree | 15408186f9ffd8cdee5ec98208f89ba8af813b21 | |
parent | 80778c64b4f95c58a1762ab9fd70767b7ffd027d [diff] |
Apply Prolog reduction limit even to bootstrapped machine When we start the Prolog environment through RulesCache, we create a bare machine (=interpreter) that will later be used by PrologEnvironment, a subclass of BufferingPrologControl. The reduction limit is applied through PrologEnvironment when terms are evaluated. The problem with that is that even the bare machine creation might run into the reduction limit by interpreting the provided facts. Before this commit, the reduction limit in the bare machine was always 1M. This commit makes it so that we apply the same limit that we have configured in Gerrit to the bare machine. This commit is obviously lacking a test, but we see this bug occuring in production right now and don't want to block the fix on providing a test. The effect was validated in a local Gerrit test site. Change-Id: I688f4abd8c02b635edb1c0cab9c921448ce6ac0a
Gerrit is a code review and project management tool for Git based projects.
Gerrit makes reviews easier by showing changes in a side-by-side display, and allowing inline comments to be added by any reviewer.
Gerrit simplifies Git based project maintainership by permitting any authorized user to submit changes to the master Git repository, rather than requiring all approved changes to be merged in by hand by the project maintainer.
For information about how to install and use Gerrit, refer to the documentation.
Our canonical Git repository is located on googlesource.com. There is a mirror of the repository on Github.
Please report bugs on the issue tracker.
Gerrit is the work of hundreds of contributors. We appreciate your help!
Please read the contribution guidelines.
Note that we do not accept Pull Requests via the Github mirror.
The Developer Mailing list is repo-discuss on Google Groups.
Gerrit is provided under the Apache License 2.0.
Install Bazel and run the following:
git clone --recurse-submodules https://gerrit.googlesource.com/gerrit cd gerrit && bazel build release
The instruction how to configure GerritForge/BinTray repositories is here
On Debian/Ubuntu run:
apt-get update & apt-get install gerrit=<version>-<release>
NOTE: release is a counter that starts with 1 and indicates the number of packages that have been released with the same version of the software.
On CentOS/RedHat run:
yum clean all && yum install gerrit-<version>[-<release>]
On Fedora run:
dnf clean all && dnf install gerrit-<version>[-<release>]
Docker images of Gerrit are available on DockerHub
To run a CentOS 7 based Gerrit image:
docker run -p 8080:8080 gerritforge/gerrit-centos7[:version]
To run a Ubuntu 15.04 based Gerrit image:
docker run -p 8080:8080 gerritforge/gerrit-ubuntu15.04[:version]
NOTE: release is optional. Last released package of the version is installed if the release number is omitted.