|
|
1.1 root 1: The subdirectories here represent B work spaces, with example B units.
2:
3: With 'make examples', the B interpreter in ../lib/bint is tested (via the
4: shell command '../bin/b') on the following four examples:
5:
6: generate generates new sentences based on those supplied
7: by the user;
8: hanoi the towers of hanoi;
9: pi calculates the value of pi, using the unbounded
10: arithmetic of B;
11: xref a cross reference generator.
12:
13: For more information on these programs, see the B Newsletter, Issue 2.
14:
15: When you are on a small system, '../lib/bsmall' is used as the B interpreter.
16: Because the output of the examples is different in this case, you should use
17: 'make smallexamples' to test it. The pi example will not work at all, because
18: bsmall uses bounded arithmetic.
19:
20: The B editor ../lib/bed can only be tested by calling ../bin/b interactively.
21: For this the 'try' work space has been created from the 'generate' example,
22: so you can always regenerate it. For more information see the README in ./try.
23:
This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.