From 04b71416d7841b3286bc7b468c767dbae4779939 Mon Sep 17 00:00:00 2001 From: mangpo Date: Sun, 16 Oct 2016 21:57:25 -0700 Subject: [PATCH] fix links from README --- README.md | 8 ++++---- inverse.rkt | 2 +- machine.rkt | 6 ++---- 3 files changed, 7 insertions(+), 9 deletions(-) diff --git a/README.md b/README.md index bab9da7..0c3a48c 100644 --- a/README.md +++ b/README.md @@ -144,10 +144,10 @@ raco make test-search.rkt ../parallel-driver.rkt ``` ## More Documentations -- [Extending GreenThumb to a New ISA](documentations/new-isa.md) -- [Adding more instructions to an existing superoptimizer](documentations/add-more-instructions.md) -- [Special Objects for Program State](documentations/special-objects.md) -- [Advanced Usage](documentations/advanced-usage.md) +- [Extending GreenThumb to a New ISA](documentation/new-isa.md) +- [Adding more instructions to an existing superoptimizer](documentation/add-more-instructions.md) +- [Special Objects for Program State](documentation/special-objects.md) +- [Advanced Usage](documentation/advanced-usage.md) ## Inquery and Bug Report diff --git a/inverse.rkt b/inverse.rkt index 1628a44..a853a18 100644 --- a/inverse.rkt +++ b/inverse.rkt @@ -156,7 +156,7 @@ [else #f]) ] - [else (raise "interpret-inst-backward")] ;; TODO + [else (raise "interpret-inst-backward: unknow case.")] ;; TODO )) )) diff --git a/machine.rkt b/machine.rkt index ddf6bea..2729d0e 100644 --- a/machine.rkt +++ b/machine.rkt @@ -49,6 +49,8 @@ no-assumption clean-code get-state clone-state display-state state-eq? get-opcode-id get-opcode-name + progstate->vector vector->progstate + get-states-from-file parse-state-text ;; For stochastic & enumerative search update-live update-live-backward @@ -66,10 +68,6 @@ update-progstate-ins update-progstate-ins-load update-progstate-ins-store update-progstate-del-mem kill-outs is-cannonical - - ;; TODO: clean-up - progstate->vector vector->progstate - get-states-from-file parse-state-text ) (define (get-constructor) (raise "Please implement machine:get-constructor"))