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.

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

Implementation of an algorithm for checking subject reduction #200

Open
wants to merge 28 commits into
base: master
Choose a base branch
from
Open
Changes from 1 commit
Commits
Show all changes
28 commits
Select commit Hold shift + click to select a range
89a6072
Define the relation used in the algorithm
wujuihsuan2016 Mar 25, 2019
c764164
Merge pull request #2 from Deducteam/master
wujuihsuan2016 Apr 1, 2019
6b01d06
Add the translation from Xml-light to Lambdapi
wujuihsuan2016 Apr 1, 2019
66be875
Fix some bugs
wujuihsuan2016 Apr 2, 2019
09bf732
Add the function calculating critical pairs for algebraic LHS
wujuihsuan2016 Apr 9, 2019
cc7a692
Add first-order syntactic unification
wujuihsuan2016 Apr 11, 2019
03fde40
Add rewriting for closed terms and closed rules
wujuihsuan2016 Apr 12, 2019
768f1b6
Add Huet's completion procedure
wujuihsuan2016 Apr 12, 2019
9ae6567
Simplify the completion procedure
wujuihsuan2016 Apr 17, 2019
dc52db0
Reorganize some files
wujuihsuan2016 Apr 17, 2019
1f78265
Merge remote-tracking branch 'upstream/master' into sr
wujuihsuan2016 Apr 18, 2019
9b006fb
Remove subject_reduction.ml
wujuihsuan2016 Apr 19, 2019
6aa0da7
Modify the completion procedure
wujuihsuan2016 Apr 19, 2019
14ad333
Modify the main function for checking SR
wujuihsuan2016 Apr 19, 2019
106f893
Remove a redundant function
wujuihsuan2016 Apr 19, 2019
4b44d53
Fix some bugs and typos
wujuihsuan2016 Apr 19, 2019
3a22261
Modify the main function for checking SR
wujuihsuan2016 Apr 23, 2019
f425f27
Modify the order on symbols used in the completion procedure
wujuihsuan2016 May 3, 2019
550ad3e
Combine the two algorithms for checking SR
wujuihsuan2016 May 3, 2019
11e8428
Rename some functions
wujuihsuan2016 Jun 5, 2019
6c69f32
Add an function for checking injectivity of symbols
wujuihsuan2016 Jun 5, 2019
abe4a3c
Add some comments and make some modifications
wujuihsuan2016 Jun 11, 2019
1c2a2e4
Modify the main funciton of SR-checking
wujuihsuan2016 Jun 11, 2019
47d1ffd
Fix some bugs in the function for injectivity checking
wujuihsuan2016 Jun 12, 2019
2f7a5e7
Rename some functions
wujuihsuan2016 Jun 17, 2019
f13d037
Fix some bugs
wujuihsuan2016 Jun 17, 2019
71eacf8
Fix some bugs
wujuihsuan2016 Jun 27, 2019
9aa4992
Add missing comments
wujuihsuan2016 Jun 28, 2019
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Remove subject_reduction.ml
wujuihsuan2016 committed Apr 19, 2019
commit 9b006fb3b16a8e0886bd7ebf6ceb983fe274cd51
43 changes: 0 additions & 43 deletions src/subject_reduction.ml

This file was deleted.