GitHub / github/semantic / commits
Parsing, analyzing, and comparing source code across many languages
| SHA | Message | Author | Date | Stats |
|---|---|---|---|---|
| d1d07eb6 | merge Merge pull request #751 from github/end-of-life |
Nathan Stocks <c****t@g****m>
Committed by: GitHub <n****y@g****m> |
about 1 year ago | |
| 8f494f0b | Fix formatting issue in README.md |
Nathan Stocks <c****t@g****m>
Committed by: GitHub <n****y@g****m> |
about 1 year ago | |
| 950ebb26 | Add end of life message |
Nathan Stocks <c****t@g****m>
Committed by: GitHub <n****y@g****m> |
about 1 year ago | |
| ad281b52 | merge Merge pull request #718 from sebastiaanspeck/patch-1 |
rnkaufman <r****n@g****m>
Committed by: GitHub <n****y@g****m> |
about 2 years ago | |
| 0edef40b | Update why-tree-sitter.md |
Sebastiaan Speck <1****k@u****m>
Committed by: GitHub <n****y@g****m> |
about 2 years ago | |
| ada883d7 | Update why-tree-sitter.md |
Sebastiaan Speck <1****k@u****m>
Committed by: GitHub <n****y@g****m> |
about 2 years ago | |
| 7bd2ac25 | merge Merge pull request #716 from github/this-branch-name-left-intentionally-blank |
Rob Rix <r****x@m****m>
Committed by: GitHub <n****y@g****m> |
about 2 years ago | |
| 6700d992 | merge Merge branch 'main' into this-branch-name-left-intentionally-blank |
Rob Rix <r****x@m****m>
Committed by: GitHub <n****y@g****m> |
about 2 years ago | |
| d7f9e09e | merge Merge pull request #703 from SamB/SamB-patch-1 |
Rob Rix <r****x@m****m>
Committed by: GitHub <n****y@g****m> |
about 2 years ago | |
| dff78b1b | Spacing. | Rob Rix <r****x@g****m> | about 2 years ago | |
| 54f3aa70 | -XLambdaCase. | Rob Rix <r****x@g****m> | about 2 years ago | |
| e4cf5c14 | Subterms. | Rob Rix <r****x@g****m> | about 2 years ago | |
| b88c1433 | :fire: Argument. | Rob Rix <r****x@g****m> | about 2 years ago | |
| b02b9bee | Instances. | Rob Rix <r****x@g****m> | about 2 years ago | |
| 5d40d0fa | Export the constructors. | Rob Rix <r****x@g****m> | about 2 years ago | |
| cdad4dce | :fire: the old Python type. | Rob Rix <r****x@g****m> | about 2 years ago | |
| 1fc29e82 | Evaluate terms as directly as possible. | Rob Rix <r****x@g****m> | about 2 years ago | |
| 36c6eae4 | merge Merge branch 'main' into SamB-patch-1 |
Rob Rix <r****x@m****m>
Committed by: GitHub <n****y@g****m> |
about 2 years ago | |
| cd62a565 | Conditionals. | Rob Rix <r****x@g****m> | about 2 years ago | |
| 5e88d145 | Parse imports. | Rob Rix <r****x@g****m> | about 2 years ago | |
| 90ce217f | ffs | Rob Rix <r****x@g****m> | about 2 years ago | |
| 3edbdd09 | Stub in parsing. | Rob Rix <r****x@g****m> | about 2 years ago | |
| 3baf0b47 | merge Merge pull request #715 from github/always-be-treeing |
Rob Rix <r****x@m****m>
Committed by: GitHub <n****y@g****m> |
about 2 years ago | |
| 1d70d130 | Define subterms using mendlerPara. | Rob Rix <r****x@g****m> | about 2 years ago | |
| ad4dba65 | Define para using mendlerPara. | Rob Rix <r****x@g****m> | about 2 years ago | |
| d22bd1e6 | Mendler-style paramorphism. | Rob Rix <r****x@g****m> | about 2 years ago | |
| 809ab74d | UndecidableInstances instead of QuantifiedConstraints. | Rob Rix <r****x@g****m> | about 2 years ago | |
| 07a5740e | Define foldTerm using mendlerTerm. | Rob Rix <r****x@g****m> | about 2 years ago | |
| bcca57af | Align. | Rob Rix <r****x@g****m> | about 2 years ago | |
| c746f937 | Mendler-style recursion. | Rob Rix <r****x@g****m> | about 2 years ago | |
| 050188ff | Define subterms paramorphically. | Rob Rix <r****x@g****m> | about 2 years ago | |
| 3861c388 | Paramorphic fold. | Rob Rix <r****x@g****m> | about 2 years ago | |
| ff22c0bd | General fold over Terms. | Rob Rix <r****x@g****m> | about 2 years ago | |
| 6812e35f | Terms are free monads. | Rob Rix <r****x@g****m> | about 2 years ago | |
| 1df04e82 | :fire: extensions. | Rob Rix <r****x@g****m> | about 2 years ago | |
| 5ccf3377 | Define an Ord1 instance for Python. | Rob Rix <r****x@g****m> | about 2 years ago | |
| 4ed026b3 | Define an Eq1 instance for Python. | Rob Rix <r****x@g****m> | about 2 years ago | |
| 02971162 | Dial the fancy even further back. | Rob Rix <r****x@g****m> | about 2 years ago | |
| 6ea208f7 | :fire: toList. | Rob Rix <r****x@g****m> | about 2 years ago | |
| f96b14d0 | Tone down the fancy. | Rob Rix <r****x@g****m> | about 2 years ago | |
| be357c04 | Define a synonym for Term. | Rob Rix <r****x@g****m> | about 2 years ago | |
| cdde997e | Spacing. | Rob Rix <r****x@g****m> | about 2 years ago | |
| e7c5928f | Rename the synonyms to elide the primes. | Rob Rix <r****x@g****m> | about 2 years ago | |
| 692c3f2b | :fire: Term. | Rob Rix <r****x@g****m> | about 2 years ago | |
| b9ba190c | Port eval over. | Rob Rix <r****x@g****m> | about 2 years ago | |
| fecfa07f | Let. | Rob Rix <r****x@g****m> | about 2 years ago | |
| e1a6215e | HLint. | Rob Rix <r****x@g****m> | about 2 years ago | |
| 948a5c77 | Sequencing. | Rob Rix <r****x@g****m> | about 2 years ago | |
| ed231118 | Completeness. | Rob Rix <r****x@g****m> | about 2 years ago | |
| b19baf01 | Locate. | Rob Rix <r****x@g****m> | about 2 years ago | |
| b6a9faea | Call. | Rob Rix <r****x@g****m> | about 2 years ago | |
| dcf7d40f | Bidirectional. | Rob Rix <r****x@g****m> | about 2 years ago | |
| 42ab0be0 | Function. | Rob Rix <r****x@g****m> | about 2 years ago | |
| a59ff6e3 | Import. | Rob Rix <r****x@g****m> | about 2 years ago | |
| 155ecddd | Throw. | Rob Rix <r****x@g****m> | about 2 years ago | |
| fef8e66d | String. | Rob Rix <r****x@g****m> | over 2 years ago | |
| 1bfe2bbd | Bool. | Rob Rix <r****x@g****m> | over 2 years ago | |
| 45fa9a24 | :fire: the function constructors. | Rob Rix <r****x@g****m> | over 2 years ago | |
| d6263ff0 | Define a pattern synonym for conditionals. | Rob Rix <r****x@g****m> | over 2 years ago | |
| 0a33a89d | Define a pattern synonym for no-ops. | Rob Rix <r****x@g****m> | over 2 years ago | |
| 11b8caa3 | An additional smart constructor. | Rob Rix <r****x@g****m> | over 2 years ago | |
| 175e8190 |
Generic subterms.
Co-authored-by: Rebecca Valentine <1****e@u****m> |
Rob Rix <r****x@g****m> | over 2 years ago | |
| 6b25a758 | Spacing. | Rob Rix <r****x@g****m> | over 2 years ago | |
| 22d693c4 | Simplify the Foldable instances. | Rob Rix <r****x@g****m> | over 2 years ago | |
| 3987aa9f | Define Foldable instances for Vec. | Rob Rix <r****x@g****m> | over 2 years ago | |
| 09c57edd | Define an Ord instance for Vec. | Rob Rix <r****x@g****m> | over 2 years ago | |
| 076e967b | Define an Ord instance for Vec. | Rob Rix <r****x@g****m> | over 2 years ago | |
| 57aed6b6 | merge Merge branch 'all-code-dies-not-all-code-truly-lives' into always-be-treeing | Rob Rix <r****x@g****m> | over 2 years ago | |
| fc4e7e47 | Represent variables in the abstract trees. | Rob Rix <r****x@g****m> | over 2 years ago | |
| b798092d | Go quantify a kite. | Rob Rix <r****x@g****m> | over 2 years ago | |
| fe4a7751 | merge Merge pull request #714 from github/all-code-dies-not-all-code-truly-lives |
Rob Rix <r****x@m****m>
Committed by: GitHub <n****y@g****m> |
over 2 years ago | |
| 138bea9c | Equate Vec. | Rob Rix <r****x@g****m> | over 2 years ago | |
| 71073d78 | Use inductive naturals. | Rob Rix <r****x@g****m> | over 2 years ago | |
| 54f32e95 | Define a smart constructor for no-ops. | Rob Rix <r****x@g****m> | over 2 years ago | |
| 67c77796 | Define a factored Python type. | Rob Rix <r****x@g****m> | over 2 years ago | |
| ef985dc7 | Convert Vec to []. | Rob Rix <r****x@g****m> | over 2 years ago | |
| f8a8f06f | Initial stab at ABT-style term representations. | Rob Rix <r****x@g****m> | over 2 years ago | |
| fba6ecf1 | :fire: all the JSON parsing stuff. | Rob Rix <r****x@g****m> | over 2 years ago | |
| 25485ff8 | :fire: re-exports. | Rob Rix <r****x@g****m> | over 2 years ago | |
| 14cdce0d | Move the Term type into its own module. | Rob Rix <r****x@g****m> | over 2 years ago | |
| 9df11b44 | Define a module for Python syntax. | Rob Rix <r****x@g****m> | over 2 years ago | |
| 94b463e7 | Move let' & letrec into the VM module. | Rob Rix <r****x@g****m> | over 2 years ago | |
| 186ae4f2 | Re-export env & store effects. | Rob Rix <r****x@g****m> | over 2 years ago | |
| 7e990efd | Define a VM module. | Rob Rix <r****x@g****m> | over 2 years ago | |
| 110e6741 | HLint. | Rob Rix <r****x@g****m> | over 2 years ago | |
| 5461ef73 | Reformat. | Rob Rix <r****x@g****m> | over 2 years ago | |
| 9d9f644b | More hlint placating. | Rob Rix <r****x@g****m> | over 2 years ago | |
| 42c8f60d | Reformat. | Rob Rix <r****x@g****m> | over 2 years ago | |
| 2a9daff6 | Placate hlint. | Rob Rix <r****x@g****m> | over 2 years ago | |
| fa4ded2a | merge Merge branch 'main' into all-code-dies-not-all-code-truly-lives | Rob Rix <r****x@g****m> | over 2 years ago | |
| 953eb5aa | merge Merge pull request #713 from github/semantic-source-0.2.0.1 |
Rob Rix <r****x@m****m>
Committed by: GitHub <n****y@g****m> |
over 2 years ago | |
| eb649881 | Explicitly configure semantic-source. | Rob Rix <r****x@g****m> | over 2 years ago | |
| fdb63988 | Evaluate in the right order. | Rob Rix <r****x@g****m> | over 2 years ago | |
| 71d067ca | :fire: eval0. | Rob Rix <r****x@g****m> | over 2 years ago | |
| 20050f8b | :fire: redundant comment. | Rob Rix <r****x@g****m> | over 2 years ago | |
| 97c96586 | Modify the dead term set in deadCodeFlowInsensitive. | Rob Rix <r****x@g****m> | over 2 years ago | |
| 67ded380 | Move subterms into Analysis.Syntax. | Rob Rix <r****x@g****m> | over 2 years ago | |
| 0720d941 | Handle Statement effects. | Rob Rix <r****x@g****m> | over 2 years ago | |
| ef464e99 | Spell the effects out. | Rob Rix <r****x@g****m> | over 2 years ago | |
| dc357277 |
Dead code analysis.
Co-authored-by: Rebecca Valentine <1****e@u****m> |
Rob Rix <r****x@g****m> | over 2 years ago |