File: README

package info (click to toggle)
acl2 8.6%2Bdfsg-3
  • links: PTS
  • area: main
  • in suites: forky, sid
  • size: 1,138,276 kB
  • sloc: lisp: 17,818,294; java: 125,359; python: 28,122; javascript: 23,458; cpp: 18,851; ansic: 11,569; perl: 7,678; xml: 5,591; sh: 3,978; makefile: 3,840; ruby: 2,633; yacc: 1,126; ml: 763; awk: 295; csh: 233; lex: 197; php: 178; tcl: 49; asm: 23; haskell: 17
file content (11 lines) | stat: -rw-r--r-- 485 bytes parent folder | download | duplicates (2) 
1
2
3
4
5
6
7
8
9
10
11
 
The following two subdirectories approach the problem of modifying
memory accesses for "special" addresses.  Details are in file mem.lisp
in each directory (see especially comments near the top), but in
summary:

- mem-access-sound/ uses wrappers for reading and writing memory,
  which bypass the primitive read and write operations when given a
  special address; and

- mem-access-unsound/ modifies the behavior of stobj primitives at
  special addresses, in a way that is unsound.