GitHub - ModelWriter/DeAL: Successful built of DeAL (GC Assertions) on x86_64-linux

Name		Name	Last commit message	Last commit date
Latest commit History 1 Commit
ecj-3.5.1		ecj-3.5.1
jikesrvm-3.1.0		jikesrvm-3.1.0
temp		temp
DeAL.zip		DeAL.zip
Ferhat.md		Ferhat.md
What Can the GC Compute Efficiently_ A Language for Heap Assertions at GC Time.pdf		What Can the GC Compute Efficiently_ A Language for Heap Assertions at GC Time.pdf
ecj-3.5.1-gcassertions.diff		ecj-3.5.1-gcassertions.diff
jikesrvm-3.1.0-gcassertions.diff		jikesrvm-3.1.0-gcassertions.diff