Implement new sort inference algorithm · runtimeverification/k@2a3f489

Triggered via pull request November 28, 2023 21:48

edited #3673

new-type-inference

Status Success

Total duration 43m 24s

Artifacts 1

test-pr.yml

on: pull_request

Matrix: Nix flake

Produced during runtime

Name	Size
kframework.deb Expired	146 MB