SSP Referable Goals #1232
Merged
SSP Referable Goals #1232
Conversation
This file contains 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
JacquesCarette
approved these changes
Apr 26, 2019
|
All good, but a merge is needed. |
|
Merged master. |
samm82
pushed a commit
that referenced
this pull request
May 3, 2019
* Updated stable - LCs in traceability matrix * Added goalStmtDom so that goal statements can be made CIs * Made referable concept instances out of the SSP goals * Cleaned warnings and updated stable
JacquesCarette
pushed a commit
that referenced
this pull request
May 4, 2019
* Added Functional Requirements intro to all examples * Updated cabal files from previous commit * Removed deprecated note from FR1 in GlassBR; closes #877 * Bumped drasil-data version number * SSP Functional Requirements (#1230) * Updated requirements 1-3 * Removed the unnecessary/bad requirements * Updated R4-R6 * Updated R7-R8 * Updated R9-R11 * Added table of inputs to output * Fixed errors and warnings * Added caption to new table * Updated stable * Added requirement about writing output to file * Updated stable * SSP Referable Goals (#1232) * Updated stable - LCs in traceability matrix * Added goalStmtDom so that goal statements can be made CIs * Made referable concept instances out of the SSP goals * Cleaned warnings and updated stable * SSP Cleanup (#1234) * Added missing citations of Karchewski paper, updated stable (LC traceability) * Removed rigid finite element def * Changed last use of SSA acronym to SSP * Added ssp to acronym table, removed ssa * Updated confusing description * Signed my name * updated stable * Fixed warning causing failed build * Updated stable * Add build target to drasil-code generated Makefiles (#1239) * Make Make build generator more abstract. * Add support for Phony targets to make printer. * Create smart constructors for Rules and Commands. * Add build AST to drasil-code for generating Makefiles. * Make file generation (for codegen) more flexible. * Use drasil-build in drasil-code to expose a renderer for build scripts. * Enable makefile generation for drasil-code codegen. (Only 'run' target at the moment) * Rename RunName to BuildName and cleanup AST. * Add infrastructure for a language's BuildConfig. * Add buildConfig field to language Configs. * Enable build target for code Makefiles. * Generate build target even if the language requires no building to have a consistent make target when invoked with no arguments. * Fixed list concatenation in Requirements.hs * Improved caption generated for tables; as per #833
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
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.
This PR makes
ConceptInstances out of the goal statements for SSP, so that the goal statements areReferable, which is needed for #1205.