User Activity

  • Committed [78c2ec]

    Still debugging GroundPredSets

  • Committed [6a48dd]

    Fixing a bug in GroundPredSets.check.

  • Committed [9b5641]

    Got modifications to cloning working with tests.

  • Committed [568a6e]

    Still trying to fix state space problems with G...

  • Committed [57e246]

    Extending the use of GroundPredSets and uncover...

  • Committed [3afac6]

    Fixing a bug in follower.

  • Committed [cb51f1]

    Final fix ups for platoon verification - fixing...

  • Committed [ef51a4]

    All tests now run!

View All

Personal Data

Username:
louised
Joined:
2002-09-18 14:48:30
Web Site:
  1. http://www.csc.liv.ac.uk/~lad

Projects

Skills

  • No skills entered.

Personal Tools