search

cvc5 / LFSC

LFSC Proof Checker
Other
11 stars 9 forks source link

Add support for functions (programs with caching) #85

Closed ajreynol closed 1 year ago

ajreynol commented 1 year ago

This introduces a new keyword function that is identical to program but assumes that the results are cached.

Caching is local to an invocation of run_code.

This adds a test that would otherwise take a long time due to tree traversal and is now fast.

ajreynol commented 1 year ago

Changed method -> function as suggested by Cesare offline.