issues
search
ultimate-pa
/
hanfor
Hanfor helps analyzing and formalizing requirements.
https://ultimate-pa.github.io/hanfor/
GNU Lesser General Public License v3.0
9
stars
3
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Tag color ignored in Tags table
#261
hauff
opened
3 weeks ago
0
Autocomplete for observables not working
#260
Langenfeld
closed
1 month ago
0
Include Revision number in Excel Export
#259
Langenfeld
opened
1 month ago
0
Variable is not used for the requirement but requirement is displayed in "Used By"
#258
onsah
opened
2 months ago
0
Variable Retyping missing error message
#257
lf274
opened
2 months ago
0
Json backend
#256
Langenfeld
closed
2 months ago
0
Renaming Variables can alter other variables
#255
tkolzer
opened
4 months ago
0
Renaming an Enumerator is not possible
#254
hauff
opened
5 months ago
1
Boolean type inference doesn't work with `&&` and `||` when both variables are new
#253
onsah
opened
6 months ago
0
Boogie program
#252
wzq179
closed
1 month ago
17
Hanfor with Ultimate
#251
xxrlzzz
closed
4 months ago
4
Tag box in formalization modal is fixed while scrolling
#250
abilyd
opened
6 months ago
0
Incomplete documentation to launch a Hanfor session
#249
henkele
closed
10 months ago
0
build(deps): bump requests from 2.28.2 to 2.31.0 in /hanfor
#248
dependabot[bot]
closed
2 months ago
2
build(deps): bump flask from 2.2.3 to 2.3.2 in /hanfor
#247
dependabot[bot]
closed
2 months ago
2
Tags API fails for get singel tag
#246
tkolzer
closed
1 year ago
0
Bump sentry-sdk from 1.3.1 to 1.14.0 in /hanfor
#245
dependabot[bot]
closed
1 year ago
1
Hanfor's Specification Language
#244
Eevan-zq
opened
1 year ago
3
Fix typos in pattern names
#243
hauff
opened
1 year ago
0
Refactor variables api using blueprints
#242
hauff
opened
1 year ago
0
Tags cannot be deleted if not assigned to any requirement
#241
henkele
opened
1 year ago
0
hanfor development documentation
#240
jokey66
closed
1 year ago
1
Variable mass-import
#239
Langenfeld
closed
1 year ago
1
Reqirements Modal > Formalizations: No Word wrapping implemented or it is not working
#238
hauff
opened
1 year ago
1
Requirements Modal > Pattern: Sorting
#237
hauff
opened
1 year ago
0
Requirements Modal > Tags: Autocompletion does not allways work
#236
hauff
opened
1 year ago
0
Duration Calcus to PEA
#235
Eevan-zq
closed
1 year ago
5
Check CSV well-formedness on initial load
#234
Langenfeld
opened
1 year ago
0
The hanfor boggie grammar allows expressions to be empty
#233
hauff
opened
1 year ago
0
Hanfor's Specification language
#232
Eevan-zq
closed
1 year ago
7
ReqAnalyser error
#231
Eevan-zq
closed
1 year ago
7
Implement functions (e.g. `abs()`)
#230
hauff
opened
1 year ago
1
Hanfor Docs: Analysis using Ultimate seems to be outdated
#229
hauff
opened
2 years ago
0
About UReqcheck-linux
#228
Eevan-zq
closed
1 year ago
5
Possibly incorrect clock invariant
#227
hauff
opened
2 years ago
0
import example_blueprint package error
#226
Eevan-zq
closed
1 year ago
4
Formalization with variable in time-expression are not tagged with warning- or error-tag
#225
henkele
closed
2 years ago
0
Type inference check reports error when using integer value for time expression
#224
henkele
closed
2 years ago
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
henkele
closed
2 years ago
0
Npm package precss causes build error. Is this plugin still needed?
#222
hauff
closed
2 years ago
1
Adding a constraint to variable discards changes made to a previous added constraint
#221
hauff
closed
2 years ago
1
Inputs min, max for variables
#220
hauff
opened
2 years ago
0
Time bounds should be either an `int` value, a `real` value or a `CONST`
#219
hauff
closed
2 years ago
1
Add commenting feature to tags
#218
Langenfeld
closed
2 years ago
1
Durations S, T should be cast to real internally
#217
hauff
opened
2 years ago
2
Formalizations that contain variables with unknown type should be tagged somehow
#216
hauff
closed
2 years ago
0
Formalization with Scope set to None should be tagged with incomplete_formalization
#215
hauff
closed
2 years ago
0
Incorrect guard in representation of `before` scope of several patterns
#214
hauff
closed
2 years ago
1
Autocomplete doesn't work with brackets
#213
hauff
closed
2 years ago
0
The `About` overlay does not work on the `Statistics` page
#212
hauff
closed
2 years ago
0
Next