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: tip-org/tools
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: master
Choose a base ref
...
head repository: tip-org/tools
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: attributes
Choose a head ref
Checking mergeability… Don’t worry, you can still create the pull request.
  • 7 commits
  • 18 files changed
  • 1 contributor

Commits on Feb 19, 2016

  1. Adding support for attributes

    @moajohansson
    moajohansson committed Feb 19, 2016
    Configuration menu
    Copy the full SHA
    48a2ad6 View commit details
    Browse the repository at this point in the history

  2. fixed something

    @moajohansson
    moajohansson committed Feb 19, 2016
    Configuration menu
    Copy the full SHA
    5fc6f04 View commit details
    Browse the repository at this point in the history

Commits on Feb 22, 2016

  1. Fixed bug parsing Attributes for Exprs and sketched datatype for indu… 

    …ctive proofs
    @moajohansson
    moajohansson committed Feb 22, 2016
    Configuration menu
    Copy the full SHA
    db5002a View commit details
    Browse the repository at this point in the history

Commits on Feb 24, 2016

  1. Added a field for (optional) name to Formulas which caused need for l… 

    …ots of small updates
    @moajohansson
    moajohansson committed Feb 24, 2016
    Configuration menu
    Copy the full SHA
    3f646a8 View commit details
    Browse the repository at this point in the history

Commits on Feb 29, 2016

  1. Fixed type errors

    @moajohansson
    moajohansson committed Feb 29, 2016
    Configuration menu
    Copy the full SHA
    771240d View commit details
    Browse the repository at this point in the history

Commits on Mar 7, 2016

  1. Added support for source attribute specifying file and name of a defi… 

    …nitions in TIP which might be shared between several problem files. If two defintions has been imported from the same source the idea is that we can assume them to be the same (no checking implemented though, this is just lightweight).
    @moajohansson
    moajohansson committed Mar 7, 2016
    Configuration menu
    Copy the full SHA
    89287e2 View commit details
    Browse the repository at this point in the history

Commits on Mar 8, 2016

  1. minor change to datatype for proof plans

    @moajohansson
    moajohansson committed Mar 8, 2016
    Configuration menu
    Copy the full SHA
    28b6960 View commit details
    Browse the repository at this point in the history
Loading