github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-01 09:15:01 +03:00
Code Issues Projects Releases Wiki Activity
1,185 Commits 19 Branches 16 Tags 46 MiB
2a313b18a1
Commit Graph

1185 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Rob Rix
2a313b18a1 Compute the unannotated term corresponding to ranged terms. 2015-10-19 11:37:13 -04:00
Rob Rix
e78f5d5c43 Revert "UnannotatedTerm is Equatable." 
This reverts commit 76714ae37d821e270ec2e47037cd35f03c86344b.
 2015-10-19 11:32:36 -04:00
Rob Rix
529a7163f6 Revert "UnannotatedTerm is Comparable." 
This reverts commit aac5b979c44d04566fe411cde4a9d857ef62a708.
 2015-10-19 11:32:33 -04:00
Rob Rix
91342a0431 Document the returned array. 2015-10-19 11:31:48 -04:00
Rob Rix
7236a46679 Shrink keyed nodes. 2015-10-19 11:31:44 -04:00
Rob Rix
423d804254 Document the shrunk term. 2015-10-19 11:31:35 -04:00
Rob Rix
9e6aa171a7 Factor out the case. 2015-10-19 11:28:18 -04:00
Rob Rix
2da03dbb67 Shrink outward-in. 2015-10-19 11:27:05 -04:00
Rob Rix
aea35d44e9 Drop some parens. 2015-10-19 11:18:06 -04:00
Rob Rix
7b94606558 Document paramorphism. 2015-10-19 11:17:18 -04:00
Rob Rix
d9823f144e Implement a paramorphism over TermType. 2015-10-19 11:15:44 -04:00
Rob Rix
8bd00f2414 Sort indexed alternatives. 2015-10-19 10:51:08 -04:00
Rob Rix
6e376d9d51 UnannotatedTerm is Comparable. 2015-10-19 10:50:19 -04:00
Rob Rix
df0ba4c10e Attempt to shrink indexed terms. 2015-10-19 10:50:14 -04:00
Rob Rix
fe3236f7bb UnannotatedTerm is Equatable. 2015-10-19 10:49:25 -04:00
Rob Rix
f440cf170e Shrink by case analysis. 2015-10-19 10:47:24 -04:00
Rob Rix
b693578099 Stub in shrinking. 2015-10-19 10:35:58 -04:00
Rob Rix
4be6e61001 Implicit returns. 2015-10-19 10:35:55 -04:00
Rob Rix
0cc7889ae1 Skip equal terms. 2015-10-19 09:52:15 -04:00
Rob Rix
9bebb438ae Merge branch 'master' into property-testing 2015-10-16 18:21:34 -04:00
Rob Rix
84919e5b02 Test double inversion idempotency. 2015-10-16 17:46:25 -04:00
Rob Rix
6ac949fe4b Test that differences differ. 2015-10-16 17:46:12 -04:00
Rob Rix
c57d43c48b Extract diff equality. 2015-10-16 17:44:29 -04:00
Rob Rix
0ebe673aaf Inversion is less constrained. 2015-10-16 17:44:18 -04:00
Rob Rix
bec43a2c94 Test that the after state is recoverable. 2015-10-16 17:35:18 -04:00
Rob Rix
20fa9ba32a Test that the before state is recoverable. 
Apparently it is sometimes not!
 2015-10-16 17:34:34 -04:00
Rob Rix
22fe4c4ebb Patch is a Functor. 
My kingdom for DeriveFunctor.
 2015-10-16 17:31:58 -04:00
Rob Rix
af3630e071 Test that diff equality is reflexive. 2015-10-16 17:26:35 -04:00
Rob Rix
059803788c Construct arbitrary ranged diffs. 2015-10-16 17:21:45 -04:00
Josh Vera
0e8272fa6f Merge pull request #127 from github/cofree-memoizes 
Cofree is not lazy
 2015-10-16 17:18:53 -04:00
Rob Rix
23db982035 Stub in RangedDiff. 2015-10-16 17:17:48 -04:00
Rob Rix
e438646045 Move UnannotatedTerm to its own file. 2015-10-16 17:16:34 -04:00
Rob Rix
ce20112304 Test that equal terms produce identity diffs. 2015-10-16 17:14:08 -04:00
Rob Rix
dee991f0ff Add an interpreter. 2015-10-16 17:13:59 -04:00
Rob Rix
0f59062570 Typealiases. 2015-10-16 17:13:51 -04:00
Rob Rix
34777ef796 Tacit. 2015-10-16 17:07:45 -04:00
Rob Rix
d18a1a6a0a Stub in diff tests. 2015-10-16 17:07:37 -04:00
Rob Rix
8759bf8322 Whatever. 2015-10-16 17:07:23 -04:00
Rob Rix
541ea6b45c Test that equality is reflexive. 2015-10-16 17:03:18 -04:00
Rob Rix
0c75c7d600 Pick a number by fiat. 2015-10-16 17:03:07 -04:00
Rob Rix
2aed2e3d51 Choose from a strictly smaller k. 2015-10-16 17:01:16 -04:00
Rob Rix
6627d40bf9 Recur through a strictly smaller k. 2015-10-16 17:00:10 -04:00
Rob Rix
03a9e74dbc Extract a function for computing arbitrary terms. 2015-10-16 16:58:46 -04:00
Rob Rix
e409a4ce56 Stub in Term tests. 2015-10-16 16:56:30 -04:00
Rob Rix
aec3c72e78 Merge branch 'cofree-memoizes' into property-testing 
Conflicts:
	prototype/Doubt.xcodeproj/project.pbxproj
 2015-10-16 16:52:42 -04:00
Rob Rix
3d85194f8c Merge branch 'master' into cofree-memoizes 2015-10-16 16:40:59 -04:00
Rob Rix
b4dc1e7bf1 Cofree is not lazy. 2015-10-16 16:40:47 -04:00
Josh Vera
64a2010872 Merge pull request #119 from github/interpreter 
Interpreter
 2015-10-16 16:27:04 -04:00
Rob Rix
3fb6fcb5c9 Merge branch 'cofree-memoizes' into property-testing 2015-10-16 16:13:46 -04:00
Rob Rix
841f7017c8 Indirection. 2015-10-16 16:10:10 -04:00