From cfbb05fb1b4259abc6d3a896f2fbdd9c0b801064 Mon Sep 17 00:00:00 2001 From: Markus Triska Date: Wed, 12 Jan 2022 21:58:23 +0100 Subject: [PATCH] deterministic --> semi-deterministic --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 53d3f24b..105069ac 100644 --- a/README.md +++ b/README.md @@ -20,7 +20,7 @@ for the introduction of a mark-compacting garbage collector. Several performance enhancing changes are due before rebis-dev will be considered ready for merging into master, among them: -* Replacing choice points pivoting on inlined deterministic predicates +* Replacing choice points pivoting on inlined semi-deterministic predicates (`atom`, `var`, etc) with if/else ladders * Inlining all built-ins and system call instructions * Greatly reducing the number of instructions used to compile disjunctives -- 2.54.0