Issues

• paper accepted

  jensdietrich/jdala#20 · Filter by author jensdietrich opened on Jul 8, 2025

• Expand Documentation

  jensdietrich/jdala#18 · Filter by author qwsmit opened on Mar 13, 2025
  1

  

• Joining of two Isolated objects

  jensdietrich/jdala#17 · Filter by author qwsmit opened on Mar 10, 2025
  5

• Instrumentation of jdala-internal classes

  jensdietrich/jdala#14 · Filter by author jensdietrich opened on Mar 5, 2025
  3

• portal classes

  bellsAndWistles
  jensdietrich/jdala#13 · Filter by author jensdietrich opened on Feb 20, 2025
  3

• reflection support

  jensdietrich/jdala#12 · Filter by author jensdietrich opened on Feb 5, 2025

• instrumentation of LinkedList Leads To Recursive Validate Call

  jensdietrich/jdala#10 · Filter by author qwsmit opened on Jan 28, 2025
  3

• JDala internal use of collections (and other libraries) leads to error due to validate being called in register call

  jensdietrich/jdala#9 · Filter by author qwsmit opened on Jan 27, 2025
  3

• Support for @Isolated

  jensdietrich/jdala#7 · Filter by author jensdietrich opened on Jan 9, 2025
  7

• heap checks for static

  jensdietrich/jdala#6 · Filter by author jensdietrich opened on Jan 9, 2025

• heap checks

  jensdietrich/jdala#5 · Filter by author jensdietrich opened on Jan 9, 2025
  13

  

• error instrumenting field access

  jensdietrich/jdala#4 · Filter by author jensdietrich opened on Dec 15, 2024
  1

• checkpoints for checking thread ownership / local

  jensdietrich/jdala#3 · Filter by author jensdietrich opened on Dec 11, 2024

• is @Immutable (and other properties) deep

  jensdietrich/jdala#2 · Filter by author jensdietrich opened on Dec 11, 2024
  9