Skip to content

Tliakh/trace executor #17

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
TatianaLiakh wants to merge 42 commits into
base: master
Choose a base branch
from
Open

Tliakh/trace executor #17

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
42 commits
Select commit Hold shift + click to select a range
773dfea
smv trace parser
May 5, 2022
a01406f
fixed build with extension points
May 21, 2022
c589063
Executor trace provider extension point
TatianaLiakh Jun 21, 2022
61daf86
Fb2SMV basic struct
TatianaLiakh Nov 28, 2022
245573e
Simple test added
TatianaLiakh Jan 20, 2023
d9decc5
stupid ecc guard condition parsing
TatianaLiakh Feb 1, 2023
0976ed3
FB2SMV basic FB generation update
TatianaLiakh Feb 3, 2023
11b1d5b
refactored
TatianaLiakh Feb 7, 2023
9c646d0
AbstractCompositeFBConverter
TatianaLiakh Feb 7, 2023
c8fa156
SMVCompositeFBConverter update
TatianaLiakh Feb 10, 2023
de90058
SMVCompositeFBConverter done
TatianaLiakh Feb 11, 2023
ec14d99
+Main function generation
TatianaLiakh Feb 12, 2023
3ea353d
TwoCyl bag fix
Mar 30, 2023
0bdad44
FB2SMV parsing correctly TwoCyl
TatianaLiakh Mar 31, 2023
2947672
NDT not defined
TatianaLiakh May 8, 2023
146c3b7
Merge branch 'master' into tliakh/trace-executor
qradimir May 8, 2023
218fffd
Non tested version of NDT messages + TwoCyl fixed
Jun 7, 2023
66282c0
NDT works
TatianaLiakh Jun 10, 2023
4465298
Merge branch 'master' of https://github.com/JetBrains/fbme into tliak…
TatianaLiakh Jun 10, 2023
11c87ca
SMVTraceFactory - initial realization
Jun 15, 2023
8b2b7e1
SMV model checking action added + trace provider service
TatianaLiakh Jul 3, 2023
f9f8dd6
Merge branch 'master' of https://github.com/JetBrains/fbme into tliak…
TatianaLiakh Jul 7, 2023
e959010
windows version of explanation call
TatianaLiakh Jul 12, 2023
b67d37c
Unified trace + Explanator work together (ECC states and events)
TatianaLiakh Jul 12, 2023
32dc219
Unified trace visualization - ecc, io events and data
TatianaLiakh Jul 14, 2023
00c0d3f
Trace parsing: fixing bugs
Aug 3, 2023
d47aed4
HHM verification hardcoded
TatianaLiakh Feb 18, 2024
184f2e8
AbstractFBConverter
TatianaLiakh Feb 22, 2024
fd613f4
Lift added
TatianaLiakh Apr 18, 2024
86b2469
Added BlinkyIEC61499 XML format
TatianaLiakh Jun 10, 2024
bbbc2a2
bottomup plugin added
TatianaLiakh Jun 14, 2024
edbf61d
build without tests
TatianaLiakh Nov 22, 2024
89365d0
ExistsEnabledECTran (maybe) fixed
TatianaLiakh Jun 3, 2025
929b3ec
Merge branch 'tliakh/trace-executor' of https://github.com/JetBrains/…
TatianaLiakh Jun 3, 2025
957bd13
no event_NDT_reset generated
TatianaLiakh Jun 3, 2025
9b67385
next NI in base FB extended BUT still need more testing
TatianaLiakh Jun 3, 2025
387f9fb
main bugs fixed
TatianaLiakh Jun 5, 2025
8aaad1b
Merge remote-tracking branch 'origin/master' into tliakh/trace-execut…
TatianaLiakh Jun 12, 2025
1e8489a
Build fixed master merged
TatianaLiakh Jun 12, 2025
c3c8506
SMV-DEBUGGER module: UI fixed, TC counterexample generated
TatianaLiakh Jun 19, 2025
6e7059d
sohoma fixes
TatianaLiakh Oct 5, 2025
69e75e5
HHM added
TatianaLiakh Oct 9, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
10 changes: 10 additions & 0 deletions .idea/codeStyles/Project.xml
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

1 change: 1 addition & 0 deletions .idea/codeStyles/codeStyleConfig.xml
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

19 changes: 1 addition & 18 deletions .idea/compiler.xml
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

Binary file added buildSrc/gradle/wrapper/gradle-wrapper.jar
View file
Open in desktop
Binary file not shown.
5 changes: 5 additions & 0 deletions buildSrc/gradle/wrapper/gradle-wrapper.properties
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,5 @@
distributionBase=GRADLE_USER_HOME
distributionPath=wrapper/dists
distributionUrl=https\://services.gradle.org/distributions/gradle-7.4-bin.zip
zipStoreBase=GRADLE_USER_HOME
zipStorePath=wrapper/dists
234 changes: 234 additions & 0 deletions buildSrc/gradlew
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

89 changes: 89 additions & 0 deletions buildSrc/gradlew.bat
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

Loading