[Jenkins]Jenkins

SuccessChanges

Summary

  1. Change warning number for let def impure operations (commit: f762e74) (details)
  2. Added warnings for threadid, time and new expressions in function ctxts (commit: b9ea923) (details)
  3. Added warning for function value comparisons, fixes #739 (commit: 90c955f) (details)
Commit f762e7459b6950e6548f85066bf2fed9cd053efb by nick.battle
Change warning number for let def impure operations
 (commit: f762e74)
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerExpVisitor.java
Commit b9ea923a53e1ae8a07db9e46bbb1c0418bd61ba2 by nick.battle
Added warnings for threadid, time and new expressions in function ctxts
 (commit: b9ea923)
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerExpVisitor.java
Commit 90c955fdb8c163988b5f0e01c23064aa10286409 by nick.battle
Added warning for function value comparisons, fixes #739
 (commit: 90c955f)
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/assistant/type/PTypeAssistantTC.java
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerExpVisitor.java