-
Notifications
You must be signed in to change notification settings - Fork 10
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Initial commit: working syntactic analysis
- Loading branch information
0 parents
commit 4d1613c
Showing
72 changed files
with
7,047 additions
and
0 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,36 @@ | ||
{ | ||
"version": 1, | ||
"isRoot": true, | ||
"tools": { | ||
"sourcelink": { | ||
"version": "3.1.1", | ||
"commands": [ | ||
"sourcelink" | ||
] | ||
}, | ||
"dotnet-reportgenerator-globaltool": { | ||
"version": "4.2.15", | ||
"commands": [ | ||
"reportgenerator" | ||
] | ||
}, | ||
"fake-cli": { | ||
"version": "5.19.0", | ||
"commands": [ | ||
"fake" | ||
] | ||
}, | ||
"paket": { | ||
"version": "5.241.2", | ||
"commands": [ | ||
"paket" | ||
] | ||
}, | ||
"fcswatch-cli": { | ||
"version": "0.7.14", | ||
"commands": [ | ||
"fcswatch" | ||
] | ||
} | ||
} | ||
} |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,8 @@ | ||
FROM fsharp:10.2.3-netcore | ||
|
||
# Copy endpoint specific user settings into container to specify | ||
# .NET Core should be used as the runtime. | ||
COPY settings.vscode.json /root/.vscode-remote/data/Machine/settings.json | ||
|
||
# Install git, process tools | ||
RUN apt-get update && apt-get -y install git procps |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,12 @@ | ||
{ | ||
"name": "MiniScaffold", | ||
"dockerFile": "Dockerfile", | ||
"appPort": [8080], | ||
"extensions": [ | ||
"ionide.ionide-fsharp", | ||
"ms-vscode.csharp", | ||
"editorconfig.editorconfig", | ||
"ionide.ionide-paket", | ||
"ionide.ionide-fake" | ||
] | ||
} |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,3 @@ | ||
{ | ||
"FSharp.fsacRuntime":"netcore" | ||
} |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,25 @@ | ||
# EditorConfig is awesome: | ||
http://EditorConfig.org | ||
|
||
# top-most EditorConfig file | ||
root = true | ||
|
||
# Default settings: | ||
# A newline ending every file | ||
# Use 4 spaces as indentation | ||
[*] | ||
insert_final_newline = true | ||
indent_style = space | ||
indent_size = 4 | ||
|
||
[*.{fs,fsi,fsx,config}] | ||
charset = utf-8 | ||
trim_trailing_whitespace = true | ||
|
||
[paket.*] | ||
trim_trailing_whitespace = true | ||
indent_size = 2 | ||
|
||
[*.paket.references] | ||
trim_trailing_whitespace = true | ||
indent_size = 2 |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,27 @@ | ||
# Auto detect text files | ||
* text=auto | ||
|
||
# Custom for Visual Studio | ||
*.cs diff=csharp text=auto eol=lf | ||
*.vb diff=csharp text=auto eol=lf | ||
*.fs diff=csharp text=auto eol=lf | ||
*.fsi diff=csharp text=auto eol=lf | ||
*.fsx diff=csharp text=auto eol=lf | ||
*.sln text eol=crlf merge=union | ||
*.csproj merge=union | ||
*.vbproj merge=union | ||
*.fsproj merge=union | ||
*.dbproj merge=union | ||
*.sh text eol=lf | ||
|
||
# Standard to msysgit | ||
*.doc diff=astextplain | ||
*.DOC diff=astextplain | ||
*.docx diff=astextplain | ||
*.DOCX diff=astextplain | ||
*.dot diff=astextplain | ||
*.DOT diff=astextplain | ||
*.pdf diff=astextplain | ||
*.PDF diff=astextplain | ||
*.rtf diff=astextplain | ||
*.RTF diff=astextplain |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,31 @@ | ||
## Description | ||
|
||
Please insert a description of your problem or question. | ||
|
||
## Error messages, screenshots | ||
|
||
Please add any error logs or screenshots if available. | ||
|
||
## Failing test, failing GitHub repo, or reproduction steps | ||
|
||
Please add either a failing test, a GitHub repo of the problem or detailed reproduction steps. | ||
|
||
## Expected Behavior | ||
|
||
Please define what you would expect the behavior to be like. | ||
|
||
## Known workarounds | ||
|
||
Please provide a description of any known workarounds. | ||
|
||
## Other information | ||
|
||
* Operating System: | ||
- [ ] windows [insert version here] | ||
- [ ] macOs [insert version] | ||
- [ ] linux [insert flavor/version here] | ||
* Platform | ||
- [ ] dotnet core | ||
- [ ] dotnet full | ||
- [ ] mono | ||
* Branch or release version: |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,35 @@ | ||
--- | ||
name: Bug report | ||
about: Create a report to help us improve | ||
|
||
--- | ||
|
||
**Describe the bug** | ||
A clear and concise description of what the bug is. | ||
|
||
**To Reproduce** | ||
Steps to reproduce the behavior: | ||
1. Go to '...' | ||
2. Click on '....' | ||
3. Scroll down to '....' | ||
4. See error | ||
|
||
**Expected behavior** | ||
A clear and concise description of what you expected to happen. | ||
|
||
**Screenshots** | ||
If applicable, add screenshots to help explain your problem. | ||
|
||
**Desktop (please complete the following information):** | ||
- OS: [e.g. iOS] | ||
- Browser [e.g. chrome, safari] | ||
- Version [e.g. 22] | ||
|
||
**Smartphone (please complete the following information):** | ||
- Device: [e.g. iPhone6] | ||
- OS: [e.g. iOS8.1] | ||
- Browser [e.g. stock browser, safari] | ||
- Version [e.g. 22] | ||
|
||
**Additional context** | ||
Add any other context about the problem here. |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,17 @@ | ||
--- | ||
name: Feature request | ||
about: Suggest an idea for this project | ||
|
||
--- | ||
|
||
**Is your feature request related to a problem? Please describe.** | ||
A clear and concise description of what the problem is. Ex. I'm always frustrated when [...] | ||
|
||
**Describe the solution you'd like** | ||
A clear and concise description of what you want to happen. | ||
|
||
**Describe alternatives you've considered** | ||
A clear and concise description of any alternative solutions or features you've considered. | ||
|
||
**Additional context** | ||
Add any other context or screenshots about the feature request here. |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,25 @@ | ||
## Proposed Changes | ||
|
||
Describe the big picture of your changes here to communicate to the maintainers why we should accept this pull request. If it fixes a bug or resolves a feature request, be sure to link to that issue. | ||
|
||
## Types of changes | ||
|
||
What types of changes does your code introduce to BinaryDefense.FSharp.Analyzers? | ||
_Put an `x` in the boxes that apply_ | ||
|
||
- [ ] Bugfix (non-breaking change which fixes an issue) | ||
- [ ] New feature (non-breaking change which adds functionality) | ||
- [ ] Breaking change (fix or feature that would cause existing functionality to not work as expected) | ||
|
||
|
||
## Checklist | ||
|
||
_Put an `x` in the boxes that apply. You can also fill these out after creating the PR. If you're unsure about any of them, don't hesitate to ask. We're here to help! This is simply a reminder of what we are going to look for before merging your code._ | ||
|
||
- [ ] Build and tests pass locally | ||
- [ ] I have added tests that prove my fix is effective or that my feature works (if appropriate) | ||
- [ ] I have added necessary documentation (if appropriate) | ||
|
||
## Further comments | ||
|
||
If this is a relatively large or complex change, kick off the discussion by explaining why you chose the solution you did and what alternatives you considered, etc... |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,35 @@ | ||
name: Build master | ||
|
||
on: [push] | ||
|
||
jobs: | ||
build: | ||
|
||
strategy: | ||
matrix: | ||
os: [ubuntu-latest, windows-latest, macOS-latest] | ||
dotnet: [3.1.100] | ||
runs-on: ${{ matrix.os }} | ||
|
||
steps: | ||
- uses: actions/checkout@v1 | ||
- name: Setup .NET Core | ||
uses: actions/setup-dotnet@v1 | ||
with: | ||
dotnet-version: ${{ matrix.dotnet }} | ||
- name: Build | ||
if: runner.os != 'Windows' | ||
run: | | ||
chmod +x ./build.sh | ||
./build.sh | ||
env: | ||
# Work around https://github.com/actions/setup-dotnet/issues/29 | ||
DOTNET_ROOT: ${{ runner.tool_cache }}/dncs/${{ matrix.dotnet }}/x64 | ||
CI: true | ||
- name: Build | ||
if: runner.os == 'Windows' | ||
run: ./build.cmd | ||
env: | ||
# Work around https://github.com/actions/setup-dotnet/issues/29 | ||
DOTNET_ROOT: ${{ runner.tool_cache }}/dncs/${{ matrix.dotnet }}/x64 | ||
CI: true |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,35 @@ | ||
name: Build master | ||
|
||
on: [push] | ||
|
||
jobs: | ||
build: | ||
|
||
strategy: | ||
matrix: | ||
os: [ubuntu-latest, windows-latest, macOS-latest] | ||
dotnet: [3.1.100] | ||
runs-on: ${{ matrix.os }} | ||
|
||
steps: | ||
- uses: actions/checkout@v1 | ||
- name: Setup .NET Core | ||
uses: actions/setup-dotnet@v1 | ||
with: | ||
dotnet-version: ${{ matrix.dotnet }} | ||
- name: Build | ||
if: runner.os != 'Windows' | ||
run: | | ||
chmod +x ./build.sh | ||
./build.sh | ||
env: | ||
# Work around https://github.com/actions/setup-dotnet/issues/29 | ||
DOTNET_ROOT: ${{ runner.tool_cache }}/dncs/${{ matrix.dotnet }}/x64 | ||
CI: true | ||
- name: Build | ||
if: runner.os == 'Windows' | ||
run: ./build.cmd | ||
env: | ||
# Work around https://github.com/actions/setup-dotnet/issues/29 | ||
DOTNET_ROOT: ${{ runner.tool_cache }}/dncs/${{ matrix.dotnet }}/x64 | ||
CI: true |
Oops, something went wrong.