erik-krogh
|
ce9f69a639
|
rename all occurrences of XML to Xml
|
2022-08-22 14:08:31 +02:00 |
|
Ian Lynagh
|
77fec17a36
|
Kotlin: Autoformat QL
|
2022-05-10 19:51:25 +01:00 |
|
Ian Lynagh
|
c04912701a
|
Java/Kotlin: Speed up toString.ql
It's less informative now, but manual debugging will likely be needed
to investigate failures.
|
2022-05-10 19:51:10 +01:00 |
|
Ian Lynagh
|
ab93d166b8
|
Java/Kotlin: Tweak consistency queries
|
2022-05-10 19:51:10 +01:00 |
|
Ian Lynagh
|
59307285e8
|
Kotlin: Speed up the toString consistency query
Using Top.getAQlClass() means we have to evaluate
SummarizedCallableExternal's charpred, and hence summaryElement,
which is slow.
|
2022-05-10 19:51:00 +01:00 |
|
Ian Lynagh
|
bbbd5d78a7
|
Java: Add toString consistency query
|
2022-05-10 18:45:51 +01:00 |
|