Pre-release

@leodemoura leodemoura released this Oct 28, 2018 · 2 commits to master since this release

Assets 5

Changes since nightly-2018-08-23:

Full commit log

  • 687745d fix(bin/leanpkg): handle spaces in paths on POSIX systems
  • 428cf72 fix(lean/bin/leanpkg.bat): handle spaces in paths
  • 254c5e9 fix(frontends/dependencies): ignore .olean files when listing dependencies
Pre-release

@leodemoura leodemoura released this Aug 23, 2018 · 2 commits to master since this release

Assets 5

Changes since nightly-2018-06-21:

Full commit log

  • b13ac12 fix(library/compiler/cse): deactivate CSE for constructor applications
Pre-release
Pre-release

@leodemoura leodemoura released this May 18, 2018 · 2 commits to master since this release

Assets 4

Changes since nightly-2018-05-01:

Full commit log

  • a4aae53 chore(src/CMakeLists): prepare for next release
Pre-release

@leodemoura leodemoura released this Apr 13, 2018 · 2 commits to master since this release

Assets 4

Changes since nightly-2018-04-12:

Full commit log

  • ee6f323 chore(.travis.yml): trigger AppVeyor nightly build from Travis