summaryrefslogtreecommitdiff
path: root/backends
diff options
context:
space:
mode:
authorSon HO2024-05-24 17:08:42 +0200
committerGitHub2024-05-24 17:08:42 +0200
commitfbfa0e13ab56ee847e891fa7d798d2eb226b6794 (patch)
tree58f0a2de653f57a986bb5e5f26453a1fbdf0ef17 /backends
parent0baa0519cf477fe1fa447417585960fc811bcae9 (diff)
parent169af47945f013e61b14d67e7ebdc9c03636c5a2 (diff)
Merge pull request #194 from AeneasVerif/afromher/recursive_projectors
Support field projectors for recursive structs in Lean backend
Diffstat (limited to 'backends')
0 files changed, 0 insertions, 0 deletions