Skip to content

Issues: overturetool/overture

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

64 Open 650 Closed
64 Open 650 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Repos in overture.p2.inf no longer valid since bintray.com shutdown
#790 opened Jul 12, 2022 by HedRat
Can't run app on MacOS 12
#787 opened Apr 26, 2022 by dhait
1
Add Annotations "provided" jar into the release artifacts
#786 opened Mar 2, 2022 by idhugoid v3.0.4
NotSerializableException when saving a type checked specification through the bundled version of VDMJ bug Incorrect behaviour of the tool language Issues in parser, TC, interpreter, POG or CG Mergable A fix is available on a branch to merge for release
#785 opened Feb 23, 2022 by donbex
@nickbattle
2
Code generation to java gives ambiguous reference to Record
#778 opened Apr 16, 2021 by CThuleHansen
Proof obligation exception when assigning to a record's sequence by index bug Incorrect behaviour of the tool language Issues in parser, TC, interpreter, POG or CG Mergable A fix is available on a branch to merge for release
#777 opened Mar 9, 2021 by ghost
@nickbattle
2
Map domain and range restrictions are over-constrained bug Incorrect behaviour of the tool language Issues in parser, TC, interpreter, POG or CG Mergable A fix is available on a branch to merge for release
#776 opened Mar 2, 2021 by nickbattle
@nickbattle
1
Correctly colour nested comments in VDM editor enhancement Not a bug, but nice to have
#775 opened Feb 5, 2021 by nickbattle
1
Allow nested block comments in parser enhancement Not a bug, but nice to have language Issues in parser, TC, interpreter, POG or CG Mergable A fix is available on a branch to merge for release
#774 opened Feb 5, 2021 by nickbattle
@nickbattle
8
Removed hard limit on module initialization enhancement Not a bug, but nice to have language Issues in parser, TC, interpreter, POG or CG Mergable A fix is available on a branch to merge for release
#773 opened Jan 16, 2021 by nickbattle
@nickbattle
2
Problem evaluating large trace
#771 opened Dec 9, 2020 by jonaskrask
4
Difficult VDMUnit test scenario
#768 opened Dec 2, 2020 by Gronne
3
Overture examples repo was updated with new measures
#766 opened Nov 19, 2020 by idhugoid v3.0.4
Imported definitions sometimes have the wrong type information bug Incorrect behaviour of the tool language Issues in parser, TC, interpreter, POG or CG
#760 opened Oct 29, 2020 by nickbattle
2
Check for Upgrades does not upgrade the Eclipse basis
#738 opened Sep 9, 2020 by idhugoid
@idhugoid
Merge of pull request breaks the javagen tests
#718 opened Mar 16, 2020 by idhugoid v3.0.4
error: couldn't find or load main class org.overture.interpreter.debug.DBG Reader V2
#703 opened Oct 7, 2019 by mobashgr v3.0.4
5
Unsatisfiable spec of square root function enhancement Not a bug, but nice to have language Issues in parser, TC, interpreter, POG or CG
#701 opened Jun 14, 2019 by mick62 v3.0.4
6
Error 3268: Empty sequence cannot be applied appears inappropriately bug Incorrect behaviour of the tool language Issues in parser, TC, interpreter, POG or CG
#689 opened Sep 3, 2018 by ivor-spence v3.0.4
@nickbattle
16
Overlap trace test cases in result of Combinatorial Test bug Incorrect behaviour of the tool language Issues in parser, TC, interpreter, POG or CG
#685 opened Aug 16, 2018 by shinsahara v3.0.4
@nickbattle
15
Define statements are parsed as let statements bug Incorrect behaviour of the tool language Issues in parser, TC, interpreter, POG or CG
#683 opened Jul 3, 2018 by sifraser v3.0.4
5
Debugger error missing values for sequences - truncated with duplicate entry 33 bug Incorrect behaviour of the tool IDE Problem with Eclipse rather than language core
#680 opened Mar 28, 2018 by lausdahl v3.0.4
@peterwvj
Upgrade the VDMUnit library with VDM-SL support enhancement Not a bug, but nice to have
#668 opened Feb 22, 2018 by lausdahl v3.0.4
@lausdahl @peterwvj
Is not yet specified package and utils enhancement Not a bug, but nice to have language Issues in parser, TC, interpreter, POG or CG
#667 opened Feb 20, 2018 by lausdahl v3.0.4
@peterwvj
8
Support Java code-generation of trap statements enhancement Not a bug, but nice to have language Issues in parser, TC, interpreter, POG or CG
#657 opened Dec 12, 2017 by peterwvj v3.0.4
@peterwvj
ProTip! no:milestone will show everything without a milestone.