Commits

Commit history

1. Commits on Jun 24, 2025

   • Overlay: Add overlay annotations to Java & shared libraries

     kaspersv

     committed
     c207cfdView commit details

     Copy full SHA for c207cfd

     View code at this pointBrowse repository at this point
2. Commits on Oct 4, 2024

   • Java: Typo in a comment

     igfoo

     committed
     d24bdbbView commit details

     Copy full SHA for d24bdbb

     View code at this pointBrowse repository at this point
3. Commits on May 4, 2023

   • Java: Add pragma[only_bind_out] to Top::toString() calls

     cklin

     committed
     d968ceeView commit details

     Copy full SHA for d968cee

     View code at this pointBrowse repository at this point
4. Commits on Aug 24, 2022

   • Make *.qll non-executable

     igfoo

     committed
     501a9b3View commit details

     Copy full SHA for 501a9b3

     View code at this pointBrowse repository at this point
5. Commits on Aug 19, 2021

   • Packaging: Java refactoring

     Show description for 8e750f1
     aeisenberg

     committed
     8e750f1View commit details

     Copy full SHA for 8e750f1

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