Skip to content
GitHub Explorer

opprop/immutability

View on GitHub ↗Related repositories →

The Practical Immutability for Classes and Objects (PICO) type system enforces transitive class and object immutability

active 2023-09-22 → 2024-12-23 (UTC)

Complete coverage26,679 / 26,679 hourly files (100%) · 2 absent upstream2023-08-15 → 2026-08-30 (UTC)
Events
66
Pushes
9
Pull requests
8
Issues
21
Stars
3
Forks
1

Activity over time

Daily event counts in the loaded window

Line chart, 459 days from 2023-09-22 to 2024-12-23. Pushes: 9 total, peak 4 in a day. Pull requests: 8 total, peak 2 in a day. Issues: 21 total, peak 4 in a day. Comments: 19 total, peak 5 in a day. Stars: 3 total, peak 1 in a day.

  • Pushes
  • Pull requests
  • Issues
  • Comments
  • Stars

Top contributors

Pushes, PRs, issues, reviews and comments — stars and forks excluded, so this is contribution rather than popularity

ContributorContributionsPushesPRsComments
Ao-senXiong464715
wmdietl5212
txiang615301
Shreyas-BS3001

Recent activity

Latest issues, pull requests and releases

  • Issue#61Ao-senXiong2024-12-23 20:54
    [Typecheck] Assignablilty modifier conflict on primitive type
  • Issue#62Ao-senXiong2024-12-23 20:54
    [Typecheck] Definite assignment check in PICO
  • Issue#63Ao-senXiong2024-12-23 20:54
    [Typecheck] Lost qualifier for PICO
  • Issue#64Ao-senXiong2024-12-23 20:53
    Support immutability from freeze (builder) pattern
  • Issue#63Ao-senXiong2024-08-06 17:52
    [Typecheck] Lost qualifier for PICO
  • Issue#62Ao-senXiong2024-08-02 05:52
    [Typecheck] Definite assignment check in PICO
  • Issue comment#61Ao-senXiong2024-07-17 20:27
    [Typecheck] Assignablilty modifier conflict on primitive type
  • Issue#61Ao-senXiong2024-07-17 20:24
    [Typecheck] Assignablilty modifier conflict on primitive type
  • Issue#60Ao-senXiong2024-07-17 19:12
    [Typecheck] Redundant check of invalid type annotation
  • Issue comment#55Ao-senXiong2024-07-04 18:51
    Raw type in error message
  • Issue comment#59Shreyas-BS2024-07-01 04:39
    Methods called from `toString` need a readonly receiver type
  • Issue comment#59wmdietl2024-06-30 22:00
    toString(radix) not accepting Readonly type
  • Issue#59Shreyas-BS2024-06-30 20:36
    toString(radix) not accepting Readonly type
  • Pull request#58Ao-senXiong2024-06-27 20:46
  • Issue comment#48Ao-senXiong2024-06-25 14:23
    Add some examples
  • Issue#57Ao-senXiong2024-06-24 21:23
    Crash errors of PICO-aosen-master
  • Issue comment#56Ao-senXiong2024-06-13 18:56
    Default switch option `Mutable` to `Immutable`
  • Issue#56Ao-senXiong2024-06-13 18:34
    Default switch option `Mutable` to `Immutable`
  • Issue#55Ao-senXiong2024-06-05 18:52
    Raw type in error message
  • Issue comment#53Ao-senXiong2024-06-03 04:43
    Understand where PICO should report error
  • Issue comment#53wmdietl2024-06-02 21:56
    Understand where PICO should report error
  • Issue#54Ao-senXiong2024-05-31 21:56
    Create Javadoc for PICO's source code
  • Issue#53Ao-senXiong2024-05-31 21:55
    Understand where PICO should report error
  • Pull request#52Ao-senXiong2024-05-31 20:59
  • Issue comment#50Ao-senXiong2024-05-31 19:33
    System.out.println is creating error with @Immutable type and @Readonly type

Totals cover only the window loaded into ClickHouse and count events, not GitHub's lifetime totals — 3 stars here means stars gained during the window, not the repo's star count.