Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Oct 8, 2025

• Umm..

  louiseadennis

  committed
  7ce599e

  Copy full SHA for 7ce599e

Commits on Sep 19, 2025

• Merge branch 'eass_antlr_syntaxh'

  louiseadennis

  committed
  d7e5322

  Copy full SHA for d7e5322

Commits on Aug 12, 2025

• Configuring antlr stuff.

  louiseadennis

  committed
  da5d2b6

  Copy full SHA for da5d2b6

Commits on Aug 8, 2025

• Updating various antlr versions. All quick tests now pass.

  louiseadennis

  committed
  7f446b9

  Copy full SHA for 7f446b9

• Switchingto main branch to check something.

  louiseadennis

  committed
  395442d

  Copy full SHA for 395442d

Commits on Aug 6, 2025

• Changing the field names in Relase.

  louiseadennis

  committed
  fd0a7c4

  Copy full SHA for fd0a7c4

Commits on Aug 1, 2025

• Updating EASS Parser: Fixed issues with capabilities and abstraction engines.

  louiseadennis

  committed
  50e999b

  Copy full SHA for 50e999b

Commits on Apr 11, 2025

• Updating deed parsing for EASS.

  louiseadennis

  committed
  45b48b4

  Copy full SHA for 45b48b4

Commits on Feb 10, 2025

• Got a basic program to compile and run with new parser.

  louiseadennis

  committed
  bc975f1

  Copy full SHA for bc975f1

Commits on Jan 29, 2025

• MORE WORK on eASS parser.

  louiseadennis

  committed
  f9feedd

  Copy full SHA for f9feedd

Commits on Jan 24, 2025

• Fixing issue with ant build.

  louiseadennis

  committed
  0dd0814

  Copy full SHA for 0dd0814

Commits on Jan 15, 2025

• Merge branch 'master' into eass_antlr_syntaxh

  louiseadennis

  committed
  3c2d349

  Copy full SHA for 3c2d349

• Tweaking Remote Inspection example for FOL paper.

  louiseadennis

  committed
  8a4a832

  Copy full SHA for 8a4a832

Commits on Jan 8, 2025

• Not sure what this file is doing - but keeping just in case.

  louiseadennis

  committed
  a7eeb5d

  Copy full SHA for a7eeb5d

• EASS antlr 4 parser - initial work.

  louiseadennis

  committed
  a4e594c

  Copy full SHA for a4e594c

Commits on Nov 1, 2024

• Some tweaks to enable FMAS tutorial.

  louiseadennis

  committed
  0e4f282

  Copy full SHA for 0e4f282

Commits on Sep 26, 2024

• Updating tutorial content with syntax highlighting instructions.

  louiseadennis

  committed
  e2556db

  Copy full SHA for e2556db

Commits on Aug 22, 2024

• Removing a rogue print statement.

  louiseadennis

  committed
  3a552d5

  Copy full SHA for 3a552d5

• Forgot to commit JunoAgent

  louiseadennis

  committed
  3b1765e

  Copy full SHA for 3b1765e

• Juno Works with Java 11.

  louiseadennis

  committed
  835023f

  Copy full SHA for 835023f

Commits on Jul 30, 2024

• Goal and Gwendolen now working with Java 11.

  louiseadennis

  committed
  7039312

  Copy full SHA for 7039312

Commits on Jul 24, 2024

• Ethical Gwen examples now work in Java 11.

  louiseadennis

  committed
  2c15e9b

  Copy full SHA for 2c15e9b

Commits on Jul 22, 2024

• Fixing EASS Java11 fails using native peers.

  louiseadennis

  committed
  8a82b30

  Copy full SHA for 8a82b30

Commits on Jul 13, 2024

• Changing intro back to Development version.

  louiseadennis

  committed
  5ce9723

  Copy full SHA for 5ce9723

• Final test.

  louiseadennis

  committed
  e18b6b4

  Copy full SHA for e18b6b4

Commits on Jul 11, 2024

• Update manual

  louiseadennis

  committed
  0d34736

  Copy full SHA for 0d34736

Commits on Jul 9, 2024

• Trying to get JDK correct in project settings.

  louiseadennis

  committed
  2e31cf3

  Copy full SHA for 2e31cf3

• Updating dates.

  louiseadennis

  committed
  b076909

  Copy full SHA for b076909

• Adding a run-JPF configuration.

  louiseadennis

  committed
  904fb0a

  Copy full SHA for 904fb0a

• Merge branch 'master' into ajpf2024

  louiseadennis

  committed
  ca4896f

  Copy full SHA for ca4896f

• Generic run configuration.

  louiseadennis

  committed
  76a746c

  Copy full SHA for 76a746c

• Starting work on AJPF 2024 Manual.

  louiseadennis

  committed
  141cc4a

  Copy full SHA for 141cc4a

• Fiddling with set up so it doesn't produce production directory and then break tests.

  louiseadennis

  committed
  550ceb7

  Copy full SHA for 550ceb7

Commits on Mar 6, 2024

• Typo.

  louiseadennis

  committed
  8f601cc

  Copy full SHA for 8f601cc

• Removing workspace.

  louiseadennis

  committed
  e590ebf

  Copy full SHA for e590ebf

Pagination

Previous

Next