8000 Commits · mluckcuck/fret · GitHub

More Web Proxy on the site http://driver.im/

Commits

Commits on Dec 2, 2022

test id change for select all button
andreaskatis
committed
Add ids for tests on checking subsets of requirements.
andreaskatis
committed
Modified documentation for realizable traces.
andreaskatis
committed
Fixed ltlsim issue.
andreaskatis
committed
Fixed incorrect PropType for trace files in LTLSimDialog. Fixed issue where LTLSimDialog kept on updating its state when it shouldn't.
andreaskatis
committed
Fixed issue with LTLSim not adjusting trace length based on input traces. Added functionality to simulate realizable requirements.
andreaskatis
committed
Added option to simulate realizable requirements.
andreaskatis
committed
Allow period at end of sentence and give a better message when the requirement is quoted and thus should not be formalized.

tpressburger
authored and
andreaskatis
committed
Fixed issue where some requirements were not properly identified as assumptions for realizability.
andreaskatis
committed

Commits on Oct 6, 2022

authored and

committed

preBool(true/false,p) is converted to LTL Y or Z, and boolean constants true false are now translated correctly in SMV formalizations

authored and

committed

call NuSMV not nuXmv, simplify replacing => by ->

authored and

committed

Commits on Aug 30, 2022

Added cross-env in external tools mode and added check for valid JSON.
anmavrid
committed

Commits on Aug 25, 2022

0