Code

Windows recompiling bug#9

Code

Open

martin045k wants to merge 47 commits intoteam-checkr:mainteam-checkr/fsharp-starter:mainfrom martin045k:mainmartin045k/fsharp-starter:mainCopy head branch name to clipboard

+515-33

Commits

Commits on Feb 12, 2023

• Add inspectify binaries

  oeb25

  committed
  38abedf

  Copy full SHA for 38abedf

Commits on Feb 21, 2023

• Update binaries to v0.1.5

  oeb25

  committed
  b869839

  Copy full SHA for b869839

• Update the README

  oeb25

  committed
  dcc5d17

  Copy full SHA for dcc5d17

Commits on Feb 22, 2023

• Clarify installation of .NET and evaluation in the README

  oeb25

  committed
  b9a5887

  Copy full SHA for b9a5887

• Grammar fixes in the README

  oeb25

  committed
  75eafeb

  Copy full SHA for 75eafeb

• Update README.md

  cmatheja

  authored
  2f00f07

  Copy full SHA for 2f00f07

• Update README.md

  cmatheja

  authored
  4057493

  Copy full SHA for 4057493

• Update README.md

  cmatheja

  authored
  2692e6f

  Copy full SHA for 2692e6f

• Update README.md

  cmatheja

  authored
  cdf62db

  Copy full SHA for cdf62db

• Update Graph.fs

  cmatheja

  authored
  e44d0c2

  Copy full SHA for e44d0c2

• Update README.md

  cmatheja

  authored
  6927ca0

  Copy full SHA for 6927ca0

• Update README.md

  cmatheja

  authored
  be3aff7

  Copy full SHA for be3aff7

• Update README.md

  cmatheja

  authored
  ae97201

  Copy full SHA for ae97201

• Update README.md

  cmatheja

  authored
  d29ec5e

  Copy full SHA for d29ec5e

• Update README.md

  cmatheja

  authored
  03b2d61

  Copy full SHA for 03b2d61

• Update README.md

  cmatheja

  authored
  9a29835

  Copy full SHA for 9a29835

• Update README.md

  cmatheja

  authored
  86aa5f2

  Copy full SHA for 86aa5f2

• Update README.md

  cmatheja

  authored
  b5e8f44

  Copy full SHA for b5e8f44

• Update README.md

  cmatheja

  authored
  17af85e

  Copy full SHA for 17af85e

• Update README.md

  cmatheja

  authored
  2fb0670

  Copy full SHA for 2fb0670

• Update README.md

  cmatheja

  authored
  a683022

  Copy full SHA for a683022

• Update README.md

  cmatheja

  authored
  742e31e

  Copy full SHA for 742e31e

• Update README.md

  cmatheja

  authored
  9e392c8

  Copy full SHA for 9e392c8

• Update README.md

  cmatheja

  authored
  cc53a90

  Copy full SHA for cc53a90

• Update README.md

  cmatheja

  authored
  5bbef10

  Copy full SHA for 5bbef10

• added picture

  cmatheja

  committed
  dd79070

  Copy full SHA for dd79070

• Update README.md

  cmatheja

  authored
  6a4d037

  Copy full SHA for 6a4d037

Commits on Feb 23, 2023

• Add extension recommendations for VSCode

  oeb25

  committed
  d04c178

  Copy full SHA for d04c178

• Update README.md

  Show description for 5e745f5
  albertolluch

  authored
  5e745f5

  Copy full SHA for 5e745f5

• Update README.md

  Show description for 5697803
  albertolluch

  authored
  5697803

  Copy full SHA for 5697803

• Merge pull request team-checkr#2 from albertolluch/patch-4

  Show description for 802835d
  cmatheja

  authored
  802835d

  Copy full SHA for 802835d

• Merge pull request team-checkr#1 from albertolluch/patch-3

  Show description for 546222d
  cmatheja

  authored
  546222d

  Copy full SHA for 546222d

Commits on Feb 27, 2023

• Added TODO markers where to get started. (team-checkr#2)

  cmatheja

  authored
  b4fbf43

  Copy full SHA for b4fbf43

Commits on Mar 1, 2023

• Update README.md

  cmatheja

  authored
  86c2552

  Copy full SHA for 86c2552

• added explicit case for parsing task.

  cmatheja

  committed
  155352a

  Copy full SHA for 155352a

• Merge branch 'main' into patch-1

  cmatheja

  authored
  10963bb

  Copy full SHA for 10963bb

• removed unnecessary file

  cmatheja

  committed
  46f6ce3

  Copy full SHA for 46f6ce3

• Merge branch 'patch-1' of github.com:cmatheja/fsharp-starter into patch-1

  cmatheja

  committed
  7a232e9

  Copy full SHA for 7a232e9

• Merge pull request team-checkr#3 from cmatheja/patch-1

  Show description for c2d1a39
  cmatheja

  authored
  c2d1a39

  Copy full SHA for c2d1a39

Commits on Mar 8, 2023

• Add variable number of arguments to parse CLI entrypoint

  oeb25

  committed
  47e9fe4

  Copy full SHA for 47e9fe4

Commits on Mar 10, 2023

• Change parse to output in JSON format

  oeb25

  committed
  6fcbc67

  Copy full SHA for 6fcbc67

Commits on Mar 15, 2023

• Rework the input/output of interpreter (team-checkr#5)

  Show description for b3d52f1
  oeb25

  authored
  b3d52f1

  Copy full SHA for b3d52f1

Commits on Mar 16, 2023

• chore: Add ignore field to run.toml to ignore build artifacts

  Show description for d6c0cea
  

  oeb25

  and

  CamillaFaerch

  committed
  d6c0cea

  Copy full SHA for d6c0cea

Commits on Mar 23, 2023

• Program verification with enriched GCL language and predicates (team-checkr#7)

  Show description for b3cbaf0
  

  oeb25

  and

  CamillaFaerch

  authored
  b3cbaf0

  Copy full SHA for b3cbaf0

• Update ProgramVerification.fs

  cmatheja

  authored
  00bbd61

  Copy full SHA for 00bbd61

• Improve parse error message for program verification

  oeb25

  committed
  2e5629a

  Copy full SHA for 2e5629a

Commits on Mar 28, 2023

• Resolve windows recompiling bug

  martin045k

  committed
  1ea441b

  Copy full SHA for 1ea441b