Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Jan 6, 2026

• Added some test cases, and changed the z3 parser to new version

  Jaxan

  committed
  cf52731

  Copy full SHA for cf52731

Commits on Oct 22, 2024

• Some notes on Z3 versions

  Jaxan

  committed
  f0a9edd

  Copy full SHA for f0a9edd

Commits on Aug 15, 2023

• Adds basic testing and benchmarking

  Jaxan

  committed
  95b3fc6

  Copy full SHA for 95b3fc6

Commits on Jul 12, 2023

• Replaces a dependency with a smaller dependency.

  Show description for 7138af7
  Jaxan

  committed
  7138af7

  Copy full SHA for 7138af7

Commits on Jul 5, 2023

• Removes the combinat dependency by enumerating partitions ourselves.

  Show description for c646478
  Jaxan

  committed
  c646478

  Copy full SHA for c646478

Commits on Jan 14, 2022

• Installation guide update and GHCi configuration

  szynwelski

  committed
  8357a5f

  Copy full SHA for 8357a5f

• Change the fixity declaration for logical operators

  szynwelski

  committed
  889a5de

  Copy full SHA for 889a5de

• Change of logics in SMT Solver to quantifier-free

  szynwelski

  committed
  41a855d

  Copy full SHA for 41a855d

• Minor corrections in the comments

  szynwelski

  committed
  9cde41a

  Copy full SHA for 9cde41a

• Issue #3 Conditional expression with formula as condition using if-then-else construct

  szynwelski

  committed
  1ab7a82

  Copy full SHA for 1ab7a82

Commits on Nov 19, 2021

• NominalType => Nominal

  szynwelski

  committed
  47d81e0

  Copy full SHA for 47d81e0

Commits on Aug 31, 2018

• Issue #2 - Clean-up.

  szynwelski

  committed
  b9acb98

  Copy full SHA for b9acb98

• Issue #2 - Import modules for tests.

  szynwelski

  committed
  44ba9d4

  Copy full SHA for 44ba9d4

• Issue #2 - Fixed list of type constructors in module + add import things for list of things in current module + rewrite DFunId in IdDetails.

  szynwelski

  committed
  12bf615

  Copy full SHA for 12bf615

• Issue #2 - Get vars and type constructors without pairs from imported modules.

  szynwelski

  committed
  207907a

  Copy full SHA for 207907a

• Issue #2 - Tests for recursive functions.

  szynwelski

  committed
  e786c86

  Copy full SHA for e786c86

• Issue #2 - Rewrite id details.

  szynwelski

  committed
  f0d7ca8

  Copy full SHA for f0d7ca8

• Issue #2 - Fided adding Var context for methods of higher order classes.

  szynwelski

  committed
  53f6dd4

  Copy full SHA for 53f6dd4

• Issue #2 - Script to run all tests.

  szynwelski

  committed
  9705cb3

  Copy full SHA for 9705cb3

• Issue #2 - Add Var context for all user class operations + better change type in coercion.

  szynwelski

  committed
  1c8794d

  Copy full SHA for 1c8794d

• Issue #2 - Tests for user classes.

  szynwelski

  committed
  8d77789

  Copy full SHA for 8d77789

• Issue #2 - Simpler type application.

  szynwelski

  committed
  f1e8323

  Copy full SHA for f1e8323

• Issue #2 - Class instances only for names and ids with pairs.

  szynwelski

  committed
  af03ff0

  Copy full SHA for af03ff0

• Issue #2 - Fixed apply type for type vars in predicates.

  szynwelski

  committed
  a548df4

  Copy full SHA for a548df4

• Issue #2 - Update class instances and used names in guts.

  szynwelski

  committed
  f652a75

  Copy full SHA for f652a75

• Issue #2 - Fixed no meta expression in case + tests for Prelude functions.

  szynwelski

  committed
  5bd580d

  Copy full SHA for 5bd580d

• Issue #2 - Tests for Traversable.

  szynwelski

  committed
  bfb92a3

  Copy full SHA for bfb92a3

• Issue #2 - Tests for Monad (one not working).

  szynwelski

  committed
  a2114f8

  Copy full SHA for a2114f8

• Issue #2 - Remove ClassOpImpl.

  szynwelski

  committed
  49fa43b

  Copy full SHA for 49fa43b

• Issue #2 - Tests for Applicative (one not working).

  szynwelski

  committed
  bb6efaf

  Copy full SHA for bb6efaf

• Issue #2 - Cleanups.

  szynwelski

  committed
  04f65ba

  Copy full SHA for 04f65ba

• Issue #2 - Tests for Monoid.

  szynwelski

  committed
  e49d1ae

  Copy full SHA for e49d1ae

• Issue #2 - Meta implementation and tests for Semigroup ++ add mock in application during replace.

  szynwelski

  committed
  28df16e

  Copy full SHA for 28df16e

• Issue #2 - Tests for Foldable.

  szynwelski

  committed
  be5bd79

  Copy full SHA for be5bd79

• Issue #2 - Excessive Var context in Functor_nlambda + tests for Functor.

  szynwelski

  committed
  5232773

  Copy full SHA for 5232773

Pagination

Previous

Next