Code

Per backend code support in stdlibs#36

Code

Closed

robin-aws wants to merge 47 commits intomasterrobin-aws/dafny:masterfrom per-backend-code-support-in-stdlibsrobin-aws/dafny:per-backend-code-support-in-stdlibsCopy head branch name to clipboard

+829-35

Commits

Commits on Nov 6, 2023

• Partial solution working for Java

  robin-aws

  committed
  889379f

Commits on Nov 7, 2023

• FileIO examples working for Java

  robin-aws

  committed
  4eaa85d

• Rename for consistency

  robin-aws

  committed
  068687a

• Naming tweaks, progress

  robin-aws

  committed
  df993fc

• No need for -anytarget

  robin-aws

  committed
  cb60af7

Commits on Nov 10, 2023

• Trim down readme (love it)

  robin-aws

  committed
  b1f26a7

• Breaking spans by module (not working yet, tokens aren’t right)

  robin-aws

  committed
  ef10ea8

• Better formatting

  robin-aws

  committed
  5b093f0

• Try only per-target doo files for FileIO (may not work)

  robin-aws

  committed
  9a91cf0

• Revert "Try only per-target doo files for FileIO (may not work)"

  Show description for 4cec33d
  robin-aws

  committed
  4cec33d

• Improve Base64 coverage

  robin-aws

  committed
  08d73c7

Commits on Nov 13, 2023

• Merge branch 'master' of https://github.com/dafny-lang/dafny into per-backend-code-support-in-stdlibs

  Show description for 9d80c4e
  robin-aws

  committed
  9d80c4e

• Fix existing build

  robin-aws

  committed
  e8a198d

• Merge branch 'master' of https://github.com/dafny-lang/dafny into coverage-report-per-module-breakdown

  robin-aws

  committed
  ebf14d1

• Align first two columns left

  robin-aws

  committed
  98349d4

• Partial work to handle implicit parent modules

  Show description for 56cd2b4
  robin-aws

  committed
  56cd2b4

• Revert "Partial work to handle implicit parent modules"

  Show description for e48192d
  robin-aws

  committed
  e48192d

• Whitespace

  robin-aws

  committed
  d0613f5

• Start fixing C# for unicode char

  robin-aws

  committed
  4ce6dff

• Merge branch 'master' into coverage-report-per-module-breakdown

  robin-aws

  authored
  b753ff8

• Still recursively register modules with no file attached

  robin-aws

  committed
  73c278a

• C# fixed

  robin-aws

  committed
  f3cd39f

• Merge branch 'coverage-report-per-module-breakdown' of github.com:robin-aws/dafny into per-backend-code-support-in-stdlibs

  Show description for 121745d
  robin-aws

  committed
  121745d

Commits on Nov 14, 2023

• Updates

  robin-aws

  committed
  4b0162b

• Whitespace

  robin-aws

  committed
  e7d9515

• Partial progress on Go

  robin-aws

  committed
  eea7c50

Commits on Nov 15, 2023

• Progress (Go still compiling module even with {:compile false} though)

  robin-aws

  committed
  408360a

• More Go progress (runtime error at least!)

  robin-aws

  committed
  c7748bb

• GO WORKS

  robin-aws

  committed
  ac6fe4e

• Python progress - getting the file picked up at least

  robin-aws

  committed
  29206be

• PYTHON PASSING

  robin-aws

  committed
  e540950

• Merge branch 'master' of https://github.com/dafny-lang/dafny into per-backend-code-support-in-stdlibs

  Show description for d26547c
  robin-aws

  committed
  d26547c

Commits on Nov 16, 2023

• Fix JS, integration test for backend-specific libraries

  robin-aws

  committed
  1dc9c26

• Fix test

  robin-aws

  committed
  7f5e644

• Docs

  robin-aws

  committed
  c4375b2

• Fix build

  robin-aws

  committed
  19424a5

• Fresh binaries, fix test (take my own nag test’s suggestion :)

  robin-aws

  committed
  c0623b9

• Missing check file

  robin-aws

  committed
  2d90a23

• Doc updates

  robin-aws

  committed
  372d682

• Revert resource-limit change, cleanup

  robin-aws

  committed
  c38c629

• Apply suggestions from code review

  Show description for ff2b520
  

  robin-aws

  and

  alex-chew

  authored
  ff2b520

• PR feedback

  robin-aws

  committed
  fe0bc2b

• Merge branch 'per-backend-code-support-in-stdlibs' of github.com:robin-aws/dafny into per-backend-code-support-in-stdlibs

  Show description for 2488d76
  robin-aws

  committed
  2488d76

• Merge branch 'master' into per-backend-code-support-in-stdlibs

  robin-aws

  authored
  9366db9

• Qualify temp paths used in doo file comparison

  Show description for 33503b4
  robin-aws

  committed
  33503b4

• Try stdlibs CI on macos

  robin-aws

  committed
  0cdb18c

• Typo

  robin-aws

  committed
  f1bc3b9