github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-22 14:21:31 +03:00
Code Issues Projects Releases Wiki Activity
17,815 Commits 19 Branches 16 Tags 46 MiB
6bd0550804
Commit Graph

17815 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Rob Rix
d1dd288ec7 Define a Semigroup instance for Graph. 2017-12-06 09:29:27 -07:00
Rob Rix
55308e6fc6 Define Graph, Node, & Edge datatypes. 2017-12-06 09:29:04 -07:00
Rob Rix
30fce0aaf1 Add an eliminator for ConstructorLabel. 2017-12-06 09:14:52 -07:00
Rob Rix
9995d527d5 Pass the blobs to the DOT renderers. 2017-12-06 09:03:10 -07:00
Rob Rix
7fe9c3b2ea Add CLI options for DOT rendering. 2017-12-06 09:01:48 -07:00
Rob Rix
887ea76454 Add DOT term/diff renderers. 2017-12-06 09:01:32 -07:00
Rob Rix
82fc60d524 Re-export the DOT rendering functions. 2017-12-06 09:00:55 -07:00
Rob Rix
4ef26933dc Stub in functions to render to DOT. 2017-12-06 08:58:06 -07:00
Rob Rix
d880f22964 Stub in a module for a DOT renderer. 2017-12-06 08:49:06 -07:00
Rick Winfrey
750c4a6d3e Contextualize specific syntax for function and method declarations 
- These assignment rules are two of the only places in Go assignment where individual syntax rules are used. This wraps those syntax rules in `term`, so that they can be contextualized.
 2017-12-02 12:44:28 -08:00
Timothy Clem
88700608b6 Formatting and linting 2017-12-01 16:34:36 -08:00
Rick Winfrey
7c1d381530 Turn on Go assignment 2017-12-01 14:45:37 -08:00
Timothy Clem
5ba411c538 Needed to evalute? 2017-12-01 14:20:30 -08:00
Timothy Clem
3382a8ae72 No more alternative python 2017-12-01 14:19:55 -08:00
Timothy Clem
89749e9cc8 Default eval instances for everything! 2017-12-01 14:19:37 -08:00
Timothy Clem
ec9a58cee3 Didn't mean to commit this 2017-12-01 14:18:11 -08:00
Rob Rix
10b8de93b3 Update the fixtures. 2017-12-01 17:13:24 -05:00
Rob Rix
d2cb077ddc Don’t assign parent labels to grams. 2017-12-01 17:07:03 -05:00
Rob Rix
99f3633060 Generalize featureVectorDecorator to accept any Hashable label. 2017-12-01 17:00:40 -05:00
Rick Winfrey
d649a514af Update tests 2017-12-01 13:36:38 -08:00
Rick Winfrey
21024a0506 🔥 unnecessary language extensions 2017-12-01 13:36:32 -08:00
Timothy Clem
13f029238f Use newtypes 2017-12-01 13:23:33 -08:00
Timothy Clem
1676d949fa Not using fail 2017-12-01 13:23:28 -08:00
Rick Winfrey
7ee4b04c1f Update CyclomaticComplexity 2017-12-01 13:00:30 -08:00
Rob Rix
43237fff1e No need to qualify these names. 2017-12-01 14:44:21 -05:00
Rob Rix
bf26a25cff 📝 why the unsafeCoerce is ok. 2017-12-01 14:42:26 -05:00
Rob Rix
d809e0b81d Only coerce the set itself. 2017-12-01 14:39:20 -05:00
Rick Winfrey
e7a5e88d5e First pass updating CyclomaticComplexity 2017-12-01 11:39:04 -08:00
Rob Rix
3652fd2c63 Rename the live set functions uniquely. 2017-12-01 14:33:41 -05:00
Rob Rix
67f8aedc50 Use Live to represent root sets. 2017-12-01 14:30:05 -05:00
Rob Rix
07ec5e3238 Define insertion into live sets. 2017-12-01 14:28:35 -05:00
Rob Rix
3b315112dc Define Live.delete tacitly. 2017-12-01 14:28:28 -05:00
Rob Rix
67c633f3b0 Define the symmetric difference on live sets. 2017-12-01 14:27:50 -05:00
Rob Rix
40d004a289 Define splitting of live sets. 2017-12-01 14:26:29 -05:00
Rob Rix
de9bdc3e34 Define membership tests on live sets. 2017-12-01 14:24:38 -05:00
Rick Winfrey
df52854ef0 Merge branch 'master' into cyclomatic-complexity-decorator 2017-12-01 11:23:15 -08:00
Rob Rix
0402253012 Construct singleton live sets. 2017-12-01 14:20:45 -05:00
Rob Rix
3050438327 Delete addresses from live sets. 2017-12-01 14:20:06 -05:00
Rob Rix
80058c9807 Spacing. 2017-12-01 14:19:58 -05:00
Rob Rix
915ce45f9f Derive Semigroup & Monoid instances for Live. 2017-12-01 14:16:36 -05:00
Rob Rix
125392bcfc Address is an Ord-homomorphism, so we can just unsafeCoerce everything around. 2017-12-01 14:14:53 -05:00
Rob Rix
0d31aece39 Derive Eq1, Ord1, & Show1 instances for Live. 2017-12-01 14:05:41 -05:00
Rob Rix
4bcbffe827 Define a Generic1 instance for Live. 2017-12-01 14:05:30 -05:00
Rob Rix
ae473f7ad2 Define a Functor instance for Live. 2017-12-01 13:57:56 -05:00
Rob Rix
7c3eb5cfda Define a Live set newtype. 2017-12-01 13:57:38 -05:00
Rob Rix
37b44b513b Add a module for a live set. 2017-12-01 13:57:15 -05:00
Rob Rix
05b35cd747 iterFreer’s algebra takes the continuation & instruction in the opposite order. 2017-12-01 13:54:32 -05:00
Rob Rix
d6128c0132 Merge branch 'integrate-abstract-interpretation' of https://github.com/github/semantic-diff into integrate-abstract-interpretation 2017-12-01 13:50:09 -05:00
Timothy Clem
9f528e8f97 ++freer-cofreer for gitignore change 2017-12-01 10:48:15 -08:00
Rob Rix
cbeb7371cc There’s just one module now. 2017-12-01 13:47:34 -05:00