[Jenkins]Jenkins

SuccessChanges

Summary

  1. Convert map/seq apply argument types, fixes #764 (commit: 8c9fc42) (details)
  2. Make thread operations public and check access, fixes #765 (commit: 77e66ac) (details)
  3. Use correct error location for ambiguity errors, fixes #767 (commit: 6206481) (details)
Commit 8c9fc42401d8cdf21c9a146c93a60dab2ad828fc by nick.battle
Convert map/seq apply argument types, fixes #764
 (commit: 8c9fc42)
The file was modifiedcore/interpreter/src/main/java/org/overture/interpreter/eval/ExpressionEvaluator.java (diff)
Commit 77e66ac8080e36977e5e54cbbfd329e265acbec3 by nick.battle
Make thread operations public and check access, fixes #765
 (commit: 77e66ac)
The file was modifiedcore/ast/src/main/java/org/overture/ast/factory/AstFactory.java (diff)
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/assistant/definition/AExplicitOperationDefinitionAssistantTC.java (diff)
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerDefinitionVisitor.java (diff)
Commit 62064812412ce24eaa2072420aa77ab0aa0d57fe by nick.battle
Use correct error location for ambiguity errors, fixes #767
 (commit: 6206481)
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/assistant/definition/SClassDefinitionAssistantTC.java (diff)
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerExpVisitor.java (diff)
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/utilities/NameFinder.java (diff)
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/assistant/definition/PDefinitionAssistantTC.java (diff)