bamapro-2019-ss merge requestshttps://git.ps.informatik.uni-kiel.de/student-projects/bamapro-2019-ss/-/merge_requests2019-08-20T20:55:32Zhttps://git.ps.informatik.uni-kiel.de/student-projects/bamapro-2019-ss/-/merge_requests/23fix TupleId branch of findExtensibleRecords2019-08-20T20:55:32ZBennet Bleßmannstu201758@mail.uni-kiel.defix TupleId branch of findExtensibleRecordsIf my understanding of findExtensibleRecord is correct this should use constructor Accessors and not Constructors
to dissect the Tuple and act on it's partsIf my understanding of findExtensibleRecord is correct this should use constructor Accessors and not Constructors
to dissect the Tuple and act on it's partsMarvin LiraMarvin Lirahttps://git.ps.informatik.uni-kiel.de/student-projects/bamapro-2019-ss/-/merge_requests/22Retranslation of counterexamples2019-08-08T10:35:02ZLeif-Erik KrügerRetranslation of counterexampleshttps://git.ps.informatik.uni-kiel.de/student-projects/bamapro-2019-ss/-/merge_requests/21Finally remove sbv-transformation2019-08-05T08:40:12ZBennet Bleßmannstu201758@mail.uni-kiel.deFinally remove sbv-transformationsbv-transformation is long out dated
and doesn't even compile anymore and
as the switch to z3 has been completed.
This pull request removes the remainder of sbv
(except comments still referencing it)
- [x] @stu201758 Bennet
- [x] @stu20...sbv-transformation is long out dated
and doesn't even compile anymore and
as the switch to z3 has been completed.
This pull request removes the remainder of sbv
(except comments still referencing it)
- [x] @stu201758 Bennet
- [x] @stu204767 Leif
- [x] @kaiprott Kai
- [x] @stu114663 Tammo
- [x] @tim Tim
- [x] @stu126216 David
- [x] @stu204529 Marvin
- [x] @era Eduardswitch from sbv to z3 libhttps://git.ps.informatik.uni-kiel.de/student-projects/bamapro-2019-ss/-/merge_requests/20Z3 library2019-06-30T16:33:07ZKai ProttZ3 libraryAdd z3-library as a backend. Current support is limited to only basic datatypes.Add z3-library as a backend. Current support is limited to only basic datatypes.switch from sbv to z3 libKai ProttKai Protthttps://git.ps.informatik.uni-kiel.de/student-projects/bamapro-2019-ss/-/merge_requests/19properly translate dependencies2019-06-28T14:01:09ZTammo Heilemannproperly translate dependencies- translate dependencies even if they do not have any pre-/postconditions
- only translate dependencies that are also in use
- only translate dependencies once- translate dependencies even if they do not have any pre-/postconditions
- only translate dependencies that are also in use
- only translate dependencies onceComplete TranslationBennet Bleßmannstu201758@mail.uni-kiel.deBennet Bleßmannstu201758@mail.uni-kiel.dehttps://git.ps.informatik.uni-kiel.de/student-projects/bamapro-2019-ss/-/merge_requests/18Resolve "Add Module Name for Function Definitions"2019-06-26T13:38:17ZTammo HeilemannResolve "Add Module Name for Function Definitions"- Closes #40
- Continuation of !17 (which was accidentally closed)- Closes #40
- Continuation of !17 (which was accidentally closed)Complete TranslationBennet Bleßmannstu201758@mail.uni-kiel.deBennet Bleßmannstu201758@mail.uni-kiel.dehttps://git.ps.informatik.uni-kiel.de/student-projects/bamapro-2019-ss/-/merge_requests/16Import check2019-06-08T10:00:42ZKai ProttImport checkhttps://git.ps.informatik.uni-kiel.de/student-projects/bamapro-2019-ss/-/merge_requests/15Elm ast to smt transform2019-06-05T11:50:27ZMarvin LiraElm ast to smt transformhttps://git.ps.informatik.uni-kiel.de/student-projects/bamapro-2019-ss/-/merge_requests/14make the elm-verify-external main use the Mode enum2019-06-07T13:21:56ZBennet Bleßmannstu201758@mail.uni-kiel.demake the elm-verify-external main use the Mode enum@tim is this what you ment by having external use the Mode enum?@tim is this what you ment by having external use the Mode enum?Tim WeißenfelsTim Weißenfelshttps://git.ps.informatik.uni-kiel.de/student-projects/bamapro-2019-ss/-/merge_requests/13Add debug Parameter to verifyModules Methode and have elm-verify-integrated u...2019-05-31T06:45:02ZBennet Bleßmannstu201758@mail.uni-kiel.deAdd debug Parameter to verifyModules Methode and have elm-verify-integrated use itAdded Mode enum to Specs.Data
Made Verifier.verifyModules take a Mode
elm-verify-external is updated to always pass Default for now
elm-verify-integrated passes Debug iff --debug is specified for the elm compiler , otherwise it pass...Added Mode enum to Specs.Data
Made Verifier.verifyModules take a Mode
elm-verify-external is updated to always pass Default for now
elm-verify-integrated passes Debug iff --debug is specified for the elm compiler , otherwise it passes Defaulthttps://git.ps.informatik.uni-kiel.de/student-projects/bamapro-2019-ss/-/merge_requests/12Integrate updated elm-verify-integrated and return errors again2019-05-28T11:17:23ZBennet Bleßmannstu201758@mail.uni-kiel.deIntegrate updated elm-verify-integrated and return errors againMarvin LiraMarvin Lirahttps://git.ps.informatik.uni-kiel.de/student-projects/bamapro-2019-ss/-/merge_requests/11Clean up sbv-transform library2019-05-26T19:05:39ZMarvin LiraClean up sbv-transform libraryhttps://git.ps.informatik.uni-kiel.de/student-projects/bamapro-2019-ss/-/merge_requests/10Check Specifications2019-05-27T14:30:23ZKai ProttCheck SpecificationsThis closes https://git.ps.informatik.uni-kiel.de/student-projects/bamapro-2019-ss/issues/19,
closes https://git.ps.informatik.uni-kiel.de/student-projects/bamapro-2019-ss/issues/20,
closes https://git.ps.informatik.uni-kiel.de/student...This closes https://git.ps.informatik.uni-kiel.de/student-projects/bamapro-2019-ss/issues/19,
closes https://git.ps.informatik.uni-kiel.de/student-projects/bamapro-2019-ss/issues/20,
closes https://git.ps.informatik.uni-kiel.de/student-projects/bamapro-2019-ss/issues/21
and implements https://git.ps.informatik.uni-kiel.de/student-projects/bamapro-2019-ss/issues/11.A tool for simple verificationsKai ProttKai Protthttps://git.ps.informatik.uni-kiel.de/student-projects/bamapro-2019-ss/-/merge_requests/9Elm ast to smt transform2019-05-24T13:31:34ZMarvin LiraElm ast to smt transformhttps://git.ps.informatik.uni-kiel.de/student-projects/bamapro-2019-ss/-/merge_requests/7Merging both the internal and external approach2019-05-22T08:14:06ZBennet Bleßmannstu201758@mail.uni-kiel.deMerging both the internal and external approachMerging both the integrated and external verifier approach.
In this Merge Request the elm-ast-to-smt-input folder has been moved into elm-verify and been renamed to elm-verify-inetgrated and now depends on the elm-compiler-library mod...Merging both the integrated and external verifier approach.
In this Merge Request the elm-ast-to-smt-input folder has been moved into elm-verify and been renamed to elm-verify-inetgrated and now depends on the elm-compiler-library module in elm-verify.
The submodule for the elm-compiler-lib has both versions merged and adjusted to build both an executable (for integrated approach) and a library (for external approach).
Both approaches have been adjusted to be able to compile together.
* integrated uses changed artifact type
* external uses the Verify type which has been moved to elm-data to Skip integrated verification
A dependencies map has been added in elm-verify
It would be nice if @tim ,@kaiprott and @stu114663 could review this merge request.
This merge request is linked to the corresponding one in the submodule stu201758/elm-compiler-library!1https://git.ps.informatik.uni-kiel.de/student-projects/bamapro-2019-ss/-/merge_requests/5Sudoku annotated with Pre and Post Conditions2019-05-17T11:51:37ZBennet Bleßmannstu201758@mail.uni-kiel.deSudoku annotated with Pre and Post ConditionsModules not yet checked
- [x] List.Maybe
- [x] Seq.Extra
- [x] GenSudoku
- [x] Main
- [x] Model
- [x] Sudoku
- [x] Types
- [x] Update
- [x] View
Modules not yet checked
- [x] List.Maybe
- [x] Seq.Extra
- [x] GenSudoku
- [x] Main
- [x] Model
- [x] Sudoku
- [x] Types
- [x] Update
- [x] View
https://git.ps.informatik.uni-kiel.de/student-projects/bamapro-2019-ss/-/merge_requests/44gewinnt2019-05-03T06:02:01ZLeif-Erik Krüger4gewinnthttps://git.ps.informatik.uni-kiel.de/student-projects/bamapro-2019-ss/-/merge_requests/3More comments and lets for Sudoku2019-05-02T19:53:47ZTammo HeilemannMore comments and lets for Sudoku* [X] move lambdas to functions in let
* [X] switch order of withDefault to avoid additional constructors or even mmap
* [X] add some more comments
* [X] use elm-analyse to further improve the code* [X] move lambdas to functions in let
* [X] switch order of withDefault to avoid additional constructors or even mmap
* [X] add some more comments
* [X] use elm-analyse to further improve the codeBennet Bleßmannstu201758@mail.uni-kiel.deBennet Bleßmannstu201758@mail.uni-kiel.dehttps://git.ps.informatik.uni-kiel.de/student-projects/bamapro-2019-ss/-/merge_requests/220482019-04-29T11:22:45ZKai Prott2048https://git.ps.informatik.uni-kiel.de/student-projects/bamapro-2019-ss/-/merge_requests/1Sudoku2019-04-26T14:12:14ZBennet Bleßmannstu201758@mail.uni-kiel.deSudoku* [x] Incorporate Review
* [x] Add Readme* [x] Incorporate Review
* [x] Add Readme