ultimate-pa/hanfor

Issues

• Requirements show wrong requirements text depending on requirements openend in other windows

  #262 opened 2 months ago by Langenfeld
  0

• Tag color ignored in Tags table

  #261 opened 4 months ago by hauff
  0

• Autocomplete for observables not working

  #260 opened 4 months ago by Langenfeld
  0

• Boogie program

  #252 opened 4 months ago by wzq179
  17

• Include Revision number in Excel Export

  #259 opened 5 months ago by Langenfeld
  0

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

  #258 opened 5 months ago by onsah
  0

• Variable Retyping missing error message

  #257 opened 5 months ago by lf274
  0

• Hanfor with Ultimate

  #251 opened 7 months ago by xxrlzzz
  4

• Renaming Variables can alter other variables

  #255 opened 8 months ago by tkolzer
  0

• Renaming an Enumerator is not possible

  #254 opened 8 months ago by hauff
  1

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

  #253 opened 9 months ago by onsah
  0

• Tag box in formalization modal is fixed while scrolling

  #250 opened 10 months ago by abilyd
  0

• Incomplete documentation to launch a Hanfor session

  #249 opened a year ago by henkele
  0

• Tags API fails for get singel tag

  #246 opened 2 years ago by tkolzer
  0

• Hanfor's Specification Language

  #244 opened 2 years ago by Eevan-zq
  3

• Fix typos in pattern names

  #243 opened 2 years ago by hauff
  0

• Tags cannot be deleted if not assigned to any requirement

  #241 opened 2 years ago by henkele
  0

• hanfor development documentation

  #240 opened 2 years ago by jokey66
  1

• Duration Calcus to PEA

  #235 opened 2 years ago by Eevan-zq
  5

• Variable mass-import

  #239 opened 2 years ago by Langenfeld
  1

• Refactor variables api using blueprints

  #242 opened 2 years ago by hauff
  0

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

  #238 opened 2 years ago by hauff
  1

• Requirements Modal > Tags: Autocompletion does not allways work

  #236 opened 2 years ago by hauff
  0

• Requirements Modal > Pattern: Sorting

  #237 opened 2 years ago by hauff
  0

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

  #230 opened 2 years ago by hauff
  1

• Variables pagination jumps back to page 1 after editing

  #210 opened 3 years ago by hauff
  0

• Hanfor's Specification language

  #232 opened 2 years ago by Eevan-zq
  7

• Check CSV well-formedness on initial load

  #234 opened 2 years ago by Langenfeld
  0

• The hanfor boggie grammar allows expressions to be empty

  #233 opened 2 years ago by hauff
  0

• Possibly incorrect clock invariant

  #227 opened 2 years ago by hauff
  0

• ReqAnalyser error

  #231 opened 2 years ago by Eevan-zq
  7

• About UReqcheck-linux

  #228 opened 2 years ago by Eevan-zq
  5

• import example_blueprint package error

  #226 opened 2 years ago by Eevan-zq
  4

• Hanfor Docs: Analysis using Ultimate seems to be outdated

  #229 opened 2 years ago by hauff
  0

• The `About` overlay does not work on the `Statistics` page

  #212 opened 2 years ago by hauff
  0

• Adding a constraint to variable discards changes made to a previous added constraint

  #221 opened 2 years ago by hauff
  1

• Npm package precss causes build error. Is this plugin still needed?

  #222 opened 2 years ago by hauff
  1

• Incorrect guard in representation of `before` scope of several patterns

  #214 opened 2 years ago by hauff
  1

• Time bounds should be either an `int` value, a `real` value or a `CONST`

  #219 opened 2 years ago by hauff
  1

• Formalization with variable in time-expression are not tagged with warning- or error-tag

  #225 opened 2 years ago by henkele
  0

• 'Type_inference_error' tag comment only shows the description of the last error if requirement has more than one formalization with ti-error

  #223 opened 2 years ago by henkele
  0

• Type inference check reports error when using integer value for time expression

  #224 opened 2 years ago by henkele
  0

• Formalizations that contain variables with unknown type should be tagged somehow

  #216 opened 2 years ago by hauff
  0

• Autocomplete doesn't work with brackets

  #213 opened 2 years ago by hauff
  0

• Formalization with Scope set to None should be tagged with incomplete_formalization

  #215 opened 2 years ago by hauff
  0

• Add commenting feature to tags

  #218 opened 3 years ago by Langenfeld
  1

• Inputs min, max for variables

  #220 opened 3 years ago by hauff
  0

• Durations S, T should be cast to real internally

  #217 opened 3 years ago by hauff
  2

• Modals allow background scrolling

  #211 opened 3 years ago by hauff
  0

• Hanfor's update procedure is missing from the docs

  #209 opened 3 years ago by hauff
  0