Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Sep 22, 2021

• Remove unnecessary solution configurations (dafny-lang#1422)

  Show description for 24ab370
  keyboardDrummer

  authored
  24ab370

  Copy full SHA for 24ab370

Commits on Sep 3, 2021

• Test Generation (dafny-lang#1385)

  Show description for 288cab1
  Dargones

  authored
  288cab1

  Copy full SHA for 288cab1

Commits on Aug 9, 2021

• Make Boogie variable names more stable (dafny-lang#1339)

  Show description for 4c5da6f
  keyboardDrummer

  authored
  4c5da6f

  Copy full SHA for 4c5da6f

Commits on Apr 21, 2021

• Merge Language Server Source (dafny-lang#1173)

  Show description for ba08b3f
  camrein

  authored
  ba08b3f

  Copy full SHA for ba08b3f

Commits on Jan 8, 2021

• Switch to (most recent) Boogie NuGet package (dafny-lang#974)

  Show description for 95b86f7
  bkragl

  authored
  95b86f7

  Copy full SHA for 95b86f7

Commits on Sep 24, 2020

• Migrate to .NET Core v2 (dafny-lang#794)

  Show description for f21dd74
  keyboardDrummer

  authored
  f21dd74

  Copy full SHA for f21dd74

Commits on Dec 12, 2019

• Remove DafnyMSBuildTasks, use dafny.msbuild instead (dafny-lang#457)

  Show description for 71f7f3e
  

  robin-aws

  authored and

  RustanLeino

  committed
  71f7f3e

  Copy full SHA for 71f7f3e

Commits on Dec 5, 2019

• First cut of task project

  

  robin-aws

  authored and

  RustanLeino

  committed
  16b5cf2

  Copy full SHA for 16b5cf2

Commits on Sep 28, 2016

• Merge branch 'master' into newmodules

  Show description for a1c36e9
  

  Rustan Leino

  committed
  a1c36e9

  Copy full SHA for a1c36e9

Commits on Sep 20, 2016

• Various fixes for getting ironfleet through

  Show description for 569019a
  danmatichuk

  committed
  569019a

  Copy full SHA for 569019a

Commits on Jul 19, 2016

• Normalizing eol

  danmatichuk

  committed
  969ff25

  Copy full SHA for 969ff25

• Normalizing eol

  danmatichuk

  committed
  979d28f

  Copy full SHA for 979d28f

Commits on Jul 12, 2016

• move runtime to dll instead of prefixing to generated code

  danmatichuk

  committed
  7d59082

  Copy full SHA for 7d59082

Commits on Aug 20, 2015

• Make the dependency that DafnyServer has on DafnyPipeline explicit

  cpitclaudel

  committed
  8ca9d69

  Copy full SHA for 8ca9d69

Commits on Aug 14, 2015

• server: Add a Checked configuration

  cpitclaudel

  committed
  6e26919

  Copy full SHA for 6e26919

Commits on Aug 1, 2015

• Integrate the DafnyServer project into the main Dafny solution

  cpitclaudel

  committed
  2bfaf07

  Copy full SHA for 2bfaf07

Commits on May 14, 2015

• Update the configuration manager so the Debug build actually builds the Debug version of the projects (rather than Checked).

  Show description for 956e22f
  

  Bryan Parno

  committed
  956e22f

  Copy full SHA for 956e22f

Commits on Jun 3, 2014

• Added support for 'dirty' forall statements.

  Show description for cc3203f
  

  Maria Christakis

  committed
  cc3203f

  Copy full SHA for cc3203f

Commits on Oct 4, 2012

• Put all sources under \Source directory

  

  Rustan Leino

  committed
  4b7b9d5

  Copy full SHA for 4b7b9d5

Loading