← Back to branch summary

~ubuntu-branches/ubuntu/wily/acl2/wily

« back to all changes in this revision

Viewing changes to books/centaur/vl/top.acl2

  • Committer: Package Import Robot
  • Author(s): Camm Maguire
  • Date: 2015-01-16 10:35:45 UTC
  • mfrom: (3.3.26 sid)
  • Revision ID: package-import@ubuntu.com-20150116103545-prehe9thgo79o8w8
Tags: 7.0-1
New upstream release

Show diffs side-by-side

added added

removed removed

Lines of Context:
books/centaur/vl/top.acl2
1
1
(in-package "ACL2")
2
 
#+gcl (acl2::value :q)
3
 
#+gcl (setq si::*optimize-maximum-pages* nil)
4
 
#+gcl (let ((w (multiple-value-bind (a b c d) (si::heap-report) (/ (- d c) (/ a 8))))) (when #+native-reloc t #-native-reloc (< w 500000000) (bye -1)))
5
 
#+gcl (acl2::lp)
6
2
(include-book "portcullis")
7
3
; cert-flags: ? t :ttags :all
8
4