Issues

• Repos in overture.p2.inf no longer valid since bintray.com shutdown

  overturetool/overture#790 · Filter by author HedRat opened on Jul 12, 2022

• Can't run app on MacOS 12

  overturetool/overture#787 · Filter by author dhait opened on Apr 26, 2022
  1

• Add Annotations "provided" jar into the release artifacts

  overturetool/overture#786 · Filter by author idhugoid opened on Mar 2, 2022 · v3.0.4

• NotSerializableException when saving a type checked specification through the bundled version of VDMJ

  buglanguageMergable
  overturetool/overture#785 · Filter by author donbex opened on Feb 23, 2022
  2

  

• Code generation to java gives ambiguous reference to Record

  overturetool/overture#778 · Filter by author CThuleHansen opened on Apr 16, 2021

• Proof obligation exception when assigning to a record's sequence by index

  buglanguageMergable
  overturetool/overture#777 · Filter by author ghost opened on Mar 9, 2021
  2

  

• Map domain and range restrictions are over-constrained

  buglanguageMergable
  overturetool/overture#776 · Filter by author nickbattle opened on Mar 2, 2021
  1

  

• Correctly colour nested comments in VDM editor

  enhancement
  overturetool/overture#775 · Filter by author nickbattle opened on Feb 5, 2021
  1

• Allow nested block comments in parser

  enhancementlanguageMergable
  overturetool/overture#774 · Filter by author nickbattle opened on Feb 5, 2021
  8

  

• Removed hard limit on module initialization

  enhancementlanguageMergable
  overturetool/overture#773 · Filter by author nickbattle opened on Jan 16, 2021
  2

  

• Problem evaluating large trace

  overturetool/overture#771 · Filter by author jonaskrask opened on Dec 9, 2020
  4

• Difficult VDMUnit test scenario

  overturetool/overture#768 · Filter by author Gronne opened on Dec 2, 2020
  3

• Overture examples repo was updated with new measures

  overturetool/overture#766 · Filter by author idhugoid opened on Nov 19, 2020 · v3.0.4

• Imported definitions sometimes have the wrong type information

  buglanguage
  overturetool/overture#760 · Filter by author nickbattle opened on Oct 29, 2020
  2

• Check for Upgrades does not upgrade the Eclipse basis

  overturetool/overture#738 · Filter by author idhugoid opened on Sep 9, 2020
  

• Merge of pull request breaks the javagen tests

  overturetool/overture#718 · Filter by author idhugoid opened on Mar 16, 2020 · v3.0.4

• error: couldn't find or load main class org.overture.interpreter.debug.DBG Reader V2

  overturetool/overture#703 · Filter by author mobashgr opened on Oct 7, 2019 · v3.0.4
  5

• Unsatisfiable spec of square root function

  enhancementlanguage
  overturetool/overture#701 · Filter by author mick62 opened on Jun 14, 2019 · v3.0.4
  6

• Error 3268: Empty sequence cannot be applied appears inappropriately

  buglanguage
  overturetool/overture#689 · Filter by author ivor-spence opened on Sep 3, 2018 · v3.0.4
  16

  

• Overlap trace test cases in result of Combinatorial Test

  buglanguage
  overturetool/overture#685 · Filter by author shinsahara opened on Aug 16, 2018 · v3.0.4
  15

  

• Define statements are parsed as let statements

  buglanguage
  overturetool/overture#683 · Filter by author sifraser opened on Jul 3, 2018 · v3.0.4
  5

• Debugger error missing values for sequences - truncated with duplicate entry 33

  bugIDE
  overturetool/overture#680 · Filter by author lausdahl opened on Mar 28, 2018 · v3.0.4
  

• Upgrade the VDMUnit library with VDM-SL support

  enhancement
  overturetool/overture#668 · Filter by author lausdahl opened on Feb 22, 2018 · v3.0.4
  

• Is not yet specified package and utils

  enhancementlanguage
  overturetool/overture#667 · Filter by author lausdahl opened on Feb 20, 2018 · v3.0.4
  8

  

• Support Java code-generation of trap statements

  enhancementlanguage
  overturetool/overture#657 · Filter by author peterwvj opened on Dec 12, 2017 · v3.0.4