github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-30 10:27:45 +03:00
Code Issues Projects Releases Wiki Activity
24,958 Commits 19 Branches 16 Tags 46 MiB
d932f069de
Commit Graph

24958 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Rob Rix
bf388b4f50 Generalizes providingLiveSet to PureEffects. 2018-07-23 11:07:55 -04:00
Rob Rix
16e0a43a77 Generalize the graphing handlers to PureEffects. 2018-07-23 11:07:30 -04:00
Timothy Clem
67c6c7eb83 Merge branch 'master' into control-flow-part2 2018-07-23 08:04:59 -07:00
Rob Rix
be526492ff Generalize everything we can to PureEffects. 2018-07-23 11:02:54 -04:00
Rob Rix
182c539718 Bump effects for a generalization to bracket. 2018-07-23 11:02:19 -04:00
Rob Rix
d1a9775874 Bump effects. 2018-07-23 10:55:07 -04:00
Rob Rix
490bd54d1e Define a runBoolean handler for Concrete semantics. 2018-07-23 10:53:59 -04:00
Rob Rix
28fb83dfcb Define a runBoolean handler for Type semantics. 2018-07-23 10:50:50 -04:00
Rob Rix
73c8443a6b Define a runBoolean handler for Abstract semantics. 2018-07-23 10:48:07 -04:00
Rob Rix
bdb1437e5c Define a runUnit handler for Concrete semantics. 2018-07-23 10:45:22 -04:00
Rob Rix
0bf81660ed Define a runUnit handler for Type semantics. 2018-07-23 10:44:28 -04:00
Rob Rix
d8f8f66594 Define a runUnit handler for Abstract semantics. 2018-07-23 10:43:15 -04:00
Rob Rix
33c6bc88f4 Correct the test. 2018-07-23 10:26:26 -04:00
Rob Rix
861a3fc80e Rename closure to function. 2018-07-23 10:26:06 -04:00
Rob Rix
a6b3192be7 Specialize call to call-by-value. 2018-07-23 10:18:25 -04:00
Rob Rix
056177572c Define a call' smart constructor. 2018-07-23 10:13:49 -04:00
Rob Rix
0b29c97b25 Define a function' smart constructor. 2018-07-23 10:12:12 -04:00
Rob Rix
48b4169dce Define an asPair' smart constructor. 2018-07-23 10:05:43 -04:00
Rob Rix
4677961b85 Define a pair' smart constructor. 2018-07-23 10:04:58 -04:00
Rob Rix
ebe220b361 Define an asBool smart constructor. 2018-07-23 10:04:12 -04:00
Rob Rix
c675754b15 Define a boolean smart constructor. 2018-07-23 10:03:31 -04:00
Rob Rix
c023034df8 Define a unit' smart constructor. 2018-07-23 10:02:53 -04:00
Rob Rix
4fe4fc3e05 Export Unit, Boolean, and Pair. 2018-07-23 09:58:33 -04:00
Ayman Nadeem
8233b537ec Merge branch 'master' into java-assignment-continued 2018-07-23 09:29:27 -04:00
Rob Rix
e98fa6cbea Define a Pair effect. 2018-07-23 09:27:58 -04:00
Rob Rix
9f90a5304b Define a Boolean effect. 2018-07-23 09:26:22 -04:00
Ayman Nadeem
f09f2ce26a add tests for normalInterfaceDeclaration and assertStatements in stringLiteral 2018-07-23 09:26:02 -04:00
Rob Rix
8e93c06bb7 Define a Unit effect. 2018-07-23 09:23:53 -04:00
Rob Rix
3ee347c89c Define a PureEffect instance for Function. 2018-07-23 09:22:10 -04:00
Rob Rix
aa1e7eb9ce Bump effects. 2018-07-23 09:19:36 -04:00
Charlie Somerville
1858d4d048 fix up dedup comment 2018-07-23 23:19:33 +10:00
Charlie Somerville
9b4fe7eebb appease linter 2018-07-23 23:18:17 +10:00
Rob Rix
bc3b493f31 Stub in a Function effect. 2018-07-23 09:15:16 -04:00
Charlie Somerville
e2fd4b2ba4 fix up doc comments 2018-07-23 17:45:59 +10:00
Charlie Somerville
f5e2035530 retain existing namespace superclass if set 2018-07-23 17:42:26 +10:00
Charlie Somerville
8642cb4e1f fix method name order assertion in subclass spec 2018-07-23 17:42:03 +10:00
Charlie Somerville
1543161f0e remove shadowed names in allNames 2018-07-23 17:41:47 +10:00
Charlie Somerville
dae549dd46 Merge branch 'master' into charliesome/module-result 2018-07-23 16:34:55 +10:00
Timothy Clem
deb5961091 Little bit of naming clarity 2018-07-20 16:55:20 -07:00
Josh Vera
9d307f5632 Merge pull request #2079 from github/move-mergeable-into-the-tests 
Move Mergeable into the tests
 2018-07-20 16:16:34 -04:00
joshvera
fa9a060d09 Consume constant method class and interfaces in normal interfaces 
Co-Authored-By: Ayman Nadeem <aymannadeem@gmail.com>
 2018-07-20 16:03:48 -04:00
joshvera
5edd10b9a0 Added annotationTypeElement 
Co-Authored-By: Ayman Nadeem <aymannadeem@gmail.com>
 2018-07-20 15:57:27 -04:00
joshvera
1fc2059cf1 spaces 
Co-Authored-By: Ayman Nadeem <aymannadeem@gmail.com>
 2018-07-20 15:56:20 -04:00
joshvera
fb56ac59d0 Add types to AnnotationTypeElement 
Co-Authored-By: Ayman Nadeem <aymannadeem@gmail.com>
 2018-07-20 15:56:13 -04:00
joshvera
bc8e1ff1ec Add annotatedType 
and add back catchType to catchFormalParameter

Co-Authored-By: Ayman Nadeem <aymannadeem@gmail.com>
 2018-07-20 15:46:33 -04:00
joshvera
a3679cfd8b AnnotatedType CatchType data types 
Co-Authored-By: Ayman Nadeem <aymannadeem@gmail.com>
 2018-07-20 15:46:03 -04:00
joshvera
0c97d05d48 Remove Catch and Exception types 
Co-Authored-By: Ayman Nadeem <aymannadeem@gmail.com>
 2018-07-20 15:36:59 -04:00
joshvera
ce56302b4d Dive into children for simple types 
Co-Authored-By: Ayman Nadeem <aymannadeem@gmail.com>
 2018-07-20 15:36:51 -04:00
joshvera
3dfc9ecdb7 Use a type' in constant 
Co-Authored-By: Ayman Nadeem <aymannadeem@gmail.com>
 2018-07-20 15:36:31 -04:00
joshvera
1a8941fc7c Dive in to constant's children 
Co-Authored-By: Ayman Nadeem <aymannadeem@gmail.com>
 2018-07-20 15:19:57 -04:00