Merge pull request #1 from DennisMerritt/master#1
Open
PCDennis wants to merge 15 commits intoDennisMerritt:masterfrom
Open
Merge pull request #1 from DennisMerritt/master#1PCDennis wants to merge 15 commits intoDennisMerritt:masterfrom
PCDennis wants to merge 15 commits intoDennisMerritt:masterfrom
Conversation
separate main
Author
|
pulled DM -> PCD |
Author
|
sigh, how do I sync these? |
added 14 commits
April 22, 2016 16:05
Modified the various parts of the code that need to be different for SICStus vs. Amzi!.
The program produces the same results for the Duck World modules as it did under Amzi!. It now needs to be made smarter about various SICStus structures.
some name changes, got import/export to work right for SICStus modules, made it so dynamic predicates modifications are tracked as well.
updated output_duckworld.txt. It has the proposed final report form. A cross reference, all the cones down from the top level predicates, all the cones up from the dynamic predicates.
working on walking real files
Producing results on large solistice directories
Improved formatting, fixed errors usually involving dynamic predicates, and added a new report of which files load which other files.
project, amplest, read errors.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
separate main