Commit [8be709] default Maximize Restore History

- Fixed bug 2569021: string literals don't work in .kfb files.

- Changed the .krb parser to iterate, rather than recurse on the list of rules
in the file so that it doesn't hit the recursion limit on large .krb files.
- Passes all ./testall tests.

mtnyogi mtnyogi 2009-02-10

changed Test/CanNotProve/facts.kfb
changed Test/CanNotProve/test.py
changed pyke/krb_compiler/kfbparser_tables.py
changed pyke/krb_compiler/compiler.krb
changed pyke/krb_compiler/kfbparser.py
changed pyke/krb_compiler/compiler_bc.py
Test/CanNotProve/facts.kfb Diff Switch to side-by-side view
Loading...
Test/CanNotProve/test.py Diff Switch to side-by-side view
Loading...
pyke/krb_compiler/kfbparser_tables.py Diff Switch to side-by-side view
Loading...
pyke/krb_compiler/compiler.krb Diff Switch to side-by-side view
Loading...
pyke/krb_compiler/kfbparser.py Diff Switch to side-by-side view
Loading...
pyke/krb_compiler/compiler_bc.py Diff Switch to side-by-side view
Loading...