Changed paths:
M books/acl2s/cgen/acl2s-parameter.lisp
M books/acl2s/cgen/top.lisp
Log Message:
-----------
By default use-fixers is disabled and also testing-enabled is not set in top, instead users have to manually enable it before using non-naive mode of cgen
Changed paths:
M books/acl2s/cgen/acl2s-parameter.lisp
M books/acl2s/cgen/build-enumcalls.lisp
M books/acl2s/cgen/top.lisp
M books/acl2s/defdata/builtin-combinators.lisp
M books/acl2s/defdata/defdata-util.lisp
Log Message:
-----------
Merge pull request #745 from harshrc/master
Use a better sampling distribution for range types. Minor change in ACL2s defaults.