Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Apr 13, 2020

• Modify pre-commit hook to skip deleted files.

  tytus-metrycki

  committedApr 13, 2020
  5572b32

Commits on Mar 21, 2020

• Update pre-commit hook

  tytus-metrycki

  committedMar 21, 2020
  58d6ba7

Commits on Mar 18, 2020

• Only format cached files in pre-commit hook

  mmcgr

  committedMar 18, 2020
  6fb2261

Commits on Jan 21, 2020

• Fix clang-format version in pre-commit script

  

  lyndonhenry

  committedJan 21, 2020
  4cd337c

• Actually fix formatting this time

  

  lyndonhenry

  committedJan 21, 2020
  7084b18

Commits on Sep 13, 2019

• Fix for issue souffle-lang#1120.

  

  lyndonhenry

  committedSep 13, 2019
  2e77e71

Commits on Jul 16, 2018

• New MPI execution engine for -e option.

  

  lyndonhenry

  committedJul 16, 2018
  b3a743b

Loading