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,783 Commits 19 Branches 16 Tags 46 MiB
ba6d00f900
Commit Graph

17783 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
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
Rob Rix
10d6ae7a0f Merge branch 'master' into integrate-abstract-interpretation 2017-12-01 13:46:15 -05:00
Timothy Clem
89dcf0fe61 Don't allow evaluating to Type after all 
Evaluating to types should always use evalCache rather than evaluate. Using evaluate will infinite loop on recursive programs. - @robrix
 2017-12-01 10:03:02 -08:00
Rob Rix
ecfd121575 Merge branch 'master' into 🔥-monolithic-syntax 2017-12-01 12:28:19 -05:00
Timothy Clem
5862a73334 Evaluation to Types requires NonDetEff and Fresh Effects 2017-12-01 09:21:08 -08:00
Rob Rix
2c561be63f Merge pull request #1450 from github/update-go-toc-rendering 
Better isolate function name for function declarations vs function literals
 2017-12-01 11:27:17 -05:00
Rob Rix
cffe4a757e Merge branch 'master' into update-go-toc-rendering 2017-12-01 11:22:27 -05:00
Rob Rix
6b586f035e Merge pull request #1449 from github/better-generic-show1-instances 
Better generic Show1 instances
 2017-12-01 11:20:21 -05:00
Rob Rix
404dde2cd9 Derive the instances for Address. 2017-12-01 09:49:33 -05:00
Rob Rix
268d559bd3 Derive the instances for Environment. 2017-12-01 09:49:28 -05:00
Rob Rix
9c84fb0d2a Derive the Eq1, Ord1, & Show1 instances for Configuration. 2017-12-01 09:46:52 -05:00
Rob Rix
5e17e4c183 📝 Address & Precise. 2017-11-30 20:07:21 -05:00
Rob Rix
45d73dec35 Use Pointed & Monoid instead of IsList. 2017-11-30 20:04:00 -05:00
Rob Rix
1543a019f2 Clean up the dead evaluator’s LANGUAGE pragmas. 2017-11-30 19:58:44 -05:00
Rob Rix
9cfad1d275 Clean up the tracing evaluator’s LANGUAGE pragmas. 2017-11-30 19:58:08 -05:00
Rob Rix
f42c2ef375 🔥 ev. 2017-11-30 19:56:44 -05:00
Rob Rix
a9e5619d6c Break the dead evaluator’s dependency on the evaluator. 2017-11-30 19:56:21 -05:00
Rick Winfrey
e18ca5b9d0 Merge branch 'update-go-toc-rendering' of github.com:github/semantic-diff into update-go-toc-rendering 2017-11-30 16:55:40 -08:00
Rick Winfrey
be3d497f8c Add interface test cases for method specs without return types 2017-11-30 16:55:38 -08:00
Rick Winfrey
57015bc8bd Update methodSpec assignments to not require return type 2017-11-30 16:55:20 -08:00
Rob Rix
a57a2c0d42 Simplify the Interpreter type synonym. 2017-11-30 19:54:16 -05:00
Rob Rix
16c663bfc9 Break the tracing evaluator’s dependency on the evaluator. 2017-11-30 19:53:55 -05:00
Rob Rix
51b8461be3 Abstract the tracing evaluators over the term type. 2017-11-30 19:49:26 -05:00
Rob Rix
0ac52c4fc3 Break the caching evaluator’s dependency on the evaluator. 2017-11-30 19:46:55 -05:00
Rob Rix
eb042b6032 Abstract the caching evaluator over the term type. 2017-11-30 19:44:43 -05:00
Rob Rix
d66540e574 Rename Abstract.Interpreter.Symbolic to Analysis.Abstract.Symbolic. 2017-11-30 19:42:41 -05:00
Rob Rix
c36c257618 Rename Abstract.Interpreter to Analysis.Abstract.Evaluating. 2017-11-30 19:41:34 -05:00
Rob Rix
333f5249b6 Simplify the LANGUAGE pragmas for Abstract.Interpreter. 2017-11-30 19:39:55 -05:00
Rob Rix
5dfd7fe15c Abstract evaluate over the term type. 2017-11-30 19:38:53 -05:00
Rick Winfrey
3bc8c4cff5 Merge branch 'master' into update-go-toc-rendering 2017-11-30 16:37:14 -08:00
Rob Rix
0e309d54b4 Re-use ev in the Caching analysis. 2017-11-30 19:36:53 -05:00
Rob Rix
9f7c07a2c8 Re-use ev in the Dead analysis. 2017-11-30 19:36:05 -05:00
Rob Rix
d9da859024 Generalize ev over the term type. 2017-11-30 19:35:43 -05:00