Issues

• Heap updates ignored on LetSubstitutionRule application

  mattulbrich/dive#206 · Filter by author SpringVaS opened on Mar 10, 2022

• Match Term creation (sometimes)

  mattulbrich/dive#205 · Filter by author SpringVaS opened on Apr 1, 2021
  1

• Incomplete boogie translation

  backendbug
  mattulbrich/dive#194 · Filter by author mattulbrich opened on Oct 21, 2020
  

• Assignable check does not allow modifying new objects

  backendbug
  mattulbrich/dive#173 · Filter by author mattulbrich opened on May 1, 2020
  

• Term selection and reference highlighting on different sequents.

  mattulbrich/dive#167 · Filter by author SpringVaS opened on Apr 22, 2020
  3

  

• Reference Highlighting corresponding variable with position in source code

  mattulbrich/dive#166 · Filter by author SpringVaS opened on Apr 22, 2020
  1

  

• Script parser: No error reported for unknown labels

  enhancementlaterscript-engine
  mattulbrich/dive#140 · Filter by author mattulbrich opened on Jun 19, 2019
  4

  

• Update license

  mattulbrich/dive#137 · Filter by author mattulbrich opened on Jun 15, 2019 · Going Public
  3

  

• Hardly readable sequent

  enhancementfx-gui
  mattulbrich/dive#116 · Filter by author JonasKlamroth opened on May 10, 2019
  9

  

• Origin Information in all Processing Phases of Sequenters

  enhancement
  mattulbrich/dive#115 · Filter by author sgrebing opened on May 10, 2019
  2

  

• Add settings window for Solver settings

  enhancementfx-guilater
  mattulbrich/dive#105 · Filter by author sgrebing opened on Dec 20, 2018
  2

• Add support for expression operators: !in and fresh

  enhancement
  mattulbrich/dive#91 · Filter by author mattulbrich opened on Oct 12, 2018
  

• Identify and implement relevant proof rules

  mattulbrich/dive#90 · Filter by author mattulbrich opened on Oct 10, 2018 · Going Public
  5

  

• Feature Request: Warning if a case was not used at all

  enhancementlater
  mattulbrich/dive#70 · Filter by author sgrebing opened on Jul 18, 2018
  2

  

• sophisticated Algorithm for unique parameter matching

  enhancement
  mattulbrich/dive#63 · Filter by author JonasKlamroth opened on Jun 29, 2018
  

• support matching of multiple parameters in one matching expression

  enhancement
  mattulbrich/dive#62 · Filter by author JonasKlamroth opened on Jun 29, 2018
  

• Support for functions

  mattulbrich/dive#17 · Filter by author mattulbrich opened on Aug 24, 2017
  2

• Rule database

  mattulbrich/dive#16 · Filter by author mattulbrich opened on Aug 24, 2017 · Going Public

• Pretty printer for scripts

  mattulbrich/dive#12 · Filter by author mattulbrich opened on Aug 24, 2017 · First Presentable Prototype

• Reordering / Grouping / Collapsing of sequent formulas

  fx-guilater
  mattulbrich/dive#10 · Filter by author mattulbrich opened on Aug 24, 2017