GitHub Explorer

by Alexey Ratnikov

GitHub Explorer

GitHub Explorer|TRENDING COMPARE|FEEDBACK

Back to search

overturetool/overture - GitHub Explorer | GitHub Explorer | Trending | Compare

Back to search

overture

overturetool•PUBLIC

View on GitHub

The Overture Tool

code-generationeclipseformal-methodsidejavaoverturevdmvdm-slvdmppvdmrt

GNU General Public License v3.0

Created on Nov 22, 2013

Updated on Mar 8, 2025

Stars

Forks

Watchers

Open Issues

Repository Health Score

❤️

25/100

Poor

Overall repository health assessment

Score Breakdown

Activity

Inactive - no updates in 3+ months

0/30

Issues Analytics

Total Issues

All time

Open

27% of total

Closed

Recent Commits

Changes the template to generate VDMRecord

idhugoid•4 years ago

8e73876View on GitHub

Start solving the Record issue

idhugoid•4 years ago

b5af1c9View on GitHub

Merge pull request #783 from overturetool/issue782

idhugoid•4 years ago

3efff8aView on GitHub

fixed #782 by adding missing scope test to only include the dependency in testing

Kenneth Lausdahl•4 years ago

7d0b453View on GitHub

Add class initialize changes for Simon's PR

nick_battle•5 years ago

7bced1cView on GitHub

Add retries to Simon's initialize improvement

nick_battle•5 years ago

5d44bdaView on GitHub

Merge branch 'noLimitOnScopeCheck' of https://github.com/anaplan-engineering/overture into anaplan-engineering-noLimitOnScopeCheck

nick_battle•5 years ago

65fd630View on GitHub

Removed hard limit on module initialization

Simon Fraser•5 years ago

820f098View on GitHub

Added seedtrace to CommandReader

nick_battle•5 years ago

a89622cView on GitHub

Merge branch 'ncb/development' of https://github.com/overturetool/overture.git into ncb/development

nick_battle•5 years ago

cc01824View on GitHub

Correct running of traces with slashes in their name

nick_battle•5 years ago

132c389View on GitHub

Introduce InvariantValueMaps from VDMJ, fixes #770

nick_battle•5 years ago

ee8935eView on GitHub

Merge remote-tracking branch 'origin/development' into ncb/development

nick_battle•5 years ago

17dfbffView on GitHub

Fix FunctionValue compareValueTo for unions, fixes #769

nick_battle•5 years ago

40133feView on GitHub

Merge branch 'ncb/development' into development

idhugoid•5 years ago

05c30c5View on GitHub

View all commits

GitHub Explorer

overture

Score Breakdown

Issues Activity: Last 6 months

Top Labels

Hottest Issues