github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-21 05:41:54 +03:00
Code Issues Projects Releases Wiki Activity
1,060 Commits 19 Branches 16 Tags 46 MiB
457c3c53f6
Commit Graph

1060 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Rob Rix
457c3c53f6 Merge branch 'cofree-memoizes' into property-testing 2015-10-16 16:07:29 -04:00
Rob Rix
f4e462eba2 Cofree uses Memo to ensure that statefully-computed subtrees are “ok.” 
Randomness is an effect.
 2015-10-16 16:05:37 -04:00
Rob Rix
63ffe0a596 Use symbols for keys. 2015-10-16 15:22:07 -04:00
Rob Rix
e85566bfeb Use symbols for leaves. 2015-10-16 15:21:58 -04:00
Rob Rix
057a847f30 Add a generator for symbols. 
Right now just _<hex digit>
 2015-10-16 15:21:27 -04:00
Rob Rix
d413f24e57 Delay the arbitrary sub-term. 2015-10-16 15:17:47 -04:00
Rob Rix
c9bc15bcc9 Revert "Add a delay combinator." 
This reverts commit 2feeac9065de48f6e5cb412752a6a8e4d2fcf5ca.
 2015-10-16 15:17:05 -04:00
Rob Rix
0622a984dc Delay recurrence. 
Inlined because Swift.
 2015-10-16 15:17:00 -04:00
Rob Rix
989a2d7319 Add a delay combinator. 2015-10-16 15:12:08 -04:00
Rob Rix
e6ac782e84 Implement the computation of arbitrary ranged terms. 2015-10-16 15:06:27 -04:00
Rob Rix
541897aa43 Arrange unannotated terms. 2015-10-16 15:05:01 -04:00
Rob Rix
5beccbdca2 Compute the source of unannotated terms. 2015-10-16 14:40:18 -04:00
Rob Rix
4a24c3f872 Generate arbitrary keyed terms. 2015-10-16 14:30:53 -04:00
Rob Rix
cc1f0a07a3 Rename the branch case to indexed. 2015-10-16 14:26:58 -04:00
Rob Rix
c249f1de8a Construct arbitrary unannotated branches. 2015-10-16 14:26:46 -04:00
Rob Rix
6a4e1dca39 Construct arbitrary unannotated leaves. 2015-10-16 14:26:32 -04:00
Rob Rix
412ea9cc04 Add unannotated terms. 2015-10-16 14:24:17 -04:00
Rob Rix
570d4efa5d Generate arbitrary leaves. 2015-10-16 13:23:38 -04:00
Rob Rix
a3ef491de4 Stub in Arbitrary conformance. 2015-10-16 12:28:49 -04:00
Rob Rix
c415a6aafd Add a RangedTerm struct wrapping ranged terms. 2015-10-16 12:28:16 -04:00
Rob Rix
889f3ffef5 Link the tests against SwiftCheck. 2015-10-16 11:48:24 -04:00
Rob Rix
fa0b04d4cd Add SwiftCheck to the workspace. 2015-10-16 11:48:18 -04:00
Rob Rix
b851fbc186 Add SwiftCheck. 2015-10-16 11:44:48 -04:00
Josh Vera
e6ec91cd64 Merge pull request #120 from github/patch-constructors-on-diff 
Patch constructors on diff
 2015-10-15 15:39:14 -04:00
Josh Vera
ee712ca4a3 Merge pull request #104 from github/restrict-comparisons-by-category 
Restrict comparisons by category
 2015-10-15 15:38:16 -04:00
Rob Rix
b453319db4 Merge branch 'master' into restrict-comparisons-by-category 2015-10-15 14:14:34 -04:00
Rob Rix
3a4f331b2e Document the categorize parameter. 2015-10-15 14:14:29 -04:00
Rob Rix
a34b5a34f4 Document the equals parameter. 2015-10-15 14:12:39 -04:00
Josh Vera
789f879f94 Merge pull request #110 from github/patch-costs-are-proportional-to-the-size-of-their-trees 
Patch costs are proportional to the size of their trees
 2015-10-15 14:08:23 -04:00
Rob Rix
e2e55ef041 Document the purpose of size. 2015-10-15 13:45:30 -04:00
Rob Rix
0b916807a2 Use the patch constructors in recursive evaluation. 2015-10-15 11:21:23 -04:00
Rob Rix
d74e4fb231 Missed a couple of cases in SES. 2015-10-15 11:20:41 -04:00
Rob Rix
eda4ece5a8 Use the patch constructors in dictionary diffing. 2015-10-15 11:20:07 -04:00
Rob Rix
fed0d91d30 Use the patch constructors in SES. 2015-10-15 11:19:14 -04:00
Rob Rix
298a37c444 Section header for patch construction. 2015-10-15 11:18:16 -04:00
Rob Rix
6ee73cca06 We don’t need Cofree terms to construct patches. 2015-10-15 11:18:06 -04:00
Rob Rix
cd7e67c30d Remove the convenience functions. 2015-10-15 11:16:27 -04:00
Rob Rix
b4ea7b70bc Use the Diff/Patch constructors in the tests. 2015-10-15 11:16:21 -04:00
Rob Rix
9e80e0c903 Add a Delete constructor to Free when used as a diff. 2015-10-15 11:11:06 -04:00
Rob Rix
ce633f555a Add an Insert constructor to Free when used as a diff. 2015-10-15 11:10:35 -04:00
Rob Rix
8366dc752a Add a Replace constructor to Free when used as a Diff. 2015-10-15 11:10:16 -04:00
Rob Rix
dfa34aa13c Merge branch 'master' into patch-costs-are-proportional-to-the-size-of-their-trees 2015-10-15 09:48:15 -04:00
Rob Rix
260a317194 Merge branch 'master' into restrict-comparisons-by-category 
Conflicts:
	prototype/Doubt.xcodeproj/project.pbxproj
 2015-10-15 09:47:49 -04:00
Rob Rix
e635668719 Merge pull request #116 from github/remove-hash 
Remove Hash
 2015-10-15 09:46:03 -04:00
Rob Rix
48234b71c2 Remove Hash. 2015-10-15 09:44:40 -04:00
Rob Rix
77a32f9e8d Remove Patch hashing. 2015-10-15 09:44:36 -04:00
Rob Rix
f30d2d609a Remove Syntax hashing. 2015-10-15 09:43:51 -04:00
Rob Rix
1cbc04100d Remove Free hashing. 2015-10-15 09:43:27 -04:00
Rob Rix
8b5a269d5e Remove Cofree hashing. 2015-10-15 09:43:23 -04:00
Rob Rix
db6d485f82 Merge pull request #115 from github/remove-category 
Remove Category.
 2015-10-15 09:40:47 -04:00