nickbattle/vdmj issues and pull requests

#73 - Proof obligation generator fails for local curried functions

Issue - State: closed - Opened by csb6 6 months ago - 3 comments

#72 - VSCode extension results in NoClassDefFoundError for HelpList

Issue - State: closed - Opened by smyalygames about 1 year ago - 5 comments

#71 - ClassMapper terminates JVM on error

Issue - State: closed - Opened by lausdahl about 1 year ago - 23 comments

#70 - Export the AST as JSON

Issue - State: closed - Opened by TheGrandmother over 1 year ago - 8 comments

#69 - Free variables visitor NPE on State-related clause

Issue - State: closed - Opened by leouk almost 2 years ago - 4 comments

#68 - Provide launch and tasks files

Issue - State: open - Opened by mortenhaahr almost 2 years ago - 8 comments
Labels: enhancement

#67 - POs sometimes fail with local definitions

Issue - State: closed - Opened by nickbattle about 2 years ago - 2 comments
Labels: bug

#66 - @LoopInvariant annotation

Issue - State: open - Opened by leouk about 2 years ago - 3 comments
Labels: enhancement

#65 - Experimenting with file input in standard library

Pull Request - State: closed - Opened by JaScMiller over 2 years ago - 3 comments

#64 - Various PO errors in VDMCheck rules-model

Issue - State: closed - Opened by nickbattle over 2 years ago - 1 comment
Labels: bug

#63 - the power of a negative number cause Java error on vdmj-4.4.6-P.jar

Issue - State: closed - Opened by tomooda over 2 years ago - 9 comments
Labels: bug

#62 - Enabled sonatype release

Pull Request - State: closed - Opened by lausdahl over 2 years ago - 11 comments

#61 - @spec(name[, weight]) annotation

Issue - State: closed - Opened by leouk almost 3 years ago - 6 comments
Labels: enhancement

#60 - Gets verbose and strict settings from the system

Pull Request - State: closed - Opened by idhugoid almost 3 years ago - 2 comments

#59 - Option to output a parsed, type checked specification is present in the user guide, but unrecognized by the VDMJ tool

Issue - State: closed - Opened by donbex almost 3 years ago - 4 comments
Labels: documentation

#58 - Breakpoint conditions should be mixable

Issue - State: open - Opened by nickbattle over 3 years ago
Labels: enhancement

#57 - Scope for inline functions not correct

Issue - State: closed - Opened by nickbattle over 3 years ago - 3 comments
Labels: bug

#56 - Measures for inline function definitions don't work

Issue - State: open - Opened by nickbattle over 3 years ago - 1 comment
Labels: bug

#55 - Allow type checking lambdas as total functions

Issue - State: closed - Opened by donbex over 3 years ago - 4 comments

#54 - Malformed URI in LSP response

Issue - State: closed - Opened by donbex over 3 years ago - 17 comments

#53 - NullPointerException when running the vdmj language server with neovim

Issue - State: closed - Opened by donbex over 3 years ago - 7 comments

#52 - Changes the translate return to the generated file URI

Pull Request - State: closed - Opened by idhugoid over 3 years ago - 1 comment

#51 - Type inference could be more flexible

Issue - State: open - Opened by nickbattle over 3 years ago
Labels: enhancement

#50 - Returns URI for the generated covtbl file

Pull Request - State: closed - Opened by idhugoid over 3 years ago - 1 comment

#49 - Returns URI for the generated covtbl file

Pull Request - State: closed - Opened by idhugoid over 3 years ago

#48 - Installation and packaging instructions

Issue - State: closed - Opened by lockywolf almost 4 years ago - 5 comments
Labels: enhancement

#47 - Cannot Generate Proof Obligations for 'ext' statements

Issue - State: closed - Opened by ghost almost 4 years ago - 5 comments
Labels: bug

#46 - Simple infinite type definitions cause stack overflow

Issue - State: closed - Opened by nickbattle almost 4 years ago - 2 comments
Labels: bug

#45 - Class cast error when using "self" variable name

Issue - State: closed - Opened by nickbattle about 4 years ago - 1 comment
Labels: bug

#44 - Ambiguous constructor calling has incorrect error location

Issue - State: closed - Opened by nickbattle about 4 years ago
Labels: bug

#43 - Map lookups can fail with mismatched key types

Issue - State: closed - Opened by nickbattle over 4 years ago - 3 comments
Labels: bug

#41 - Can't adjust breakpoints while stopped at a breakpoint

Issue - State: closed - Opened by nickbattle over 4 years ago - 1 comment
Labels: enhancement

#40 - DO NOT MERGE - HERE FOR REFERENCE SEE #39

Pull Request - State: closed - Opened by CThuleHansen over 4 years ago

#39 - New release after classmapper fix?

Issue - State: closed - Opened by CThuleHansen over 4 years ago - 30 comments

#38 - Changed mapper to use class classloader

Pull Request - State: closed - Opened by CThuleHansen over 4 years ago - 3 comments