Skip to content
Jenkins
log in
Jenkins
All
overture-development
The Overture Abstract Syntax Tree
#287
ENABLE AUTO REFRESH
Back to Project
Status
Changes
Console Output
View Build Information
Executed Mojos
Open Tasks
See Fingerprints
Embeddable Build Status
Previous Build
Next Build
Changes
Summary
Make thread operations public and check access, fixes #765 (
commit: 77e66ac
) (
details
)
Commit 77e66ac8080e36977e5e54cbbfd329e265acbec3 by
nick.battle
Make thread operations public and check access, fixes #765
(
commit: 77e66ac
)
core/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerDefinitionVisitor.java
core/ast/src/main/java/org/overture/ast/factory/AstFactory.java
core/typechecker/src/main/java/org/overture/typechecker/assistant/definition/AExplicitOperationDefinitionAssistantTC.java
![[Jenkins]](/jenkins/static/dde5e32c/images/jenkins-header-logo-v2.svg){kind=logo}
ChangesChanges