9dbf4aa9d7
Bump decode-uri-component from 0.2.0 to 0.2.2
...
Bumps [decode-uri-component](https://github.com/SamVerschueren/decode-uri-component ) from 0.2.0 to 0.2.2.
- [Release notes](https://github.com/SamVerschueren/decode-uri-component/releases )
- [Commits](https://github.com/SamVerschueren/decode-uri-component/compare/v0.2.0...v0.2.2 )
---
updated-dependencies:
- dependency-name: decode-uri-component
dependency-type: indirect
...
Signed-off-by: dependabot[bot] <support@github.com>
2023-04-22 21:50:20 +00:00
2d470206e8
Update run_all_examples.yml
2021-09-24 13:38:19 +01:00
62d83279f0
Run examples ( #13 )
...
* Updating support statement
* Create action to simulate all examples
* Disable example
* Updating packages with vulnerabilities
2021-09-24 13:00:10 +01:00
88603ba9b3
Update PDF link
2021-09-15 23:03:47 +01:00
c730877080
Simplifying GitHub builds, upgrading some packages and adding documentation ( #12 )
...
* Adding first version of the documentation, with some notes
* Rename ClassicGECTests as LogicGECTests
* Refactor and eventually skip a flaky test in LogicGEC.
* Changing restores from dotnet to msbuild /restore
* Swapping FSharp.Plotly for Plotly.NET, and unifying some other references across frameworks
2021-09-15 23:00:35 +01:00
efd87b45ed
Adding contributors to README
2021-09-15 22:58:16 +01:00
0c5793af50
Resolve security vulnerabilities ( #11 )
...
Addressing security vulnerabilities in NPM packages:
* Bumped Node.js.redist
* Resolve ansi-html vulnerability
* Bump jquery
* Bump immer
* Bump ajv and browserslist
* Bumping css-select to resolve css-what vulnerability (CVE-2021-33587)
* Bumping elliptic, hoek, minimist, normalize-url, path-parse, postcss, ws and yargs-parser
* Bump hosted-git-info
Addressing some warnings during builds of some solutions
* Targeting x64 to suppress a warning for RulesDSDTests
* Handle Ceiling and Floor to complete a pattern match
Addressing CodeQL error:
* Remove duplicate property definition
2021-09-14 22:27:40 +01:00
e75f92d8f1
Set up static analysis with Azure Pipelines ( #9 )
...
## Set up static analysis with Azure Pipelines
* Update azure-pipelines.yml for Azure Pipelines
* Adding restore with wildcards
* Move timeout property
* Fix DLL incompatibility warnings
* Fix program.fs warnings
* Suppress warning 25 (claims pattern matching incomplete, but doesn't recognise 'when' clause)
* Upgrading System.Text.Encodings.Web everywhere
* Fixing most yarn dependencies
* x64
* Disabling FSBOL connection
* Removing SBOL dependencies
* Remove FSI file(s)
* Updating dependencies to avoid vulnerability in cryptiles
2021-09-10 09:25:56 +01:00
6147b68bfc
Merge branch 'main' of https://github.com/microsoft/CRN into main
2021-09-06 10:22:00 +01:00
d28773d40a
Tweak Oslo solution
2021-09-06 10:19:46 +01:00
2147cd85d9
Update README.md
2021-09-06 09:39:48 +01:00
540e3bf055
Targeting x64
2021-09-06 09:26:52 +01:00
1b4ed04394
Replacing Oslo DLL with code/projects ( #8 )
...
* Replacing Oslo DLL with project in all solution files
* Fixed some warnings in doc-strings for OSLO
* Removed app.config for some projects, to alleviate some reference warnings
2021-09-06 08:59:39 +01:00
59a3accb2e
Adding StabilityZ3 back into server and CLI tools ( #7 )
...
* Adding StabilityZ3 back into server and CLI tools
* Removing Any CPU build definitions
* Updating copyright notices
2021-09-01 20:11:29 +01:00
cf6d21e089
Adding Strand Graphs code ( #6 )
...
* Adding Strand Graphs code and fixing builds.
* Regenerated TS interfaces for CRNEngine, ClassicGEC, ClassicDSD and SiteGraphReactor.
2021-09-01 10:17:08 +01:00
c98603c729
Action for building html tools ( #5 )
...
* Extend to GEC and DSD
* Installation instructions
* Updating webassembly instructions
* Removing VS2017 lib
* Adding instructions
* Check HTML builds
* Add badges
* Correct badge link
2021-08-25 21:07:54 +01:00
d1ef30a0a2
Create build pipeline for server tools ( #2 )
...
* Initial commit for build def
* Adding HTML5SharedGUI
* Removing dependency on StabilityZ3
* Update names
* Adding React components
* Adding Builds
2021-08-24 23:35:43 +01:00
c24d3a6e16
Merge pull request #4 from microsoft/copyright_notices
...
Add copyright notices
2021-08-24 16:13:47 +01:00
546e8c6725
Adding ts and js files
2021-08-24 15:49:24 +01:00
2e587e26fa
Adding notices for files with C-style comments
2021-08-24 15:42:32 +01:00
d87c8b5691
Merge pull request #3 from microsoft/checks
...
Adding checks
2021-08-24 13:46:01 +01:00
8c1474323b
Adding third-party notice
2021-08-24 13:23:13 +01:00
cbf21c5b16
Minor
2021-08-24 13:17:32 +01:00
34776b4259
The right directory
2021-08-24 13:13:11 +01:00
a7ea4dfca8
restore tools
2021-08-24 13:12:42 +01:00
d09bee90e0
Changing job name
2021-08-24 13:10:01 +01:00
3c64cd4ccd
Adding checks
2021-08-24 13:08:15 +01:00
1da97087dc
Updating names
2021-08-19 15:48:15 +01:00
d1a0553db1
Merge branch 'ndalchau-build-actions'
2021-08-19 15:44:14 +01:00
6801f4d69f
Adding disclaimer notice for SUNDIALS
2021-08-19 15:43:35 +01:00
7e52ac5d66
Adding GitHub actions badge
2021-08-19 15:38:56 +01:00
93851339b6
Merge pull request #1 from microsoft/ndalchau-build-actions
...
Create build pipelines for CLI
2021-08-19 15:34:35 +01:00
5d2992eb5c
Rename workflow
2021-08-19 15:14:00 +01:00
e89cdf0027
Removing StabilityZ3 from proj
2021-08-19 14:31:24 +01:00
ec894d6195
Adding DSD to build pipeline
2021-08-19 14:31:03 +01:00
2f5e660bfe
Merge branch 'main' into ndalchau-build-actions
2021-08-19 14:20:53 +01:00
5412b7e433
Adding Classic DSD
2021-08-19 14:08:13 +01:00
8f6b993c49
Restore GEC dependencies
2021-08-19 14:02:20 +01:00
70faafb551
Merge branch 'main' into ndalchau-build-actions
2021-08-19 13:49:33 +01:00
d539d1bbc0
Adding RulesDSD
2021-08-19 13:49:01 +01:00
9467c5140c
Separating GEC tests into two steps
2021-08-19 13:48:39 +01:00
5c3eb4423c
Adding GEC to build-test pipeline
2021-08-19 13:36:22 +01:00
3f663b9d42
Update build-crn-cli.yml
2021-08-19 13:28:49 +01:00
c7b823701e
Merge branch 'main' into ndalchau-build-actions
2021-08-19 13:22:59 +01:00
4545f9489f
Adding ClassicGEC and FSBOL wrapper
2021-08-19 13:22:16 +01:00
35e00bdef7
Remove StabilityZ3
2021-08-19 13:15:30 +01:00
25124dec21
Update build-crn-cli.yml
2021-08-19 12:32:10 +01:00
07747b2ac0
Adding fake data
2021-08-19 12:04:52 +01:00
d4083d62d4
Merge branch 'ndalchau-build-actions' of https://github.com/microsoft/CRN into ndalchau-build-actions
2021-08-19 11:53:53 +01:00
9228832f31
Relieving dependency on data files
2021-08-19 11:53:27 +01:00
dependabot[bot]
Neil Dalchau