2 Commits

Author	SHA1	Message	Date
yoff	61a3e9630f	java: rewrite conflict detection ... - favour unary predicates over binary ones (the natural "conflicting access" is binary) - switch to a dual solution to trade recursion through forall for simple existentials. Co-authored-by: Anders Schack-Mulligen <aschackmull@github.com>	2025-10-17 01:43:04 +02:00
yoff	fe487e8bf0	java: add ThreadSafe query (P3) ... Co-authored-by: Raúl Pardo <raul.pardo@protonmail.com> Co-authored-by: SimonJorgensenMancofi <simon.jorgensen@mancofi.dk> Co-authored-by: Bjørnar Haugstad Jåtten <bjornjaat@hotmail.com>	2025-10-09 09:14:16 +02:00