pomagma
pomagma copied to clipboard
An inference engine for extensional untyped λ-calculus
Make Pomagma's use of pseudorandom generators reproducible.
see http://stackoverflow.com/questions/3764822/how-to-durably-rename-a-file-in-posix
$ pomagma explore skja ... Cartographer 2678064k Replacing region queue Cartographer 2678064k Filling region queue removed 6 files from /home/fritz/fritzo/pomagma/data/blob validating 2130 blobs Cartographer 2678088k Inferring neg removed 17 files...
The following verbs will be needed: - reformat: like gofmt for go, clang-format for c++ - extract: extracts code from corpus to send to the analyst - annotate: annotates markdown...
Example results contain garbage SECTION,RETRACT variables: $ pomagma analyze skja 24575 & $ pomagma.theorist.solve define unit # python /home/fritz/.virtualenvs/pomagma/bin/pomagma.theorist.solve define unit connecting to analyst at tcp://localhost:34936 Necessary: Possible: UNIT APP...
see http://docs.travis-ci.com/user/migrating-from-legacy/?utm_source=legacy-notice&utm_medium=banner&utm_campaign=legacy-upgrade
see https://github.com/fritzo/pomagma/blob/deterministic/src/theorist/conjecture_diverge.cpp#L46
Spurious results indicate the VM-backed surveyor misses occasional tasks during cleanup. To diagnose further, try the following: python -m pomagma init skrj # or another theory python -m pomagma update-theory...