Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Feb 24, 2025

• Merge pull request #26 from Rw1nd/master

  Show description for 7f0ca54
  nick8325

  authored
  7f0ca54

  Copy full SHA for 7f0ca54

• Fix Lambda Syntax in Why3

  Rw1nd

  committed
  e456b72

  Copy full SHA for e456b72

Commits on Jan 25, 2024

• Merge branch 'assert-claim-lemmas'

  solrun

  committed
  39b739c

  Copy full SHA for 39b739c

• added assert-claim to parser

  solrun

  committed
  9ed4142

  Copy full SHA for 9ed4142

• Added an --only-recursive-functions flag to tip-spec.

  nick8325

  committed
  fe29b8f

  Copy full SHA for fe29b8f

• Add ScopedTypeVariables to fix some type errors in Haskell translation

  nick8325

  committed
  685738d

  Copy full SHA for 685738d

• trying

  solrun

  committed
  a5908ff

  Copy full SHA for a5908ff

Commits on Jan 12, 2024

• Added --int-is-nat flag to tip-spec.

  nick8325

  committed
  6778f43

  Copy full SHA for 6778f43

Commits on Dec 14, 2023

• simplify greater than to less than

  solrun

  committed
  a713822

  Copy full SHA for a713822

• added rtsopts for ghc

  solrun

  committed
  cdbee4b

  Copy full SHA for cdbee4b

• Merge branch 'master' of github.com:tip-org/tools

  solrun

  committed
  3550773

  Copy full SHA for 3550773

• don't let lemmas introduce polymorphism

  solrun

  committed
  13b39e4

  Copy full SHA for 13b39e4

• Merge branch 'master' of github.com:tip-org/tools

  nick8325

  committed
  17dadf7

  Copy full SHA for 17dadf7

• Add a global timeout to tip-spec

  nick8325

  committed
  c46cf8c

  Copy full SHA for c46cf8c

Commits on Nov 29, 2023

• updated quickspec dep

  solrun

  committed
  54fff74

  Copy full SHA for 54fff74

Commits on Nov 12, 2023

• Merge branch 'master' of github.com:tip-org/tools

  solrun

  committed
  e3b73e6

  Copy full SHA for e3b73e6

• Removing Typeable constraint for observers, adding Eq

  solrun

  committed
  47ccd91

  Copy full SHA for 47ccd91

Commits on Nov 9, 2023

• Merge branch 'master' of github.com:tip-org/tools

  nick8325

  committed
  8ecd419

  Copy full SHA for 8ecd419

• Fix genericArbitrary, which wasn't respecting size, and add --observer-size parameter

  nick8325

  committed
  d2e6da0

  Copy full SHA for d2e6da0

• Optimize the generated Haskell code in tip-spec.

  nick8325

  committed
  74b3f84

  Copy full SHA for 74b3f84

• updating type constraints when using observers

  solrun

  committed
  3a725fe

  Copy full SHA for 3a725fe

• Fix mixup with QuickSpec.Internal

  nick8325

  committed
  88b8b88

  Copy full SHA for 88b8b88

• Adjust genericArbitrary to not use Typeable

  nick8325

  committed
  6c91c76

  Copy full SHA for 6c91c76

• Use -S for --test-size.

  nick8325

  committed
  ef6a1c4

  Copy full SHA for ef6a1c4

• Add a --depth option to tip-spec.

  nick8325

  committed
  ecaba7c

  Copy full SHA for ecaba7c

• Update to latest twee

  nick8325

  committed
  63c9417

  Copy full SHA for 63c9417

• Import type variables from QuickSpec, not QuickSpec.Internal.

  nick8325

  committed
  d706203

  Copy full SHA for d706203

Commits on Nov 8, 2023

• Add dummy set-logic and check-sat commands.

  nick8325

  committed
  8e8d6ef

  Copy full SHA for 8e8d6ef

• Merge branch 'master' of github.com:tip-org/tools

  nick8325

  committed
  9f418df

  Copy full SHA for 9f418df

• Add --introduce-funcdefs pass.

  nick8325

  committed
  89c6fb0

  Copy full SHA for 89c6fb0

Commits on Oct 31, 2023

• Added vampspec script that takes a TIP file, and tries to prove it using Vampire, with or without induction, and if need be also with theory exploration

  moajohansson

  committed
  e775808

  Copy full SHA for e775808

Commits on Oct 30, 2023

• allow negative numbers in --make-conjecture and family

  nick8325

  committed
  dc8cc46

  Copy full SHA for dc8cc46

• fix a bug with haskell translation with uninterpreted functions (more bugs remain)

  nick8325

  committed
  8fe4c23

  Copy full SHA for 8fe4c23

Commits on Sep 28, 2023

• Add option to SMT pretty-printing to control whether attributes get dropped.

  nick8325

  committed
  5805c65

  Copy full SHA for 5805c65

• Simplify dropAttributes.

  nick8325

  committed
  2cad76a

  Copy full SHA for 2cad76a

Pagination

Previous

Next