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

Continuous Integration #3

Closed
smiths opened this issue May 20, 2016 · 4 comments
Closed

Continuous Integration #3

smiths opened this issue May 20, 2016 · 4 comments
Assignees
@szymczdm

Comments

@smiths
Copy link
Collaborator

smiths commented May 20, 2016

We should add methods for regression testing of Drasil. The makefiles used in ggk for doing a diff with the "golden" version of the generated file seems like a good model. An e-mail has been sent to Dan with the locations of the makefiles in the mgg repo.
@smiths
Copy link
Collaborator Author

smiths commented Aug 24, 2016

Hello Dan. You can access the makefiles we discussed for ggk in the following repo:

https://gitlab.cas.mcmaster.ca/SEforSC/mgg

Specifically you might want to look at the following files:

https://gitlab.cas.mcmaster.ca/SEforSC/mgg/blob/master/code/ggk/Makefile

and

https://gitlab.cas.mcmaster.ca/SEforSC/mgg/blob/master/code/ggk/ctest/Makefile

Hopefully we can do a similar thing for regression testing with drasil.

@szymczdm
Copy link
Collaborator

@JacquesCarette would these tests be sufficient for now (in regards to #62), or would you need something more specific?

@JacquesCarette
Copy link
Owner

JacquesCarette commented Sep 20, 2016 •
edited
Loading

Yes, that would be sufficient.

@szymczdm
Copy link
Collaborator

Commit e0df0be addresses this issue. We should now be able to quickly and easily test if anything has changed after updating Drasil.

halonazhao pushed a commit that referenced this issue Nov 28, 2018
Fix fixme #3.
cb7e0d0
JacquesCarette pushed a commit that referenced this issue Dec 3, 2018
@JacquesCarette
Implement HasUID class to LabelledContents and Section (#1071)
7f54389 
* Initial design.

* Apply UID to more chunks, but need to be verified.

* Add UID to Section.

* Modify the makeRef2 to has HasUID class.

* Add UID field to Reference2.

* Start fixing fixme.

* Fix fixme #1.

* Fix fixme #2.

* Fix fixme #3.

* Make some modification based on feedback, expr is hard to name.

* Fix fixme #4.

* Change structure for Section.

* Modify structure for LabelledContent.

* Remove UID field from LabelledContent.

* Fix more in exmaples.

* Constraint Referable class.

* Implement new Ref2 constructor.

* Remove fixme from makeURI.

* Move some labels to docLang

* Fix some naming errors.
JacquesCarette pushed a commit that referenced this issue Dec 5, 2018
@JacquesCarette
Collect References; Fill RefBy field; Generate Traceability Table; (#…
8a8ff94 
…1072)

* Apply ConceptDomain to CI.

* Collect CI from DocDesc.

* Try new structure on SWHS.

* Fill conceptDomain for CIs in drasil-data.

* Add conceptDomain for GlassBR.

* Add more conceptDomains for CIs.

* Add conceptDomain to some chunks and add a new CI sec.

* Try to implement CI to some chunks.

* Reimplement Concept domain for CIs.

* Add CI field to AssumpChunk.

* Add CI to Assumpchunk and dataDef.

* Add CI field for Section.

* Add CI field for Instance Model.

* And CI to Theory model.

* Add CI for General Definition.

* Modify term description for Glass.

* Move IdeaDicts to drasil-lang.

* Rearrange module to make Data.Drasil.IdeaDicts exposed from drasil-lang.

* Remove implementation of acronmys.

* Implement NamedIdea and CommomIdea class for AssumpChunk.

* Remove CI from Section.

* Add CI to Citation.

* Remove some redundant definitions.

* Try to implement new Reference2.

* Try apply on assumptions.

* Optimize the data type.

* Update RefProg language and renderer.

* Silence some warnings.

* Add rProg to Referable and have makeRef2 use that. Use snref for Ref2 in TeX printer.

* Use makeRef2 for ConceptInstance in GlassBR

* Turn all references of AssumpChunk to use makeRef2.

* Turn TM related references to use makeRef2.

* Make GenDef to use new ref2, but there is no GD for GlassBr.

* Turn DD related references to use new ref2.

* Turn IM related references to use new ref2.

* Make RefProg for LabelledContent.

* Implement RefProg for Citation.

* ConceptInstance uses Ref2 (#1051)

* Update RefProg language and renderer.

* Silence some warnings.

* Add renderRef to Referable and have makeRef2 use that. Use snref for Ref2 in TeX printer.

* Use makeRef2 for ConceptInstance in all examples.

* Apply new conceptDomain for Citation.

* Apply Ref2 to Some Chunks (#1052)

* Update RefProg language and renderer.

* Silence some warnings.

* Add rProg to Referable and have makeRef2 use that. Use snref for Ref2 in TeX printer.

* Use makeRef2 for ConceptInstance in GlassBR

* Turn all references of AssumpChunk to use makeRef2.

* Turn TM related references to use makeRef2.

* Make GenDef to use new ref2, but there is no GD for GlassBr.

* Turn DD related references to use new ref2.

* Turn IM related references to use new ref2.

* Make RefProg for LabelledContent.

* Implement RefProg for Citation.

* Apply new conceptDomain for Citation.

* Use Ref2 in GamePhysics.

* Use Ref2 in NoPCM.

* Use Ref2 in SSP.

* Use Ref2 in SWHS.

* Add trace table and refby table and traverse DocDesc to get the references.

* Turn all possible-changed references to use Ref2 in every case (#1053)

* Update RefProg language and renderer.

* Silence some warnings.

* Add rProg to Referable and have makeRef2 use that. Use snref for Ref2 in TeX printer.

* Use makeRef2 for ConceptInstance in GlassBR

* Turn all references of AssumpChunk to use makeRef2.

* Turn TM related references to use makeRef2.

* Make GenDef to use new ref2, but there is no GD for GlassBr.

* Turn DD related references to use new ref2.

* Turn IM related references to use new ref2.

* Make RefProg for LabelledContent.

* Implement RefProg for Citation.

* Apply new conceptDomain for Citation.

* Use Ref2 in GamePhysics.

* Use Ref2 in NoPCM.

* Use Ref2 in SSP.

* Use Ref2 in SWHS.

* Fix the left errors.

* Remove useless constraints.

* Try to implement the refBy but found a problem.

* Fix couple errors (#1055)

* Update RefProg language and renderer.

* Silence some warnings.

* Add rProg to Referable and have makeRef2 use that. Use snref for Ref2 in TeX printer.

* Use makeRef2 for ConceptInstance in GlassBR

* Turn all references of AssumpChunk to use makeRef2.

* Turn TM related references to use makeRef2.

* Make GenDef to use new ref2, but there is no GD for GlassBr.

* Turn DD related references to use new ref2.

* Turn IM related references to use new ref2.

* Make RefProg for LabelledContent.

* Implement RefProg for Citation.

* Apply new conceptDomain for Citation.

* Use Ref2 in GamePhysics.

* Use Ref2 in NoPCM.

* Use Ref2 in SSP.

* Use Ref2 in SWHS.

* Fix some errors which accidently applied ref2 on label.

* Turn IM1 to DD for SSP and change all related references and modify stable to match.

* Turn TM1 to DD1.

* Turn IM3 to DD but still keep IM3 in IM section as a placeholder.

* GlassBR get rid of all the cyclic importing issues.

* Turn two DDs to GMs, but leave those two DDs as well because they have derivations.

* Remove those two DDs and remove some label references.

* Remove more label references.

* Reference2 should not store a UID (except in Deferred). So making these does not need a HasUID. Triggered by removing use of mkRefFrmLbl in showTables.

* remove some warnings. Make exports from Reference explicit. Remove some unused things from Reference (more to go).

* Turn a TM to DD.

* Do not export makeRef2, just makeRef2S. It was not needed anyways.

* Differentiation between Internal references (with a full RefProg) and a Citation. Because LaTeX needs to know. And it is a (somehow) semantic difference. Citation is not used yet, that will be the next phase.

* Change some references from makeRefS to makeCite in GlassBR, and it worked. Without any changes needed to stable even. So this is definite forward progress.

* two constructors for make InstanceModels were never used, so removed them.

* Successful surgery: all InstanceModel now have a Citation, rather than a Reference field. These mean different things in Drasil. Some noise is introduced during the transition, but the extra combinators can be removed later. Also, need to split Classes into yet more pieces to deal with import cycles (can be done later too).

* implement URI/external references. These exist in SWHS (in the old Reference). This is the first step in using Referenc2 for TheoryModels.

* Get rid of all makerefs to use makeRef2S or makecitation.

* Match stable

* Create makeCiteS and makeRef2.

* Changes for GlassBR.

* Fix the errors for GlassBR.

* Make changes for NOPCM.

* Make changes for NoPCM.

* Make changes for SWHS.

* More changes.

* Modify DataDefinition Structure.

* switch TheoryModel to Reference2. A few hacks along the way to get there, but will be easy to deal with later.

* Modify structure for General Definition.

* Remove some warnings.

* Remove more warnings.

* Try to comment out makeRef and makeRefS to get rid of all the use of them; Fix almost everything except the Unital.hs in GlassBR references assumptions.hs; This removing is faked.

* recover the fake removing makeRefS.

* Recover makeRef and makeRefS importing.

* Match most of the stables and found an error in SWHS and fixed it.

* Fix the error in SWHS again and match the stable.

* Match the final stable.

* Revert RefBy field implementation.

* Initial design.

* Apply UID to more chunks, but need to be verified.

* Add UID to Section.

* Modify the makeRef2 to has HasUID class.

* Add UID field to Reference2.

* Start fixing fixme.

* Fix fixme #1.

* Fix fixme #2.

* Fix fixme #3.

* Make some modification based on feedback, expr is hard to name.

* Fix fixme #4.

* Change structure for Section.

* Modify structure for LabelledContent.

* Remove UID field from LabelledContent.

* Fix more in exmaples.

* Constraint Referable class.

* Implement new Ref2 constructor.

* Remove fixme from makeURI.

* fix an error.

* Add four maps to ChunkDB.

* Try to implement Refby to o DD section.

* Implement Refby to DD, TM, IM and GD.

* Fix stable with some references in RefBy field.

* Bring references back to append to the end of assumption sentence.

* Try to implement a Traceability structure.

* Put Assumption Map in to ChunkDB.

* Tryp to implement the Traceability matrix.

* Fix bug in generating tracyMatrix; the order of the input doesn't matter.

* Implement a big trace Matrix to every case except SSP.

* Fix the dot dot error.

* Add ConceptInstanceMap to ChunkDB.

* Match stable for now so that further changes can be observed well.

* Update all cases to use the new structure of Requirement section.

* Change to use new structures to generate likely and unlikely change section.

* Found the problem and fix.

* Try to change the structure for LikelyChange section.

* Test collecting references from reqs and likelyChanges.

* Add section map to ChunkDB.

* Fix an error but there is still a bug.

* Fixed the collecting setions bug.

* Add LabelledContent Map to CHunkDB.

* Fill all the reference things.

* Match stable.

* Change generating matrix function to be better.

* Fix the error.
JacquesCarette pushed a commit that referenced this issue Jun 29, 2021
@Ant13731
Merge pull request #3 from Ant13731/transferringWebsite2
5b88b70 
transferring Makefile commands for website
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@szymczdm szymczdm

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@szymczdm @smiths @JacquesCarette