Skip to content

Smart constructors #137

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

Merged
merged 66 commits into from
Jul 12, 2018
Merged

Smart constructors #137

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
66 commits
Select commit Hold shift + click to select a range
9b00586
gave FunctionalProof a proper tree structure
phillipharr1s May 30, 2018
4aa9968
mild refactoring
phillipharr1s May 31, 2018
7eb47b2
Merge branch 'master' into unification
phillipharr1s Jun 3, 2018
e7347c6
.
phillipharr1s Jun 4, 2018
a7471d2
trying to create skeleton of monadic uni alg
phillipharr1s Jun 4, 2018
09f698e
skeleton of unification alg
phillipharr1s Jun 5, 2018
3babf33
done all i could before introducing AST type
phillipharr1s Jun 5, 2018
539676b
need custom ProofMOnad
phillipharr1s Jun 5, 2018
672f64f
.
phillipharr1s Jun 5, 2018
0d9006c
.
phillipharr1s Jun 5, 2018
497f223
ProofSystemWithHypos -- complete?
phillipharr1s Jun 8, 2018
42550f0
basic rules implemented
phillipharr1s Jun 8, 2018
3f9288c
should work aside from a few trivial holes
phillipharr1s Jun 9, 2018
84ba0c5
basic examples work
phillipharr1s Jun 10, 2018
e5cd004
cleanup
phillipharr1s Jun 19, 2018
f75d372
cleanup
phillipharr1s Jun 19, 2018
f272608
cleanup
phillipharr1s Jun 19, 2018
c9211dc
more test cases
phillipharr1s Jun 19, 2018
c117a86
.
phillipharr1s Jun 19, 2018
e67a155
.
phillipharr1s Jun 19, 2018
39c6b30
backwards, iff, basic proof pretty printing
phillipharr1s Jun 21, 2018
121654d
nice pretty print output for demo
phillipharr1s Jun 22, 2018
6d05072
.
phillipharr1s Jun 22, 2018
5eaebcc
added level param
phillipharr1s Jun 22, 2018
4cb056e
type sigs
phillipharr1s Jun 25, 2018
050445c
Merge branch 'master' into unification
phillipharr1s Jun 25, 2018
63944df
forgot Proof/
phillipharr1s Jun 25, 2018
efa63cb
Merge branch 'unification' of https://github.com/u--/kore into unific…
phillipharr1s Jun 25, 2018
7cefce6
reverted the original unificationImpl
phillipharr1s Jun 25, 2018
f3e042c
cleanup
phillipharr1s Jun 25, 2018
e733aff
cleanup
phillipharr1s Jun 26, 2018
20cc08e
cleanup
phillipharr1s Jun 26, 2018
8cbaf82
Should pass --pedantic
phillipharr1s Jun 26, 2018
3583c9a
.
phillipharr1s Jun 26, 2018
b3d329a
untrack ds_store
phillipharr1s Jun 26, 2018
e14a41d
Merge branch 'master' into unification
phillipharr1s Jun 25, 2018
bcdf22b
minor typos
phillipharr1s Jun 26, 2018
da84f76
.
phillipharr1s Jun 26, 2018
f25eda2
init
phillipharr1s Jun 27, 2018
eb88bf6
.
phillipharr1s Jun 28, 2018
c79e601
.
phillipharr1s Jun 28, 2018
c1fb693
wrote this too robotically. need lenses.
phillipharr1s Jun 30, 2018
2861061
smart constructors work, need testing
phillipharr1s Jul 2, 2018
0d0f9d9
rule infrastructure up to FunctionalVariable
phillipharr1s Jul 2, 2018
9d7a656
.
phillipharr1s Jul 5, 2018
e4f3cdc
.
phillipharr1s Jul 5, 2018
1b99c54
new branch for smartcons
phillipharr1s Jul 5, 2018
05a78f6
reorg
phillipharr1s Jul 5, 2018
b8fbb57
unit tests for substitution and sort agreement ... not very complete
phillipharr1s Jul 6, 2018
a45d2da
.
phillipharr1s Jul 6, 2018
ea4180b
.
phillipharr1s Jul 6, 2018
b65c62a
.
phillipharr1s Jul 8, 2018
d392196
.
phillipharr1s Jul 9, 2018
eb6af8c
Merge branch 'master' into smart-constructors
phillipharr1s Jul 9, 2018
d75f8e2
.
phillipharr1s Jul 9, 2018
930953d
Merge branch 'smart-constructors' of https://github.com/u--/kore into…
phillipharr1s Jul 9, 2018
12f4638
should pass pedantic
phillipharr1s Jul 9, 2018
0d08d13
should pass --pedantic TEST too
phillipharr1s Jul 9, 2018
6ebb03f
hashable ast
phillipharr1s Jul 9, 2018
cf059ee
change ensureSortAgreement to return flexibleSort whenever it can
phillipharr1s Jul 10, 2018
28514e0
formatting, misc refactoring
phillipharr1s Jul 10, 2018
226f3fa
quick and dirty substitution test generator
phillipharr1s Jul 11, 2018
1268e17
remove potentially long tests?
phillipharr1s Jul 11, 2018
3238a7c
.
phillipharr1s Jul 11, 2018
036df29
.
phillipharr1s Jul 11, 2018
d91cc99
.
phillipharr1s Jul 11, 2018
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
1 change: 1 addition & 0 deletions src/main/haskell/language-kore/.gitignore
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1 +1,2 @@
language-kore.cabal
.DS_Store
7 changes: 5 additions & 2 deletions src/main/haskell/language-kore/package.yaml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -30,12 +30,15 @@ dependencies:
- array
- bytestring-trie
- mtl
- containers
- hashable
- data-fix
- clock
- time
- lens
- groom
- deepseq
- optparse-applicative
- reflection
- time
- gitrev

library:
Expand Down
Loading