Commits

Commit history

1. Commits on May 3, 2023

   • JS: Make implicit this receivers explicit

     kaspersv

     committed
     67950c8View commit details

     Copy full SHA for 67950c8

     View code at this pointBrowse repository at this point
2. Commits on Jan 20, 2022

   • simplify expressions that could be type-casts

     erik-krogh

     committed
     4e8e3a7View commit details

     Copy full SHA for 4e8e3a7

     View code at this pointBrowse repository at this point
3. Commits on Oct 14, 2021

   • C++/C#/Java/JavaScript/Python: Remove singleton set literals.

     aschackmull

     committed
     57cb300View commit details

     Copy full SHA for 57cb300

     View code at this pointBrowse repository at this point
4. Commits on Aug 3, 2020

   • fix typo

     erik-krogh

     committed
     f5cc14fView commit details

     Copy full SHA for f5cc14f

     View code at this pointBrowse repository at this point
5. Commits on Jul 8, 2020

   • make sure the consisntecy-checking library does not mix configurations

     erik-krogh

     committed
     022cafeView commit details

     Copy full SHA for 022cafe

     View code at this pointBrowse repository at this point
6. Commits on Jun 5, 2020

   • autoformat

     erik-krogh

     committed
     f70453cView commit details

     Copy full SHA for f70453c

     View code at this pointBrowse repository at this point
7. Commits on Jun 4, 2020

   • introduce consistency-checking utility predicates

     erik-krogh

     committed
     68ca8e2View commit details

     Copy full SHA for 68ca8e2

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