fix links from README

mangpo · Oct 17, 2016 · 04b7141 · 04b7141
1 parent af75a9b
commit 04b7141
Show file tree

Hide file tree

Showing 3 changed files with 7 additions and 9 deletions.
diff --git 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
@@ -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
@@ -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"))