commit | 698361124a436df02c79f10de7357aa08781ea72 | [log] [tgz] |
---|---|---|
author | Shawn Pearce <sop@google.com> | Thu Dec 18 17:49:40 2014 +0000 |
committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | Thu Dec 18 17:49:41 2014 +0000 |
tree | cc928b3f43fa59bbc42b783ae70fe63b8f574e9a | |
parent | 0bff12741c358515a587ecdf5f72ab528ce2d420 [diff] | |
parent | ed001d7f691e7e4c342141ca06d9efb867db9445 [diff] |
Merge "Limit number of reductions made by Prolog"