Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Apr 16, 2021

• Apply timeLimitMultipler to rlimit too (dafny-lang#1171)

  Show description for 54b8bea
  parno

  authored
  54b8bea

  Copy full SHA for 54b8bea

Commits on Apr 15, 2021

• fix: Initialize bound variable of let-such-that with placebo (dafny-lang#1187)

  Show description for 674149d
  RustanLeino

  authored
  674149d

  Copy full SHA for 674149d

• fix: Don't inline functions that stand for const RHSs (dafny-lang#1186)

  Show description for c5562f2
  RustanLeino

  authored
  c5562f2

  Copy full SHA for c5562f2

Commits on Apr 14, 2021

• feat: Let any type with member refine its members (dafny-lang#1183)

  Show description for 789b824
  RustanLeino

  authored
  789b824

  Copy full SHA for 789b824

• fix: Tighten up errors around decreases/reads * (dafny-lang#1177)

  Show description for 63bf5ef
  RustanLeino

  authored
  63bf5ef

  Copy full SHA for 63bf5ef

• fix: Make sure auto-triggers don't contain expressions that get rewritten (dafny-lang#1176)

  Show description for e758c71
  RustanLeino

  authored
  e758c71

  Copy full SHA for e758c71

• Upgrade to kramdown 2.3.1 (dafny-lang#1178)

  RustanLeino

  authored
  7dba495

  Copy full SHA for 7dba495

Commits on Apr 8, 2021

• Also substitute type when substituting null (dafny-lang#1167)

  Show description for 495e7d2
  RustanLeino

  authored
  495e7d2

  Copy full SHA for 495e7d2

• Fix two typos (dafny-lang#1168)

  ghcooper

  authored
  c4a093f

  Copy full SHA for c4a093f

Commits on Apr 7, 2021

• Upgrade to kramdown 2.3.1 (dafny-lang#1169)

  Show description for c77b971
  RustanLeino

  authored
  c77b971

  Copy full SHA for c77b971

Commits on Apr 2, 2021

• Fix uses of heap parameter in verifier-translation of comprehension expressions (dafny-lang#1166)

  Show description for 0ae4fc7
  RustanLeino

  authored
  0ae4fc7

  Copy full SHA for 0ae4fc7

Commits on Mar 29, 2021

• Allow subset types in LHS of element/range selection (dafny-lang#1161)

  Show description for 3b5de79
  RustanLeino

  authored
  3b5de79

  Copy full SHA for 3b5de79

• Add more auto-triggers for collections (dafny-lang#1160)

  Show description for ccc6d14
  RustanLeino

  authored
  ccc6d14

  Copy full SHA for ccc6d14

Commits on Mar 28, 2021

• Fix Map#Glue encoding of map comprehensions (dafny-lang#1159)

  Show description for 3d9e476
  RustanLeino

  authored
  3d9e476

  Copy full SHA for 3d9e476

Commits on Mar 25, 2021

• Don't expand stdin.dfy as a path (dafny-lang#1125)

  Show description for d25ae25
  jaylorch

  authored
  d25ae25

  Copy full SHA for d25ae25

Commits on Mar 24, 2021

• Compile placebo value for extern opaque type in C# (dafny-lang#1155)

  Show description for 81fd778
  RustanLeino

  authored
  81fd778

  Copy full SHA for 81fd778

Commits on Mar 23, 2021

• Support tuples with arbitrary arity in C++ (dafny-lang#1142)

  Show description for cea0130
  akonradi

  authored
  cea0130

  Copy full SHA for cea0130

• Properly detect and report out-of-resource errors returned by Boogie (dafny-lang#1154)

  parno

  authored
  90f6ac7

  Copy full SHA for 90f6ac7

Commits on Mar 19, 2021

• Member function fixes (dafny-lang#1144)

  Show description for 3ba9553
  RustanLeino

  authored
  3ba9553

  Copy full SHA for 3ba9553

• Check all var/const fields to have initial values (dafny-lang#1149)

  Show description for 3b795ae
  RustanLeino

  authored
  3b795ae

  Copy full SHA for 3b795ae

Commits on Mar 18, 2021

• Minor typesetting consistency changes in guide.md (dafny-lang#1141)

  Show description for 3c6ccfa
  ghcooper

  authored
  3c6ccfa

  Copy full SHA for 3c6ccfa

Commits on Mar 4, 2021

• Allow custom old-heap to two-state functions/lemmas (dafny-lang#1139)

  RustanLeino

  authored
  a1a051a

  Copy full SHA for a1a051a

Commits on Mar 2, 2021

• fix: Full type-characteristic checking (dafny-lang#1135)

  Show description for 39decc9
  RustanLeino

  authored
  39decc9

  Copy full SHA for 39decc9

• Fix missing type substitution in verifier (dafny-lang#1136)

  Show description for 762fbf4
  RustanLeino

  authored
  762fbf4

  Copy full SHA for 762fbf4

• Mention unsoundness of /loopUnroll in help message (dafny-lang#1137)

  Show description for 5178492
  RustanLeino

  authored
  5178492

  Copy full SHA for 5178492

• Trigger release-downloads only on releases (dafny-lang#1138)

  Show description for cbb98f4
  

  RustanLeino

  and

  keyboardDrummer

  authored
  cbb98f4

  Copy full SHA for cbb98f4

Commits on Feb 26, 2021

• Fix various typos in doc (dafny-lang#1134)

  yannickmoy

  authored
  87e6bcf

  Copy full SHA for 87e6bcf

Commits on Feb 25, 2021

• Remove code for deprecated type-conversion feature (dafny-lang#1132)

  RustanLeino

  authored
  b499f06

  Copy full SHA for b499f06

Commits on Feb 23, 2021

• Add -Wno-unknown-warning-option (dafny-lang#1131)

  Show description for 6d2f32c
  RustanLeino

  authored
  6d2f32c

  Copy full SHA for 6d2f32c

Commits on Feb 22, 2021

• Only run Coco during build if necessary (dafny-lang#1124)

  jaylorch

  authored
  4cb7df6

  Copy full SHA for 4cb7df6

Commits on Feb 21, 2021

• Compute the full path to the compiled C++ executable (dafny-lang#1115)

  parno

  authored
  9bbc60a

  Copy full SHA for 9bbc60a

• Fix directory calculations in dafny-server bash script (dafny-lang#1121)

  parno

  authored
  781ccc6

  Copy full SHA for 781ccc6

Commits on Feb 16, 2021

• fix: Use labeled heap in well-formedness checks (dafny-lang#1118)

  Show description for 32e785d
  RustanLeino

  authored
  32e785d

  Copy full SHA for 32e785d

Commits on Feb 5, 2021

• fix: Expand type synonym for arrays in Java (dafny-lang#1108)

  RustanLeino

  authored
  e9a59d8

  Copy full SHA for e9a59d8

• Fix map update go (dafny-lang#1102)

  RustanLeino

  authored
  63462e3

  Copy full SHA for 63462e3

Pagination

Previous

Next