idhugoid issues

Repositories
Issues
Comments

Results 5 issues of


                                            idhugoid

Add Annotations "provided" jar into the release artifacts

Overture examples repo was updated with new measures

Just to ensure it gets into 3.0.4

Merge of pull request breaks the javagen tests

### Description Build is broken after the commits in #714 ### Steps to Reproduce Run mvn with tests Tests run: 23, Failures: 0, Errors: 1, Skipped: 0, Time elapsed: 6.44...

Check for Upgrades does not upgrade the Eclipse basis

### Description The update feature appears to break in case of a major Eclipse basis leap. We have the update sites to Eclipse but the platform upgrade does not appear....

Translate to UML appears in workspace context for VDM-SL projects

We currently hide the Translate to UML for vdmsl dialect files. That is not the case on a folder which may contain VDM++ files...

UI bug