Code

Add description of GitHub pages#37

Code

Merged

200km merged 4 commits intodeveloput-issl/s2e-core:developfrom feature/add_description_of_github_pagesut-issl/s2e-core:feature/add_description_of_github_pagesCopy head branch name to clipboardJan 19, 2022

+13-16

Commits

Commits on Jan 18, 2022

• Modify link to s2e-documents

  200km

  committed
  3d9f948

  Copy full SHA for 3d9f948

Commits on Jan 19, 2022

• Modify expression of S2E CORE and delete unnecessary description

  200km

  committed
  3712ee8

  Copy full SHA for 3712ee8

• modify English

  200km

  committed
  709301f

  Copy full SHA for 709301f

• Fixed to reflect the reviews

  200km

  committed
  6a2615a

  Copy full SHA for 6a2615a