Commits · master · student-projects / bamapro-2019-ss

30 Sep, 2019 1 commit
- Merge branch 'dev-bennet' · 63690b17
  Bennet Bleßmann authored Sep 30, 2019
  
  63690b17
27 Sep, 2019 2 commits
- add a version of Either.elm that is not eta reduced · 38365f39
  Bennet Bleßmann authored Sep 27, 2019
  
  38365f39
- change dbgIO to error in paramCheck · 59e42391
  Bennet Bleßmann authored Sep 27, 2019
```
this is already not recoverable and the z3 error is less helpfull
```
  59e42391
26 Sep, 2019 14 commits
- Merge branch 'master' into dev-tammo · 6a2972bc
  Tammo Heilemann authored Sep 26, 2019
  
  6a2972bc
- rename entry to type inference · 7f93f8ea
  Tammo Heilemann authored Sep 26, 2019
  
  7f93f8ea
- add _ postfix version of dbg · 3da9b0aa
  Bennet Bleßmann authored Sep 26, 2019
```
replace _ <- dbg ... with dbg_ ...
replace _ <- zipWithM ... with zipWithM_ ...
```
  3da9b0aa
- fix problem with type inference and eta-reduction · daca7e40
  Bennet Bleßmann authored Sep 26, 2019
  
  daca7e40
- stop trying to infer kernel stuff · 17cf5006
  Bennet Bleßmann authored Sep 26, 2019
  
  17cf5006
- fix parts of addFunctionSignatureToLocalVars · f03faa13
  Bennet Bleßmann authored Sep 26, 2019
```
remove some debug output
```
  f03faa13
- changing example program test cases from Ignore to Normal, closing issue #57 · 077f9edc
  Bennet Bleßmann authored Sep 26, 2019
  
  077f9edc
- remove unused language pragma · f8d0d062
  Bennet Bleßmann authored Sep 26, 2019
  
  f8d0d062
- remove obsololete HLint ignore · 146a7fbf
  Bennet Bleßmann authored Sep 26, 2019
  
  146a7fbf
- Revert "Remove deletion of ElmStuff folder from test suite" · 74dc8cb0
  Tammo Heilemann authored Sep 26, 2019
```
This reverts commit de378efa.
```
  74dc8cb0
- Merge branch 'master' into dev-tammo · 602af151
  Tammo Heilemann authored Sep 26, 2019
  
  602af151
- Remove deletion of ElmStuff folder from test suite · de378efa
  Tammo Heilemann authored Sep 26, 2019
```
this is no longer needed and is way faster without it
```
  de378efa
- Merge branch 'master' of https://git.ps.informatik.uni-kiel.de/student-projects/bamapro-2019-ss · 26baf8fe
  Leif-Erik Krüger authored Sep 26, 2019
  
  26baf8fe
- a small spelling change · 6efb9f62
  Leif-Erik Krüger authored Sep 26, 2019
  
  6efb9f62
24 Sep, 2019 4 commits
- Merge branch 'dev-bennet' · 0666ab61
  Bennet Bleßmann authored Sep 24, 2019
  
  0666ab61
- Merge branch 'presentation_example_edit' · 7dd67b18
  Kai-Oliver Prott authored Sep 24, 2019
  
  7dd67b18
- Update README.md · 1db23949
  Kai Prott authored Sep 24, 2019
  
  1db23949
- Update README · c65ac9a0
  Kai Prott authored Sep 24, 2019
  
  c65ac9a0
23 Sep, 2019 7 commits
- simplify if then else to unless · e19487de
  Bennet Bleßmann authored Sep 23, 2019
  
  e19487de
- remove obsolete predicate negation · e73a11cc
  Bennet Bleßmann authored Sep 23, 2019
  
  e73a11cc
- Merge branch 'master' of https://git.ps.informatik.uni-kiel.de/student-projects/bamapro-2019-ss · 0f75f67a
  Leif-Erik Krüger authored Sep 23, 2019
  
  0f75f67a
- fix errors in the counterexample creation surrounding the "gen#" part added in... · 6f570b67
  Leif-Erik Krüger authored Sep 23, 2019
```
fix errors in the counterexample creation surrounding the "gen#" part added in some kinds of type variables
```
  6f570b67
- strip aliases when substituting the extension variable of a record · 550c6641
  Bennet Bleßmann authored Sep 23, 2019
```
implement LetDestruct
```
  550c6641
- Merge branch 'master' of https://git.ps.informatik.uni-kiel.de/student-projects/bamapro-2019-ss · afc19a77
  Leif-Erik Krüger authored Sep 23, 2019
  
  afc19a77
- fix a bug with indirect type variables in the retranslation of custom datatypes · e16f08dc
  Leif-Erik Krüger authored Sep 23, 2019
  
  e16f08dc
21 Sep, 2019 4 commits
- Fix module name in test · ffe89557
  Tammo Heilemann authored Sep 21, 2019
  
  ffe89557
- Add a documentation comment · 94bcbaba
  Tammo Heilemann authored Sep 21, 2019
  
  94bcbaba
- Fix linter warnings in TypeInference · c43e96f9
  Tammo Heilemann authored Sep 21, 2019
  
  c43e96f9
- Add missing case in addFunctionSignatureToLocalVars · 84b25b53
  Tammo Heilemann authored Sep 21, 2019
  
  84b25b53
20 Sep, 2019 8 commits
- Fix new build errors and warnings · d4a0f147
  Tammo Heilemann authored Sep 20, 2019
  
  d4a0f147
- Add some documentation comments · b5b62214
  Tammo Heilemann authored Sep 20, 2019
  
  b5b62214
- Add missing case in addFunctionSignatureToLocalVars · 59911bc8
  Tammo Heilemann authored Sep 20, 2019
  
  59911bc8
- Merge branch 'master' into dev-tammo · c8c6e149
  Tammo Heilemann authored Sep 20, 2019
  
  c8c6e149
- Add missing case in replaceTVarInExpr · 6bd240b3
  Tammo Heilemann authored Sep 20, 2019
  
  6bd240b3
- Add missing case in replaceTVarInExpr · fa7af530
  Tammo Heilemann authored Sep 20, 2019
  
  fa7af530
- Move type inference monadic functions to TypeInference.hs · 7e3ac4e2
  Tammo Heilemann authored Sep 20, 2019
```
Rename exprSort to inferType
```
  7e3ac4e2
- Remove unused imports from Expression.hs · 444b3af7
  Tammo Heilemann authored Sep 20, 2019
  
  444b3af7