Comparing fsprojects:master...MallabaevAzamat:master · fsprojects/ProjectScaffold · GitHub
Skip to content
Permalink

Comparing changes

Choose two branches to see what’s changed or to start a new pull request. If you need to, you can also or learn more about diff comparisons.

Open a pull request

Create a new pull request by comparing changes across two branches. If you need to, you can also . Learn more about diff comparisons here.
base repository: fsprojects/ProjectScaffold
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: master
Choose a base ref
...
head repository: MallabaevAzamat/ProjectScaffold
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: master
Choose a head ref
Checking mergeability… Don’t worry, you can still create the pull request.
  • 5 commits
  • 6 files changed
  • 1 contributor

Commits on Aug 12, 2016

  1. Add F* support

    @MallabaevAzamat
    MallabaevAzamat committed Aug 12, 2016
    Configuration menu
    Copy the full SHA
    e5d5313 View commit details
    Browse the repository at this point in the history

  2. fix bugs

    @MallabaevAzamat
    MallabaevAzamat committed Aug 12, 2016
    Configuration menu
    Copy the full SHA
    94c6646 View commit details
    Browse the repository at this point in the history

  3. add forall2 function

    @MallabaevAzamat
    MallabaevAzamat committed Aug 12, 2016
    Configuration menu
    Copy the full SHA
    3d06264 View commit details
    Browse the repository at this point in the history

  4. replace int to bigint

    @MallabaevAzamat
    MallabaevAzamat committed Aug 12, 2016
    Configuration menu
    Copy the full SHA
    f8ad2c0 View commit details
    Browse the repository at this point in the history

  5. Add out dir (for fstar codegen)

    @MallabaevAzamat
    MallabaevAzamat committed Aug 12, 2016
    Configuration menu
    Copy the full SHA
    35292c1 View commit details
    Browse the repository at this point in the history
Loading