Rob Rix
|
251520f926
|
Move MonadFresh into its own module.
|
2017-11-30 17:33:26 -05:00 |
|
Rob Rix
|
5f8aa1e573
|
Merge branch 'master' into integrate-abstract-interpretation
|
2017-11-30 17:16:26 -05:00 |
|
Rob Rix
|
9f5a5e0469
|
Move MonadEnv into its own module.
|
2017-11-30 15:44:58 -05:00 |
|
Rob Rix
|
671ddbee55
|
Fix the module name.
|
2017-11-30 14:42:38 -05:00 |
|
Rob Rix
|
636109e5ef
|
Move Address into its own module.
|
2017-11-30 12:06:30 -05:00 |
|
Rob Rix
|
10f7ed7978
|
Merge branch 'master' into integrate-abstract-interpretation
|
2017-11-30 11:30:55 -05:00 |
|
Rob Rix
|
67f251e223
|
Combine the generic Eq1, Ord1, & Show1 implementations into a single module.
|
2017-11-30 10:24:48 -05:00 |
|
Rob Rix
|
bb2aa0ad0a
|
Stub in a module to hold all the generic Data.Functor.Classes implementations.
|
2017-11-30 10:14:21 -05:00 |
|
Rob Rix
|
cbd02eab7b
|
Merge branch 'master' into musical-modules
|
2017-11-30 09:53:19 -05:00 |
|
Rob Rix
|
a34a8ec3a3
|
Split Primitive up into component types.
|
2017-11-29 12:28:08 -05:00 |
|
Timothy Clem
|
026cc46dbc
|
Merge branch 'master' of https://github.com/github/semantic-diff into integrate-abstract-interpretation
|
2017-11-28 15:49:46 -08:00 |
|
Rob Rix
|
0252667c34
|
🔥 Abstract.Set.
|
2017-11-28 16:08:48 -05:00 |
|
Rick Winfrey
|
f93a0389ce
|
Merge branch 'master' into go-assignment
|
2017-11-28 09:21:10 -08:00 |
|
Rob Rix
|
f1c4b58797
|
Merge branch 'musical-modules' into 🔥-monolithic-syntax
|
2017-11-28 11:59:38 -05:00 |
|
Rob Rix
|
41020b7eae
|
Extract the Declaration algebras into a new module.
|
2017-11-28 09:17:41 -05:00 |
|
Rob Rix
|
8454467b61
|
Move the cyclomatic complexity analysis into its own module.
|
2017-11-27 14:52:27 -05:00 |
|
Rob Rix
|
ae985ef4e5
|
Factor ConstructorName into its own module.
|
2017-11-27 14:45:13 -05:00 |
|
Rob Rix
|
a844fec2bd
|
Move the algebras into their own module.
|
2017-11-27 14:36:20 -05:00 |
|
Rob Rix
|
2102ab41cf
|
Rename Decorating to Analysis.
|
2017-11-27 14:32:13 -05:00 |
|
Rob Rix
|
a6cdcc2c55
|
Add section headers to the .cabal file.
|
2017-11-27 14:28:28 -05:00 |
|
Rob Rix
|
87d533cc2b
|
Rename Language to Data.Language.
|
2017-11-27 14:17:48 -05:00 |
|
Rob Rix
|
bcb64b3187
|
Rename the Integration spec.
|
2017-11-27 14:06:12 -05:00 |
|
Rob Rix
|
59fc8bffc9
|
Rename the TOC spec.
|
2017-11-27 14:04:58 -05:00 |
|
Rob Rix
|
69595553d6
|
Rename the Interpreter spec.
|
2017-11-27 14:03:45 -05:00 |
|
Rob Rix
|
a442bfeea1
|
Rename the Term spec.
|
2017-11-27 14:02:03 -05:00 |
|
Rob Rix
|
a079638c5b
|
Rename the Semantic spec.
|
2017-11-27 14:00:53 -05:00 |
|
Rob Rix
|
80fce5b41e
|
Rename the Diff spec.
|
2017-11-27 13:59:44 -05:00 |
|
Rob Rix
|
4b06df7db4
|
Rename the Stat spec.
|
2017-11-27 13:58:23 -05:00 |
|
Rob Rix
|
59166b50bb
|
Rename the CLI spec.
|
2017-11-27 13:57:25 -05:00 |
|
Rob Rix
|
b98375b58f
|
Rename the IO spec.
|
2017-11-27 13:52:48 -05:00 |
|
Rob Rix
|
8a3d34a1fc
|
Rename the SES spec.
|
2017-11-27 13:51:05 -05:00 |
|
Rob Rix
|
f4960b0a0d
|
Rename the Source spec.
|
2017-11-27 13:49:52 -05:00 |
|
Rob Rix
|
266bd1199a
|
Rename the RWS spec.
|
2017-11-27 13:48:43 -05:00 |
|
Rob Rix
|
a8e8489fcb
|
Rename the assignment spec.
|
2017-11-27 13:47:04 -05:00 |
|
Rob Rix
|
3ebb972bd8
|
Move the Node datatype & AST synonym into Data.AST.
|
2017-11-27 13:45:37 -05:00 |
|
Rob Rix
|
fd31babd62
|
Rename Decorator to Decorating.Decorator.
|
2017-11-27 13:36:00 -05:00 |
|
Rob Rix
|
3a3ed72f96
|
Rename Renderer to Rendering.Renderer.
|
2017-11-27 13:30:38 -05:00 |
|
Rob Rix
|
dbb1a33fca
|
Rename Parser to Parsing.Parser.
|
2017-11-27 13:24:45 -05:00 |
|
Rob Rix
|
9bfd64905d
|
Rename Data.Syntax.Assignment to Assigning.Assignment.
|
2017-11-27 13:19:20 -05:00 |
|
Rob Rix
|
062d9cbfa9
|
Rename Files to Semantic.IO.
|
2017-11-27 13:09:03 -05:00 |
|
Rob Rix
|
1e95b0270e
|
Rename SemanticCmdLine to Semantic.CLI.
|
2017-11-27 11:57:27 -05:00 |
|
Rob Rix
|
bb21a24a93
|
Rename RWS to Diffing.Algorithm.RWS.
|
2017-11-27 11:51:39 -05:00 |
|
Rob Rix
|
dad5abb189
|
Rename SES to Diffing.Algorithm.SES.
|
2017-11-27 11:48:39 -05:00 |
|
Rob Rix
|
cdefcdb33d
|
Rename Interpreter to Diffing.Interpreter.
|
2017-11-27 11:45:08 -05:00 |
|
Rob Rix
|
cfd27ec20c
|
Rename Algorithm -> Diffing.Algorithm.
|
2017-11-27 11:42:57 -05:00 |
|
Rob Rix
|
72c804dc48
|
Rename Language.Markdown to Parser.CMark.
|
2017-11-22 17:26:14 -05:00 |
|
Rob Rix
|
1c0101a269
|
Rename TreeSitter to Parser.TreeSitter.
|
2017-11-22 17:24:10 -05:00 |
|
Rob Rix
|
3a06686361
|
Rename Data.Syntax.Algebra to Decorator.
|
2017-11-22 17:21:22 -05:00 |
|
Timothy Clem
|
82e45bdb35
|
Collapse up collecting interpreter functions into one file
|
2017-11-22 13:50:22 -08:00 |
|
Timothy Clem
|
87145308cd
|
Bring in some of the other interpreters
|
2017-11-22 08:04:13 -08:00 |
|
Rob Rix
|
9579bbab5c
|
Merge remote-tracking branch 'origin/go-assignment' into 🔥-monolithic-syntax
|
2017-11-21 17:26:05 -05:00 |
|
Rob Rix
|
750f6a2d93
|
Merge branch '🔥-patch-output' into 🔥-monolithic-syntax
|
2017-11-21 17:15:58 -05:00 |
|
Rob Rix
|
aa8f6883e8
|
🔥 Alignment.
|
2017-11-21 17:12:00 -05:00 |
|
Rob Rix
|
94ce3fe8f6
|
🔥 Renderer.Patch.
|
2017-11-21 17:11:54 -05:00 |
|
Rob Rix
|
8dea7d4194
|
🔥 AlignmentSpec.
|
2017-11-21 17:08:52 -05:00 |
|
Rob Rix
|
efa454edcc
|
🔥 PatchOutputSpec.
|
2017-11-21 17:08:40 -05:00 |
|
Rick Winfrey
|
e87b1f6e42
|
Add Language.Go.Type module
|
2017-11-21 12:48:29 -08:00 |
|
Rick Winfrey
|
d3211a5dd2
|
Merge branch 'master' into go-assignment
|
2017-11-21 10:42:15 -08:00 |
|
Rob Rix
|
99c7b5ac6e
|
Merge branch 'master' into 🔥-monolithic-syntax
|
2017-11-21 12:37:45 -05:00 |
|
Timothy Clem
|
9652926841
|
Merge remote-tracking branch 'origin/master' into generate-tags-with-context
|
2017-11-16 14:35:20 -08:00 |
|
Timothy Clem
|
480c8b1479
|
Small version of python syntax to work with
|
2017-11-15 15:08:35 -08:00 |
|
Rob Rix
|
5ff724abfa
|
Merge branch 'master' into integrate-abstract-interpretation
|
2017-11-15 11:33:48 -05:00 |
|
Rob Rix
|
2ddd0fafdc
|
Merge remote-tracking branch 'origin/go-assignment' into 🔥-monolithic-syntax
|
2017-11-15 10:57:25 -05:00 |
|
Rob Rix
|
fd11bac981
|
Merge branch '🔥-monolithic-typescript-assignment' into 🔥-monolithic-syntax
|
2017-11-15 10:53:01 -05:00 |
|
Rob Rix
|
7b291087cc
|
Merge branch 'master' into 🔥-monolithic-syntax
|
2017-11-15 10:52:30 -05:00 |
|
Rob Rix
|
4916ccde2f
|
🔥 monolithic TypeScript assignment.
|
2017-11-15 10:42:53 -05:00 |
|
Timothy Clem
|
8c727bd4f0
|
Extract out the Tag renderer into it's own module
|
2017-11-09 09:01:35 -08:00 |
|
Timothy Clem
|
772762ecef
|
Merge remote-tracking branch 'origin/master' into generate-tags-with-context
|
2017-11-08 13:16:07 -08:00 |
|
Rick Winfrey
|
460dd54c33
|
Merge branch 'master' into go-assignment
|
2017-10-30 15:02:01 -07:00 |
|
Rick Winfrey
|
f949980f55
|
Add Language.Go.Syntax to cabal file
|
2017-10-30 14:08:50 -07:00 |
|
Rob Rix
|
fbc39aad08
|
Stub in a feature vector module.
|
2017-10-27 09:48:46 -04:00 |
|
Rob Rix
|
f6ac8e0bbc
|
Compute feature vectors as unlifted doubles.
|
2017-10-26 19:04:56 -04:00 |
|
Rob Rix
|
a7f5db2507
|
🔥 MonadRandom.
|
2017-10-26 13:57:08 -04:00 |
|
Rick Winfrey
|
5ad5a882ba
|
Merge branch 'master' into go-assignment
|
2017-10-23 15:10:29 -07:00 |
|
joshvera
|
d2f2764c26
|
Read blobs from a directory
|
2017-10-17 12:48:27 -04:00 |
|
Timothy Clem
|
3b1fd97748
|
Port over the Interpreter
|
2017-10-13 14:17:04 -07:00 |
|
Timothy Clem
|
d1ad4d6318
|
Port over Environment, Primitive, Type, Value
|
2017-10-13 11:03:58 -07:00 |
|
Timothy Clem
|
f27ecb61cb
|
Break out FreeVariables
|
2017-10-13 11:03:16 -07:00 |
|
Timothy Clem
|
8e198dd460
|
Bring in Control.Effect
|
2017-10-13 11:01:04 -07:00 |
|
Timothy Clem
|
448d9ea338
|
Introduce standard and collecting evaluator type classes
Ported from https://github.com/robrix/abstract-interpretation
|
2017-10-13 10:13:41 -07:00 |
|
Rob Rix
|
d6f4914c46
|
🔥 the dependencies on pretty-show & hscolour.
|
2017-10-13 10:08:34 -04:00 |
|
Rick Winfrey
|
0452d90672
|
Update Go.Syntax -> Go.Assignment
|
2017-10-11 10:39:41 -07:00 |
|
Rick Winfrey
|
cc97f9ee4d
|
Merge branch 'master' into go-assignment
|
2017-10-11 10:12:12 -07:00 |
|
Rick Winfrey
|
03d4a4d5c0
|
Update TypeScript
|
2017-10-10 15:55:42 -07:00 |
|
Rick Winfrey
|
7c84516fec
|
Update Ruby
|
2017-10-10 15:36:09 -07:00 |
|
Rick Winfrey
|
bf4300e5eb
|
Update Python
|
2017-10-10 15:27:54 -07:00 |
|
Rick Winfrey
|
2be6e5eef6
|
Update Markdown
|
2017-10-10 15:24:25 -07:00 |
|
Rick Winfrey
|
a1185a3800
|
Rename JSON.Syntax -> JSON.Assignment
|
2017-10-10 15:14:57 -07:00 |
|
Rick Winfrey
|
eb591f12aa
|
Merge branch 'master' into go-assignment
|
2017-10-10 11:44:14 -07:00 |
|
Rob Rix
|
757910c72b
|
Merge branch 'master' into 🔥-monolithic-syntax
|
2017-10-10 12:22:37 -04:00 |
|
Timothy Clem
|
ce2e3e737e
|
Merge branch 'master' into stats
|
2017-10-05 07:48:49 -07:00 |
|
Rob Rix
|
6db928154b
|
Merge remote-tracking branch 'origin/master' into 🔥-monolithic-syntax
|
2017-10-04 16:54:01 -04:00 |
|
Timothy Clem
|
c7f4ae005b
|
Test actual sending of data
|
2017-10-04 11:40:39 -07:00 |
|
Timothy Clem
|
666585bf50
|
Start writing a few specs
|
2017-10-04 11:12:24 -07:00 |
|
Timothy Clem
|
cd550fab80
|
Get this new file in .cabal
|
2017-10-04 09:45:55 -07:00 |
|
Timothy Clem
|
3d5cf4347e
|
Continue to fill out stats functionality
|
2017-10-04 09:34:44 -07:00 |
|
Rob Rix
|
44d278bc35
|
🔥 the unused Language.Ruby module.
|
2017-10-04 10:34:24 -04:00 |
|
Rob Rix
|
27f92be70e
|
🔥 the unused Language.Python module.
|
2017-10-04 10:30:18 -04:00 |
|
Timothy Clem
|
f80445945c
|
Write some UDP packets
|
2017-10-03 20:38:36 -07:00 |
|
Timothy Clem
|
78f98ce352
|
Introduce Task.Stat and general pattern for Task.Queue
|
2017-10-03 17:22:26 -07:00 |
|