Whiley/WhileyCompiler issues and pull requests

#1163 - Verification is runtime

Issue - State: open - Opened by Erhannis over 2 years ago

#1160 - java.lang.NullPointerException with latest release

Issue - State: closed - Opened by k4rtik over 2 years ago - 4 comments

#1159 - Semantics of Division and Remainder?

Issue - State: open - Opened by DavePearce over 2 years ago
Labels: Bug

#1158 - Move tests into Git submodule

Issue - State: open - Opened by DavePearce over 2 years ago

#1157 - Preconditions for Properties

Issue - State: closed - Opened by DavePearce over 2 years ago
Labels: Feature

#1156 - Std Native Method Implementations

Issue - State: open - Opened by DavePearce over 2 years ago - 1 comment

#1155 - Create Executor

Issue - State: closed - Opened by DavePearce over 2 years ago
Labels: Feature

#1154 - Support Native Final Statics

Issue - State: open - Opened by DavePearce over 2 years ago
Labels: Feature

#1153 - Negative Range Error

Issue - State: closed - Opened by DavePearce over 2 years ago

#1152 - Test Framework Unexpected Early Completion

Issue - State: closed - Opened by DavePearce over 2 years ago

#1151 - Add If Expression

Issue - State: closed - Opened by DavePearce over 2 years ago
Labels: Feature

#1150 - Rework Testing Harness into a Framework

Issue - State: closed - Opened by DavePearce over 2 years ago
Labels: Bug

#1149 - Add Incremental Tests

Issue - State: closed - Opened by DavePearce over 2 years ago - 1 comment
Labels: Feature

#1148 - Runtime Type Checking of Cyclic Assignment

Issue - State: open - Opened by DavePearce over 2 years ago
Labels: Bug

#1147 - Runtime Multiple Assignment

Issue - State: closed - Opened by DavePearce almost 3 years ago
Labels: Bug

#1146 - Interpreter Error Reporting for Casts

Issue - State: closed - Opened by DavePearce almost 3 years ago
Labels: Bug

#1145 - Runtime Checking of Type Invariants

Issue - State: closed - Opened by DavePearce almost 3 years ago
Labels: Bug

#1144 - Cannot Dereference Dynamically Sized (Template) Type

Issue - State: open - Opened by DavePearce almost 3 years ago
Labels: Bug

#1143 - FlowTypeCheck internal failure

Issue - State: open - Opened by DavePearce almost 3 years ago
Labels: Bug

#1142 - Negative Range Failure

Issue - State: closed - Opened by DavePearce almost 3 years ago
Labels: Bug

#1141 - Add Tests related to NameResolution

Issue - State: closed - Opened by DavePearce almost 3 years ago
Labels: Feature

#1140 - Apply QuickCheck During Testing

Issue - State: open - Opened by DavePearce almost 3 years ago
Labels: Feature

#1139 - Automatically Identify Tests which now Pass

Issue - State: closed - Opened by DavePearce almost 3 years ago
Labels: Feature

#1138 - Complete ARCHITECTURE.md

Issue - State: closed - Opened by DavePearce almost 3 years ago

#1137 - Fix QuickCheck Dependencies

Issue - State: closed - Opened by DavePearce almost 3 years ago - 1 comment
Labels: Bug

#1136 - Support QuickCheck Context Configuration

Issue - State: closed - Opened by DavePearce almost 3 years ago

#1135 - Reenable Quick Check

Issue - State: closed - Opened by DavePearce almost 3 years ago
Labels: Feature

#1134 - Another Flow Typing Bug?

Issue - State: closed - Opened by DavePearce almost 3 years ago - 4 comments
Labels: Bug

#1133 - Linking Fix?

Issue - State: open - Opened by DavePearce almost 3 years ago

#1132 - Lambda Typing Bug

Issue - State: closed - Opened by DavePearce almost 3 years ago - 5 comments
Labels: Bug

#1131 - Linking Bug ?

Issue - State: closed - Opened by DavePearce almost 3 years ago - 5 comments
Labels: Bug

#1130 - Better Handling of Syntactic.Exception

Issue - State: open - Opened by DavePearce almost 3 years ago

#1129 - Array & Record Update Operators

Issue - State: closed - Opened by DavePearce almost 3 years ago

#1128 - Bug with Property + Tuple

Issue - State: closed - Opened by DavePearce almost 3 years ago

#1127 - Manage Windows Paths from CLI

