Commits

Branch selector

 master

User selector

All users

All time

Commit History

Commits on Jan 21, 2014

• Update README.md

  sjf

  committed
  e016830

  Copy full SHA for e016830

• Merge branch 'master' of https://github.com/sjf/temporal_logic

  sjf

  committed
  9bf0973

  Copy full SHA for 9bf0973

• Cleanup

  sjf

  committed
  294d1e9

  Copy full SHA for 294d1e9

Commits on Jan 20, 2014

• Update README.md

  sjf

  committed
  3aec7f3

  Copy full SHA for 3aec7f3

• Update README.md

  sjf

  committed
  e3aecdc

  Copy full SHA for e3aecdc

• Update README.md

  sjf

  committed
  981e48e

  Copy full SHA for 981e48e

• Merge

  Show description for 4057e7e
  sjf

  committed
  4057e7e

  Copy full SHA for 4057e7e

• Initial commit

  sjf

  committed
  dc8b69e

  Copy full SHA for dc8b69e

• Cleanup

  

  sjf

  committed
  e681cb1

  Copy full SHA for e681cb1

• Cleanup

  

  sjf

  committed
  9cea7a1

  Copy full SHA for 9cea7a1

• Cleanup

  

  sjf

  committed
  a39a6f1

  Copy full SHA for a39a6f1

Commits on May 1, 2007

• *** empty log message ***

  

  sjf

  committed
  9c328d6

  Copy full SHA for 9c328d6

Commits on Apr 30, 2007

• *** empty log message ***

  

  sjf

  committed
  65c2602

  Copy full SHA for 65c2602

• translation

  

  sjf

  committed
  23a64b3

  Copy full SHA for 23a64b3

Commits on Apr 29, 2007

• Show description for 1403263
  

  sjf

  committed
  1403263

  Copy full SHA for 1403263

Commits on Apr 18, 2007

• Presentation

  

  sjf

  committed
  29c26ef

  Copy full SHA for 29c26ef

Commits on Apr 17, 2007

• *** empty log message ***

  

  sjf

  committed
  d2a76fe

  Copy full SHA for d2a76fe

• *** empty log message ***

  

  sjf

  committed
  69d3e41

  Copy full SHA for 69d3e41

• *** empty log message ***

  

  sjf

  committed
  caf6abd

  Copy full SHA for caf6abd

• *** empty log message ***

  

  sjf

  committed
  61f10f9

  Copy full SHA for 61f10f9

• *** empty log message ***

  

  sjf

  committed
  7eb8b27

  Copy full SHA for 7eb8b27

• *** empty log message ***

  

  sjf

  committed
  25ac1ff

  Copy full SHA for 25ac1ff

• *** empty log message ***

  

  sjf

  committed
  bcdaf7c

  Copy full SHA for bcdaf7c

Commits on Apr 16, 2007

• *** empty log message ***

  

  sjf

  committed
  0ee8497

  Copy full SHA for 0ee8497

• *** empty log message ***

  

  sjf

  committed
  bf5c2a7

  Copy full SHA for bf5c2a7

• weak subsumptive closure, negation based on closure

  

  sjf

  committed
  84c28c6

  Copy full SHA for 84c28c6

Commits on Apr 14, 2007

• Tense relation alphabet problem fixed, need to rever t to using symbols instead of strings for fluents. Problem with exponential increase in alphabet

  

  sjf

  committed
  0f98a1f

  Copy full SHA for 0f98a1f

• Minimization

  Show description for ef76f7c
  

  sjf

  committed
  ef76f7c

  Copy full SHA for ef76f7c

Commits on Apr 12, 2007

• *** empty log message ***

  

  sjf

  committed
  2582958

  Copy full SHA for 2582958

• *** empty log message ***

  

  sjf

  committed
  dc5b472

  Copy full SHA for dc5b472

• *** empty log message ***

  

  sjf

  committed
  62a8603

  Copy full SHA for 62a8603

• *** empty log message ***

  

  sjf

  committed
  19e7e7b

  Copy full SHA for 19e7e7b

• *** empty log message ***

  

  sjf

  committed
  436b818

  Copy full SHA for 436b818

• first commit

  

  sjf

  committed
  db83b0b

  Copy full SHA for db83b0b

Commits on Apr 3, 2007

• Minimisation, fixed complete

  

  sjf

  committed
  94810e1

  Copy full SHA for 94810e1