Commits

Branch selector

 main

User selector

All users

All time

Commit History

Commits on Sep 1, 2024

• Merge pull request #2 from CPSLabGU/workflows

  Show description for c7da152
  Morgan2010

  authored
  c7da152

  Copy full SHA for c7da152

• Formatted files to pass workflows.

  Morgan2010

  committed
  82c0752

  Copy full SHA for 82c0752

• Added reusable workflows into repo.

  Morgan2010

  committed
  72dd9e0

  Copy full SHA for 72dd9e0

Commits on Aug 23, 2024

• Fixed linter problems.

  Morgan2010

  committed
  578f3b8

  Copy full SHA for 578f3b8

• Updated readme to new version number.

  Morgan2010

  committed
  bef3821

  Copy full SHA for bef3821

• Made ConstrainedExpression only use GloballyQuantifiedExpression.

  Morgan2010

  committed
  a4ff0b2

  Copy full SHA for a4ff0b2

Commits on Aug 18, 2024

• Patched bug where not expressions were incorrectly returning nil.

  Morgan2010

  committed
  fefc77b

  Copy full SHA for fefc77b

Commits on Aug 8, 2024

• Change api-stability workflow to use git interface.

  Morgan2010

  committed
  0fbcb3c

  Copy full SHA for 0fbcb3c

• Merge pull request #1 from CPSLabGU/subexpressions

  Show description for 2806277
  Morgan2010

  authored
  2806277

  Copy full SHA for 2806277

• Updated api-stability workflow to only use latest OS.

  Morgan2010

  committed
  b5bad22

  Copy full SHA for b5bad22

• Enabled sub expressions within Globally quantified expressions.

  Morgan2010

  committed
  e9651f4

  Copy full SHA for e9651f4

• Created tests for subexpressions that are quantified.

  Morgan2010

  committed
  7c7e73c

  Copy full SHA for 7c7e73c

Commits on Aug 5, 2024

• Fixed issue where comment placement was causing failed parsing.

  Morgan2010

  committed
  502aba9

  Copy full SHA for 502aba9

Commits on Jul 31, 2024

• Updated web address for swift link.

  Morgan2010

  committed
  a5966ef

  Copy full SHA for a5966ef

• Update package manifest to use version 1.1.0.

  Morgan2010

  committed
  cb517d5

  Copy full SHA for cb517d5

• Changed comment symbol to -- and made comments possible on same line as specification.

  Morgan2010

  committed
  fb9a8a8

  Copy full SHA for fb9a8a8

• Allow comments in specification files.

  Morgan2010

  committed
  c499186

  Copy full SHA for c499186

Commits on May 21, 2024

• Added some content to ReadMe.

  Morgan2010

  committed
  a9486e0

  Copy full SHA for a9486e0

• Add windows workflow.

  Morgan2010

  committed
  c02633a

  Copy full SHA for c02633a

• Add missing imports.

  Morgan2010

  committed
  8fdb884

  Copy full SHA for 8fdb884

• Merge branch 'constraints'

  Morgan2010

  committed
  4291df8

  Copy full SHA for 4291df8

• Made Specification store Expressions instead of GloballyQuantifiedExpressions.

  Morgan2010

  committed
  1af6d6a

  Copy full SHA for 1af6d6a

• Optimised init.

  Morgan2010

  committed
  336a9a7

  Copy full SHA for 336a9a7

• Created additional tests and fixed minor bugs.

  Morgan2010

  committed
  30b9f00

  Copy full SHA for 30b9f00

• Added constrained case.

  Morgan2010

  committed
  b0881ce

  Copy full SHA for b0881ce

• Removed literal case.

  Morgan2010

  committed
  0a05be8

  Copy full SHA for 0a05be8

• Added SeeAlso comment.

  Morgan2010

  committed
  40c3175

  Copy full SHA for 40c3175

• Tested and linted ConstrainedExpression.

  Morgan2010

  committed
  3e54f64

  Copy full SHA for 3e54f64

• Linted and tested ConstrainedStatement.

  Morgan2010

  committed
  169157a

  Copy full SHA for 169157a

• Tested Constraint and linted file.

  Morgan2010

  committed
  a84eaab

  Copy full SHA for a84eaab

• Linted files.

  Morgan2010

  committed
  15ef488

  Copy full SHA for 15ef488

• Created basic constrained expression implementation.

  Morgan2010

  committed
  0ab7d48

  Copy full SHA for 0ab7d48

Commits on May 11, 2024

• Added support for literal values in VHDL expressions.

  Morgan2010

  committed
  81efdfb

  Copy full SHA for 81efdfb

• Finished testing conjunction and disjunction implementation.

  Morgan2010

  committed
  c17fdfe

  Copy full SHA for c17fdfe

• Added comments.

  Morgan2010

  committed
  e07c003

  Copy full SHA for e07c003

Pagination

Previous

Next