Skip to content

add cache to scmConvertible to exploit observable sharing#3163

Open
danmatichuk wants to merge 6 commits intomasterfrom
issue2967
Open

add cache to scmConvertible to exploit observable sharing#3163
danmatichuk wants to merge 6 commits intomasterfrom
issue2967

Conversation

@danmatichuk
Copy link
Copy Markdown
Contributor

fixes #2967

Comment thread intTests/test_convertible/test.sh Outdated
Comment thread saw-core/src/SAWCore/Term/Certified.hs Outdated
@sauclovian-g
Copy link
Copy Markdown
Contributor

There's some risk that load on the runners will interfere with any concrete time limit :-(

Comment thread saw-core/src/SAWCore/Term/Certified.hs Outdated
Comment thread saw-core/src/SAWCore/Term/Certified.hs Outdated
Comment thread saw-core/src/SAWCore/Term/Certified.hs
Comment thread saw-core/src/SAWCore/Term/Certified.hs Outdated
Comment thread saw-core/src/SAWCore/Term/Certified.hs Outdated
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

SAWCore function scConvertible ignores observable sharing

3 participants