Commits

Branch selector

 master

User selector

fabiomadge

Datepicker

All time

Commit History

Commits on Aug 2, 2022

• fix: Name collision in datatypes of some compilers (dafny-lang#2525)

  fabiomadge

  authored
  52710a8

Commits on Jul 25, 2022

• feat: codatatypes for Python (dafny-lang#2485)

  fabiomadge

  authored
  6e4df9e

• feat: Add multisets and some type descriptors to the Python compiler (dafny-lang#2428)

  fabiomadge

  authored
  37950a1

Commits on Jul 22, 2022

• disable broken test (dafny-lang#2482)

  fabiomadge

  authored
  cf94c67

Commits on Jun 27, 2022

• Target older windows version (dafny-lang#2304)

  fabiomadge

  authored
  c2b246b

Commits on Jun 23, 2022

• chore: Patch json lib (dafny-lang#2293)

  fabiomadge

  authored
  a5016df

Commits on Jun 21, 2022

• chore: Test for latest version on NuGet (dafny-lang#2282)

  fabiomadge

  authored
  479bdda

• chore: Bump version to 3.7.1 (dafny-lang#2279)

  fabiomadge

  authored
  41e2d16

• fix: release-downloads-nuget.yml (dafny-lang#2273)

  fabiomadge

  authored
  c85bbd1

Commits on Jun 20, 2022

• chore: Bump version to 3.7.0 (dafny-lang#2272)

  fabiomadge

  authored
  ff6902a

Commits on Jun 15, 2022

• feat: Add basic {:extern} support to Python (dafny-lang#2140)

  fabiomadge

  authored
  9273603

• chore: Enable mostly working tests in Python along with small necessary changes (dafny-lang#2141)

  fabiomadge

  authored
  1ac1a47

• chore: Return the appropriate status code when testing (dafny-lang#2121)

  fabiomadge

  authored
  1d68bcd

• feat: traits for Python (dafny-lang#2241)

  

  fabiomadge

  and

  robin-aws

  authored
  cf285b9

Commits on Jun 3, 2022

• docs: Fix table formatting (dafny-lang#2188)

  fabiomadge

  authored
  b6410ce

Commits on May 19, 2022

• chore: change points of contact (dafny-lang#2149)

  fabiomadge

  authored
  ffa9c77

Commits on May 9, 2022

• chore: Testing whitespace (dafny-lang#2090)

  fabiomadge

  authored
  ac02e44

Commits on May 7, 2022

• chore: Enable run-deep-tests (dafny-lang#2105)

  fabiomadge

  authored
  ee8c6bb

Commits on May 4, 2022

• feat: Various small improvements to Python code generation (dafny-lang#2081)

  fabiomadge

  authored
  356e8f0

Commits on Apr 26, 2022

• feat: More comprehensive support for datatypes in Python (dafny-lang#2031)

  fabiomadge

  authored
  4ed7684

Commits on Apr 25, 2022

• chore: Revert CI bandage (dafny-lang#2063)

  fabiomadge

  authored
  cc913d9

Commits on Apr 23, 2022

• chore: Bump gradle version (dafny-lang#2060)

  fabiomadge

  authored
  ca69f7d

Commits on Apr 18, 2022

• feat: Numerical types in Python (dafny-lang#1979)

  

  fabiomadge

  and

  cpitclaudel

  authored
  69344c4

Commits on Apr 16, 2022

• fix: Resolution of static functions-by-method (dafny-lang#2023)

  fabiomadge

  authored
  462d7cd

• fix: Clone entire LiteralModuleDecl (dafny-lang#2025)

  

  fabiomadge

  and

  cpitclaudel

  authored
  0b07e94

Commits on Apr 13, 2022

• chore: Exclude *.pdb files from the release packages (dafny-lang#2017)

  fabiomadge

  authored
  6c94b34

• chore: Fix broken test in CI (dafny-lang#2015)

  fabiomadge

  authored
  84dc51e

Commits on Apr 8, 2022

• feat: seq, set, and map in Python (dafny-lang#1973)

  

  fabiomadge

  and

  robin-aws

  authored
  c06855a

Commits on Apr 1, 2022

• feat: modules as modules and datatypes in Python (dafny-lang#1928)

  fabiomadge

  authored
  deba09e

Commits on Mar 31, 2022

• chore: Bump gems (dafny-lang#1952)

  fabiomadge

  authored
  2d0eb27

Commits on Mar 16, 2022

• feat: classes and newtypes (dafny-lang#1891)

  

  fabiomadge

  and

  MikaelMayer

  authored
  87b41df

Commits on Mar 7, 2022

• feat: Add returns, ifs, and blocks to the python compiler (dafny-lang#1886)

  fabiomadge

  authored
  87f757d

Commits on Mar 3, 2022

• feat: Modules in the python backend (dafny-lang#1871)

  fabiomadge

  authored
  af985e8

Commits on Feb 24, 2022

• chore: revert libraries to master (dafny-lang#1756)

  fabiomadge

  authored
  9c8f8b1

Commits on Feb 23, 2022

• chore: Restore release notes (dafny-lang#1853)

  fabiomadge

  authored
  984386c

Pagination

PreviousNext