github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2025-01-08 08:30:27 +03:00
Code Issues Projects Releases Wiki Activity
25,619 Commits 19 Branches 16 Tags 46 MiB
85bf290471
Commit Graph

25619 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
joshvera
85bf290471 deref takes an Address address 2018-09-20 12:14:13 -04:00
joshvera
31bc54f994 An Address address stores a Position 2018-09-20 12:11:29 -04:00
joshvera
72d55b28fb A Heap stores an IntMap of slots 2018-09-20 12:11:12 -04:00
joshvera
23b7061a07 Return rvalBox unit in VariableDeclaration for now 
But VariableDeclaration shouldn't return an `Address address`. It doesn't result in a declaration.
 2018-09-20 12:10:32 -04:00
joshvera
fc5a1b61cc Looking up a declaration returns its position 2018-09-20 12:09:28 -04:00
joshvera
f7de8f8345 Scope graphs store positions 
Paths in scope graphs end in a declaration and a position
 2018-09-20 12:09:12 -04:00
joshvera
0d4c32f3d3 Need to pass address to namespace for now 2018-09-20 12:08:32 -04:00
joshvera
8fa5c283cf what if we don't need rvalBox 2018-09-20 12:08:16 -04:00
joshvera
6f15861dc1 Declaring a declaration returns a position 2018-09-20 12:08:04 -04:00
joshvera
305d5a47d3 or box 2018-09-20 12:07:25 -04:00
joshvera
d49c574253 what if we don't need letrec 2018-09-20 12:07:13 -04:00
joshvera
03b4a80feb All functions have names now 2018-09-18 19:29:28 -04:00
joshvera
a09fd44869 klass takes a Declaration 2018-09-18 18:49:25 -04:00
joshvera
a50b1c84d9 Take declarations in Control.Abstract.Primitive 2018-09-18 18:49:14 -04:00
joshvera
f8f4c03dee Add address param to Heap 2018-09-18 18:48:53 -04:00
joshvera
d7a219a0d6 what if we don't need these 2018-09-18 18:34:31 -04:00
joshvera
be8684e2eb Pass Declarations to namespace 2018-09-18 18:24:10 -04:00
joshvera
ae08c27853 Add name functions to Declaration and Reference 2018-09-18 18:23:57 -04:00
joshvera
e3d1876627 Take Declarations in letrec 2018-09-18 18:22:34 -04:00
joshvera
2fad026665 Deref and assign declarations in the heap effects 2018-09-18 18:04:09 -04:00
joshvera
75efcf261f store sets of values in the Heap 2018-09-18 18:03:54 -04:00
joshvera
b29573bd2b Merge remote-tracking branch 'origin/scopes-and-frames' into heap-frames 2018-09-18 12:28:43 -04:00
joshvera
906da72e54 Merge remote-tracking branch 'origin/master' into scopes-and-frames 2018-09-18 12:26:18 -04:00
joshvera
1c95f42ff8 Rename and document EdgeLabel 2018-09-18 12:25:58 -04:00
joshvera
8c917e3523 Add lowerBound instance 2018-09-18 12:25:43 -04:00
Patrick Thomson
12ac402656 Merge pull request #2176 from github/bump-synopsis 
Replace the "initial project from stack" synopsis.
 2018-09-17 16:33:49 -04:00
Patrick Thomson
7c35cb524a Merge branch 'master' into bump-synopsis 2018-09-17 16:18:58 -04:00
joshvera
9dce4ad6a0 WIP 2018-09-17 14:44:19 -04:00
joshvera
82b6b7c52e Don't construct new scopes for every local assignment 
Only construct a new scope for a local assignment if its rhs has an associated scope.
 2018-09-17 13:29:50 -04:00
joshvera
659c51305f remove comment 2018-09-17 13:28:50 -04:00
joshvera
7e33afef4f Remove comments 2018-09-17 13:15:20 -04:00
joshvera
2d071e5090 Remove Data.Abstract.Frame for now 2018-09-17 13:05:24 -04:00
joshvera
5c96b3d6d7 Merge remote-tracking branch 'origin/master' into scopes-and-frames 2018-09-17 12:08:27 -04:00
Patrick Thomson
1d93c913bb Merge pull request #2173 from github/assignment-timeout 
Assignment timeout
 2018-09-17 11:26:24 -04:00
Patrick Thomson
06b44c4fc9 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 11:21:21 -04:00
joshvera
68ca3b06bc Remove type-combinators dep 2018-09-14 19:04:09 -04:00
joshvera
4e28c3aa0c Cover all New cases 2018-09-14 18:50:22 -04:00
joshvera
7d287a8ca7 Remove declaration free variable 
and clean up lints
 2018-09-14 18:35:11 -04:00
joshvera
8bc8b196a2 docs 2018-09-14 18:25:24 -04:00
joshvera
8e1e9579da lints 2018-09-14 18:16:54 -04:00
joshvera
a4f84f4371 Remove scratch Scope file 2018-09-14 18:14:34 -04:00
joshvera
b70dd31027 Fix Declarations1 MemberAccess instance 2018-09-14 18:14:02 -04:00
joshvera
eb71b512b3 Fix test type errors 2018-09-14 18:04:08 -04:00
joshvera
41881f3057 Add edges to superclasses 2018-09-14 17:06:26 -04:00
Timothy Clem
d2524e194d Merge branch 'master' into assignment-timeout 2018-09-14 14:03:37 -07:00
Timothy Clem
aea6e81ad7 This can use our timeout effect now 2018-09-14 14:01:15 -07:00
Timothy Clem
d16c07dfc6 Refine our Duration api 2018-09-14 13:50:02 -07:00
joshvera
ce2263d5e5 Set a declaration's scope on assignment 2018-09-14 15:12:29 -04:00
joshvera
d19b861cbe Eval instance for New 2018-09-14 11:35:43 -04:00
joshvera
c61c592ef6 Prefer import edges over parent edges 2018-09-13 18:27:19 -04:00