github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-11-24 00:42:33 +03:00
Code Issues Projects Releases Wiki Activity
25,182 Commits 19 Branches 16 Tags 46 MiB
d21f0976f0
Commit Graph

295 Commits

Author SHA1 Message Date
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
Rick Winfrey
1665df55aa Merge branch 'master' into interactive-debugger 2018-08-14 15:04:02 -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
Rick Winfrey
383b6208ee Rename ErrorContext -> BaseError 2018-08-07 16:50:55 -07:00
Rob Rix
3c976b3c7f Merge branch 'master' into interactive-debugger 2018-08-07 09:33:53 -04:00
Rick Winfrey
823ae6ac51 Merge branch 'master' into error-context 2018-08-06 13:46:42 -07:00
Rob Rix
dfa3629db4 Add a dependency on haskeline. 2018-08-03 09:25:52 -04:00
Rob Rix
d8cf347822 🔥 the dependency on trifecta. 2018-08-02 16:33:19 -04:00
Rob Rix
9cdcd3c972 Depend on trifecta. 2018-08-02 14:45:55 -04:00
Rob Rix
c6c17a1594 Stub in a module for Quieterm. 
Co-Authored-By: Ayman Nadeem <aymannadeem@gmail.com>
 2018-08-01 15:06:26 -04:00
Rob Rix
fb12fc3a29 Stub in a REPL module. 
Co-Authored-By: Ayman Nadeem <aymannadeem@gmail.com>
 2018-08-01 10:54:57 -04:00
Rick Winfrey
4fbad824d9 Define ErrorContext 2018-07-30 11:11:18 -07:00
Rob Rix
3fa75423d6 Move Mergeable into the tests. 2018-07-20 09:52:43 -04:00
Patrick Thomson
c8ec92ceb4 Make L.TS.Syntax an exports-only module. 2018-07-19 17:23:44 -04:00
Patrick Thomson
c647a558c6 add Syntax.JSX and Resolution 2018-07-19 17:05:44 -04:00
Patrick Thomson
587b97ffa5 Add -Wmissing-export-lists to semantic. 2018-07-19 14:56:58 -04:00
Patrick Thomson
bdd75e6e7c Add export lists to modules missing them. 2018-07-19 14:45:04 -04:00
Patrick Thomson
361f62c812 Rename ImportGraph to AdjacencyList 2018-07-17 11:35:03 -04:00
Patrick Thomson
0ed48c7bbe Simplest test possible. 2018-07-16 11:07:40 -04:00
Timothy Clem
aa480be46d 🔥 old import graph summary 
This hasn't been in the CLI for a while now
 2018-07-06 13:35:09 -07:00
Rob Rix
2a6b1dd109 Move Data.Abstract.Type to Data.Abstract.Value.Type. 2018-07-04 10:46:13 -04:00
Rob Rix
de7ac163d6 Stub in a module for abstract value semantics. 2018-07-04 09:21:51 -04:00
Rob Rix
5100670e72 Rename Data.Abstract.Value to Data.Abstract.Value.Concrete. 2018-07-03 14:22:26 -04:00
Rob Rix
c338fca8b0 Stub in a module for deterministic assignments. 2018-06-27 14:27:15 -04:00
Josh Vera
5538c6b490 Merge branch 'master' into explicit-integer-parser 2018-06-26 17:10:21 -04:00
Patrick Thomson
98030486eb rename AdjList to ImportGraph 2018-06-26 16:54:09 -04:00
Patrick Thomson
bbf814acc1 Merge remote-tracking branch 'origin/master' into import-graph-mk2 2018-06-26 13:49:24 -04:00
Patrick Thomson
f9f0dd5e79 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 11:55:32 -04:00
Rob Rix
dda4c00cb5 🔥 Evaluating. 2018-06-21 13:26:22 -04:00
Patrick Thomson
de5792ef38 will this fix the cabal file? only time will tell 2018-06-18 19:22:42 -04:00
Rob Rix
d39171e9d7 Determine Preludes from the language. 2018-06-18 11:09:01 -04:00
Patrick Thomson
659500551c Merge remote-tracking branch 'origin/master' into import-graph-mk2 2018-06-15 19:30:50 -04:00
Timothy Clem
0ddf994a81 Merge branch 'master' into telemetry-and-config 2018-06-15 10:40:06 -07:00
Patrick Thomson
62d238df09 🔥 Preluded and make prelude paths simpler/explicit 
Preluded was overengineered anyway.
 2018-06-15 11:49:26 -04:00
Rob Rix
da19e87b80 Depend on semilattices in the tests. 2018-06-15 11:40:26 -04:00
Rob Rix
bf06d928c9 Replace Data.Semilattice.Lower with semilattices. 2018-06-15 11:37:49 -04:00
Rob Rix
54ea58fd79 Move the proto3 packages down. 2018-06-15 11:06:26 -04:00
Timothy Clem
a1949ae322 Re-order 2018-06-13 16:39:13 -07:00
Timothy Clem
bff74e55d1 Attempt to have buildVersion in it's own file 2018-06-13 16:39:01 -07:00
Timothy Clem
c3d3425600 Intermediate, but compiling refactor of config and telemetry 2018-06-13 14:23:55 -07:00
Patrick Thomson
dbb04d695d Revert "try adding preludes to extra-source-files" 
This reverts commit 45b44bf90472ccde0708a2cf3e2830c16b1a32e1.
 2018-06-13 16:30:48 -04:00
Patrick Thomson
921c697a25 try adding preludes to extra-source-files 2018-06-13 16:06:54 -04:00
Patrick Thomson
19e7ff7510 Reinstate import graph functionality. 2018-06-13 12:47:35 -04:00