Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Dec 13, 2024

• Touch up equality

  mperucca

  committed
  70b6ff4

  Copy full SHA for 70b6ff4

Commits on Dec 12, 2024

• Add/use some Compute companion helpers along with adding boolean operator type aliases

  mperucca

  committed
  9e83194

  Copy full SHA for 9e83194

• Some readme updates

  mperucca

  committed
  9dda1b7

  Copy full SHA for 9dda1b7

• Move type alias `Tested` to separate file along with helper touch ups

  mperucca

  committed
  f4e3bc3

  Copy full SHA for f4e3bc3

Commits on Dec 11, 2024

• Guarantee test touchups

  mperucca

  committed
  9950c29

  Copy full SHA for 9950c29

• re-introduce Inlinable.Predicate type alias

  mperucca

  committed
  79cb76a

  Copy full SHA for 79cb76a

• re-introduce Compute.Predicate type alias and set Scala to LTS version

  mperucca

  committed
  66a36bd

  Copy full SHA for 66a36bd

Commits on Nov 15, 2024

• publish fix test

  mperucca

  committed
  f1c184d

  Copy full SHA for f1c184d

• Touch up

  mperucca

  committed
  e032806

  Copy full SHA for e032806

Commits on Sep 26, 2024

• Touch up

  mperucca

  committed
  8254aff

  Copy full SHA for 8254aff

Commits on Sep 22, 2024

• Add merge sorted lists example

  mperucca

  committed
  8007a3e

  Copy full SHA for 8007a3e

Commits on May 10, 2024

• Remove leaky Inlinable Option, at least until thinking through the pitfalls of generic inlining

  mperucca

  committed
  6e6a27b

  Copy full SHA for 6e6a27b

Commits on May 8, 2024

• Simplify accumulate

  mperucca

  committed
  9f79ddd

  Copy full SHA for 9f79ddd

Commits on May 4, 2024

• Initial guarantee accumulator

  mperucca

  committed
  d13a29e

  Copy full SHA for d13a29e

Commits on May 1, 2024

• Add Guarantee.Everything

  mperucca

  committed
  68e924d

  Copy full SHA for 68e924d

Commits on Apr 11, 2024

• Include guarantee names in README example.

  mperucca

  committed
  5f3f944

  Copy full SHA for 5f3f944

• Start setting up publishing

  mperucca

  committed
  680ec77

  Copy full SHA for 680ec77

Commits on Mar 30, 2024

• Add EqualTo

  mperucca

  committed
  77e42a0

  Copy full SHA for 77e42a0

Commits on Mar 26, 2024

• Add floating point operations which highlight how you might deal with non-reflexivity such as with NaN.

  mperucca

  committed
  af5e575

  Copy full SHA for af5e575

Commits on Mar 23, 2024

• Create scala.yml

  Show description for 1d08ead
  mperucca

  authored
  1d08ead

  Copy full SHA for 1d08ead

Commits on Mar 22, 2024

• Fix compile errors for 3.4

  mperucca

  committed
  294b2d7

  Copy full SHA for 294b2d7

• Update documentation

  mperucca

  committed
  a1332ec

  Copy full SHA for a1332ec

Commits on Feb 4, 2024

• Include missing Guarantee compile time extensions

  mperucca

  committed
  deeb015

  Copy full SHA for deeb015

• Move compile time verification metaprogramming to a separate package. (Macros/inlining is less composable than runtime constructs, and more work needs to be done to make this a nicer and more predi…

  Show description for 689612b
  mperucca

  committed
  689612b

  Copy full SHA for 689612b

Commits on Jan 20, 2024

• Update test file

  mperucca

  committed
  12840b1

  Copy full SHA for 12840b1

• Add Compute instance for NonEmptyTuple

  mperucca

  committed
  9cfabc4

  Copy full SHA for 9cfabc4

Commits on Oct 25, 2023

• Update documentation

  mperucca

  committed
  0e90efb

  Copy full SHA for 0e90efb

Commits on Jun 27, 2023

• Add unit tests

  mperucca

  committed
  3686a27

  Copy full SHA for 3686a27

Commits on Jun 16, 2023

• minor touches

  mperucca

  committed
  0ec16e7

  Copy full SHA for 0ec16e7

Commits on Jun 15, 2023

• Add Constrained type alias

  mperucca

  committed
  cde20ad

  Copy full SHA for cde20ad

Commits on Jun 13, 2023

• Better Guaranteed

  mperucca

  committed
  9c76fb4

  Copy full SHA for 9c76fb4

Commits on Jun 9, 2023

• Add new Guaranteed.apply

  mperucca

  committed
  3e95446

  Copy full SHA for 3e95446

• Make Guaranteed a trait to more easily support guarantees without requiring type extractors

  mperucca

  committed
  47aa458

  Copy full SHA for 47aa458

• Add Guaranteed widen

  mperucca

  committed
  eb0be9c

  Copy full SHA for eb0be9c

Commits on Jun 8, 2023

• Rename Constrained to Guaranteed

  mperucca

  committed
  443e3b1

  Copy full SHA for 443e3b1

Pagination

Previous

Next