Skip to content

Activity

Showing most recent first

fmt

Force push
MaximilianAlgehedforce pushed to epoch • 5a284eb…6304568 • 
on Nov 7, 2024

Use conformsToSpecProp to get more feed back when sts property fails

UlfNorellcreated epoch • 5a284eb • 
on Nov 4, 2024

Deleted branch

rjmhdeleted PR-add-evalScriptsWithLogs-and-friends-to-CHANGELOG • 
on Nov 8, 2023

Deleted branch

rjmhdeleted PR-add-evalScriptsWithLogs-and-friends • 
on Nov 6, 2023

Add evalScriptsWithLogs and friends to the CHANGELOG

rjmhcreated PR-add-evalScriptsWithLogs-and-friends-to-CHANGELOG • fa84ae2 • 
on Nov 6, 2023

Add ...WithLogs versions of evalScripts and friends

rjmhcreated PR-add-evalScriptsWithLogs-and-friends • a2bfb01 • 
on Nov 2, 2023

Removed Shaped instance for Rep and replace its uses with

Force push
MaximilianAlgehedforce pushed to PR-typerep-remove-shaped • 944f1d6…8a435bb • 
on Sep 25, 2023

Removed Shaped instance for Rep and replace its uses with

Force push
MaximilianAlgehedforce pushed to PR-typerep-remove-shaped • b7e7d0a…944f1d6 • 
on Sep 25, 2023

Removed Shaped instance for Rep and replace its uses with

Force push
MaximilianAlgehedforce pushed to PR-typerep-remove-shaped • 1e6d5ae…b7e7d0a • 
on Sep 25, 2023

Removed Shaped instance for Rep and replace its uses with

Force push
MaximilianAlgehedforce pushed to PR-typerep-remove-shaped • be6868e…1e6d5ae • 
on Sep 25, 2023

Deleted branch

MaximilianAlgeheddeleted PR-simplify-ord-eq • 
on Sep 25, 2023

Simplify the implementations of hasOrd and hasEq

Force push
MaximilianAlgehedforce pushed to PR-simplify-ord-eq • c7afed5…56becaa • 
on Sep 22, 2023

Simplify the implementations of hasOrd and hasEq

Force push
MaximilianAlgehedforce pushed to PR-simplify-ord-eq • 55c06bb…c7afed5 • 
on Sep 22, 2023

Simplify the implementations of hasOrd and hasEq

Force push
MaximilianAlgehedforce pushed to PR-simplify-ord-eq • 42dd7cf…55c06bb • 
on Sep 22, 2023

Simplify the implementations of hasOrd and hasEq

Force push
MaximilianAlgehedforce pushed to PR-simplify-ord-eq • f4efa53…42dd7cf • 
on Sep 22, 2023

Removed Shaped instance for Rep and replace its uses with

Force push
MaximilianAlgehedforce pushed to PR-typerep-remove-shaped • 375e2a9…be6868e • 
on Sep 21, 2023

Simplify the implementations of hasOrd and hasEq

Force push
MaximilianAlgehedforce pushed to PR-simplify-ord-eq • fd52383…f4efa53 • 
on Sep 21, 2023

Deleted branch

MaximilianAlgeheddeleted PR-STS-tests • 
on Sep 21, 2023

Simplify the implementations of hasOrd and hasEq

Force push
MaximilianAlgehedforce pushed to PR-simplify-ord-eq • 8017d04…fd52383 • 
on Sep 21, 2023

Simplify the implementations of hasOrd and hasEq

Force push
MaximilianAlgehedforce pushed to PR-simplify-ord-eq • d2daee7…8017d04 • 
on Sep 21, 2023

Removed Shaped instance for Rep and replace its uses with

Force push
MaximilianAlgehedforce pushed to PR-typerep-remove-shaped • 7271448…375e2a9 • 
on Sep 21, 2023

STS test for GOVCERT, POOL, DISTR rules

Force push
MaximilianAlgehedforce pushed to PR-STS-tests • ed74728…73c9343 • 
on Sep 21, 2023

STS test for GOVCERT, POOL, DISTR rules

Force push
MaximilianAlgehedforce pushed to PR-STS-tests • 1e5f722…ed74728 • 
on Sep 21, 2023

STS test for GOVCERT, POOL, DISTR rules

Force push
MaximilianAlgehedforce pushed to PR-STS-tests • f3c36ac…1e5f722 • 
on Sep 21, 2023

STS test for GOVCERT, POOL, DISTR rules

Force push
MaximilianAlgehedforce pushed to PR-STS-tests • 0ef46c5…f3c36ac • 
on Sep 21, 2023

Don't check for poolDistr as it's not necessary for PState

Force push
MaximilianAlgehedforce pushed to PR-STS-tests • 07a1410…0ef46c5 • 
on Sep 21, 2023

Don't check for poolDistr as it's not necessary for PState

MaximilianAlgehedpushed 1 commit to PR-STS-tests • 0dfc41d…07a1410 • 
on Sep 21, 2023

Removed Shaped instance for Rep and replace its uses with

Force push
MaximilianAlgehedforce pushed to PR-typerep-remove-shaped • dc44cf6…7271448 • 
on Sep 20, 2023

Removed Shaped instance for Rep and replace its uses with

Force push
MaximilianAlgehedforce pushed to PR-typerep-remove-shaped • bad0653…dc44cf6 • 
on Sep 20, 2023

more warnings

MaximilianAlgehedpushed 1 commit to PR-STS-tests • e38a2fa…0dfc41d • 
on Sep 20, 2023