Commits

Commit history

1. Commits on Apr 27, 2025

   • fix(test): fix bug in TestKotlinContractExtractor

     jff

     committed
     bd46414View commit details

     Copy full SHA for bd46414

     View code at this pointBrowse repository at this point
2. Commits on Jun 13, 2023

   • Applies coding style

     DavidRFerreira

     committed
     659d2dcView commit details

     Copy full SHA for 659d2dc

     View code at this pointBrowse repository at this point

   • Fixes failing tests

     DavidRFerreira

     committed
     4738fc2View commit details

     Copy full SHA for 4738fc2

     View code at this pointBrowse repository at this point

   • Fixes annotations classifications for Kotlin extensions

     DavidRFerreira

     committed
     60b55c8View commit details

     Copy full SHA for 60b55c8

     View code at this pointBrowse repository at this point

   • Improves documentation

     DavidRFerreira

     committed
     bb97035View commit details

     Copy full SHA for bb97035

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

   • Fixes import state for annotations

     DavidRFerreira

     committed
     c386644View commit details

     Copy full SHA for c386644

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

   • Fixes todo and fixme comments in usage component

     DavidRFerreira

     committed
     f8dd509View commit details

     Copy full SHA for f8dd509

     View code at this pointBrowse repository at this point
5. Commits on May 2, 2023

   • Fixes super contructor identification

     DavidRFerreira

     committed
     959ff59View commit details

     Copy full SHA for 959ff59

     View code at this pointBrowse repository at this point
6. Commits on May 1, 2023

   • Adds method to get scope in Kotlin and fixes StaticImportCollectorKotlin

     DavidRFerreira

     committed
     14c1897View commit details

     Copy full SHA for 14c1897

     View code at this pointBrowse repository at this point
7. Commits on Mar 27, 2023

   • Fixes method that identifies constrained artefact in annotations

     DavidRFerreira

     committed
     fa30f09View commit details

     Copy full SHA for fa30f09

     View code at this pointBrowse repository at this point
8. Commits on Mar 25, 2023

   • Fixes some Kotlin Asserts not being catched

     DavidRFerreira

     committed
     52a889dView commit details

     Copy full SHA for 52a889d

     View code at this pointBrowse repository at this point
9. Commits on Mar 6, 2023

   • Minor changes

     DavidRFerreira

     committed
     e50d006View commit details

     Copy full SHA for e50d006

     View code at this pointBrowse repository at this point
10. Commits on Feb 25, 2023

    • Adds java and kotlin columns to latex tables created on usage study

      DavidRFerreira

      committed
      c66bf19View commit details

      Copy full SHA for c66bf19

      View code at this pointBrowse repository at this point
11. Commits on Feb 24, 2023

    • Minor changes

      DavidRFerreira

      committed
      74ab620View commit details

      Copy full SHA for 74ab620

      View code at this pointBrowse repository at this point

    • Fixes faulty tests for staticImportCollector in Java

      DavidRFerreira

      committed
      04ada70View commit details

      Copy full SHA for 04ada70

      View code at this pointBrowse repository at this point
12. Commits on Feb 9, 2023

    • Minor change

      DavidRFerreira

      committed
      43d4dffView commit details

      Copy full SHA for 43d4dff

      View code at this pointBrowse repository at this point

    • Improves how we distinguish a kotlin assertion from a developer method with the same name

      DavidRFerreira

      committed
      e5f3968View commit details

      Copy full SHA for e5f3968

      View code at this pointBrowse repository at this point
13. Commits on Feb 8, 2023

    • Adds Kotlin Contract extractor; Adds unit test

      DavidRFerreira

      committed
      3df7438View commit details

      Copy full SHA for 3df7438

      View code at this pointBrowse repository at this point
14. Commits on Feb 6, 2023

    • Minor folder organization

      DavidRFerreira

      committed
      747e99bView commit details

      Copy full SHA for 747e99b

      View code at this pointBrowse repository at this point
15. Commits on Jan 14, 2023

    • Organizes output files into folders

      DavidRFerreira

      committed
      0fa0f3fView commit details

      Copy full SHA for 0fa0f3f

      View code at this pointBrowse repository at this point
16. Commits on Jan 8, 2023

    • Implements Kotlin visitor for check, checkNotNull, require and requireNotNull

      DavidRFerreira

      committed
      5690da1View commit details

      Copy full SHA for 5690da1

      View code at this pointBrowse repository at this point
17. Commits on Jan 5, 2023

    • Gets message from arguments

      DavidRFerreira

      committed
      3510d5cView commit details

      Copy full SHA for 3510d5c

      View code at this pointBrowse repository at this point
18. Commits on Jan 4, 2023

    • Improves Kotlin CRE extractor

      DavidRFerreira

      committed
      46f7d51View commit details

      Copy full SHA for 46f7d51

      View code at this pointBrowse repository at this point
19. Commits on Dec 31, 2022

    • Applies code style

      DavidRFerreira

      committed
      03f8379View commit details

      Copy full SHA for 03f8379

      View code at this pointBrowse repository at this point

    • Organizes and cleans project

      DavidRFerreira

      committed
      2108061View commit details

      Copy full SHA for 2108061

      View code at this pointBrowse repository at this point
20. Commits on Dec 25, 2022

    • Minor changes

      DavidRFerreira

      committed
      377484bView commit details

      Copy full SHA for 377484b

      View code at this pointBrowse repository at this point
21. Commits on Dec 21, 2022

    • Implements Kotlin extractor for SuperInvocations

      DavidRFerreira

      committed
      5abb243View commit details

      Copy full SHA for 5abb243

      View code at this pointBrowse repository at this point
22. Commits on Dec 18, 2022

    • Refactors collect-invocation-via-super

      DavidRFerreira

      committed
      d176b54View commit details

      Copy full SHA for d176b54

      View code at this pointBrowse repository at this point
23. Commits on Dec 7, 2022

    • Refactors CollectDatasetStats script; Adds tests.

      DavidRFerreira

      committed
      9b5c745View commit details

      Copy full SHA for 9b5c745

      View code at this pointBrowse repository at this point
24. Commits on Dec 6, 2022

    • Extends CollectDatasetStats to Kotlin

      DavidRFerreira

      committed
      c32f9bdView commit details

      Copy full SHA for c32f9bd

      View code at this pointBrowse repository at this point
25. Commits on Dec 3, 2022

    • Refactors CollectContracts script and minor refactoring to project structure

      DavidRFerreira

      committed
      df3eaf6View commit details

      Copy full SHA for df3eaf6

      View code at this pointBrowse repository at this point

    • Minor changes

      DavidRFerreira

      committed
      321387fView commit details

      Copy full SHA for 321387f

      View code at this pointBrowse repository at this point

    • Adds tests for static import state

      DavidRFerreira

      committed
      050f7c8View commit details

      Copy full SHA for 050f7c8

      View code at this pointBrowse repository at this point
26. Commits on Nov 28, 2022

    • Adds extractors support for Kotlin

      DavidRFerreira

      committed
      527c6f4View commit details

      Copy full SHA for 527c6f4

      View code at this pointBrowse repository at this point
27. Commits on Nov 24, 2022

    • Finishes extending Annotations but without condition for Kotlin

      DavidRFerreira

      committed
      b8e33c1View commit details

      Copy full SHA for b8e33c1

      View code at this pointBrowse repository at this point