github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2025-01-07 07:58:12 +03:00
Code Issues Projects Releases Wiki Activity
18,709 Commits 19 Branches 16 Tags 46 MiB
668fc45e63
Commit Graph

315 Commits

Author SHA1 Message Date
Patrick Thomson
668fc45e63 add evaluateGoFile 2018-03-12 11:23:14 -04:00
Patrick Thomson
8334619f95 DRY 2018-03-12 11:15:21 -04:00
Patrick Thomson
ca0397ae40 Merge remote-tracking branch 'origin/master' into go-evaluation 2018-03-09 11:24:02 -05:00
Timothy Clem
1293c9a6d2 Merge remote-tracking branch 'origin/master' into environment-scoping 2018-03-08 10:42:05 -08:00
Patrick Thomson
b2e5297d9f use the shiny new evaluateCache 2018-03-06 15:44:15 -05:00
Patrick Thomson
f6277980cc Merge branch 'resuscitate-caching-analysis' into go-evaluation 2018-03-06 15:37:05 -05:00
Patrick Thomson
c3d01b6602 Resuscitate the caching evaluator. 
The caching analysis had been disabled, as it was still written in the
open-interpreter style. This patch restores it, defining a
`CachingAnalysis` newtype that uses nondeterministic but convergent
caching in its `MonadAnalysis` instance. This also defines an
`embedSubterm` helper that is useful in defining new analysis passes.

Thanks to @robrix for 🍐!
 2018-03-06 13:51:00 -05:00
Timothy Clem
19b47833cd TypeScript eval helpers 2018-03-06 08:56:29 -08:00
Patrick Thomson
1499a2591a Initial changes to support evaluating Go snippets 2018-03-05 15:25:18 -05:00
Rob Rix
5199bebf39 Merge branch 'master' into evaluatable-simplification 2018-03-01 16:55:18 -05:00
joshvera
41a538d7e1 Merge remote-tracking branch 'origin/master' into rename-semantic 2018-03-01 10:16:35 -05:00
Rob Rix
9192a35b06 Merge branch 'eval-effect' into algebraic-evaluation 2018-03-01 09:56:12 -05:00
joshvera
83e2ba56e5 Merge remote-tracking branch 'origin/master' into prologue 2018-02-28 15:30:42 -05:00
Rob Rix
244f4722b6 🔥 a redundant import. 2018-02-28 14:29:28 -05:00
joshvera
383fbf747b Merge remote-tracking branch 'origin/master' into prologue 2018-02-28 12:19:06 -05:00
joshvera
9963f4a2b0 expose Monoid typeclass 2018-02-28 11:27:25 -05:00
Rob Rix
4f5250bc95 Merge branch 'eval-effect' into algebraic-evaluation 2018-02-27 11:53:22 -05:00
Timothy Clem
8903fbbecf Remove micro Ruby/Python 2018-02-27 08:23:13 -08:00
Rob Rix
74d7ca7df2 Factor Base out of the algebra synonyms. 2018-02-27 09:26:05 -05:00
joshvera
e32961edde Rename semantic-diff to semantic 2018-02-26 13:16:56 -05:00
Timothy Clem
3772c1dde6 Whitespace 2018-02-23 14:28:51 -08:00
Timothy Clem
4d090bb085 Cleanup util a bit 2018-02-23 11:09:02 -08:00
Timothy Clem
bd0cc0c027 Add a small version of Python to work with too 2018-02-23 08:54:26 -08:00
Timothy Clem
e5426e3744 Evaluate lots of ruby files 2018-02-22 16:34:30 -08:00
joshvera
19b6778ac5 Add evaluateRubyFile2 2018-02-21 15:34:49 -05:00
Timothy Clem
e46d92dc65 Eval test harness for Ruby 2018-02-16 13:37:56 -08:00
Timothy Clem
3c5714af7f Add a type signature here 2018-02-16 12:38:29 -08:00
Timothy Clem
cbc5776cc9 Cleanup, remove imports, extra contexts 2018-02-16 12:38:29 -08:00
Timothy Clem
41841b6947 Fix the recursive Eff issue with the Linker Effects 2018-02-16 12:38:29 -08:00
Timothy Clem
b1633cf356 Blobs so we can know language 2018-02-16 12:38:29 -08:00
Timothy Clem
1943a5a905 Parse files to filepath, term pairs 2018-02-16 12:38:29 -08:00
Timothy Clem
32c2e92660 Couple of extra helper utils 2018-02-16 12:38:29 -08:00
Timothy Clem
aed971ed07 Merge branch 'master' into import-graph 2018-02-12 10:11:29 -08:00
Rob Rix
2e06b93f0b Correct indentation. 2018-02-07 13:24:38 -05:00
Timothy Clem
a6fbebbf6d Basic plumbing for import rendering 2018-01-23 11:21:42 -08:00
Timothy Clem
6f1f141cfb Better field names, join instead of if/then 2018-01-22 11:24:55 -08:00
Timothy Clem
fb5cb974a6 Clean up import 2018-01-22 11:24:14 -08:00
Timothy Clem
6517970f8a Symbol rendering (like tags, but new hotness) 2018-01-17 12:54:17 -08:00
Timothy Clem
3b173123e4 Formatting 2018-01-17 10:05:44 -08:00
Timothy Clem
706ed5cc0c Better way to pass around tag fields to the one renderer 2018-01-16 11:39:04 -08:00
Timothy Clem
173b9acd38 Field selection for tag output 2018-01-16 10:40:45 -08:00
Timothy Clem
816eb600f7 Remove old --toc-assignment flag 2018-01-10 15:26:13 -08:00
joshvera
99d9b7c97a Merge master into 🔥-monolithic-syntax 2017-12-19 13:09:30 -05:00
Rob Rix
a112fca6f3 Merge branch 'master' into 🔥-monolithic-syntax 2017-12-18 15:07:00 -05:00
Rob Rix
96c94e7672 iterFreer’s algebra takes the continuation & instruction in the opposite order. 2017-12-13 09:18:42 -08:00
Timothy Clem
8e8d2fb41e Merge remote-tracking branch 'origin/master' into bidistribute 2017-12-13 09:14:05 -08:00
Rick Winfrey
01c30abc2d Add single blob parser util function for convenience 2017-12-11 15:39:12 -08:00
Timothy Clem
143b1b8a12 Document Bidistribute 2017-12-11 12:58:50 -08:00
Timothy Clem
8ce213fc44 No longer need to track blobKind in Maybe 2017-12-11 10:51:52 -08:00
Timothy Clem
844fc3f8b5 Use Join These Blob instead 2017-12-11 09:09:07 -08:00