GitHub · Where software is built

Labels Milestones New issue

Startup fails if custom config file does not contain FEATURE_VARIABLE_DESCRIPTION_HIGHLIGHTING

#308

· tkolzer opened

on Mar 22, 2026

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

#303

· Langenfeld opened

on Feb 13, 2026

Use one-time Environments for PySmt calls

#302

· Langenfeld opened

on Feb 10, 2026

Used variables are sometimes listed as unused

#298

· abilyd opened

on Jan 8, 2026

Non-reachable UltimateAPI should be handled gracefully

#294

· Langenfeld opened

on Dec 2, 2025

New Pattern Idea

#289

· abilyd opened

on May 14, 2025

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

#288

· Langenfeld opened

on May 14, 2025

Textboxes in reqirements formalisation and tag comments should be sized to fit content when opening formalisation dialogue

#287

· Langenfeld opened

on May 14, 2025

Explicit update tables

#286

· tkolzer opened

on May 2, 2025

Telemetry feature should use the logger

#285

· tkolzer opened

on May 2, 2025

Add requirements filter for only non-internal tags

#282

· Langenfeld opened

on Apr 10, 2025

Allow resizing of colums in all data-tables

#280

· Langenfeld opened

on Apr 2, 2025