- Aarhus, Denmark
Block or Report
Block or report kandersen
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePinned
-
-
wrengr/unification-fd Public
Generic functions for single-sorted first-order structural unification
-
caper-tool/caper Public
The Caper tool for Automatic Verification for Fine-Grained Concurrency
-
-
-
176 contributions in the last year
Contribution activity
July 1, 2022
Created a pull request in JetBrains/intellij-community that received 1 comment
[KTIJ-21854] Reorder composite analysis results in fragment compiler
Compiler side changes in JetBrains/kotlin#4880 The IR Fragment Compiler reuses the batch IR compiler infrastructure for compilation.This requires …
+75
−1
•
1
comment