e71cbdeAdded integration guide (#119)iko5 years ago f4fd16dNaming changes (#117)mniip5 years ago c7159b1GitHub actions (#118)iko5 years ago df894c0Fix commentmniip5 years ago 9aef830Added docker image builder and quick start guide (#113)iko5 years ago 958a653Refactor categorizing issues (#111)mniip5 years ago 23bb0f7Refined CLI and added options (#114)iko5 years ago d50b2baFixed ProdCons value pairs in report (#112)iko5 years ago a501f6eBetter CLI docs (#106)iko5 years ago dcd32cbTuple items (#108)mniip5 years ago 7029d24Add disjointness heuristic with the help of partitioning (#107)mniip5 years ago 2a7f02aSplitting (#104)mniip5 years ago cc07ccfAdded preliminary report example (#105)iko5 years ago a8bf43bAdded tool comparison benchmarks scaffolding (#103)iko5 years ago ff54497Added support for modes (#101)iko5 years ago 3f2c95fDon't fold singleton sections in report (#100)iko5 years ago 53ba00eAdd special reporting for when type-restricting clauses have been added (#96)mniip5 years ago 62a321aAdded foldable tree report (#91)iko5 years ago 649261fFixed some report issues (#88)iko5 years ago 38341caAdded styling to HTML output (#84)iko5 years ago 2440f23Added non-breaking changes to reports (#82)iko5 years ago 695c8fbImproved reports (#78)iko5 years ago f883264Disabled split sectionsiko5 years ago 5d875c2Split object files (#77)iko5 years ago f546347Update haskell.ymliko5 years ago 28519f1Made warnings stricter (#76)iko5 years ago 5fd5a1cAdded JSON Path jets (#75)iko5 years ago 218336bAdded report generation (#73)iko5 years ago f39734fUpdate remove-artifacts.yamliko5 years ago e2340b6Update remove-artifacts.yamliko5 years ago 572057fRemove artefacts as fast as possibleiko5 years ago 7e7c9faCreate remove-artifacts.yamliko5 years ago 1ee90eeGuarded Recursion (#67)mniip5 years ago df1f841Fixed boolean/number bug in schema (#74)iko5 years ago 6e454bcFix some TODOs in schema and expand some comments (#72)mniip5 years ago 1e7e283Re-emit memoized errors at different behaviors (#66)mniip5 years ago b5ed0cbAdded callback errors (#65)iko5 years ago b76f48dAdded security schemes (#59)iko5 years ago e0ffc45StructuralMemoKey (#62)iko5 years ago 5942040Added uuid format (#60)iko5 years ago 6817a58Removed emojiiko5 years ago 4dbd1b6Releases are now not pre-releasesiko5 years ago 44a3c27Slightly better output signalling (#58)iko5 years ago 0261ac1Added artifact uploads (#57)iko5 years ago 4f254f4Initial memoization (#56)iko5 years ago cbfeeedStructural compatibility (#49)iko5 years ago 8687e5fTraces (#50)mniip5 years ago 7df8b85Added server checking (#42)iko5 years ago c2968feTurn Traced into a comonad (#41)mniip5 years ago 1d27fd1Non-schema golden tests (#40)Alexey Uimanov5 years ago