Commits

Breadcrumbs

History for

ondevelop

User selector

All users

Datepicker

All time

Commit History

Commits on Jan 17, 2023

• libs/languages -> languages/ (semgrep#6870)

  Show description for 00f1e67
  aryx

  authored
  00f1e67

  Copy full SHA for 00f1e67

Commits on Jan 15, 2023

• Start big core reorg getting rid of semgrep-core/ (semgrep#6848)

  Show description for 855abad
  aryx

  authored
  855abad

  Copy full SHA for 855abad

• move semgrep-core/dune-project and semgrep-core/tests at the root (semgrep#6842)

  Show description for 8c379c2
  aryx

  authored
  8c379c2

  Copy full SHA for 8c379c2

Commits on Mar 6, 2020

• move sgrep to subdirectory, pin pfff as git submodule (semgrep#258)

  Show description for 01bac59
  ievans

  authored
  01bac59

  Copy full SHA for 01bac59

Commits on Dec 13, 2019

• duninfication, v1, it works!

  aryx

  committed
  4068200

  Copy full SHA for 4068200

• moving things around, more dune-friendly

  aryx

  committed
  829f10a

  Copy full SHA for 829f10a

Loading