Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Confirm the restatement of obaptheory.txt #18

Open
12 tasks
orcmid opened this issue Feb 20, 2019 · 0 comments
Open
12 tasks

Confirm the restatement of obaptheory.txt #18

orcmid opened this issue Feb 20, 2019 · 0 comments
Assignees
@orcmid
Labels
enhancement task An effort that needs to be identified and then carried out, staged as needed

Comments

@orcmid
Copy link
Owner

orcmid commented Feb 20, 2019

As of obaptheory.txt 0.0.32, the simplification and removal of the apint helper, there needs to be reconfirmation. In particular, we want to ensure the treatment of lindy traps is still correct.

  • Review the obap test scripts and capture the expected results

  • obap.obcheck.sml

  • obapcheck.sml

  • combdemo.sml

  • Ydemo.sml

  • revise obap.sml to correspond to the obaptheory.txt treatment

  • reverify the test scripts to ensure expected results.

  • obap.obcheck.sml

  • obapcheck.sml

  • combdemo.sml

  • Ydemo.sml

  • upgrade obaptheory.txt to 0.1.0 after any necessary fixes.
@orcmid orcmid self-assigned this Feb 20, 2019
@orcmid orcmid added the task An effort that needs to be identified and then carried out, staged as needed label Jan 16, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@orcmid orcmid

Labels
enhancement task An effort that needs to be identified and then carried out, staged as needed
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@orcmid