Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Jan 3, 2022

• Corrected URLs in a handful of older submodules.

  kiniry

  committed
  f6b9e11

  Copy full SHA for f6b9e11

Commits on Sep 28, 2021

• Bump the demonstrator

  podhrmic

  committed
  9cdf9e7

  Copy full SHA for 9cdf9e7

• Add BESSPIN-demonstrator

  podhrmic

  committed
  be733b5

  Copy full SHA for be733b5

Commits on May 28, 2021

• update the tool-suite, lfs, and environment post-release

  rtadros125

  committed
  7a44323

  Copy full SHA for 7a44323

• update bsc ref after re-building history

  rtadros125

  committed
  d5dd792

  Copy full SHA for d5dd792

Commits on May 27, 2021

• use ssh for the 2019 repos for consistency

  rtadros125

  committed
  7ef4141

  Copy full SHA for 7ef4141

• add license to the 2019 repos

  rtadros125

  committed
  2208d80

  Copy full SHA for 2208d80

Commits on May 26, 2021

• the tool-suite has the ami in the tag -- updating

  rtadros125

  committed
  ffc2a7d

  Copy full SHA for ffc2a7d

• update the rest of the submodules

  rtadros125

  committed
  31bc995

  Copy full SHA for 31bc995

• Updated top-level README with DISTAR language.

  

  dmzimmerman

  authored and

  rtadros125

  committed
  9185378

  Copy full SHA for 9185378

• Updated submodule revisions for DISTAR boilerplate language on 2019 repos.

  

  dmzimmerman

  authored and

  rtadros125

  committed
  83bfde9

  Copy full SHA for 83bfde9

Commits on May 19, 2021

• Merge pull request #3 from GaloisInc/top-level-readme

  Show description for 5b35e0d
  dmzimmerman

  authored
  5b35e0d

  Copy full SHA for 5b35e0d

• Added entries for the four FETT Portal repositories.

  dmzimmerman

  committed
  c0953f8

  Copy full SHA for c0953f8

• Updated to indicate "good starting points" for new users.

  dmzimmerman

  committed
  6e81ab8

  Copy full SHA for 6e81ab8

• Added 2019 DEF CON repos.

  dmzimmerman

  committed
  30a8723

  Copy full SHA for 30a8723

• Initial version of top-level README.

  dmzimmerman

  committed
  31a2779

  Copy full SHA for 31a2779

• Merge pull request #5 from GaloisInc/toolSuiteRelease-BSC-Portal

  Show description for 0a79ba5
  dmzimmerman

  authored
  0a79ba5

  Copy full SHA for 0a79ba5

• update the FETT Portal repos to include the released ref with licenses

  rtadros125

  committed
  8cf9b0a

  Copy full SHA for 8cf9b0a

• update references to Tool-Suite release

  rtadros125

  committed
  0dae2af

  Copy full SHA for 0dae2af

• add the portal repos -- pending releases

  rtadros125

  committed
  21ac350

  Copy full SHA for 21ac350

• update BSC ref after removing the files

  rtadros125

  committed
  40f6e67

  Copy full SHA for 40f6e67

Commits on May 17, 2021

• Merge pull request #4 from GaloisInc/repos-from-2019

  Show description for 77b8a5e
  dmzimmerman

  authored
  77b8a5e

  Copy full SHA for 77b8a5e

• Added the 2019 DEF CON repositories as submodules, for completeness.

  dmzimmerman

  committed
  99d7f86

  Copy full SHA for 99d7f86

Commits on May 4, 2021

• update Tool-Suite ref

  rtadros125

  committed
  8469b3a

  Copy full SHA for 8469b3a

Commits on Apr 30, 2021

• add all repos as submodules

  rtadros125

  committed
  9a9d664

  Copy full SHA for 9a9d664

Commits on Apr 27, 2021

• Update README.md

  andrew-bivin

  authored
  0757586

  Copy full SHA for 0757586

• Initial commit

  andrew-bivin

  authored
  e28d9a7

  Copy full SHA for e28d9a7