New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

User-defined types are not BasicTypes #3

Merged

alcides merged 2 commits into master from custom_uninterpreted_functions

Apr 2, 2023

Owner

alcides commented Mar 24, 2023 •

edited

This PR adds support for the user to defined uninterpreted functions.

Todo:

All custom types are implemented as BasicType instead of TypeVar
Make sure all user-defined types are convertible into a Sort
Add the uninterpreted function to the context (maybe as a custom typing context node?)
Make sure the uninterpreted function only has basic types when moving to SMT world.
Build the uninterpreted function in SMT
Think about measures


          User-defined types are not BasicTypes

cdd1dab

alcides self-assigned this

alcides mentioned this pull request

Type Check Error in pow_test.py #2

Closed


          Merge branch 'master' of github.com:alcides/aeon into custom_uninterp…

62563d8

…reted_functions

alcides merged commit 7422d48 into master

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment