Echtzeitsysteme/tchecker
1
0
Fork 0
mirror of https://github.com/Echtzeitsysteme/tchecker.git synced 2024-05-20 20:00:44 +00:00
Code Issues Packages Projects Releases Wiki Activity
653 commits 2 branches 1 tag 26 MiB
Commit graph

653 commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
alzeha c195fdd53b
fixed multiple bugs (#6) 
fixed multiple bugs
 2024-05-17 16:12:12 +02:00
alzeha 80ecac064b enabled the possibility to do the extrapolation by hand 2024-05-14 18:18:14 +02:00
alzeha 4a9fa19115 Wip (#4) 
* wip

* aligning to TR

* improved readability and counting each alternating seq only once

* updated doc

* wip
 2024-05-14 18:18:14 +02:00
alzeha d43f6547ea aligning code to the TR 2024-05-14 18:18:14 +02:00
alzeha 9ea0e5214d Intermediate (#3) 
very first working version
 2024-05-14 18:18:14 +02:00
alzeha 686a8b875a added first version of vcg 2024-05-14 18:18:14 +02:00
alzeha 1db7a65406 fixing pipeline, linux only 2024-05-14 18:18:14 +02:00
Frédéric Herbreteau eed771e223 BUG FIX: invariant of target locations of initial, final, and initialized transitions was not set (invariant was stored in source location instead) + improved documentation #64 2024-05-13 06:11:55 +02:00
Frédéric Herbreteau dda78d1798 Added object removal from hashtable 2024-05-06 11:04:27 +02:00
Frédéric Herbreteau 36fd66ca3b Added remove of node/edges in rechability graph + minor modification to subsumption graph 2024-05-06 10:18:45 +02:00
Frédéric Herbreteau 352eb12d0b Fixed deterministic check on initial locations 2024-05-04 22:05:30 +02:00
Frédéric Herbreteau a6579ad34f Fixed counter-example generation: avoiding subsumption edges #63 2024-04-04 21:31:00 +02:00
Frédéric Herbreteau 6022be7f27 Merge branch 'bugfix' 2024-03-21 17:12:34 +01:00
Frédéric Herbreteau db132b8955 Fixed iteration (unnecessary reference construction) 2024-03-21 15:53:04 +01:00
Frédéric Herbreteau 130d014001 Fixed exception handling 2024-03-21 15:52:31 +01:00
Gerald Point c61e16a3b8 solve g++ 10 problem using output methods for statements and expressions instead of operator<< 2024-03-05 10:15:50 +01:00
Frédéric Herbreteau 3c3c58006d Fixed missing const 2024-02-24 16:53:30 +01:00
Frédéric Herbreteau 729878bf09 Added synchronization identifier to transitions 2024-02-24 08:00:32 +01:00
Frédéric Herbreteau b8ae3ad8be Fixed comment 2024-02-19 22:07:14 +01:00
Frédéric Herbreteau c49c731693 Added static analysis to detect deterministic systems 2024-02-19 17:16:17 +01:00
Frédéric Herbreteau d8f3be12ab Fixed tests to accomodate 16-bits integers 2024-01-31 07:22:06 +01:00
Frédéric Herbreteau 2d4e6afce8 Fixed clock bounds computation with complex updates, if, and while statements 2024-01-31 06:56:42 +01:00
Frédéric Herbreteau 1fbf7ac624 Merge branch 'master' into clockbounds 2024-01-26 06:06:14 +01:00
Frédéric Herbreteau 8715d018c4 Merge branch 'master' of gitub.u-bordeaux.fr:ticktac-project/tchecker 2024-01-26 05:45:36 +01:00
Frédéric Herbreteau 9fa5048537 Fixed several issues (see #62) 2024-01-25 17:29:26 +01:00
Frédéric Herbreteau 0c1b8fb8b5 Fixed clock updates w.r.t. last revert 2024-01-05 13:16:02 +01:00
Frédéric Herbreteau b5a67fe9d0 Revert "Improved API to const evaluation of expression" 
This reverts commit f5dc292a56.
 2024-01-05 13:06:22 +01:00
Frédéric Herbreteau afe2d72667 Added clock updates 2024-01-05 13:05:58 +01:00
Frédéric Herbreteau 10f1b084a0 Improved access to subexpressions 2024-01-04 20:02:51 +01:00
Frédéric Herbreteau f5dc292a56 Improved API to const evaluation of expression 2024-01-04 20:02:02 +01:00
Frédéric Herbreteau 25e74a4b94 BUG FIX: leaf nodes covering was used instead of full covering when no certificate was reauired 2024-01-01 22:06:35 +01:00
Frédéric Herbreteau a8ffd0d3fb Improved memory management in declarations 2023-12-24 16:14:34 +01:00
Frédéric Herbreteau 51a36e1103 Using shared pointers in expressions and statements 2023-12-20 22:05:18 +01:00
Gerald Point 9b36a60cae remove a useless sudo 2023-11-22 10:51:46 +01:00
Gerald Point fbf18f7fa2 Merge branch 'devel' 
# Conflicts:
#	ci-scripts/install-Linux.sh
 2023-11-22 10:25:07 +01:00
Gerald Point 5aae89295e update Catch2 installation and move to version 3.4.0 2023-11-22 10:08:22 +01:00
Gerald Point 0aa029690a update github CI and disable macos build 2023-11-22 10:07:52 +01:00
Gerald Point d7013ed84c do not install the last Boost version if not available 2023-11-22 10:07:06 +01:00
Gerald Point 3fcc48c719 do not install the last Boost version if not available 2023-11-21 17:01:43 +01:00
Gerald Point 9a9b9ffd10 fix: remove a Bison warning and wrong printers for some statements 2023-11-21 13:24:36 +01:00
Gerald Point ae67455a63 chg: make the usage of boot_json optional (only available after 1.75). 2023-11-21 13:24:36 +01:00
Gerald Point 1d3d849878 chg: add scripts to ease the build of images for others versions of compilers 2023-11-17 17:17:09 +01:00
Frédéric Herbreteau f346cdbc46 Improved performance of clock bounds computation 
(Fixes #53)
 2023-11-02 23:46:46 +01:00
Frédéric Herbreteau 7cb3cdefc7 Added accessor 2023-11-02 22:00:01 +01:00
Frédéric Herbreteau f9bd9df438 Static analysis on systems (diagonal free, etc) 2023-11-01 11:24:08 +01:00
Frédéric Herbreteau 8a7fb775fa Static analysis for computing types of clock 
resets in statements
 2023-11-01 11:23:49 +01:00
Frédéric Herbreteau 763f2b3dd8 Static analysis for computing types of clock 
constraints in expressions
 2023-11-01 11:23:26 +01:00
Frédéric Herbreteau 5b38556a25 Added accessor 2023-10-31 17:32:58 +01:00
Frédéric Herbreteau c8843cf9c8 Fixed accessor name + added accessor 2023-10-31 17:32:33 +01:00
Frédéric Herbreteau ac6bb9cd9b Minor documentation update 2023-10-31 10:55:46 +01:00