Skip to content
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

Add a first version of the tau* translation #48

Merged
merged 16 commits into from
Dec 12, 2023
Merged

Add a first version of the tau* translation #48

merged 16 commits into from
Dec 12, 2023

Conversation

teiesti
Copy link
Collaborator

@teiesti teiesti commented Dec 12, 2023 •
edited
Loading

Closes #18.

@teiesti teiesti added C-feature-accepted Category: Accepted feature L-asp Language: Answer Set Programming L-fol Language: First-order logic A-translating Area: Language translations (like tau_star, ...) labels Dec 12, 2023
@teiesti teiesti requested a review from ZachJHansen December 12, 2023 17:11
@teiesti teiesti self-assigned this Dec 12, 2023
ZachJHansen
ZachJHansen previously approved these changes Dec 12, 2023
View reviewed changes
ZachJHansen and others added 15 commits December 12, 2023 18:14
@ZachJHansen @teiesti
Adding translating module with wip tau*
9125f7e
@ZachJHansen @teiesti
Adding conjoin/disjoin helper functions to tau*
cf67821
@ZachJHansen @teiesti
Adding equality formula construction function
48a59e0
@ZachJHansen @teiesti
Adding total function formula construction function
566f1ca
@ZachJHansen @teiesti
Adding val function and remaining helper functions
fa84c2e
@ZachJHansen @teiesti
Adding val tests to tau*
d2e33c7
@ZachJHansen @teiesti
Adding taub, associated helper functions, and tests
79fa0cb
@teiesti
Format formulas with a dot (".") at the end in theories
7052736
@teiesti
Return an actual Predicate when calling Head::predicate
64246cf
@ZachJHansen @teiesti
Adding remaining tau* functions
5942449
@teiesti
Move conjoin and disjoin into the AST
d9b2c60
@teiesti
Use a lazy_static to compile the regex only once
27f18c3
@teiesti
Make all non-essential function private and rename tau_star_program i…
1766b2a 
…nto tau_star
@teiesti
Remove the _v from choose_fresh_variable_names_v
d0b3324
@teiesti
Make clippy happy
1a33b37
ZachJHansen
ZachJHansen previously approved these changes Dec 12, 2023
View reviewed changes
@ZachJHansen ZachJHansen merged commit ddef245 into master Dec 12, 2023
4 checks passed
@ZachJHansen ZachJHansen deleted the tau_star branch December 12, 2023 22:11
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@ZachJHansen ZachJHansen ZachJHansen approved these changes

Assignees

@teiesti teiesti

Labels
A-translating Area: Language translations (like tau_star, ...) C-feature-accepted Category: Accepted feature L-asp Language: Answer Set Programming L-fol Language: First-order logic
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

Finish tau* translation for mini-gringo without absolute value
2 participants
@teiesti @ZachJHansen