Commits

Branch selector

 master

User selector

All users

All time

Commit History

Commits on Oct 18, 2018

• Update Readme file

  SimoV8

  committed
  3b1ceea

  Copy full SHA for 3b1ceea

Commits on Oct 17, 2018

• Add option to print single formulas for NuSMV

  SimoV8

  committed
  4e676bc

  Copy full SHA for 4e676bc

Commits on Sep 24, 2018

• Small fix

  SimoV8

  committed
  5881aec

  Copy full SHA for 5881aec

• Main + Inconsistency Finder interface update

  SimoV8

  committed
  547d41a

  Copy full SHA for 547d41a

• Small fix

  SimoV8

  committed
  51d16be

  Copy full SHA for 51d16be

• Update package prefix

  SimoV8

  committed
  7f4fafd

  Copy full SHA for 7f4fafd

Commits on Sep 7, 2018

• Add Binary Inconsistency Finder + Unit Test

  SimoV8

  committed
  3c573ce

  Copy full SHA for 3c573ce

Commits on Sep 6, 2018

• Refactoring + replace forbidden names in MC translation

  SimoV8

  committed
  8d87aec

  Copy full SHA for 8d87aec

• Update tests

  SimoV8

  committed
  8ca87a4

  Copy full SHA for 8ca87a4

Commits on Sep 5, 2018

• Small fix

  SimoV8

  committed
  44fff71

  Copy full SHA for 44fff71

Commits on Jun 28, 2018

• Update Readme and config files

  SimoV8

  committed
  32d7664

  Copy full SHA for 32d7664

• Code enhancement

  SimoV8

  committed
  fa0d0b8

  Copy full SHA for fa0d0b8

• Refactory of package system

  SimoV8

  committed
  d69a9ee

  Copy full SHA for d69a9ee

Commits on Jun 13, 2018

• README update

  SimoV8

  committed
  461c897

  Copy full SHA for 461c897

Commits on Jun 12, 2018

• Add Pattern Similarity Algorithm

  SimoV8

  committed
  ffa17f2

  Copy full SHA for ffa17f2

Commits on Jun 8, 2018

• Update Unit Tests

  SimoV8

  committed
  e4380aa

  Copy full SHA for e4380aa

• Add SNL2FL_MODELCHECKER environment variable to get the Model Checker path

  SimoV8

  committed
  33bc53c

  Copy full SHA for 33bc53c

• Fix Typo

  SimoV8

  committed
  73dcd22

  Copy full SHA for 73dcd22

Commits on May 30, 2018

• Update Requirement class

  SimoV8

  committed
  2c04036

  Copy full SHA for 2c04036

Commits on May 29, 2018

• Add classes for consistency checking and inconsinstency finding

  SimoV8

  committed
  cb7b561

  Copy full SHA for cb7b561

Commits on May 23, 2018

• Add unit tests

  SimoV8

  committed
  33c8d61

  Copy full SHA for 33c8d61

• Update gitignore

  SimoV8

  committed
  1465959

  Copy full SHA for 1465959

• Update requirements grammar with optional scope and reqID

  SimoV8

  committed
  a4104d0

  Copy full SHA for a4104d0

• Merge branch 'dev'

  SimoV8

  committed
  53f9577

  Copy full SHA for 53f9577

• Update Reference

  SimoV8

  committed
  2e3e267

  Copy full SHA for 2e3e267

Commits on Mar 23, 2018

• Update antlr4 version

  SimoV8

  committed
  8446567

  Copy full SHA for 8446567

Commits on Feb 9, 2018

• Add rcc (requirements consistency checking) package with link to the NuSMV model checker

  SimoV8

  committed
  7ab704a

  Copy full SHA for 7ab704a

Commits on Feb 6, 2018

• Update README.md

  SimoV8

  authored
  2e298c5

  Copy full SHA for 2e298c5

Commits on Feb 5, 2018

• Include Readme and License into distribution

  SimoV8

  committed
  7891a8e

  Copy full SHA for 7891a8e

• Merge branch 'dev'

  SimoV8

  committed
  f603250

  Copy full SHA for f603250

• Update grammar and remove unused imports

  SimoV8

  committed
  0eef441

  Copy full SHA for 0eef441

• Create LICENSE

  SimoV8

  authored
  ee4bf4f

  Copy full SHA for ee4bf4f

Commits on Feb 1, 2018

• Update README

  SimoV8

  committed
  4856f94

  Copy full SHA for 4856f94

• Update build gradle

  SimoV8

  committed
  598c48f

  Copy full SHA for 598c48f

Commits on Jan 13, 2018

• Fix LTL translator bug

  SimoV8

  committed
  ca62b62

  Copy full SHA for ca62b62