Commits

Branch selector

 master

User selector

All users

All time

Commit History

Commits on Dec 7, 2021

• Rocco: fix install file to work with Ubuntu 20

  rospoly

  committed
  8734f97

  Copy full SHA for 8734f97

Commits on Jun 1, 2021

• Rename scripts with proper extensions

  rospoly

  committed
  4bcd04d

  Copy full SHA for 4bcd04d

• Rocco: new folder scripts

  rospoly

  committed
  0bb0727

  Copy full SHA for 0bb0727

• Rocco README

  rospoly

  committed
  491cea2

  Copy full SHA for 491cea2

Commits on Apr 29, 2021

• Merge branch 'development' of https://github.com/soarlab/paf into development

  rospoly

  committed
  7035b1e

  Copy full SHA for 7035b1e

• Sometimes the PATH might not include the path to dreal and z3

  rospoly

  committed
  b5f2e9f

  Copy full SHA for b5f2e9f

Commits on Apr 28, 2021

• Merge branch 'development' of github.com:soarlab/paf into development

  zvonimir

  committed
  88b78ac

  Copy full SHA for 88b78ac

• Minor fix

  zvonimir

  committed
  80f7a79

  Copy full SHA for 80f7a79

• Merge branch 'development' of https://github.com/soarlab/paf into development

  rospoly

  committed
  49b4741

  Copy full SHA for 49b4741

• install

  rospoly

  committed
  010dc12

  Copy full SHA for 010dc12

• Added MIT license

  zvonimir

  committed
  6711b35

  Copy full SHA for 6711b35

• Merge branch 'development' of https://github.com/soarlab/paf into development

  rospoly

  committed
  7478ee4

  Copy full SHA for 7478ee4

• install

  rospoly

  committed
  4136f25

  Copy full SHA for 4136f25

• Update README.md

  rospoly

  authored
  b90f7f4

  Copy full SHA for b90f7f4

• Update README.md

  rospoly

  authored
  190f1a2

  Copy full SHA for 190f1a2

• Update README.md

  rospoly

  authored
  ace22e6

  Copy full SHA for ace22e6

• Update README.md

  rospoly

  authored
  4c7ca79

  Copy full SHA for 4c7ca79

• Update README.md

  rospoly

  authored
  e9ded41

  Copy full SHA for e9ded41

• Update README.md

  rospoly

  authored
  da97484

  Copy full SHA for da97484

• Update README.md

  rospoly

  authored
  585f3ab

  Copy full SHA for 585f3ab

• Update README.md

  rospoly

  authored
  c38bf3b

  Copy full SHA for c38bf3b

• Update README.md

  rospoly

  authored
  10fd46d

  Copy full SHA for 10fd46d

• Update README.md

  rospoly

  authored
  fb710a5

  Copy full SHA for fb710a5

• Update README.md

  rospoly

  authored
  cd8d557

  Copy full SHA for cd8d557

• Update README.md

  rospoly

  authored
  b8962ce

  Copy full SHA for b8962ce

• Update README.md

  rospoly

  authored
  99a91b5

  Copy full SHA for 99a91b5

• Update README.md

  fdahlqvist

  authored
  759ec4f

  Copy full SHA for 759ec4f

• Update README.md

  fdahlqvist

  authored
  1f85892

  Copy full SHA for 1f85892

• Update README.md

  rospoly

  authored
  bb8b77c

  Copy full SHA for bb8b77c

• Update README.md

  rospoly

  authored
  6606508

  Copy full SHA for 6606508

Commits on Apr 27, 2021

• Update README.md

  rospoly

  authored
  bcb97a9

  Copy full SHA for bcb97a9

• Scripts

  rospoly

  committed
  25065c3

  Copy full SHA for 25065c3

• Script Experimental Light

  rospoly

  committed
  b70cc48

  Copy full SHA for b70cc48

• install

  rospoly

  committed
  be0b323

  Copy full SHA for be0b323

• install

  rospoly

  committed
  047ef7c

  Copy full SHA for 047ef7c