github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-24 23:42:31 +03:00
Code Issues Projects Releases Wiki Activity
faab30add2
semantic/semantic.cabal

441 lines
17 KiB
Plaintext
Raw Normal View History

Rename semantic-diff to semantic
2018-02-26 21:16:56 +03:00
name: semantic
Bump the version so we can tell these are new style builds
2018-05-18 23:31:05 +03:00
version: 0.4.0
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 18:21:21 +03:00
synopsis: Framework and service for analyzing and diffing untrusted code.
I mean, sure.
2015-11-18 01:44:16 +03:00
description: Please see README.md
Rename semantic-diff to semantic
2018-02-26 21:16:56 +03:00
homepage: http://github.com/github/semantic#readme
I mean, sure.
2015-11-18 01:44:16 +03:00
author: Rob Rix, Josh Vera
Dot.
2015-11-18 01:52:41 +03:00
maintainer: rob.rix@github.com
It’s a brand new year :tada:
2016-01-05 19:26:58 +03:00
copyright: 2016 GitHub
I mean, sure.
2015-11-18 01:44:16 +03:00
category: Web
Use the simple build type.
2017-07-23 17:34:30 +03:00
build-type: Simple
I mean, sure.
2015-11-18 01:44:16 +03:00
-- extra-source-files:
cabal-version: >=1.10
Make builds run at -O0 by default, except for CI/deploy. It's always been easy to forget the `--fast` flag. With the introduction of `semanticd`, forgetting that carries a significant speed hit, as GHC optimizes the resulting executable very thoroughly, which entails a significant uptick in time spent building. For our collective sanity's sake, this patch makes `stack build` operate without optimizations. CI and deploy jobs pass `--flag semantic:release` to `stack`, which specifies the `-O2` level of optimizations. Timing `stack clean && stack build` (which rebuilds the tree-sitter packages) went from 6m17s to 3m04s on my machine. When building just `semantic` by itself, standard builds take 1m06s, whereas builds with `--flag semantic:release` take 4m12s. (GHC does a lot of optimizations!)
2018-05-23 00:18:03 +03:00
flag release
description: Build with optimizations on (for CI or deployment builds)
default: False
I mean, sure.
2015-11-18 01:44:16 +03:00
library
hs-source-dirs: src
Add section headers to the .cabal file.
2017-11-27 22:28:28 +03:00
exposed-modules:
Rename Decorating to Analysis.
2017-11-27 22:32:13 +03:00
-- Analyses & term annotations
Duplicate the flow-sensitive caching module.
2018-09-18 17:27:47 +03:00
Analysis.Abstract.Caching.FlowInsensitive
, Analysis.Abstract.Caching.FlowSensitive
Move evCollect & evRoots into their own module.
2017-12-01 03:35:35 +03:00
, Analysis.Abstract.Collecting
Rename Abstract.Interpreter.Dead to Analysis.Abstract.Dead.
2017-12-01 02:49:19 +03:00
, Analysis.Abstract.Dead
Separate import graphs into call graph and import graph analyses
2018-05-02 01:10:25 +03:00
, Analysis.Abstract.Graph
Rename Abstract.Interpreter.Tracing to Analysis.Abstract.Tracing.
2017-12-01 02:57:56 +03:00
, Analysis.Abstract.Tracing
Merge branch 'master' into integrate-abstract-interpretation
2017-12-01 01:16:26 +03:00
, Analysis.ConstructorName
Move the cyclomatic complexity analysis into its own module.
2017-11-27 22:52:27 +03:00
, Analysis.CyclomaticComplexity
Factor ConstructorName into its own module.
2017-11-27 22:45:13 +03:00
, Analysis.Decorator
Extract the Declaration algebras into a new module.
2017-11-28 17:17:41 +03:00
, Analysis.Declaration
Fix up pulling out go package name for import rendering
2018-03-26 22:02:27 +03:00
, Analysis.PackageDef
Add section headers to the .cabal file.
2017-11-27 22:28:28 +03:00
-- Semantic assignment
Rename Decorating to Analysis.
2017-11-27 22:32:13 +03:00
, Assigning.Assignment
Stub in a module for deterministic assignments.
2018-06-27 21:27:15 +03:00
, Assigning.Assignment.Deterministic
Rename Data.Syntax.Assignment to Assigning.Assignment.
2017-11-27 21:19:20 +03:00
, Assigning.Assignment.Table
Rename Analysis.Abstract.Evaluator to Control.Abstract.Evaluator.
2018-03-01 19:46:32 +03:00
-- Control structures & interfaces for abstract interpretation
Provide a module re-exporting all the various abstract interpretation machinery.
2018-05-07 18:51:56 +03:00
, Control.Abstract
Move currentModule/currentPackage into their own module.
2018-05-07 19:14:14 +03:00
, Control.Abstract.Context
Move the Environment accessors into their own module.
2018-05-07 19:17:32 +03:00
, Control.Abstract.Environment
Rename Analysis.Abstract.Evaluator to Control.Abstract.Evaluator.
2018-03-01 19:46:32 +03:00
, Control.Abstract.Evaluator
Move the Heap accessors into their own module.
2018-05-07 18:49:59 +03:00
, Control.Abstract.Heap
Add a module for holes.
2018-05-28 22:09:10 +03:00
, Control.Abstract.Hole
Introduce tree-automata DSL for filtering and matching ASTs. This patch adds the `Matcher` monad, which is capable of filtering any recursive data structure, bottom-up, yielding a list of (or an optional) result. These functions are probably going to be used over `Term` values, so API is provided to wrap common projection functions. The API was more or less copied directly from that of Clang's AST matching facilities. There are a lot of things we can do in the future: * Binding results yielded in matchers to associated names, for future transformation stages to look up and modify. * Actual transformation stages. * Optimizations. This is not very fast. A million thanks to @robrix, whose sage advice managed to turn my kooky idea for an API into something really special and exciting.
2018-03-27 23:14:30 +03:00
, Control.Abstract.Matching
Rename Control.Abstract.ModuleTable to Control.Abstract.Modules.
2018-05-08 23:59:25 +03:00
, Control.Abstract.Modules
Stub in a module for primitives.
2018-05-18 17:11:19 +03:00
, Control.Abstract.Primitive
Merge remote-tracking branch 'origin/master' into entry-points
2018-08-02 01:18:33 +03:00
, Control.Abstract.PythonPackage
Move the roots functionality into its own module.
2018-05-07 18:58:30 +03:00
, Control.Abstract.Roots
Don't parameterize scopes by name
2018-09-11 01:50:40 +03:00
, Control.Abstract.ScopeGraph
Stub in a module for term evaluators.
2018-05-15 18:40:10 +03:00
, Control.Abstract.TermEvaluator
Rename MonadFunction to MonadValue.
2018-03-02 22:45:56 +03:00
, Control.Abstract.Value
port over Control.Rewriting
2018-09-14 19:47:21 +03:00
-- Rewriting
, Control.Rewriting
Give separate headings for general Data.* and Data.Abstract.*.
2018-03-01 19:47:21 +03:00
-- Datatypes for abstract interpretation
Stub in a module for the Hole address type.
2018-08-13 16:35:37 +03:00
, Data.Abstract.Address.Hole
Add modules for the address types.
2018-08-10 20:31:55 +03:00
, Data.Abstract.Address.Located
, Data.Abstract.Address.Monovariant
, Data.Abstract.Address.Precise
Rename ErrorContext -> BaseError
2018-08-08 02:50:55 +03:00
, Data.Abstract.BaseError
Rename Quietly to BadSyntax.
2018-04-25 22:44:44 +03:00
, Data.Abstract.Declarations
Rename Abstract.Environment to Data.Abstract.Environment.
2017-12-01 01:55:18 +03:00
, Data.Abstract.Environment
Rename Control.Monad.Effect.Evaluatable to Data.Abstract.Evaluatable.
2018-03-01 19:54:05 +03:00
, Data.Abstract.Evaluatable
Move Exports to its own module.
2018-03-16 21:09:41 +03:00
, Data.Abstract.Exports
Rename Abstract.FreeVariables to Data.Abstract.FreeVariables.
2017-12-01 02:02:14 +03:00
, Data.Abstract.FreeVariables
Rename Store to Heap.
2018-03-15 03:42:59 +03:00
, Data.Abstract.Heap
Add a module for a live set.
2017-12-01 21:57:15 +03:00
, Data.Abstract.Live
Stub in a Data.Abstract.Module module.
2018-03-22 00:59:16 +03:00
, Data.Abstract.Module
Rename the Linker type/module to ModuleTable. During my recent pairing with @robrix, we agreed that the name of Linker was inaccurate—it doesn't link anything, it just keeps track of past modules. This renames it and its module.
2018-03-06 22:17:32 +03:00
, Data.Abstract.ModuleTable
Stub in a module for names.
2018-05-18 19:43:28 +03:00
, Data.Abstract.Name
Address Rob's changes.
2018-03-14 17:36:56 +03:00
, Data.Abstract.Number
Stub in a module for a package abstraction.
2018-03-30 18:34:42 +03:00
, Data.Abstract.Package
Add a specific Data.Abstract.Path with path/module name helpers
2018-03-16 19:27:08 +03:00
, Data.Abstract.Path
Stub in a module for ValueRef.
2018-05-18 17:36:23 +03:00
, Data.Abstract.Ref
Add ScopeGraph
2018-08-29 20:47:44 +03:00
, Data.Abstract.ScopeGraph
Stub in a module for abstract value semantics.
2018-07-04 16:21:51 +03:00
, Data.Abstract.Value.Abstract
Rename Data.Abstract.Value to Data.Abstract.Value.Concrete.
2018-07-03 21:22:26 +03:00
, Data.Abstract.Value.Concrete
Move Data.Abstract.Type to Data.Abstract.Value.Type.
2018-07-04 17:46:13 +03:00
, Data.Abstract.Value.Type
Give separate headings for general Data.* and Data.Abstract.*.
2018-03-01 19:47:21 +03:00
-- General datatype definitions & generic algorithms
Move the algebras into their own module.
2017-11-27 22:36:20 +03:00
, Data.Algebra
Move the Node datatype & AST synonym into Data.AST.
2017-11-27 21:45:37 +03:00
, Data.AST
Stub in a Blob module.
2017-06-24 17:00:40 +03:00
, Data.Blob
Rename the Diff module to Data.Diff.
2017-09-27 19:41:41 +03:00
, Data.Diff
Docs and sort out a common Duration datatype
2018-09-14 00:51:32 +03:00
, Data.Duration
Stub in a module for Errors.
2017-08-06 19:29:28 +03:00
, Data.Error
Data.Bifunctor.Join is actually Data.Functor.Both.
2016-02-29 05:29:59 +03:00
, Data.Functor.Both
Stub in a module to hold all the generic Data.Functor.Classes implementations.
2017-11-30 18:14:21 +03:00
, Data.Functor.Classes.Generic
Stub in a module for graphs.
2018-05-11 19:04:26 +03:00
, Data.Graph
Rework control flow graph data types
2018-09-07 01:12:12 +03:00
, Data.Graph.ControlFlowVertex
Basics of TermVertex in grpc
2018-09-07 03:27:13 +03:00
, Data.Graph.TermVertex
, Data.Graph.DiffVertex
move some code around + ensure we can enforce History invariants
2018-08-02 20:03:55 +03:00
, Data.History
Define a module for JSONFields.
2017-09-09 19:15:22 +03:00
, Data.JSON.Fields
Rename Language to Data.Language.
2017-11-27 22:17:48 +03:00
, Data.Language
Stub in a Monoidal map module.
2018-03-07 20:22:52 +03:00
, Data.Map.Monoidal
Rework diff grpc api as well, enable for all supported langauges
2018-09-11 20:32:29 +03:00
, Data.Proto.DiffTree
Clean up, expand grpc support to larger language list
2018-09-10 21:43:42 +03:00
, Data.Proto.ParseTree
Rename the Patch module to Data.Patch.
2017-09-27 19:29:07 +03:00
, Data.Patch
s/File/Project b/c that makes more sense to me
2018-05-16 18:38:00 +03:00
, Data.Project
Stub in a module for Quieterm. Co-Authored-By: Ayman Nadeem <aymannadeem@gmail.com>
2018-08-01 22:06:26 +03:00
, Data.Quieterm
Rename the Range module to Data.Range.
2017-06-24 16:46:28 +03:00
, Data.Range
Alphabetize while we're at it
2016-10-06 19:03:06 +03:00
, Data.Record
Refactor to have 1 additional data representation in the pipeline
2018-08-22 21:30:03 +03:00
, Data.Reprinting.Errors
move Fragment into its own file for clarity's sake
2018-09-18 18:38:10 +03:00
, Data.Reprinting.Fragment
Remove Hungarian-style T- prefix from tokens and scopes. Prefixes on data constructors are generally an antipattern in Haskell: if you're concerned about name collisions, have clients use qualified imports for whatever modules they need. As such, this removes the T- prefixes from the `Token` and `Context` types. This also renames Context to Scope, which is a more exact and readable name.
2018-09-19 18:54:12 +03:00
, Data.Reprinting.Operator
, Data.Reprinting.Scope
Move splice to data, allow config for translation
2018-08-17 19:10:14 +03:00
, Data.Reprinting.Splice
Remove Hungarian-style T- prefix from tokens and scopes. Prefixes on data constructors are generally an antipattern in Haskell: if you're concerned about name collisions, have clients use qualified imports for whatever modules they need. As such, this removes the T- prefixes from the `Token` and `Context` types. This also renames Context to Scope, which is a more exact and readable name.
2018-09-19 18:54:12 +03:00
, Data.Reprinting.Token
Stub in an AppMerge semigroup.
2018-03-21 23:40:56 +03:00
, Data.Semigroup.App
Standardize and fix floating-point parsing. The existence of #1705 showed me that it's time to remove the bandaid of a fix that was `normalizeFloatString` in #1537. This patch introduces a proper Attoparsec parser for Scientific values that handles the vaguaries of cross-language floating-point syntax. We already depended on Attoparsec indirectly, so adding it as an explicit dependency is fine. A unit test is included, with examples taken from the tree-sitter corpora.
2018-04-04 00:02:56 +03:00
, Data.Scientific.Exts
Rename the Source module to Data.Source.
2017-06-24 16:59:41 +03:00
, Data.Source
Rename the SourceSpan module to Data.Span.
2017-06-24 16:41:51 +03:00
, Data.Span
Rename the SplitDiff module to Data.SplitDiff.
2017-09-27 19:43:11 +03:00
, Data.SplitDiff
Add section headers to the .cabal file.
2017-11-27 22:28:28 +03:00
-- À la carte syntax types
Stub in a module for à la carte Syntax.
2017-03-26 19:02:40 +03:00
, Data.Syntax
Stub in a module for comment syntax.
2017-03-26 22:34:44 +03:00
, Data.Syntax.Comment
Stub in a module for declarations.
2017-03-27 00:31:10 +03:00
, Data.Syntax.Declaration
Introduce place to put all these directives
2018-04-26 23:43:49 +03:00
, Data.Syntax.Directive
Stub in a module for expression syntax.
2017-03-29 22:47:12 +03:00
, Data.Syntax.Expression
Stub in a module to hold types for literal syntax, e.g. array/string/object/hash/symbol/number literals.
2017-03-26 22:30:33 +03:00
, Data.Syntax.Literal
Stub in a module for declarations.
2017-03-27 00:31:50 +03:00
, Data.Syntax.Statement
Stub in a module for type syntax.
2017-03-29 23:23:02 +03:00
, Data.Syntax.Type
Rename the Term module to Data.Term.
2017-09-27 19:37:37 +03:00
, Data.Term
Add section headers to the .cabal file.
2017-11-27 22:28:28 +03:00
-- Diffing algorithms & interpretation thereof
Rename Algorithm -> Diffing.Algorithm.
2017-11-27 19:41:50 +03:00
, Diffing.Algorithm
Rename RWS to Diffing.Algorithm.RWS.
2017-11-27 19:51:39 +03:00
, Diffing.Algorithm.RWS
, Diffing.Algorithm.RWS.FeatureVector
Rename SES to Diffing.Algorithm.SES.
2017-11-27 19:48:39 +03:00
, Diffing.Algorithm.SES
Rename Interpreter to Diffing.Interpreter.
2017-11-27 19:45:08 +03:00
, Diffing.Interpreter
Add section headers to the .cabal file.
2017-11-27 22:28:28 +03:00
-- Language-specific grammar/syntax types, & assignments
Update Markdown
2017-10-11 01:24:25 +03:00
, Language.Markdown.Assignment
Stub in a module for Markdown assignment.
2017-06-07 23:18:49 +03:00
, Language.Markdown.Syntax
Add Language.Go.Grammar.hs
2017-08-23 00:48:18 +03:00
, Language.Go.Grammar
Update Go.Syntax -> Go.Assignment
2017-10-11 20:12:32 +03:00
, Language.Go.Assignment
Add a go syntax module & grammar datatype.
2017-04-12 17:53:04 +03:00
, Language.Go.Syntax
Add Language.Go.Type module
2017-11-21 23:48:29 +03:00
, Language.Go.Type
Boilerplate and minimal syntax for Haskell assignment
2018-05-23 21:32:15 +03:00
, Language.Haskell.Grammar
, Language.Haskell.Assignment
, Language.Haskell.Syntax
Add json grammar module
2017-07-17 19:52:50 +03:00
, Language.JSON.Grammar
Rename JSON.Syntax -> JSON.Assignment
2017-10-11 01:14:57 +03:00
, Language.JSON.Assignment
Docs and some renaming
2018-08-22 02:15:08 +03:00
, Language.JSON.PrettyPrint
MiniRuby in its own module
2018-08-28 01:06:51 +03:00
, Language.MiniRuby.Assignment
A mini-python
2018-08-28 19:12:29 +03:00
, Language.MiniPython.Assignment
Stub in a Ruby grammar module.
2017-05-17 21:08:54 +03:00
, Language.Ruby.Grammar
Update Ruby
2017-10-11 01:36:09 +03:00
, Language.Ruby.Assignment
Docs and some renaming
2018-08-22 02:15:08 +03:00
, Language.Ruby.PrettyPrint
Put this back in order
2018-08-28 19:12:44 +03:00
, Language.Ruby.Syntax
Update TypeScript
2017-10-11 01:55:42 +03:00
, Language.TypeScript.Assignment
Include TypeScript.Grammar in cabal file
2017-08-08 18:19:42 +03:00
, Language.TypeScript.Grammar
add Syntax.JSX and Resolution
2018-07-20 00:05:44 +03:00
, Language.TypeScript.Resolution
Add a typescript syntax module & grammar datatype.
2017-04-12 17:51:31 +03:00
, Language.TypeScript.Syntax
Make L.TS.Syntax an exports-only module.
2018-07-20 00:23:44 +03:00
, Language.TypeScript.Syntax.JavaScript
add Syntax.JSX and Resolution
2018-07-20 00:05:44 +03:00
, Language.TypeScript.Syntax.JSX
Make L.TS.Syntax an exports-only module.
2018-07-20 00:23:44 +03:00
, Language.TypeScript.Syntax.TypeScript
Add php modules to project
2017-12-15 22:14:08 +03:00
, Language.PHP.Assignment
, Language.PHP.Grammar
, Language.PHP.Syntax
Update Python
2017-10-11 01:26:29 +03:00
, Language.Python.Assignment
Add Language.Python.Grammar
2017-05-17 22:32:07 +03:00
, Language.Python.Grammar
Some basic pretty printing for mini Python
2018-08-28 19:14:48 +03:00
, Language.Python.PrettyPrint
Add languages/python
2017-05-12 02:45:05 +03:00
, Language.Python.Syntax
stub out java assignment
2018-03-16 00:57:06 +03:00
, Language.Java.Assignment
, Language.Java.Grammar
, Language.Java.Syntax
Some common matchers
2018-08-15 00:15:18 +03:00
, Matching.Core
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 18:55:32 +03:00
, Numeric.Exts
Add section headers to the .cabal file.
2017-11-27 22:28:28 +03:00
-- Parser glue
Rename Parser to Parsing.Parser.
2017-11-27 21:24:45 +03:00
, Parsing.CMark
Add section headers to the .cabal file.
2017-11-27 22:28:28 +03:00
, Parsing.Parser
Rename Parser to Parsing.Parser.
2017-11-27 21:24:45 +03:00
, Parsing.TreeSitter
Rename semantic-diff to semantic
2018-02-26 21:16:56 +03:00
, Paths_semantic
Add section headers to the .cabal file.
2017-11-27 22:28:28 +03:00
-- Rendering formats
Rename Rendering.DOT to Rendering.Graph.
2018-05-11 19:57:20 +03:00
, Rendering.Graph
Rename Renderer to Rendering.Renderer.
2017-11-27 21:30:38 +03:00
, Rendering.JSON
, Rendering.Renderer
Symbol rendering (like tags, but new hotness)
2018-01-17 23:54:17 +03:00
, Rendering.Symbol
Rename Renderer to Rendering.Renderer.
2017-11-27 21:30:38 +03:00
, Rendering.TOC
even better names, and a helper script to narrow tests
2018-08-03 20:15:14 +03:00
, Reprinting.Tokenize
Reorganize and add microlens, at least for now.
2018-08-03 19:23:47 +03:00
, Reprinting.Translate
implement the typesetting stage
2018-08-03 19:47:54 +03:00
, Reprinting.Typeset
Extremely ad-hoc renderer to Docs
2018-07-31 19:44:20 +03:00
, Reprinting.Pipeline
Add section headers to the .cabal file.
2017-11-27 22:28:28 +03:00
-- High-level flow & operational functionality (logging, stats, etc.)
Factor the ts-parse command into its own module.
2018-05-14 21:57:19 +03:00
, Semantic.AST
Rename SemanticCmdLine to Semantic.CLI.
2017-11-27 19:57:27 +03:00
, Semantic.CLI
Start to extract common configuration
2018-06-08 20:48:38 +03:00
, Semantic.Config
Rename Semantic.Command.{Diff,Parse} to Semantic.{Diff,Parse}.
2018-04-04 22:17:01 +03:00
, Semantic.Diff
Sort the modules.
2018-04-04 18:23:21 +03:00
, Semantic.Distribute
Pull port and host from environment
2018-06-07 02:17:44 +03:00
, Semantic.Env
Move to Graph.hs
2018-04-09 20:57:12 +03:00
, Semantic.Graph
Rename Files to Semantic.IO.
2017-11-27 21:09:03 +03:00
, Semantic.IO
Rename Semantic.Command.{Diff,Parse} to Semantic.{Diff,Parse}.
2018-04-04 22:17:01 +03:00
, Semantic.Parse
Stub in a REPL module. Co-Authored-By: Ayman Nadeem <aymannadeem@gmail.com>
2018-08-01 17:54:57 +03:00
, Semantic.REPL
Ability to get nodejs resolution info out of package.json files
2018-05-04 02:14:54 +03:00
, Semantic.Resolution
Stub in a module for Task.
2017-05-29 20:11:17 +03:00
, Semantic.Task
Move the Telemetry effect into its own module.
2018-04-04 18:23:32 +03:00
, Semantic.Telemetry
Re-order
2018-06-14 02:39:13 +03:00
, Semantic.Telemetry.AsyncQueue
, Semantic.Telemetry.Haystack
, Semantic.Telemetry.Log
, Semantic.Telemetry.Stat
Timeout effect
2018-09-14 00:20:42 +03:00
, Semantic.Timeout
Merge remote-tracking branch 'origin/master' into typescript-assignment
2017-08-28 19:48:36 +03:00
, Semantic.Util
Dedicated util for rewriting
2018-08-24 20:35:38 +03:00
, Semantic.Util.Rewriting
Attempt to have buildVersion in it's own file
2018-06-14 02:39:01 +03:00
, Semantic.Version
Stub in a module for serialization formats.
2018-05-11 20:27:09 +03:00
-- Serialization
Stub in a module for the details of DOT serialization.
2018-05-11 21:07:53 +03:00
, Serializing.DOT
Stub in a module for serialization formats.
2018-05-11 20:27:09 +03:00
, Serializing.Format
Stub in a module for serializing to s-expressions.
2018-05-11 21:41:10 +03:00
, Serializing.SExpression
Stub in a module for serialization formats.
2018-05-11 20:27:09 +03:00
-- Custom Prelude
More sophisticated health server
2018-05-23 21:04:15 +03:00
, Prologue
Prune build-depends
2016-10-06 04:47:47 +03:00
build-depends: base >= 4.8 && < 5
, aeson
Depend on algebraic-graphs.
2018-02-07 20:54:15 +03:00
, algebraic-graphs
Output the error message in red.
2017-05-19 23:03:44 +03:00
, ansi-terminal
Represent feature vectors using boxed Arrays.
2017-02-03 21:32:52 +03:00
, array
WIP - optimize concurrency
2017-04-22 01:40:37 +03:00
, async
Standardize and fix floating-point parsing. The existence of #1705 showed me that it's time to remove the bandaid of a fix that was `normalizeFloatString` in #1537. This patch introduces a proper Attoparsec parser for Scientific values that handles the vaguaries of cross-language floating-point syntax. We already depended on Attoparsec indirectly, so adding it as an explicit dependency is fine. A unit test is included, with examples taken from the tree-sitter corpora.
2018-04-04 00:02:56 +03:00
, attoparsec
Depend on bifunctors.
2016-03-18 03:07:28 +03:00
, bifunctors
Add text package to cabal
2015-12-15 19:47:52 +03:00
, bytestring
Use cmark-gfm package
2017-08-03 10:22:40 +03:00
, cmark-gfm
Dependencies and stuff?
2015-11-18 02:03:25 +03:00
, containers
First pass at haystack reporting
2018-06-08 20:12:45 +03:00
, cryptohash
Move DiffOutput into the library.
2016-02-27 01:56:38 +03:00
, directory
Add ability to exclude directories from globbing
2018-04-25 19:55:05 +03:00
, directory-tree
Add SES effect
2017-04-07 21:44:37 +03:00
, effects
Add the fastsum package as a dependency.
2018-05-02 22:59:22 +03:00
, fastsum
diffFiles :: Parser -> Renderer T.Text b -> (Source Char, Source Char) -> IO b
2016-02-17 00:09:58 +03:00
, filepath
Prune build-depends
2016-10-06 04:47:47 +03:00
, free
Define Algorithm as the Freer monad of AlgorithmF.
2017-02-24 21:28:44 +03:00
, freer-cofreer
Compute feature vectors as unlifted doubles.
2017-10-27 02:04:56 +03:00
, ghc-prim
Alphabetize while we're at it
2016-10-06 19:03:06 +03:00
, gitrev
Read blobs from a directory
2017-10-17 19:48:27 +03:00
, Glob
Depend on hashable.
2016-06-22 00:24:18 +03:00
, hashable
Add a dependency on haskeline.
2018-08-03 16:25:52 +03:00
, haskeline
Produce colour output with the Show serializer.
2018-05-23 16:00:29 +03:00
, hscolour
First pass at haystack reporting
2018-06-08 20:12:45 +03:00
, http-client
, http-client-tls
, http-types
Use k-d trees to look up the nearest neighbour.
2016-06-24 18:10:18 +03:00
, kdt
set ground for Control.Rule and Control.Rule.Engine
2018-08-06 23:33:50 +03:00
, machines
Compute random numbers using the Mersenne twister.
2017-02-03 23:27:37 +03:00
, mersenne-random-pure64
Prune build-depends
2016-10-06 04:47:47 +03:00
, mtl
Write some UDP packets
2017-10-04 06:38:36 +03:00
, network
Continue to fill out stats functionality
2017-10-04 19:34:44 +03:00
, network-uri
Prune build-depends
2016-10-06 04:47:47 +03:00
, optparse-applicative
Evaluate diffs in parallel.
2017-04-04 17:57:18 +03:00
, parallel
Depend on the parsers package.
2017-08-06 18:21:35 +03:00
, parsers
Extremely ad-hoc renderer to Docs
2018-07-31 19:44:20 +03:00
, prettyprinter
Produce colour output with the Show serializer.
2018-05-23 16:00:29 +03:00
, pretty-show
port over Control.Rewriting
2018-09-14 19:47:21 +03:00
, profunctors
Prune build-depends
2016-10-06 04:47:47 +03:00
, recursion-schemes
Tracing uses a Reducer.
2018-03-07 19:27:17 +03:00
, reducers
necessary changes for floating-point munging
2018-03-07 22:26:15 +03:00
, scientific
Copy my changes back.
2018-03-14 16:30:45 +03:00
, semigroupoids
Replace Data.Semilattice.Lower with semilattices.
2018-06-15 18:37:49 +03:00
, semilattices
alternateObjectDirs are FilePaths.
2017-04-03 22:26:28 +03:00
, split
Log from a serializing background thread.
2017-07-21 19:13:50 +03:00
, stm-chans
Define the Grammar datatype using TemplateHaskell.
2017-04-11 18:50:59 +03:00
, template-haskell
Add text package to cabal
2015-12-15 19:47:52 +03:00
, text >= 1.2.1.3
Replace Data.Bifunctor.These and Data.Align with the `these` package.
2016-04-15 05:00:00 +03:00
, these
Pass Messages over the queue with the current time.
2017-07-23 21:12:13 +03:00
, time
Log process ID
2017-07-31 18:56:17 +03:00
, unix
Ability to get nodejs resolution info out of package.json files
2018-05-04 02:14:54 +03:00
, unordered-containers
Reinstate import graph functionality.
2018-06-13 19:47:35 +03:00
, vector
Move the proto3 packages down.
2018-06-15 18:06:26 +03:00
, proto3-suite
, proto3-wire
Remove tree-sitter-parsers; replace with language specific packages - This allows us to migrate to haskell-tree-sitter, which provides an open source git repository that contains no language bindings, but provides the ffi for working with tree sitter. - Additionally now semantic-diff uses language specific packages found with the languages dir. Each language package contains a vendored version of its associated tree-sitter project (i.e. language/ruby contains tree-sitter-ruby). The implication is that generating a language’s updated parser.c does not require a re-compilation of all languages parser.c files.
2017-01-31 01:03:22 +03:00
, haskell-tree-sitter
Rename the go package.
2017-08-11 15:03:27 +03:00
, tree-sitter-go
Boilerplate and minimal syntax for Haskell assignment
2018-05-23 21:32:15 +03:00
, tree-sitter-haskell
Rename the json package.
2017-08-11 15:03:55 +03:00
, tree-sitter-json
Add php modules to project
2017-12-15 22:14:08 +03:00
, tree-sitter-php
Rename the python package.
2017-08-11 15:06:08 +03:00
, tree-sitter-python
Rename the ruby package.
2017-08-11 15:06:37 +03:00
, tree-sitter-ruby
Rename the typescript package.
2017-08-11 15:07:03 +03:00
, tree-sitter-typescript
tree-sitter-java updates
2018-03-16 01:53:55 +03:00
, tree-sitter-java
I mean, sure.
2015-11-18 01:44:16 +03:00
default-language: Haskell2010
Move MultiParamTypeClasses, StandaloneDeriving, and DataKinds to default-extensions
2018-03-22 19:23:11 +03:00
default-extensions: DataKinds
, DeriveFoldable
Align cause it's fun
2018-03-16 20:15:59 +03:00
, DeriveFunctor
, DeriveGeneric
, DeriveTraversable
, FlexibleContexts
, FlexibleInstances
Move MultiParamTypeClasses, StandaloneDeriving, and DataKinds to default-extensions
2018-03-22 19:23:11 +03:00
, MultiParamTypeClasses
Align cause it's fun
2018-03-16 20:15:59 +03:00
, OverloadedStrings
, RecordWildCards
Move MultiParamTypeClasses, StandaloneDeriving, and DataKinds to default-extensions
2018-03-22 19:23:11 +03:00
, StandaloneDeriving
Align cause it's fun
2018-03-16 20:15:59 +03:00
, StrictData
Make typeapplications a default extension
2018-03-26 19:00:19 +03:00
, TypeApplications
Make builds run at -O0 by default, except for CI/deploy. It's always been easy to forget the `--fast` flag. With the introduction of `semanticd`, forgetting that carries a significant speed hit, as GHC optimizes the resulting executable very thoroughly, which entails a significant uptick in time spent building. For our collective sanity's sake, this patch makes `stack build` operate without optimizations. CI and deploy jobs pass `--flag semantic:release` to `stack`, which specifies the `-O2` level of optimizations. Timing `stack clean && stack build` (which rebuilds the tree-sitter packages) went from 6m17s to 3m04s on my machine. When building just `semantic` by itself, standard builds take 1m06s, whereas builds with `--flag semantic:release` take 4m12s. (GHC does a lot of optimizations!)
2018-05-23 00:18:03 +03:00
if flag(release)
Add -Wmissing-export-lists to semantic.
2018-07-19 21:56:58 +03:00
ghc-options: -Wall -Werror -Wmissing-export-lists -Wcompat -Wincomplete-record-updates -Wincomplete-uni-patterns -Wredundant-constraints -fno-warn-name-shadowing -O1 -j
Make builds run at -O0 by default, except for CI/deploy. It's always been easy to forget the `--fast` flag. With the introduction of `semanticd`, forgetting that carries a significant speed hit, as GHC optimizes the resulting executable very thoroughly, which entails a significant uptick in time spent building. For our collective sanity's sake, this patch makes `stack build` operate without optimizations. CI and deploy jobs pass `--flag semantic:release` to `stack`, which specifies the `-O2` level of optimizations. Timing `stack clean && stack build` (which rebuilds the tree-sitter packages) went from 6m17s to 3m04s on my machine. When building just `semantic` by itself, standard builds take 1m06s, whereas builds with `--flag semantic:release` take 4m12s. (GHC does a lot of optimizations!)
2018-05-23 00:18:03 +03:00
else
Add -Wmissing-export-lists to semantic.
2018-07-19 21:56:58 +03:00
ghc-options: -Wall -Wmissing-export-lists -Wcompat -Wincomplete-record-updates -Wincomplete-uni-patterns -Wredundant-constraints -fno-warn-name-shadowing -O0 -j
Set -O2 in profile, threadscope, and CI builds only.
2017-06-15 19:00:01 +03:00
ghc-prof-options: -fprof-auto
I mean, sure.
2015-11-18 01:44:16 +03:00
Change binary name to just 'semantic'
2017-04-03 19:28:53 +03:00
executable semantic
Try out moving project around
2016-10-06 02:17:46 +03:00
hs-source-dirs: app
main-is: Main.hs
Make builds run at -O0 by default, except for CI/deploy. It's always been easy to forget the `--fast` flag. With the introduction of `semanticd`, forgetting that carries a significant speed hit, as GHC optimizes the resulting executable very thoroughly, which entails a significant uptick in time spent building. For our collective sanity's sake, this patch makes `stack build` operate without optimizations. CI and deploy jobs pass `--flag semantic:release` to `stack`, which specifies the `-O2` level of optimizations. Timing `stack clean && stack build` (which rebuilds the tree-sitter packages) went from 6m17s to 3m04s on my machine. When building just `semantic` by itself, standard builds take 1m06s, whereas builds with `--flag semantic:release` take 4m12s. (GHC does a lot of optimizations!)
2018-05-23 00:18:03 +03:00
if flag(release)
-O2 is ridiculously slow, let's hold off for now
2018-05-23 00:48:07 +03:00
ghc-options: -threaded -rtsopts "-with-rtsopts=-N -A4m -n2m" -static -j -O1 -j
Make builds run at -O0 by default, except for CI/deploy. It's always been easy to forget the `--fast` flag. With the introduction of `semanticd`, forgetting that carries a significant speed hit, as GHC optimizes the resulting executable very thoroughly, which entails a significant uptick in time spent building. For our collective sanity's sake, this patch makes `stack build` operate without optimizations. CI and deploy jobs pass `--flag semantic:release` to `stack`, which specifies the `-O2` level of optimizations. Timing `stack clean && stack build` (which rebuilds the tree-sitter packages) went from 6m17s to 3m04s on my machine. When building just `semantic` by itself, standard builds take 1m06s, whereas builds with `--flag semantic:release` take 4m12s. (GHC does a lot of optimizations!)
2018-05-23 00:18:03 +03:00
else
ghc-options: -threaded -rtsopts "-with-rtsopts=-N -A4m -n2m" -static -j -O0 -j
Try out moving project around
2016-10-06 02:17:46 +03:00
cc-options: -DU_STATIC_IMPLEMENTATION=1
cpp-options: -DU_STATIC_IMPLEMENTATION=1
build-depends: base
Rename semantic-diff to semantic
2018-02-26 21:16:56 +03:00
, semantic
Try out moving project around
2016-10-06 02:17:46 +03:00
default-language: Haskell2010
:fire: Prologue & protolude.
2017-07-28 21:37:02 +03:00
default-extensions: FlexibleInstances, OverloadedStrings, RecordWildCards
Try out moving project around
2016-10-06 02:17:46 +03:00
Change semantic-diff-test -> test
2016-09-15 00:12:06 +03:00
test-suite test
I mean, sure.
2015-11-18 01:44:16 +03:00
type: exitcode-stdio-1.0
hs-source-dirs: test
main-is: Spec.hs
Sort the test modules.
2018-05-07 21:20:56 +03:00
other-modules: Analysis.Go.Spec
Write a small spec for evaluating PHP includes
2018-03-20 00:42:00 +03:00
, Analysis.PHP.Spec
Test out rest of python imports, move to new dir
2018-03-10 02:16:07 +03:00
, Analysis.Python.Spec
TDD FTW
2018-03-14 02:19:26 +03:00
, Analysis.Ruby.Spec
Test out some TypeScript imports
2018-03-10 02:54:52 +03:00
, Analysis.TypeScript.Spec
Sort the test modules.
2018-05-07 21:20:56 +03:00
, Assigning.Assignment.Spec
Stub in a spec for Evaluator.
2018-05-07 21:21:05 +03:00
, Control.Abstract.Evaluator.Spec
add spec file
2018-09-14 20:08:08 +03:00
, Control.Rewriting.Spec
Resolve module import paths that walk up directory structure (e.g. ../)
2018-04-18 00:13:01 +03:00
, Data.Abstract.Path.Spec
Move Mergeable into the tests.
2018-07-20 16:52:43 +03:00
, Data.Diff.Spec
Combine the generic Eq1, Ord1, & Show1 implementations into a single module.
2017-11-30 18:24:48 +03:00
, Data.Functor.Classes.Generic.Spec
Move all the Listable stuff into the tests.
2017-09-09 16:44:57 +03:00
, Data.Functor.Listable
Move Mergeable into the tests.
2018-07-20 16:52:43 +03:00
, Data.Mergeable
Standardize and fix floating-point parsing. The existence of #1705 showed me that it's time to remove the bandaid of a fix that was `normalizeFloatString` in #1537. This patch introduces a proper Attoparsec parser for Scientific values that handles the vaguaries of cross-language floating-point syntax. We already depended on Attoparsec indirectly, so adding it as an explicit dependency is fine. A unit test is included, with examples taken from the tree-sitter corpora.
2018-04-04 00:02:56 +03:00
, Data.Scientific.Spec
Rename the Source spec.
2017-11-27 21:49:52 +03:00
, Data.Source.Spec
Rename the Term spec.
2017-11-27 22:02:03 +03:00
, Data.Term.Spec
Rename the RWS spec.
2017-11-27 21:48:43 +03:00
, Diffing.Algorithm.RWS.Spec
Rename the SES spec.
2017-11-27 21:51:05 +03:00
, Diffing.Algorithm.SES.Spec
Rename the Interpreter spec.
2017-11-27 22:03:45 +03:00
, Diffing.Interpreter.Spec
Simplest test possible.
2018-07-16 18:07:40 +03:00
, Graphing.Calls.Spec
Rename the Integration spec.
2017-11-27 22:06:12 +03:00
, Integration.Spec
Introduce tree-automata DSL for filtering and matching ASTs. This patch adds the `Matcher` monad, which is capable of filtering any recursive data structure, bottom-up, yielding a list of (or an optional) result. These functions are probably going to be used over `Term` values, so API is provided to wrap common projection functions. The API was more or less copied directly from that of Clang's AST matching facilities. There are a lot of things we can do in the future: * Binding results yielded in matchers to associated names, for future transformation stages to look up and modify. * Actual transformation stages. * Optimizations. This is not very fast. A million thanks to @robrix, whose sage advice managed to turn my kooky idea for an API into something really special and exciting.
2018-03-27 23:14:30 +03:00
, Matching.Go.Spec
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 18:55:32 +03:00
, Numeric.Spec
Roundtrip test for protobuf instances.
2018-06-05 19:07:47 +03:00
, Proto3.Roundtrip
better module name
2018-07-31 17:43:46 +03:00
, Reprinting.Spec
Rename the TOC spec.
2017-11-27 22:04:58 +03:00
, Rendering.TOC.Spec
Rename the Semantic spec.
2017-11-27 22:00:53 +03:00
, Semantic.Spec
Rename the CLI spec.
2017-11-27 21:57:25 +03:00
, Semantic.CLI.Spec
Rename the IO spec.
2017-11-27 21:52:48 +03:00
, Semantic.IO.Spec
Rename the Stat spec.
2017-11-27 21:58:23 +03:00
, Semantic.Stat.Spec
Tease apart file reading and transcoding
2017-04-19 19:12:19 +03:00
, SpecHelpers
Stub in an Hspec/LeanCheck integration module.
2017-01-06 00:41:23 +03:00
, Test.Hspec.LeanCheck
Assert to summary json output
2017-02-23 07:05:20 +03:00
build-depends: aeson
Simplest test possible.
2018-07-16 18:07:40 +03:00
, algebraic-graphs
add test for cancelling in-flight parsers
2018-05-23 00:01:17 +03:00
, async
Generate an empty array.
2017-02-03 23:57:05 +03:00
, base
The tests depend on bifunctors.
2016-03-22 01:53:57 +03:00
, bifunctors
Fix up tests to use ByteString too
2017-03-09 00:56:08 +03:00
, bytestring
Roundtrip test for protobuf instances.
2018-06-05 19:07:47 +03:00
, containers
Define Listable instances for non-empty Unions.
2017-09-26 02:08:55 +03:00
, effects
Link the tests against fastsum.
2018-05-07 00:22:32 +03:00
, fastsum
Add a spec for test files
2016-02-17 00:38:31 +03:00
, filepath
:fire: Prologue & protolude.
2017-07-28 21:37:02 +03:00
, free
Add a spec for test files
2016-02-17 00:38:31 +03:00
, Glob
The tests depend on hashable.
2018-05-16 23:19:08 +03:00
, hashable
Update the tests.
2017-04-18 18:06:24 +03:00
, haskell-tree-sitter
Add .hspec for depths default, make sure hspec version supports
2017-02-17 19:27:51 +03:00
, hspec >= 2.4.1
Integrate LeanCheck into Hspec.
2017-01-08 07:16:27 +03:00
, hspec-core
Prune build-depends
2016-10-06 04:47:47 +03:00
, hspec-expectations-pretty-diff
Print failed examples nicely.
2017-02-14 17:57:21 +03:00
, HUnit
Integrate LeanCheck into Hspec.
2017-01-08 07:16:27 +03:00
, leancheck
Use a deep embedding for Tokenize.
2018-09-12 01:54:37 +03:00
, machines
The tests depend on mtl.
2016-05-21 07:07:35 +03:00
, mtl
Test actual sending of data
2017-10-04 21:40:39 +03:00
, network
Roundtrip test for protobuf instances.
2018-06-05 19:07:47 +03:00
, proto3-suite
Add a test to ensure no one breaks Enum instances for Language.
2018-06-05 19:32:24 +03:00
, proto3-wire
Sort the test dependencies alphabetically.
2016-08-05 03:42:39 +03:00
, recursion-schemes >= 4.1
Depend on semilattices in the tests.
2018-06-15 18:40:26 +03:00
, semilattices
Rename semantic-diff to semantic
2018-02-26 21:16:56 +03:00
, semantic
pin QuickCheck and hspec
2015-12-15 22:53:03 +03:00
, text >= 1.2.1.3
Replace Data.Bifunctor.These and Data.Align with the `these` package.
2016-04-15 05:00:00 +03:00
, these
This is a nice linker you have here. It’d be a shame if anything were to happen to it.
2017-06-15 00:35:50 +03:00
ghc-options: -threaded -rtsopts -with-rtsopts=-N -j
I mean, sure.
2015-11-18 01:44:16 +03:00
default-language: Haskell2010
Move MultiParamTypeClasses, StandaloneDeriving, and DataKinds to default-extensions
2018-03-22 19:23:11 +03:00
default-extensions: DataKinds
, DeriveFunctor
, DeriveGeneric
, FlexibleContexts
, FlexibleInstances
, MultiParamTypeClasses
, OverloadedStrings
, RecordWildCards
, StandaloneDeriving
Make typeapplications a default extension
2018-03-26 19:00:19 +03:00
, TypeApplications
I mean, sure.
2015-11-18 01:44:16 +03:00
New approach for linting
2018-05-21 18:17:11 +03:00
test-suite lint
type: exitcode-stdio-1.0
hs-source-dirs: test
main-is: Lint.hs
default-language: Haskell2010
ghc-options: -dynamic -threaded -j
build-depends: base
, hlint
First pass at doing parse-examples in haskell and hspec
2018-09-18 01:49:18 +03:00
test-suite parse-examples
type: exitcode-stdio-1.0
hs-source-dirs: test
main-is: Examples.hs
default-language: Haskell2010
ghc-options: -threaded -rtsopts -with-rtsopts=-N -j
build-depends: base
, bytestring
, directory
Mark assignment timeouts as pending
2018-09-18 23:00:31 +03:00
, effects
First pass at doing parse-examples in haskell and hspec
2018-09-18 01:49:18 +03:00
, fastsum
, filepath
, Glob
, hspec >= 2.4.1
, hspec-core
, hspec-expectations-pretty-diff
, process
, semantic
Introduce datatype for these language examples
2018-09-18 02:46:45 +03:00
default-extensions: RecordWildCards
Mark assignment timeouts as pending
2018-09-18 23:00:31 +03:00
, FlexibleContexts
First pass at doing parse-examples in haskell and hspec
2018-09-18 01:49:18 +03:00
Add a doctest component.
2018-03-16 21:06:38 +03:00
test-suite doctests
type: exitcode-stdio-1.0
hs-source-dirs: test
main-is: Doctests.hs
default-language: Haskell2010
Build with as many cores as we can muster.
2018-03-19 17:20:10 +03:00
ghc-options: -dynamic -threaded -j
Add a doctest component.
2018-03-16 21:06:38 +03:00
build-depends: base
, doctest
I mean, sure.
2015-11-18 01:44:16 +03:00
flesh out some benchmarks
2018-03-08 03:34:20 +03:00
benchmark evaluation
New approach for linting
2018-05-21 18:17:11 +03:00
hs-source-dirs: bench
type: exitcode-stdio-1.0
main-is: Main.hs
-O2 is ridiculously slow, let's hold off for now
2018-05-23 00:48:07 +03:00
ghc-options: -threaded -rtsopts "-with-rtsopts=-N -A4m -n2m -T" -static -j -O1
New approach for linting
2018-05-21 18:17:11 +03:00
cc-options: -DU_STATIC_IMPLEMENTATION=1
cpp-options: -DU_STATIC_IMPLEMENTATION=1
default-language: Haskell2010
build-depends: base
, criterion
, semantic
flesh out some benchmarks
2018-03-08 03:34:20 +03:00
I mean, sure.
2015-11-18 01:44:16 +03:00
source-repository head
type: git
Rename semantic-diff to semantic
2018-02-26 21:16:56 +03:00
location: https://github.com/github/semantic
Reference in New Issue Copy Permalink