Skip to content

History

Revisions

  • Updated usage with certificates for tck-reach and tck-liveness

    @fredher fredher committed Sep 6, 2023
    8338ba4

  • Updated documentation for v0.7

    @fredher fredher committed Aug 3, 2023
    2b102b4

  • Merge branch 'master' of https://github.com/ticktac-project/tchecker.wiki

    @fredher fredher committed Jul 16, 2023
    19bf631

  • Updated expressions and identifiers

    @fredher fredher committed Jul 16, 2023
    910186c

  • Updated TChecker file format (markdown)

    @fredher fredher committed Jul 12, 2023
    fd8d34c

  • Added documentation for combined binary expressions

    @fredher fredher committed Jul 12, 2023
    9c1c683

  • Updated Implementing a reachability algorithm using TChecker libraries (markdown)

    @fredher fredher committed Jul 7, 2023
    f312279

  • Updated tutorial

    @fredher fredher committed Jul 7, 2023
    2847048

  • Updated reserved words

    @fredher fredher committed Jul 7, 2023
    3c5d5ea

  • Updated TChecker file format (markdown)

    @fredher fredher committed Jun 8, 2023
    e5f21df

  • Uploaded up-to-date tutorial sources

    @fredher fredher committed May 12, 2023
    c5ce571

  • Updated documentation to v0.5

    @fredher fredher committed May 12, 2023
    e3db27b

  • Added link to Arnab Sur documentation

    @fredher fredher committed Mar 27, 2023
    c4fae83

  • Updated tools documentation

    @fredher fredher committed Mar 20, 2023
    7d77249

  • Updated documentation

    @fredher fredher committed Feb 22, 2023
    06a25fa

  • Updated Using TChecker (markdown)

    @fredher fredher committed Feb 22, 2023
    bec94c9

  • Added documentation on zone graphs

    @fredher fredher committed Jan 19, 2023
    4b007b9

  • Added doc on zone graphs in TChecker

    @fredher fredher committed Jan 19, 2023
    22d15c5

  • Updated to Catch2 v3 + added link to project TChecker-build-releases

    @fredher fredher committed Dec 3, 2022
    703eaab

  • Taking into account the modification of the transition system interface regarding labels

    @fredher fredher committed Jul 5, 2022
    427ce99

  • Updated Using TChecker (markdown)

    @fredher fredher committed Apr 14, 2022
    5b84994

  • Minor modification

    @fredher fredher committed Jul 26, 2021
    e1bf526

  • Typo

    @fredher fredher committed Jul 26, 2021
    30a0109

  • Fixed links

    @fredher fredher committed Jul 26, 2021
    dfc1a97

  • Updated documentation to v0.3

    @fredher fredher committed Jul 26, 2021
    d70a417

  • Updated Implementing a reachability algorithm using TChecker libraries (markdown)

    @fredher fredher committed Apr 28, 2021
    17496b5

  • Updated Using TChecker (markdown)

    @fredher fredher committed Apr 28, 2021
    604ff4a

  • Updated TChecker file format (markdown)

    @fredher fredher committed Apr 28, 2021
    44a990a

  • Updated Installation of TChecker (markdown)

    @fredher fredher committed Apr 28, 2021
    0058210

  • Updated Installation of TChecker (markdown)

    @fredher fredher committed Apr 28, 2021
    29c8c3b