bamapro-2019-ss merge requestshttps://git.ps.informatik.uni-kiel.de/student-projects/bamapro-2019-ss/-/merge_requests2019-09-03T11:09:29Zhttps://git.ps.informatik.uni-kiel.de/student-projects/bamapro-2019-ss/-/merge_requests/24Tammo clean up2019-09-03T11:09:29ZTammo HeilemannTammo clean upRequest regarding Issue #60Request regarding Issue #60Marvin LiraMarvin Lirahttps://git.ps.informatik.uni-kiel.de/student-projects/bamapro-2019-ss/-/merge_requests/17WIP: Resolve "Add Module Name for Function Definitions"2019-06-24T20:03:56ZTammo HeilemannWIP: Resolve "Add Module Name for Function Definitions"Closes #40Closes #40Complete 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/8Hangman2019-05-27T14:27:08ZBennet Bleßmannstu201758@mail.uni-kiel.deHangman- [ ] hangman group (@era and @stu126216 ) should check if this merger is correct and fix conflicts- [ ] hangman group (@era and @stu126216 ) should check if this merger is correct and fix conflictsDavid WolffDavid Wolffhttps://git.ps.informatik.uni-kiel.de/student-projects/bamapro-2019-ss/-/merge_requests/6Merge dependency reversal and package spiting2019-05-17T11:57:17ZBennet Bleßmannstu201758@mail.uni-kiel.deMerge dependency reversal and package spitingAs described in issue #7, the elm-compiler-library package has been split in two and the dependence between it and elm-ast-to-smt-input has been reversed, allowing the elm compiler to call into the verifier.As described in issue #7, the elm-compiler-library package has been split in two and the dependence between it and elm-ast-to-smt-input has been reversed, allowing the elm compiler to call into the verifier.