Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Feb 15, 2022

• Merge pull request albertocasagrande#6 from BastianZim/patch-1

  albertocasagrande

  committedFeb 15, 2022
  f854a66

Commits on Feb 11, 2022

• Add GPLv2.txt

  BastianZim

  committedFeb 11, 2022
  8c990ac

Commits on Feb 18, 2021

• Update models.rst

  albertocasagrande

  committedFeb 18, 2021
  c9b7eed

Commits on Jun 3, 2020

• Updated copyright date

  albertocasagrande

  committedJun 3, 2020
  5e22bc6

• Fixed issue albertocasagrande#4

  albertocasagrande

  committedJun 3, 2020
  95725c9

Commits on Mar 11, 2020

• Fixed a bug that prevent to model checking formulas containing an Or with more than 2 subformulas.

  albertocasagrande

  committedMar 11, 2020
  c72e5e5

Commits on Oct 28, 2019

• Python2 support removal completed

  

  Alberto Casagrande

  committedOct 28, 2019
  3faa8b0

• Removed Python2 support.

  

  Alberto Casagrande

  committedOct 28, 2019
  cd71901

• Fixed bug albertocasagrande#2. Improved Parser exception code.

  

  Alberto Casagrande

  committedOct 28, 2019
  bb79f5d

Commits on Apr 28, 2019

• Fixed some syntatic errors in the documentation.

  apunto13

  committedApr 28, 2019
  819b7f3

• Included all the tests into the package.

  apunto13

  committedApr 28, 2019
  05a4493

• Minor documentation improvements.

  apunto13

  committedApr 28, 2019
  70200c7

• Improved documentation.

  apunto13

  committedApr 28, 2019
  77c62d6

• Final tentavive to fix readthedocs.

  apunto13

  committedApr 28, 2019
  3a0f93b

• Another tentative fix for readthedocs.

  apunto13

  committedApr 28, 2019
  e258819

• Tentative fix for the readthedocs automatic generation of documentation.

  apunto13

  committedApr 28, 2019
  6766274

• Fixed a bug in the PL.Parser class.

  apunto13

  committedApr 28, 2019
  a685ae4

Commits on Apr 19, 2019

• Extended parsers to support the simplified syntax (i.e., ~, |, and & in

  apunto13

  committedApr 19, 2019
  69324a1

• Merge branch 'v1.1_branch'

  apunto13

  committedApr 19, 2019
  5454f7b

• Fixed an error in pypi dependency handling.

  apunto13

  committedApr 19, 2019
  dc9cf5e

Commits on Apr 18, 2019

• Initial support to simplified Boolean API

  apunto13

  committedApr 18, 2019
  53f6ab4

• Added a missing parenthesis in the README.md file.

  apunto13

  committedApr 18, 2019
  7672272

• Improved parser interfaces.

  apunto13

  committedApr 18, 2019
  52459ad

Commits on Apr 14, 2019

• Updated the README.md file to provide few simple examples of both Parser classes and new modelcheck API.

  apunto13

  committedApr 14, 2019
  213daeb

• Fixed a Python2 compatibility issue in the new classes Parser.

  apunto13

  committedApr 14, 2019
  586216b

• Added parsers for CTLS, CTL, and LTL formulas.

  apunto13

  committedApr 14, 2019
  e6a4ded

Commits on Apr 13, 2019

• Minor update of the tests files

  apunto13

  committedApr 13, 2019
  ca6c414

Commits on Apr 2, 2019

• Minor project cleanup. Updated dates.

  apunto13

  committedApr 2, 2019
  b819a88

• Fixed a wrong documentation reference in the code

  apunto13

  committedApr 2, 2019
  da70b16

• Improved version handling and documentation references

  apunto13

  committedApr 2, 2019
  b8c31d2

Commits on Apr 1, 2019

• Released version 1.0.

  apunto13

  committedApr 1, 2019
  5a1b6a9

• Added a sperimental support to Python3

  apunto13

  committedApr 1, 2019
  a264eb6

Commits on Nov 26, 2018

• Minor bug fixing

  apunto13

  committedNov 26, 2018
  fd86792

Commits on Nov 23, 2018

• Bug fixing and documentation improvements.

  apunto13

  committedNov 23, 2018
  15f3d85

Commits on Nov 5, 2018

• Fixed a bug in formula conversion. Updated README.md

  apunto13

  committedNov 5, 2018
  b2d7a68

Pagination

PreviousNext