joshvera
906da72e54
Merge remote-tracking branch 'origin/master' into scopes-and-frames
2018-09-18 12:26:18 -04:00
Patrick Thomson
7c35cb524a
Merge branch 'master' into bump-synopsis
2018-09-17 16:18:58 -04:00
joshvera
2d071e5090
Remove Data.Abstract.Frame for now
2018-09-17 13:05:24 -04:00
joshvera
5c96b3d6d7
Merge remote-tracking branch 'origin/master' into scopes-and-frames
2018-09-17 12:08:27 -04:00
Patrick Thomson
06b44c4fc9
Replace the "initial project from stack" synopsis.
...
I figure that since we're starting to show this to other teams, it
behooves our documentation to have a more meaningful description.
Happy to change this if y'all can come up with a snappier synopsis.
2018-09-17 11:21:21 -04:00
joshvera
68ca3b06bc
Remove type-combinators dep
2018-09-14 19:04:09 -04:00
Timothy Clem
d2524e194d
Merge branch 'master' into assignment-timeout
2018-09-14 14:03:37 -07:00
Timothy Clem
a6ce4f672f
Docs and sort out a common Duration datatype
2018-09-13 14:51:32 -07:00
Timothy Clem
7e1c7a1c84
Timeout effect
2018-09-13 14:20:42 -07:00
Patrick Thomson
7129435dc8
Merge remote-tracking branch 'origin/master' into simplify-reprinter
...
also incorporates a number of changes. oops.
2018-09-12 12:14:01 -04:00
Patrick Thomson
0802e0a9f2
Use a deep embedding for Tokenize.
2018-09-11 18:54:37 -04:00
Timothy Clem
2e48678e6b
Rework diff grpc api as well, enable for all supported langauges
2018-09-11 10:32:29 -07:00
joshvera
1eac23ce2e
Don't parameterize scopes by name
2018-09-10 18:50:40 -04:00
Timothy Clem
c806be4cfc
Clean up, expand grpc support to larger language list
2018-09-10 11:43:42 -07:00
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