Issue - State: closed - Opened by DavePearce almost 3 years ago

#1126 - Support Linking Binaries

Issue - State: closed - Opened by DavePearce almost 3 years ago

#1124 - Support Exponentation Operator

Issue - State: closed - Opened by DavePearce almost 3 years ago
Labels: Feature

#1123 - Remove Verbose (non-brief) Mode

Issue - State: closed - Opened by DavePearce almost 3 years ago

#1122 - Runtime checking Old Static Variable Accesses

Issue - State: closed - Opened by DavePearce about 3 years ago - 1 comment
Labels: Bug

#1121 - Add modifies clause for methods

Issue - State: open - Opened by DavePearce about 3 years ago
Labels: Feature

#1120 - Check for Static Field Assignment

Issue - State: closed - Opened by DavePearce about 3 years ago - 3 comments
Labels: Feature

#1119 - Bug with TestUtils

Issue - State: closed - Opened by DavePearce about 3 years ago
Labels: Bug

#1118 - Remove WyilFile.getPath()

Issue - State: closed - Opened by DavePearce about 3 years ago
Labels: Feature

#1117 - Add support for dependencies to Main driver

Issue - State: closed - Opened by DavePearce about 3 years ago
Labels: Feature

#1116 - Add Main driver

Issue - State: closed - Opened by DavePearce about 3 years ago
Labels: Feature

#1115 - Remove jbuildstore dependency

Issue - State: closed - Opened by DavePearce about 3 years ago
Labels: Refactoring

#1114 - Remove jbuildgraph dependency

Issue - State: closed - Opened by DavePearce about 3 years ago
Labels: Refactoring

#1113 - Enable Binary Integration with WhileyBuildTool

Issue - State: closed - Opened by DavePearce about 3 years ago

#1112 - Update WyIL format for RFC#0003

Issue - State: open - Opened by DavePearce about 3 years ago
Labels: Feature

#1111 - wdk 0.5.3 README example malfunctions

Issue - State: closed - Opened by pnkfelix about 3 years ago - 5 comments

#1110 - Support Specification Elements

Issue - State: closed - Opened by DavePearce about 3 years ago

#1109 - Make Invalid Tests Executable

Issue - State: closed - Opened by DavePearce about 3 years ago - 1 comment
Labels: Feature

#1106 - Split WyCLI out

Issue - State: closed - Opened by DavePearce over 3 years ago
Labels: Refactoring

#1105 - Fix INSTALL command

Issue - State: closed - Opened by DavePearce over 3 years ago
Labels: Bug

#1104 - Release WDK v0.6.0

Issue - State: closed - Opened by DavePearce over 3 years ago

#1101 - Parsing Reference Types

Issue - State: closed - Opened by DavePearce over 3 years ago - 1 comment
Labels: Bug, Easy

#1100 - Cannot dereference within a function?

Issue - State: open - Opened by DavePearce over 3 years ago
Labels: Bug

#1097 - Bug Assigning Through Generic Reference

Issue - State: closed - Opened by DavePearce over 3 years ago
Labels: Bug, Easy

#1095 - Flow Typing Over Type Invariants

Issue - State: open - Opened by DavePearce over 3 years ago
Labels: Bug

#1090 - Should Build.Task implement Build.Artifact ?

Issue - State: closed - Opened by DavePearce over 3 years ago
Labels: Refactoring

#1088 - Next Generation WyIL Format

Issue - State: closed - Opened by DavePearce over 3 years ago
Labels: Feature

#1084 - Improving the Build System

Issue - State: closed - Opened by DavePearce over 3 years ago - 1 comment
Labels: Feature

#1078 - Bug with SyntacticHeap.gc()

Issue - State: closed - Opened by DavePearce over 5 years ago

#1075 - Updated Syntactic Heap

Issue - State: closed - Opened by DavePearce almost 6 years ago

#1074 - Replacing AbstractSyntacticItem.getAncestor()

Issue - State: closed - Opened by DavePearce about 6 years ago - 1 comment

#1069 - Support Language Server Protocol

Issue - State: closed - Opened by DavePearce almost 8 years ago

#1068 - Create Sizeable Interface

Issue - State: open - Opened by DavePearce over 3 years ago

#1057 - Overlapping Lvals

Issue - State: open - Opened by DavePearce almost 4 years ago - 2 comments
Labels: Question

#1052 - Drop concept of "modified variables" in loop

