Skip to content
GitLab
Menu
Projects
Groups
Snippets
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
POTTIER Francois
menhir
Commits
87c4a6f2
Commit
87c4a6f2
authored
Jul 07, 2015
by
POTTIER Francois
Browse files
Removed a comment. Memoization of trivial calls do not seem effective.
parent
1950faea
Changes
1
Hide whitespace changes
Inline
Side-by-side
src/Coverage.ml
View file @
87c4a6f2
...
...
@@ -544,10 +544,6 @@ let () =
(* TEMPORARY implement and exploit [Lr1.ImperativeNodeMap] using an array *)
(* TEMPORARY the code in this module should run only if --coverage is set *)
(* TEMPORARY gain a constant factor by memoizing [nullable_first_prod]? *)
(* TEMPORARY gain some time and space by not memoizing "trivial" calls
e.g. when n = 0
e.g. when there is just one recursive call with i+1
*)
(* TEMPORARY maybe cutoff didn't work because productions were not sorted by length? *)
(* TEMPORARY key idea? stop searching as soon as the lower bound predicted by [MINIMAL]
is reached *)
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment