github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-22 22:31:36 +03:00
Code Issues Projects Releases Wiki Activity
25,904 Commits 19 Branches 16 Tags 46 MiB
f545665403
Commit Graph

384 Commits

Author SHA1 Message Date
Timothy Clem
38e3cba57a Messy, but working multi-lang grpc parsing 2018-09-10 11:15:52 -07:00
Timothy Clem
a15155c4da Basics of TermVertex in grpc 2018-09-06 17:27:13 -07:00
Timothy Clem
f0d164f952 Rework control flow graph data types 2018-09-06 15:12:12 -07:00
joshvera
3ccdbdb692 Merge remote-tracking branch 'origin/master' into scopes-and-frames 2018-09-05 12:54:45 -04:00
joshvera
01af82bf53 WIP 2018-09-04 12:43:14 -04:00
joshvera
3d412f7d9e Add ScopeGraph 2018-08-29 13:47:44 -04:00
Timothy Clem
34648a263a Merge branch 'master' into source-aware-reprinter 2018-08-28 11:34:53 -07:00
Timothy Clem
5da417d01c Some basic pretty printing for mini Python 2018-08-28 09:14:48 -07:00
Timothy Clem
ea01f30de5 Put this back in order 2018-08-28 09:12:44 -07:00
Timothy Clem
8759225ac7 A mini-python 2018-08-28 09:12:29 -07:00
Timothy Clem
57f32c77bd MiniRuby in its own module 2018-08-27 15:06:51 -07:00
joshvera
bc6614aa12 Merge remote-tracking branch 'origin/master' into entry-points 2018-08-27 12:05:20 -04:00
Timothy Clem
e9e8edbebe Dedicated util for rewriting 2018-08-24 10:35:38 -07:00
Timothy Clem
17fbceb17a Remove need for lens 2018-08-23 15:53:43 -07:00
Timothy Clem
8f6d1ee873 Merge branch 'master' into source-aware-reprinter 2018-08-23 07:47:48 -07:00
Timothy Clem
67f652b4d7 Refactor to have 1 additional data representation in the pipeline 2018-08-22 11:30:03 -07:00
Timothy Clem
a1294e91f1 Docs and some renaming 2018-08-21 16:15:08 -07:00
Charlie Somerville
5f6961e737 move Analysis.Abstract.Configuration to Control.Abstract 2018-08-21 13:42:45 +10:00
Charlie Somerville
ec852844cb reshuffle module layout so that Environment can depend on Heap 2018-08-21 13:42:45 +10:00
Timothy Clem
cbdb932af8 Ruby translation step for the pipeline 2018-08-20 18:11:30 -07:00
Timothy Clem
58cf9925fa Not using this 2018-08-20 10:37:24 -07:00
Timothy Clem
3c53862e19 Merge remote-tracking branch 'origin/master' into source-aware-reprinter 2018-08-20 10:17:38 -07:00
Timothy Clem
1dc89961b2 Remove Rule 2018-08-20 09:52:03 -07:00
Timothy Clem
b49adc41fe Move splice to data, allow config for translation 2018-08-17 09:10:14 -07:00
Timothy Clem
f674e2dad1 WIP - translation with Eff interface 2018-08-16 16:51:07 -07:00
Rick Winfrey
1665df55aa Merge branch 'master' into interactive-debugger 2018-08-14 15:04:02 -07:00
Timothy Clem
cd65c8814a Some common matchers 2018-08-14 14:15:18 -07:00
Timothy Clem
487c78b854 Merge remote-tracking branch 'origin/master' into source-aware-reprinter 2018-08-13 15:56:26 -07:00
Rick Winfrey
bdeae17ff6 🔥 unneeded build-depends 2018-08-13 15:43:07 -07:00
joshvera
75365e9caa Merge remote-tracking branch 'origin/master' into interactive-debugger 2018-08-13 16:40:27 -04:00
Rob Rix
9c9fa333d6 🔥 Allocatable & Derefable. 2018-08-13 09:46:46 -04:00
Rob Rix
16964350b0 Stub in a module for the Hole address type. 2018-08-13 09:35:37 -04:00
joshvera
2732f17719 Merge remote-tracking branch 'origin/master' into interactive-debugger 2018-08-10 14:20:16 -04:00
Rob Rix
d05f3c6ae3 🔥 Data.Abstract.Address. 2018-08-10 13:46:24 -04:00
Rob Rix
53a9ca30aa Add modules for the address types. 2018-08-10 13:31:55 -04:00
Josh Vera
44ac28510c Merge branch 'master' into entry-points 2018-08-08 16:17:08 -04:00
Rick Winfrey
383b6208ee Rename ErrorContext -> BaseError 2018-08-07 16:50:55 -07:00
Rob Rix
3c976b3c7f Merge branch 'master' into interactive-debugger 2018-08-07 09:33:53 -04:00
joshvera
967803aae3 Merge remote-tracking branch 'origin/master' into entry-points 2018-08-06 18:57:18 -04:00
Rick Winfrey
823ae6ac51 Merge branch 'master' into error-context 2018-08-06 13:46:42 -07:00
Patrick Thomson
1d6346cb64 set ground for Control.Rule and Control.Rule.Engine 2018-08-06 16:33:50 -04:00
Patrick Thomson
8549440f21 even better names, and a helper script to narrow tests 2018-08-03 13:15:14 -04:00
Patrick Thomson
2ec082d92c implement the typesetting stage 2018-08-03 12:47:54 -04:00
Patrick Thomson
081d8eb6fa Reorganize and add microlens, at least for now. 2018-08-03 12:23:47 -04:00
Rob Rix
dfa3629db4 Add a dependency on haskeline. 2018-08-03 09:25:52 -04:00
Rob Rix
d8cf347822 🔥 the dependency on trifecta. 2018-08-02 16:33:19 -04:00
Rob Rix
9cdcd3c972 Depend on trifecta. 2018-08-02 14:45:55 -04:00
Patrick Thomson
f295632327 move some code around + ensure we can enforce History invariants 2018-08-02 13:03:55 -04:00
joshvera
d3cdda3dff Merge remote-tracking branch 'origin/master' into entry-points 2018-08-01 18:18:33 -04:00
Rob Rix
c6c17a1594 Stub in a module for Quieterm. 
Co-Authored-By: Ayman Nadeem <aymannadeem@gmail.com>
 2018-08-01 15:06:26 -04:00
Rob Rix
fb12fc3a29 Stub in a REPL module. 
Co-Authored-By: Ayman Nadeem <aymannadeem@gmail.com>
 2018-08-01 10:54:57 -04:00
Patrick Thomson
76727e07da rename 2018-07-31 17:49:03 -04:00
Patrick Thomson
dccea555ed Extremely ad-hoc renderer to Docs 2018-07-31 12:44:20 -04:00
Patrick Thomson
6823fb92b6 better module name 2018-07-31 10:43:46 -04:00
Patrick Thomson
a61fe301c4 Skeleton and initial test case 2018-07-30 16:00:09 -04:00
Rick Winfrey
4fbad824d9 Define ErrorContext 2018-07-30 11:11:18 -07:00
Rob Rix
3fa75423d6 Move Mergeable into the tests. 2018-07-20 09:52:43 -04:00
Patrick Thomson
c8ec92ceb4 Make L.TS.Syntax an exports-only module. 2018-07-19 17:23:44 -04:00
Patrick Thomson
c647a558c6 add Syntax.JSX and Resolution 2018-07-19 17:05:44 -04:00
Patrick Thomson
587b97ffa5 Add -Wmissing-export-lists to semantic. 2018-07-19 14:56:58 -04:00
Patrick Thomson
bdd75e6e7c Add export lists to modules missing them. 2018-07-19 14:45:04 -04:00
Patrick Thomson
361f62c812 Rename ImportGraph to AdjacencyList 2018-07-17 11:35:03 -04:00
Patrick Thomson
0ed48c7bbe Simplest test possible. 2018-07-16 11:07:40 -04:00
Timothy Clem
aa480be46d 🔥 old import graph summary 
This hasn't been in the CLI for a while now
 2018-07-06 13:35:09 -07:00
Rob Rix
2a6b1dd109 Move Data.Abstract.Type to Data.Abstract.Value.Type. 2018-07-04 10:46:13 -04:00
Rob Rix
de7ac163d6 Stub in a module for abstract value semantics. 2018-07-04 09:21:51 -04:00
Rob Rix
5100670e72 Rename Data.Abstract.Value to Data.Abstract.Value.Concrete. 2018-07-03 14:22:26 -04:00
Rob Rix
c338fca8b0 Stub in a module for deterministic assignments. 2018-06-27 14:27:15 -04:00
Josh Vera
5538c6b490 Merge branch 'master' into explicit-integer-parser 2018-06-26 17:10:21 -04:00
Patrick Thomson
98030486eb rename AdjList to ImportGraph 2018-06-26 16:54:09 -04:00
Patrick Thomson
bbf814acc1 Merge remote-tracking branch 'origin/master' into import-graph-mk2 2018-06-26 13:49:24 -04:00
Patrick Thomson
f9f0dd5e79 Use a hand-written integer parser. 
Rather than relying on the `Read` instance for `Integer`, let's make
our assumptions about the format explicit. This was mostly a matter of
extracting internal functions from the `Scientific` parser.
 2018-06-25 11:55:32 -04:00
Rob Rix
dda4c00cb5 🔥 Evaluating. 2018-06-21 13:26:22 -04:00
Patrick Thomson
de5792ef38 will this fix the cabal file? only time will tell 2018-06-18 19:22:42 -04:00
Rob Rix
d39171e9d7 Determine Preludes from the language. 2018-06-18 11:09:01 -04:00
Patrick Thomson
659500551c Merge remote-tracking branch 'origin/master' into import-graph-mk2 2018-06-15 19:30:50 -04:00
Timothy Clem
0ddf994a81 Merge branch 'master' into telemetry-and-config 2018-06-15 10:40:06 -07:00
Patrick Thomson
62d238df09 🔥 Preluded and make prelude paths simpler/explicit 
Preluded was overengineered anyway.
 2018-06-15 11:49:26 -04:00
Rob Rix
da19e87b80 Depend on semilattices in the tests. 2018-06-15 11:40:26 -04:00
Rob Rix
bf06d928c9 Replace Data.Semilattice.Lower with semilattices. 2018-06-15 11:37:49 -04:00
Rob Rix
54ea58fd79 Move the proto3 packages down. 2018-06-15 11:06:26 -04:00
Timothy Clem
a1949ae322 Re-order 2018-06-13 16:39:13 -07:00
Timothy Clem
bff74e55d1 Attempt to have buildVersion in it's own file 2018-06-13 16:39:01 -07:00
Timothy Clem
c3d3425600 Intermediate, but compiling refactor of config and telemetry 2018-06-13 14:23:55 -07:00
Patrick Thomson
dbb04d695d Revert "try adding preludes to extra-source-files" 
This reverts commit 45b44bf90472ccde0708a2cf3e2830c16b1a32e1.
 2018-06-13 16:30:48 -04:00
Patrick Thomson
921c697a25 try adding preludes to extra-source-files 2018-06-13 16:06:54 -04:00
Patrick Thomson
19e7ff7510 Reinstate import graph functionality. 2018-06-13 12:47:35 -04:00
Patrick Thomson
36d5b7562a Revert "gRPC import graph" 2018-06-13 12:34:35 -04:00
Patrick Thomson
e0b0e31d9e Merge branch 'master' into import-graph-mk2 2018-06-12 15:30:38 -04:00
Patrick Thomson
38be124258 Revert "split up Semantic.IO into Data.Handle and Semantic.Effect.Files" 
This reverts commit c0064862e756a1064dc29631f94e007d9bdfb10b.
 2018-06-12 11:40:53 -04:00
Patrick Thomson
25a3ad2e55 split up Semantic.IO into Data.Handle and Semantic.Effect.Files 2018-06-11 17:38:31 -04:00
Timothy Clem
5eeaaabf76 Start to extract common configuration 2018-06-11 13:12:19 -07:00
Timothy Clem
437b465f56 First pass at haystack reporting 2018-06-11 13:12:19 -07:00
Patrick Thomson
666524a07b Merge remote-tracking branch 'origin/master' into import-graph-mk2 2018-06-11 14:30:52 -04:00
Patrick Thomson
dd8c8b0762 Port AdjList and create the messages 2018-06-08 12:48:23 -04:00
Timothy Clem
0282529e88 Merge remote-tracking branch 'origin/master' into port-semiotic-http-interface 2018-06-06 16:22:49 -07:00
Timothy Clem
19f30f33cc Pull port and host from environment 2018-06-06 16:17:44 -07:00
Rob Rix
946ac38f0d Merge Control.Abstract.Configuration into Control.Abstract.Heap. 2018-06-06 08:04:58 -04:00
Patrick Thomson
871ebf49b8 Add a test to ensure no one breaks Enum instances for Language. 2018-06-05 12:32:24 -04:00
Patrick Thomson
e25791c1ca Roundtrip test for protobuf instances. 2018-06-05 12:14:24 -04:00