Merge requests · student-projects / bamapro-2019-ss

Tammo clean up

!24 · created Aug 30, 2019 by Tammo Heilemann
- CLOSED
- 0
updated Sep 03, 2019
fix TupleId branch of findExtensibleRecords

!23 · created Aug 19, 2019 by Bennet Bleßmann To Review
- MERGED
- 0
updated Aug 20, 2019
Retranslation of counterexamples

!22 · created Aug 08, 2019 by Leif-Erik Krüger
- MERGED
- 0
updated Aug 08, 2019
Finally remove sbv-transformation 8 of 8 checklist items completed

!21 · created Aug 02, 2019 by Bennet Bleßmann switch from sbv to z3 lib To Review
- MERGED
- 0
updated Aug 05, 2019
Z3 library

!20 · created Jun 30, 2019 by Kai Prott switch from sbv to z3 lib
- MERGED
- 0
updated Jun 30, 2019
properly translate dependencies

!19 · created Jun 26, 2019 by Tammo Heilemann Complete Translation @BennetB @Tammo
- MERGED
- 0
updated Jun 28, 2019
Resolve "Add Module Name for Function Definitions"

!18 · created Jun 24, 2019 by Tammo Heilemann Complete Translation @BennetB @Tammo
- MERGED
- 0
updated Jun 26, 2019
WIP: Resolve "Add Module Name for Function Definitions"

!17 · created Jun 24, 2019 by Tammo Heilemann Complete Translation @BennetB @Tammo
- CLOSED
- 2
updated Jun 24, 2019
Import check

!16 · created Jun 08, 2019 by Kai Prott
- MERGED
- 0
updated Jun 08, 2019
Elm ast to smt transform

!15 · created Jun 05, 2019 by Marvin Lira
- MERGED
- 0
updated Jun 05, 2019
make the elm-verify-external main use the Mode enum

!14 · created Jun 05, 2019 by Bennet Bleßmann
- MERGED
- 1
- 0
updated Jun 07, 2019
Add debug Parameter to verifyModules Methode and have elm-verify-integrated use it

!13 · created May 30, 2019 by Bennet Bleßmann
- MERGED
- 0
updated May 31, 2019
Integrate updated elm-verify-integrated and return errors again

!12 · created May 27, 2019 by Bennet Bleßmann elm-ast-to-smt-transform
- MERGED
- 0
updated May 28, 2019
Clean up sbv-transform library

!11 · created May 26, 2019 by Marvin Lira
- MERGED
- 0
updated May 26, 2019
Check Specifications

!10 · created May 25, 2019 by Kai Prott A tool for simple verifications @Tim @kaiprott
- MERGED
- 0
updated May 27, 2019
Elm ast to smt transform

!9 · created May 24, 2019 by Marvin Lira
- MERGED
- 0
updated May 24, 2019
Hangman 0 of 1 checklist item completed

!8 · created May 24, 2019 by Bennet Bleßmann
- CLOSED
- 1
updated May 27, 2019
Merging both the internal and external approach

!7 · created May 17, 2019 by Bennet Bleßmann To Review
- MERGED
- 5
updated May 22, 2019
Merge dependency reversal and package spiting

!6 · created May 15, 2019 by Bennet Bleßmann elm-ast-to-smt-input
- CLOSED
- 1
updated May 17, 2019
Sudoku annotated with Pre and Post Conditions 9 of 9 checklist items completed

!5 · created May 03, 2019 by Bennet Bleßmann
- MERGED
- 1
updated May 17, 2019