Commits

Commit history

1. Commits on Apr 14, 2020

   • C++: QLDoc for FileClosed, LoopBounds and MemoryFreed

     MathiasVP

     committed
     d8dcbe3View commit details

     Copy full SHA for d8dcbe3

     View code at this pointBrowse repository at this point
2. Commits on Apr 6, 2020

   • C++: Deprecate freeCall in the legacy wrapper Alloc.qll.

     geoffw0

     committed
     cbe133dView commit details

     Copy full SHA for cbe133d

     View code at this pointBrowse repository at this point
3. Commits on Dec 17, 2019

   • C++: Autoformat.

     geoffw0

     committed
     ab0be19View commit details

     Copy full SHA for ab0be19

     View code at this pointBrowse repository at this point

   • C++: Update MemoryNeverFreed.ql to exclude alloca (and use the new allocation model directly).

     geoffw0

     committed
     9a944a9View commit details

     Copy full SHA for 9a944a9

     View code at this pointBrowse repository at this point
4. Commits on Apr 23, 2019

   • CPP: Make some repairs manually.

     geoffw0

     committed
     6234b26View commit details

     Copy full SHA for 6234b26

     View code at this pointBrowse repository at this point

   • CPP: Autoformat 'Critical'.

     geoffw0

     committed
     e395f52View commit details

     Copy full SHA for e395f52

     View code at this pointBrowse repository at this point
5. Commits on Aug 2, 2018

   • QL code and tests for C#/C++/JavaScript.

     pavgust

     committed
     b55526aView commit details

     Copy full SHA for b55526a

     View code at this pointBrowse repository at this point
6. Loading