github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-27 17:05:33 +03:00
Code Issues Projects Releases Wiki Activity
31,722 Commits 19 Branches 16 Tags 46 MiB
c76c52757b
Commit Graph

31722 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Patrick Thomson
bea0ce153d Port dead-code analysis. 2019-11-08 19:25:36 -05:00
Patrick Thomson
d953793450 Make PythonPackage use our project function. 2019-11-08 16:37:15 -05:00
Patrick Thomson
9d1bd90bed Algebrize Abstract.Address.Hole. 2019-11-08 16:35:13 -05:00
Patrick Thomson
ca814174b8 Missing Prologue import. 2019-11-08 16:32:19 -05:00
Patrick Thomson
911066aaed Use fused-effects's foldMapA. 2019-11-08 16:24:50 -05:00
Patrick Thomson
5b0ccc9b15 Algebrize Address.Precise. 2019-11-08 16:22:04 -05:00
Patrick Thomson
f859f4a630 Has-ify Abstract.Value.Abstract. 2019-11-08 16:20:58 -05:00
Patrick Thomson
99f0016d7c Port Abstract.Value.Concrete to FE1. 2019-11-08 16:17:47 -05:00
Patrick Thomson
7b447b5018 Port Abstract.Value.Type to FE1. 2019-11-08 16:05:35 -05:00
Patrick Thomson
f527e423ca Has-ify the Syntax modules. 2019-11-08 16:00:23 -05:00
Patrick Thomson
1c1b8a8f75 Has-ify Ruby syntax. 2019-11-08 15:53:50 -05:00
Patrick Thomson
1a4c95ca24 Has-ify TypeScript.Resolution. 2019-11-08 15:29:32 -05:00
Patrick Thomson
e45b7086b9 Has-ify Syntax.TypeScript. 2019-11-08 14:22:14 -05:00
Patrick Thomson
00e821d68f Has-ify Data.Abstract.Evaluatable. 2019-11-08 14:16:34 -05:00
Patrick Thomson
bf0b830b2e Has-ify Control.Abstract.Primitive. 2019-11-08 14:12:30 -05:00
Patrick Thomson
a73f8e83de Has-ify Control.Abstract.Value. 2019-11-08 14:11:32 -05:00
Patrick Thomson
e71e10fb17 Port Abstract.Heap to FE1. 2019-11-08 14:01:34 -05:00
Patrick Thomson
06fad83d8b Port Abstract.Modules to FE1. 2019-11-08 13:56:09 -05:00
Patrick Thomson
7ed1c8c7a5 Port Abstract.ScopeGraph to FE1. 
This was a little involved.
 2019-11-08 13:52:08 -05:00
Patrick Thomson
78d265e307 Has-ify Data.Abstract.BaseError. 2019-11-08 13:41:50 -05:00
Patrick Thomson
edac9f4716 Has-ify Control.Abstract.Context. 2019-11-08 13:41:04 -05:00
Patrick Thomson
89b8a50737 Fix Algebra for REPL. 2019-11-08 13:39:13 -05:00
Patrick Thomson
3e6c84a48e Has-ify Control.Abstract.Roots. 2019-11-08 13:37:47 -05:00
Patrick Thomson
4543148e73 Has-ify Data.Abstract.Name. 2019-11-08 13:33:06 -05:00
Patrick Thomson
66584f8aae Use proper carriers and kill runM in Parsing.TreeSitter. 2019-11-08 12:56:10 -05:00
Patrick Thomson
8c0224ab08 Has-ify Data.Blob. 2019-11-08 12:35:00 -05:00
Patrick Thomson
c765b28c4c FE1-ify Diffing.Interpreter. 2019-11-08 12:33:52 -05:00
Patrick Thomson
7d8ccd42ce Port Diffing.Algorithm to FE1. 2019-11-08 12:26:13 -05:00
Patrick Thomson
a81483f5ab Fix Interpose effect. 2019-11-08 12:22:29 -05:00
Patrick Thomson
f2f5eccdeb Add Control.Effect.Sum.Project. 
Fixes #289.
 2019-11-08 12:20:43 -05:00
Patrick Thomson
b60491714f Fix type errors in Interpose before porting over prj. 2019-11-08 12:16:10 -05:00
Patrick Thomson
c06873bedb Port Control.Abstract.Evaluator to FE1. 2019-11-08 12:14:33 -05:00
Patrick Thomson
e3db8c1224 Add fused-effects-resumable as a dependency. 2019-11-08 12:14:22 -05:00
Patrick Thomson
e74183c285 Port Java tagging to FE1. 2019-11-08 12:06:48 -05:00
Patrick Thomson
7acd177fa7 Port Python tagging to FE1. 2019-11-08 12:04:52 -05:00
Patrick Thomson
fbea9072f8 Port Python compiler to use Has. 2019-11-08 12:03:10 -05:00
Patrick Thomson
f65faec2a8 Track a local tree-sitter so this starts building. 2019-11-08 12:00:46 -05:00
Patrick Thomson
9fb876be84 Port over RightModule definitions for Core and Ann. 2019-11-08 10:36:43 -05:00
Patrick Thomson
a11462dc13 PureC is gone. 2019-11-08 10:27:50 -05:00
Patrick Thomson
0ceba4a160 Ensure Readline is an HFunctor. 2019-11-08 10:24:54 -05:00
Patrick Thomson
f1a5f0439d Fix state type in concrete analysis. 2019-11-08 10:24:18 -05:00
Patrick Thomson
df98749bd0 Fix Analysis.ImportGraph. 2019-11-08 10:23:39 -05:00
Patrick Thomson
e6bf975ee8 Fix state type in runFile. 2019-11-08 10:22:58 -05:00
Patrick Thomson
cac8047ee0 Fix Typecheck analysis. 
Had to write this RightModule instance by hand. It typechecks, so I
guess it works?
 2019-11-08 10:21:48 -05:00
Patrick Thomson
3feec0e5ee Correct Algebra instance for FailC. 2019-11-08 10:16:34 -05:00
Patrick Thomson
e041d2440d 🔥 state types in FlowInsensitive. 2019-11-08 10:16:20 -05:00
Patrick Thomson
edc1894299 Pin to correct fused-syntax and fused-exceptions. 2019-11-08 10:14:54 -05:00
Patrick Thomson
35ea116f00 Bump various FE dependencies from 0.5 to 1.0. 2019-11-07 15:48:57 -05:00
Patrick Thomson
593eb129b6 Track TS upstream. So many dependencies! 2019-11-07 15:47:11 -05:00
Patrick Thomson
405c49d806
Merge pull request #368 from github/release-0.9.0.0 
Bump version to 0.9.0.0.
 2019-11-07 15:02:04 -05:00