7.0 version bump

Author: bennn

info.rkt

@@ -3,7 +3,7 @@
 (define deps '("base" "typed-racket-lib" "typed-racket-more" "require-typed-check"))
 (define build-deps '("scribble-lib" "racket-doc" "rackunit-lib" "typed-racket-doc" "at-exp-lib" "gtp-util" "pict-lib" "scribble-abbrevs" "syntax-sloc" "with-cache"))
 (define pkg-desc "Gradual typing benchmark programs")
-(define version "6.0")
+(define version "7.0")
 (define pkg-authors '(ben))
 (define scribblings '(("scribblings/gtp-benchmarks.scrbl" () ("Benchmarks"))))
 (define compile-omit-paths '("benchmarks" "utilities/sample-gtp-measure-manifest.rkt"))

scribblings/gtp-benchmarks.scrbl

@@ -108,6 +108,14 @@ See also the GitHub release notes:
 @url{https://github.com/bennn/gtp-benchmarks/releases}
 
 @itemlist[
+  @item[
+    @history[#:changed "7.0"
+             @elem{Remove @racket[racket/sandbox] dependency from @bm{acquire}
+                   and change the benchmark to stop using a player AI that times out.
+                   Timing info from sandbox depends on system calls; measurements should
+                   be more stable without it.
+                   Based on a first measurment, the typed/untyped overhead in @racket[acquire]
+                   is the same before and after.}]]
   @item[
     @history[#:changed "6.0"
              @elem{@bold{Major Release}.