Commits

Branch selector

 dev

User selector

All users

Datepicker

All time

Commit History

Commits on Jul 1, 2023

• MCTK-14: bump version to 0.1.1 (#28)

  Show description for 355a2c5
  marcusm117

  authored
  355a2c5

  Copy full SHA for 355a2c5

Commits on Jun 26, 2023

• MCTK-13: improve UX for adding states to KripkeStruct (#26)

  Show description for 5e4fd0f
  marcusm117

  authored
  5e4fd0f

  Copy full SHA for 5e4fd0f

Commits on Jun 25, 2023

• MCTK-12: improve efficiency of functions in checking.py (#25)

  Show description for dd0a472
  marcusm117

  authored
  dd0a472

  Copy full SHA for dd0a472

• MCTK-11: enhance code robustness (#24)

  Show description for 4fbeb4b
  marcusm117

  authored
  4fbeb4b

  Copy full SHA for 4fbeb4b

Commits on May 12, 2023

• MCTK-10: add examples to docs

  marcusm117

  authored
  580248d

  Copy full SHA for 580248d

• MCTK-9: bump version to 0.1.0

  marcusm117

  authored
  5977b51

  Copy full SHA for 5977b51

• MCTK-8: set up Sphinx docs & CI (#18)

  Show description for a175b4f
  marcusm117

  authored
  a175b4f

  Copy full SHA for a175b4f

Commits on May 10, 2023

• MCTK-7: added Explicit State Model Checking in checking.py (#16)

  Show description for 8e9bb60
  marcusm117

  authored
  8e9bb60

  Copy full SHA for 8e9bb60

Commits on Mar 26, 2023

• MCTK-6: added PyPI badge to README.md (#15)

  Show description for dea7628
  marcusm117

  authored
  dea7628

  Copy full SHA for dea7628

• MCTK-5: enhanced README.md and CONTRIBUTING.md, added doc strings for models.py

  Show description for acfff1b
  marcusm117

  authored
  acfff1b

  Copy full SHA for acfff1b

Commits on Mar 4, 2023

• MCTK-4: set up CI (#12)

  Show description for a621116
  marcusm117

  authored
  a621116

  Copy full SHA for a621116

Commits on Mar 2, 2023

• MCTK-3: set up Testing & Linting, hit 100% Coverage, updated README.md (#9)

  Show description for 409072b
  marcusm117

  authored
  409072b

  Copy full SHA for 409072b

Commits on Feb 28, 2023

• MCTK-2: drafted Class Kripke Structure, added unit tests (#8)

  Show description for 9453c59
  marcusm117

  authored
  9453c59

  Copy full SHA for 9453c59

Commits on Feb 22, 2023

• MCTK-1: create issue badge in READEME (#6)

  Show description for 50a77d3
  marcusm117

  authored
  50a77d3

  Copy full SHA for 50a77d3

Commits on Feb 17, 2023

• Update issue templates

  marcusm117

  authored
  8de49a4

  Copy full SHA for 8de49a4

Commits on Feb 13, 2023

• Update README.md

  marcusm117

  authored
  f0ab0c5

  Copy full SHA for f0ab0c5

• Update README.md

  marcusm117

  authored
  77ded9d

  Copy full SHA for 77ded9d

Commits on Feb 9, 2023

• Update README.md

  marcusm117

  authored
  2c9bbda

  Copy full SHA for 2c9bbda

• Update README.md

  marcusm117

  authored
  d992e14

  Copy full SHA for d992e14

• Create CONTRIBUTING.md

  marcusm117

  authored
  edafc75

  Copy full SHA for edafc75

• Initial commit

  marcusm117

  authored
  5a9bbd3

  Copy full SHA for 5a9bbd3