Issue - State: closed - Opened by DavePearce about 4 years ago
Labels: Feature

#1049 - Lambda Expressions

Issue - State: closed - Opened by DavePearce about 4 years ago - 2 comments
Labels: Bug

#1047 - NullPointerException for Record Type Declaration

Issue - State: closed - Opened by DavePearce about 4 years ago - 2 comments
Labels: Bug, Easy

#1039 - Parallel (i.e. non-inteferring) Assignment

Issue - State: open - Opened by DavePearce about 4 years ago
Labels: Thoughts

#1032 - Improved AST Queries

Issue - State: closed - Opened by DavePearce over 4 years ago
Labels: Feature

#1026 - Bug with Function Check

Issue - State: closed - Opened by DavePearce over 4 years ago - 3 comments
Labels: Bug, Easy

#1025 - Typing Lambda Returns

Issue - State: closed - Opened by DavePearce over 4 years ago - 1 comment
Labels: Bug

#1024 - Type Inference Bug?

Issue - State: closed - Opened by DavePearce over 4 years ago - 2 comments
Labels: Bug

#1021 - Cannot Dereference Dynamically Sized Type

Issue - State: open - Opened by DavePearce over 4 years ago
Labels: Bug, Easy

#1013 - Parsing Qualified Record Initialisers

Issue - State: open - Opened by DavePearce almost 5 years ago - 1 comment
Labels: Bug, Parsing, Easy

#1012 - LambdaAccess with Template Parameters

Issue - State: open - Opened by DavePearce almost 5 years ago
Labels: Bug

#1011 - Nested Template Syntax

Issue - State: open - Opened by DavePearce almost 5 years ago
Labels: Bug, Parsing

#1004 - Limitations of Type Inference

Issue - State: open - Opened by DavePearce almost 5 years ago
Labels: Feature, Typing

#1000 - Flow Typing and Loop Invariants

Issue - State: open - Opened by DavePearce almost 5 years ago
Labels: Bug, Typing

#997 - StackOverflowError on Recursive Template

Issue - State: open - Opened by DavePearce almost 5 years ago
Labels: Bug

#994 - Binding Against Union Types

Issue - State: open - Opened by DavePearce almost 5 years ago - 2 comments
Labels: Feature

#986 - Array Dereference Operator

Issue - State: open - Opened by DavePearce about 5 years ago

#984 - Exposing Private Declarations

Issue - State: open - Opened by DavePearce about 5 years ago
Labels: Bug, Easy

#978 - Redesigning Testing Architecture

Issue - State: closed - Opened by DavePearce about 5 years ago - 4 comments
Labels: Feature

#977 - Type Refinement via Assignment

Issue - State: open - Opened by DavePearce about 5 years ago
Labels: Bug

#956 - Type Checking to Fix Point

Issue - State: open - Opened by DavePearce over 5 years ago
Labels: Bug, Typing

#955 - Separate out Check for Branch Always Taken

Issue - State: open - Opened by DavePearce over 5 years ago
Labels: Bug, Typing

#954 - Invoking Lambda's from Arrays

Issue - State: open - Opened by DavePearce over 5 years ago
Labels: Bug, Parsing, Easy

#938 - Subtyping for Explicit Casts

Issue - State: open - Opened by DavePearce over 5 years ago - 1 comment

#937 - FlowTyping over Logical Conditions

Issue - State: open - Opened by DavePearce over 5 years ago
Labels: Bug, Typing

#936 - Semantics of Runtime Type Testing

Issue - State: open - Opened by DavePearce over 5 years ago

#926 - Rethinking Build System

Issue - State: closed - Opened by DavePearce over 5 years ago

#888 - Duplicate Error Messages

Issue - State: open - Opened by DavePearce almost 6 years ago - 1 comment

#841 - Implement Static Variables

Issue - State: closed - Opened by DavePearce about 7 years ago - 4 comments

#822 - Operator Precedence Bug

Issue - State: closed - Opened by DavePearce over 7 years ago
Labels: Bug, Parsing, Easy

#798 - Improve MoveAnalysis Phase

Issue - State: open - Opened by DavePearce over 7 years ago - 1 comment
Labels: Feature

#756 - Invalid block comments

Issue - State: open - Opened by BaptP over 7 years ago - 1 comment
Labels: Bug, Parsing, Easy

GitHub / Whiley/WhileyCompiler issues and pull requests