github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-11-28 10:15:55 +03:00
Code Issues Projects Releases Wiki Activity
21,926 Commits 19 Branches 16 Tags 46 MiB
999df25d89
Commit Graph

21926 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Rob Rix
999df25d89 Bump fastsum for Hashable/Hashable1 instances. 2018-05-16 14:29:49 -04:00
Rob Rix
742918e44d Merge pull request #1839 from github/fix-abstract-semantics 
Fix abstract semantics
 2018-05-16 13:40:12 -04:00
Rob Rix
c1a3658364 Merge branch 'master' into fix-abstract-semantics 2018-05-16 09:49:06 -04:00
Patrick Thomson
a1ebe005d6 Merge pull request #1838 from github/fix-json-instances 
Include semantic information in JSON fields.
 2018-05-16 09:47:18 -04:00
Patrick Thomson
32202487fb Fix the issues Rob pointed out. 2018-05-16 09:26:06 -04:00
Patrick Thomson
17b57161d8 Merge remote-tracking branch 'origin/master' into fix-json-instances 2018-05-16 09:23:34 -04:00
Rob Rix
2dd557064d Merge branch 'master' into fix-abstract-semantics 2018-05-16 09:20:00 -04:00
Rob Rix
9c4cdda0f8 Merge pull request #1847 from github/remove-unused-call-graph-analysis 
🔥 the unused call graph analysis
 2018-05-16 09:19:24 -04:00
Rob Rix
ae74957342 🔥 the unused call graph analysis. 2018-05-16 09:08:07 -04:00
Rob Rix
1fd381b0ce Revert "Cache the environment at each program state." 
This reverts commit 4c559aae6ad4f2adaeea58cc1ca37d64d97298d2.
 2018-05-15 22:21:16 -04:00
Rob Rix
36075a3ff8 🔥 the InCache/OutCache synonyms. 2018-05-15 22:17:57 -04:00
Rob Rix
6f1c57086b Cache the environment at each program state. 2018-05-15 22:02:18 -04:00
Rob Rix
164c2d0feb Revert "Show the contents of Caches without Cached around them." 
This reverts commit 8fc996f547d1d52755110f12776506066c11f07a.
 2018-05-15 21:58:00 -04:00
Rob Rix
76b742486f Show the contents of Caches without Cached around them. 2018-05-15 21:57:40 -04:00
Rob Rix
77850bcead Define a datatype holding the contents of the cache. 2018-05-15 21:53:22 -04:00
Rob Rix
8f23e1653c Spell out the reference to the heap. 2018-05-15 21:51:46 -04:00
Rob Rix
46a44854b4 🔥 redundant parens. 2018-05-15 21:48:34 -04:00
Rob Rix
5805a90f9c Define a synonym for the contents of the cache. 2018-05-15 21:48:04 -04:00
Rob Rix
e677cd6700 Reset the environment on every iteration. 2018-05-15 21:37:48 -04:00
Rob Rix
54bb9eb0f9 Define a Lower instance for pairs. 2018-05-15 21:36:44 -04:00
Rob Rix
ae85f16f03 Use synonyms for the in- and out-caches. 2018-05-15 19:24:02 -04:00
Rob Rix
57a365b82f Reformat all the caching signatures. 2018-05-15 19:19:51 -04:00
Rob Rix
62d76f6a17 Swap the order of the params to converge. 2018-05-15 19:17:40 -04:00
Rob Rix
47e92a766f Merge remote-tracking branch 'origin/master' into fix-abstract-semantics 2018-05-15 18:47:47 -04:00
Rob Rix
9654f9bc1a Merge pull request #1833 from github/graph-rendering-and-serialization 
Graph rendering and serialization
 2018-05-15 18:38:09 -04:00
Rob Rix
e46ade26ea Fix the doctests for the new Show instance. 2018-05-15 18:34:59 -04:00
Rob Rix
1da6ac107a Reformat the signature for termAlgebra. 2018-05-15 18:29:39 -04:00
Rob Rix
0d86e6a64e Define diffTermPair using these. 2018-05-15 18:29:04 -04:00
Rob Rix
a7e6fe66b4 Move the fmap to the left of the other fmap. 2018-05-15 18:26:20 -04:00
Rob Rix
e7a7ea2022 Revert "🔥 the Generic instance for Range." 
This reverts commit d121bdaf3fee616d7dffa08ff2854e4426372141.
 2018-05-15 18:24:41 -04:00
Rob Rix
502eda41e1 Revert "Customize the Show instance for Range for brevity." 
This reverts commit ab433ddd0e2de94c71a93996058a5f03e67eb350.
 2018-05-15 18:24:38 -04:00
Rob Rix
46f1ef946e Revert "🔥 a bunch of unused instances for Pos & Span." 
This reverts commit 15c221ee17177c4f71be9c084cd1e47caca0212b.
 2018-05-15 18:24:32 -04:00
Rob Rix
1f7691e73b Revert "Customize the Show instance for Pos for brevity." 
This reverts commit c610605ab2517c9caa6c3883d6ddcf817c458316.
 2018-05-15 18:24:29 -04:00
Rob Rix
d7fe030242 Revert "Customize the Show instance for Span for brevity." 
This reverts commit fe2182e310c6562f9e543444287b61bea79ceaac.
 2018-05-15 18:24:26 -04:00
Rob Rix
c81e0f8d30 Use quieterm in Semantic.Util. 2018-05-15 18:22:27 -04:00
Rob Rix
0100188148 Define Ord & Ord1 instances for Quieterm. 2018-05-15 18:22:19 -04:00
Rob Rix
91830fce67 Define Eq1 & Eq instances for Quieterm. 2018-05-15 18:22:09 -04:00
Rob Rix
7b85c5eeb0 Add a helper to construct quieterms. 2018-05-15 18:19:40 -04:00
Rob Rix
90c8274afd Derive Declarations & FreeVariables instances for Quieterm. 2018-05-15 18:15:35 -04:00
Rob Rix
7454e0d5b6 Derive the Declarations instance for Term. 2018-05-15 18:15:15 -04:00
Rob Rix
788a80006b Define a Declarations instance for TermF. 2018-05-15 18:15:09 -04:00
Rob Rix
37ab211ff2 Derive the FreeVariables instance for Term. 2018-05-15 18:11:45 -04:00
Rob Rix
7ab10a2ed4 Define a FreeVariables instance for TermF. 2018-05-15 18:09:36 -04:00
Rob Rix
51e8b0a57d Define a Show instance for Quieterm. 2018-05-15 18:06:25 -04:00
Rob Rix
78c952f770 Define a Show1 instance for Quieterm. 2018-05-15 18:06:15 -04:00
Rob Rix
f083dc5266 Define Recursive & Corecursive instances for Quieterm. 2018-05-15 18:04:55 -04:00
Rob Rix
e7c4a0dd9b Define a Quieterm type. 2018-05-15 18:04:41 -04:00
Rob Rix
01a37e9c8b Generalize withTermSpans over the term type. 2018-05-15 18:04:24 -04:00
Rob Rix
9c5bd85748 Customize the Show instance for Span for brevity. 2018-05-15 17:52:57 -04:00
Rob Rix
65d2fb968c Customize the Show instance for Pos for brevity. 2018-05-15 17:51:56 -04:00