github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-21 13:51:44 +03:00
Code Issues Projects Releases Wiki Activity
1,092 Commits 19 Branches 16 Tags 46 MiB
690e8ef175
Commit Graph

1092 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Rob Rix
70b7e56b9c Remove Doc. 2015-10-15 08:55:53 -04:00
Rob Rix
ca922b2283 Free is no longer CustomDocConvertible. 2015-10-15 08:55:26 -04:00
Rob Rix
2bfe2e2eab Fix is no longer CustomDocConvertible. 2015-10-15 08:55:01 -04:00
Rob Rix
064e5f1faa Patch is no longer CustomDocConvertible. 2015-10-15 08:54:33 -04:00
Rob Rix
eba7c9bfbd Remove DocTests.swift. 2015-10-15 08:54:04 -04:00
Rob Rix
31eb3f2b4a Syntax is no longer CustomDocConvertible. 2015-10-15 08:53:46 -04:00
Rob Rix
f55ceade22 Replace the fixtures with newer, even more exciting ones. 2015-10-14 21:10:09 -04:00
Rob Rix
b93a605b37 Document cata. 2015-10-14 21:07:30 -04:00
Rob Rix
e582f28972 Charge a constant cost for the tests. 2015-10-14 18:51:52 -04:00
Rob Rix
7c099bac6f Parameterize SES by the cost function. 2015-10-14 18:51:18 -04:00
Rob Rix
230394bde2 Charge diffs a cost proportional to their size. 
This can no longer be done in SES, as it requires knowledge that the
elements of the arrays are of TermType.
 2015-10-14 18:51:07 -04:00
Rob Rix
32c55fd5ff Add a section for PatchConvertible. 2015-10-14 18:48:15 -04:00
Rob Rix
b4a9564747 TermType has a size property. 2015-10-14 18:47:20 -04:00
Rob Rix
b0cb77ae74 Define catamorphisms over TermTypes. 2015-10-14 18:42:20 -04:00
Rob Rix
606614ffdf 🔥 Info. 2015-10-14 18:09:24 -04:00
Rob Rix
90b7ac4b21 Equals-or-intersects. 2015-10-14 18:08:56 -04:00
Rob Rix
5fccc3586c Test that uncategorized terms are unrestricted. 2015-10-14 17:51:40 -04:00
Rob Rix
c75b2c134e Correct the test of disjoint categorization to assign unique categories to each term. 2015-10-14 17:51:31 -04:00
Rob Rix
742fc0ea0f Correct the categorization test. 
This implies that uncategorized nodes can be compared with anything.
 2015-10-14 17:51:01 -04:00
Rob Rix
2aef2114c3 Test that comparisons are unrestricted by default. 2015-10-14 17:47:07 -04:00
Rob Rix
1134f7a9e9 Add a fixture for an unrestricted diff. 2015-10-14 17:46:50 -04:00
Rob Rix
90864e397b Avoid an annotation. 2015-10-14 17:46:41 -04:00
Rob Rix
0cb72943b1 Rename the test case. 2015-10-14 17:44:19 -04:00
Rob Rix
d9e7798dde Test that comparisons of disjoint-categorized terms are restricted. 2015-10-14 17:41:51 -04:00
Rob Rix
1f23ec9e47 Extract the diff into a private global. 2015-10-14 17:39:53 -04:00
Rob Rix
48a9a741c7 Merge branch 'master' into restrict-comparisons-by-category 2015-10-14 17:36:47 -04:00
Josh Vera
ff9975e532 Merge pull request #108 from github/diff-cofree-values 
Diff Cofree values
 2015-10-14 16:49:51 -04:00
joshvera
46010e3096 Merge branch 'master' into diff-cofree-values 2015-10-14 16:49:28 -04:00
Josh Vera
df31170dc8 Merge pull request #107 from github/generalize-patch 
Generalize Patch
 2015-10-14 16:47:57 -04:00
Josh Vera
d49986c671 Merge pull request #102 from github/charge-a-constant-cost-to-patches 
Charge a constant cost to patches
 2015-10-14 16:47:47 -04:00
Rob Rix
03ad2f8873 Merge branch 'master' into restrict-comparisons-by-category 2015-10-14 16:47:30 -04:00
Rob Rix
025d43379e Merge branch 'master' into diff-cofree-values 2015-10-14 16:46:07 -04:00
Rob Rix
4690ae6533 Merge branch 'master' into generalize-patch 2015-10-14 16:45:33 -04:00
Josh Vera
99c4e8556e Merge pull request #109 from github/literal-syntax-construction 
Literal syntax construction
 2015-10-14 16:44:25 -04:00
Rob Rix
7a03f09fe9 Test that comparisons are restricted by nil returns from recur. 2015-10-14 16:43:08 -04:00
Matt Diephouse
6eff8d6f82 Merge pull request #101 from github/parameterize-algorithm-evaluation-by-comparison-restriction 
Parameterize Algorithm evaluation by comparison restriction
 2015-10-14 16:42:03 -04:00
Rob Rix
e0692770b3 Cofree is CustomDebugStringConvertible. 2015-10-14 16:40:13 -04:00
Rob Rix
bf48944c83 Diff equality. 2015-10-14 16:32:01 -04:00
Rob Rix
92ec5b6130 Define parameterized equality over TermType. 2015-10-14 16:31:32 -04:00
Rob Rix
ed10ec1257 Write the fixtures using the typealias. 2015-10-14 16:10:23 -04:00
Rob Rix
35617fee70 Add typealiases for Diff and Term. 2015-10-14 16:09:58 -04:00
Rob Rix
ff559845d8 Add a couple of fixtures. 2015-10-14 16:07:07 -04:00
Rob Rix
9a6e8dea03 Merge branch 'literal-syntax-construction' into restrict-comparisons-by-category 2015-10-14 16:03:54 -04:00
Rob Rix
86df4c6a87 Syntax is DictionaryLiteralConvertible. 2015-10-14 16:03:14 -04:00
Rob Rix
76ca906097 Syntax is ArrayLiteralConvertible. 2015-10-14 16:02:33 -04:00
Rob Rix
0c78e344ad Stub in a test suite for Algorithm. 2015-10-14 15:57:58 -04:00
Rob Rix
124d45a549 Cofree has categories when B: Categorizable. 2015-10-14 15:49:23 -04:00
Rob Rix
b60abdf5b0 Factoring. 2015-10-14 15:46:19 -04:00
Rob Rix
3117d26464 Fix up the categorization. 2015-10-14 15:44:58 -04:00
Rob Rix
6d0bfdb9d0 Add an evaluate method parameterized by categorization. 2015-10-14 15:43:24 -04:00