Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Feb 13, 2014

• my Tool.pro and examples

  vraman

  committed
  0a7cd86

  Copy full SHA for 0a7cd86

• variable order -- post comes later

  vraman

  committed
  f67f04f

  Copy full SHA for f67f04f

• Now supporting variable numers in the scope of the "next" operator

  progirep

  committed
  46bd65f

  Copy full SHA for 46bd65f

• Added new "Structured Slugs Parser", which allows working with specification like the one in examples/water_reservoir.structuredslugs

  progirep

  committed
  be97ccc

  Copy full SHA for be97ccc

Commits on Feb 11, 2014

• First alpha-testing candidate for the Slugs Variable Manager

  progirep

  committed
  4167a17

  Copy full SHA for 4167a17

• Merge Vasu's changes on Fast/Slow with mine on restructuring slugs

  Show description for 485c6a8
  progirep

  committed
  485c6a8

  Copy full SHA for 485c6a8

• Before merging with Vasu's changes

  progirep

  committed
  89f4801

  Copy full SHA for 89f4801

Commits on Feb 10, 2014

• solved seg fault problem with fastslow for robotics semantics

  vraman

  committed
  a14952d

  Copy full SHA for a14952d

Commits on Feb 7, 2014

• Revert "Revert "Intermediate commit during restructuring Slugs to have a Slugs Variable Manager""

  Show description for 3270a55
  progirep

  committed
  3270a55

  Copy full SHA for 3270a55

• Revert "Intermediate commit during restructuring Slugs to have a Slugs Variable Manager"

  Show description for 8ee68da
  progirep

  committed
  8ee68da

  Copy full SHA for 8ee68da

• Intermediate commit during restructuring Slugs to have a Slugs Variable Manager

  progirep

  committed
  6de3cb4

  Copy full SHA for 6de3cb4

Commits on Feb 3, 2014

• IROS fastslow extraction

  vraman

  committed
  b591eab

  Copy full SHA for b591eab

Commits on Jan 25, 2014

• newStates is simpler than before

  vraman

  committed
  2af4d3a

  Copy full SHA for 2af4d3a

Commits on Jan 24, 2014

• forgot the full intermediate state condition last time

  vraman

  committed
  29a89c5

  Copy full SHA for 29a89c5

• putting the fastslow condition in the trans to ensure that only FS-safe transitions get included in the winning strategy

  vraman

  committed
  43b0d87

  Copy full SHA for 43b0d87

Commits on Jan 13, 2014

• IROS fastslow version 1

  vraman

  committed
  778af89

  Copy full SHA for 778af89

Commits on Jan 6, 2014

• Improved the (still very experimental) interactive strategy simulator a bit. The MOVE command now stores the current state and gives an error message if no initial state has been set yet.

  progirep

  committed
  7720039

  Copy full SHA for 7720039

• Some work on robot-on-a-grid benchmarks

  progirep

  committed
  cc4611f

  Copy full SHA for cc4611f

Commits on Aug 23, 2013

• add in CUDD patch for OS X; add OS X section to README

  cfinucane

  committed
  2d6b30e

  Copy full SHA for 2d6b30e

Commits on Aug 19, 2013

• Completed factoring out the one-step-recovery as being optional.

  progirep

  committed
  4af0741

  Copy full SHA for 4af0741

Commits on Aug 17, 2013

• Added pause function to the simulator

  progirep

  committed
  b2a8552

  Copy full SHA for b2a8552

Commits on Aug 13, 2013

• unrealizable spec demonstrating ctrstrategy sys violation

  vraman

  committed
  c1c3199

  Copy full SHA for c1c3199

Commits on Aug 9, 2013

• Added new example files for the robot-on-a-grid simulator.

  progirep

  committed
  4de2846

  Copy full SHA for 4de2846

Commits on Aug 8, 2013

• ..forgot file in previous commit..

  progirep

  committed
  b0a242c

  Copy full SHA for b0a242c

• Simulator is a bit more mature now.

  progirep

  committed
  c7e6a3b

  Copy full SHA for c7e6a3b

Commits on Aug 7, 2013

• ..forgot a file in the previous commit

  progirep

  committed
  8f04121

  Copy full SHA for 8f04121

• Updated robot benchmarks

  progirep

  committed
  ac32e81

  Copy full SHA for ac32e81

• Fixed unrealizable core finding algorithm

  progirep

  committed
  048afc9

  Copy full SHA for 048afc9

• Robot example fix

  progirep

  committed
  72dfeae

  Copy full SHA for 72dfeae

• Yet another counter-strategy generation fix

  progirep

  committed
  305b378

  Copy full SHA for 305b378

• Updated the Counter-strategy generation - fixes a bug.

  progirep

  committed
  40f9ebe

  Copy full SHA for 40f9ebe

Commits on Aug 6, 2013

• Slight simplification of the previous commit.

  progirep

  committed
  bb4c331

  Copy full SHA for bb4c331

• Fixed strategy extraction bug for liveness guarantees that involved non-nexted variables.

  progirep

  committed
  1d6b63d

  Copy full SHA for 1d6b63d

• remove double parenthesis, eliminating some warnings

  vraman

  committed
  7217a81

  Copy full SHA for 7217a81

• variable length arrays don't work with all gcc compilers, so changing these to vectors

  vraman

  committed
  75f393f

  Copy full SHA for 75f393f

Pagination

Previous

Next