Issues

• Value less constant prevents any Formalisation to be safed

  backendpriority/high
  Bug

  ultimate-pa/hanfor#316 · Filter by author Langenfeld opened on May 6, 2026

• Do not accept variable names starting with numbers (or other symbols than A-Za-z) as they are invalid

  backendpriority/high
  Bug

  ultimate-pa/hanfor#303 · Filter by author Langenfeld opened on Feb 13, 2026

• Used variables are sometimes listed as unused

  bugpriority/high
  ultimate-pa/hanfor#298 · Filter by author abilyd opened on Jan 8, 2026
  1

• Non-reachable UltimateAPI should be handled gracefully

  priority/low
  Bug

  ultimate-pa/hanfor#294 · Filter by author Langenfeld opened on Dec 2, 2025
  

• New Pattern Idea

  enhancementformal stuffpriority/mid
  ultimate-pa/hanfor#289 · Filter by author abilyd opened on May 14, 2025

• Changing variable name removes spaces in formalisation (and makes it hard to read)

  frontendpriority/high
  Bug

  ultimate-pa/hanfor#288 · Filter by author Langenfeld opened on May 14, 2025
  1

• Explicit update tables

  enhancementpriority/mid
  Feature

  ultimate-pa/hanfor#286 · Filter by author tkolzer opened on May 2, 2025
  

• Telemetry feature should use the logger

  priority/mid
  Task

  ultimate-pa/hanfor#285 · Filter by author tkolzer opened on May 2, 2025
  

• Add requirements filter for only non-internal tags

  enhancementfrontendpriority/mid
  Feature

  ultimate-pa/hanfor#282 · Filter by author Langenfeld opened on Apr 10, 2025

• Autocomplete in formalization is too slow when variable length is too long

  frontendpriority/lowquestion
  ultimate-pa/hanfor#279 · Filter by author onsah opened on Apr 2, 2025

• Markdown formatted requirements/tags/...

  enhancementfrontendquestion
  Feature

  ultimate-pa/hanfor#278 · Filter by author Langenfeld opened on Apr 2, 2025
  1

• Save selected page size for main Datatable

  enhancementfrontendpriority/mid
  Feature

  ultimate-pa/hanfor#277 · Filter by author tkolzer opened on Apr 2, 2025

• Add comments to variables

  backendenhancementfrontendpriority/mid
  Feature

  ultimate-pa/hanfor#276 · Filter by author tkolzer opened on Apr 2, 2025
  

• Add tag + comment to multiple requirements

  enhancementfrontendpriority/mid
  Feature

  ultimate-pa/hanfor#274 · Filter by author tkolzer opened on Apr 2, 2025

• Rework statistics page

  enhancementpriority/low
  Feature

  ultimate-pa/hanfor#272 · Filter by author tkolzer opened on Apr 2, 2025

• Hanfor req-exporter allows export of broken requirements

  enhancementpriority/mid
  Feature

  ultimate-pa/hanfor#264 · Filter by author Langenfeld opened on Dec 7, 2024

• Include Revision number in Excel Export

  enhancementpriority/mid
  Feature

  ultimate-pa/hanfor#259 · Filter by author Langenfeld opened on Aug 6, 2024

• Variable is not used for the requirement but requirement is displayed in "Used By"

  backendpriority/mid
  Bug

  ultimate-pa/hanfor#258 · Filter by author onsah opened on Jul 29, 2024

• Boolean type inference doesn't work with && and || when both variables are new

  backendpriority/high
  Bug

  ultimate-pa/hanfor#253 · Filter by author onsah opened on Apr 5, 2024

• Reqirements Modal > Formalizations: No Word wrapping implemented or it is not working

  frontendpriority/mid
  Bug

  ultimate-pa/hanfor#238 · Filter by author hauff opened on Jan 22, 2023
  1

• Requirements Modal > Pattern: Sorting

  enhancementfrontendpriority/mid
  Feature

  ultimate-pa/hanfor#237 · Filter by author hauff opened on Jan 22, 2023

• Check CSV well-formedness on initial load

  enhancementpriority/mid
  Feature

  ultimate-pa/hanfor#234 · Filter by author Langenfeld opened on Nov 4, 2022

• The hanfor boggie grammar allows expressions to be empty

  backendenhancementpriority/mid
  Feature

  ultimate-pa/hanfor#233 · Filter by author hauff opened on Oct 14, 2022
  1

• Implement functions (e.g. abs())

  enhancementhelp wantedpriority/high
  Feature

  ultimate-pa/hanfor#230 · Filter by author hauff opened on Oct 6, 2022
  1

  

• Hanfor Docs: Analysis using Ultimate seems to be outdated

  docspriority/mid
  ultimate-pa/hanfor#229 · Filter by author hauff opened on Oct 5, 2022
  1