Commits

Branch selector

 main

User selector

rficcaglia

Datepicker

All time

Commit History

Commits on Feb 5, 2020

• add @rficcaglia to member list (#338)

  Show description for c0ee519
  rficcaglia

  authored
  c0ee519

  Copy full SHA for c0ee519

Commits on Sep 17, 2019

• assessment matrix updated after 8/28 call (#259)

  Show description for 8f02ab9
  

  rficcaglia

  authored and

  ultrasaurus

  committed
  8f02ab9

  Copy full SHA for 8f02ab9

Commits on Aug 16, 2019

• added temporal logic refs

  Show description for e86f0bc
  rficcaglia

  authored
  e86f0bc

  Copy full SHA for e86f0bc

Commits on Aug 12, 2019

• Merge branch 'master' into feature-formal-verification

  rficcaglia

  authored
  5e64882

  Copy full SHA for 5e64882

Commits on Aug 7, 2019

• more md tweaks

  rficcaglia

  authored
  16c9797

  Copy full SHA for 16c9797

• small markdown tweak

  rficcaglia

  authored
  1b45643

  Copy full SHA for 1b45643

• lots of updates

  Show description for c055166
  rficcaglia

  authored
  c055166

  Copy full SHA for c055166

• Add files via upload

  rficcaglia

  authored
  e8730ec

  Copy full SHA for e8730ec

• Merge branch 'master' into feature-formal-verification

  rficcaglia

  authored
  04ec548

  Copy full SHA for 04ec548

Commits on Aug 1, 2019

• Add files via upload

  rficcaglia

  authored
  b806d76

  Copy full SHA for b806d76

• rename folder per suggestion

  rficcaglia

  authored
  586a951

  Copy full SHA for 586a951

• Delete overview-formal-verification.png

  rficcaglia

  authored
  49cdec4

  Copy full SHA for 49cdec4

• Merge branch 'master' into feature-formal-verification

  rficcaglia

  authored
  beb6992

  Copy full SHA for beb6992

• Merge branch 'master' into patch-4

  rficcaglia

  authored
  1430d2c

  Copy full SHA for 1430d2c

Commits on Jul 31, 2019

• suggested changes from Brandon

  rficcaglia

  authored
  a224759

  Copy full SHA for a224759

• updates from sig call

  Show description for 534b9e3
  rficcaglia

  authored
  534b9e3

  Copy full SHA for 534b9e3

Commits on Jul 25, 2019

• Merge branch 'master' into feature-formal-verification

  rficcaglia

  authored
  4388ef8

  Copy full SHA for 4388ef8

Commits on Jul 24, 2019

• more cleanup

  rficcaglia

  authored
  a79ab50

  Copy full SHA for a79ab50

Commits on Jul 19, 2019

• draft overview matrix of projects and people

  Show description for 54f0da5
  rficcaglia

  authored
  54f0da5

  Copy full SHA for 54f0da5

Commits on Jul 18, 2019

• updates

  Show description for 268a1c8
  rficcaglia

  authored
  268a1c8

  Copy full SHA for 268a1c8

Commits on Jul 17, 2019

• small edits

  Show description for fdb1f53
  rficcaglia

  authored
  fdb1f53

  Copy full SHA for fdb1f53

• fix reference links

  Show description for 33bb595
  rficcaglia

  authored
  33bb595

  Copy full SHA for 33bb595

• diagram markdown fixes

  Show description for 4f0943d
  rficcaglia

  authored
  4f0943d

  Copy full SHA for 4f0943d

• fix diagram markdown

  rficcaglia

  authored
  9f06c74

  Copy full SHA for 9f06c74

• overview diagram

  Show description for e304b37
  rficcaglia

  authored
  e304b37

  Copy full SHA for e304b37

• WIP

  Show description for 6ae2f26
  rficcaglia

  authored
  6ae2f26

  Copy full SHA for 6ae2f26

Commits on May 31, 2019

• add a few suggestions

  rficcaglia

  authored
  c8b0860

  Copy full SHA for c8b0860