git.iko.soy
/
typeable/compaREST
readme
files
commits
refs
on
master
help
sign in
2186798
Bump nix stuff.
Nick
2 years ago
9c1ef36
Bump stackage.
Nick
2 years ago
383c9f4
Build changes. (#140)
Nick
2 years ago
fbd027d
GHC 9.6 support and CSS fixes (#139)
Nick
2 years ago
f0f24ad
Fixed docker tag (#136)
0.1.0.1
iko
5 years ago
965d136
Bumped library version to 0.1.0.1 (#135)
iko
5 years ago
7dbb55c
Updated changelog (#134)
iko
5 years ago
e54c58c
Fixed an issue where running the GitHub Action on a trigger that is not a PR causes an error (#131)
iko
5 years ago
4ac0d9c
slightly refined documentation (#130)
iko
5 years ago
9ded260
Dropped policeman (#133)
iko
5 years ago
3a4e535
Turns out we don't need to install skopeo (:
0.1.0.0
iko
5 years ago
5e2eff7
Preparing for 0.1.0.0 release (#129)
iko
5 years ago
db716ee
Detect unguarded recursion when inspecting object properties and similar things (#128)
mniip
5 years ago
5727f6b
Various CI improvements (#123)
iko
5 years ago
3b2fc92
Update action.yaml
latest
iko
5 years ago
6d8a673
Use checks instead of posting comments (#122)
iko
5 years ago
a1ea91f
Add a dev and a user guide (#120)
mniip
5 years ago
e71cbde
Added integration guide (#119)
iko
5 years ago
f4fd16d
Naming changes (#117)
mniip
5 years ago
c7159b1
GitHub actions (#118)
iko
5 years ago
df894c0
Fix comment
mniip
5 years ago
9aef830
Added docker image builder and quick start guide (#113)
iko
5 years ago
958a653
Refactor categorizing issues (#111)
mniip
5 years ago
23bb0f7
Refined CLI and added options (#114)
iko
5 years ago
d50b2ba
Fixed ProdCons value pairs in report (#112)
iko
5 years ago
a501f6e
Better CLI docs (#106)
iko
5 years ago
dcd32cb
Tuple items (#108)
mniip
5 years ago
7029d24
Add disjointness heuristic with the help of partitioning (#107)
mniip
5 years ago
2a7f02a
Splitting (#104)
mniip
5 years ago
cc07ccf
Added preliminary report example (#105)
iko
5 years ago
a8bf43b
Added tool comparison benchmarks scaffolding (#103)
iko
5 years ago
ff54497
Added support for modes (#101)
iko
5 years ago
3f2c95f
Don't fold singleton sections in report (#100)
iko
5 years ago
53ba00e
Add special reporting for when type-restricting clauses have been added (#96)
mniip
5 years ago
62a321a
Added foldable tree report (#91)
iko
5 years ago
649261f
Fixed some report issues (#88)
iko
5 years ago
38341ca
Added styling to HTML output (#84)
iko
5 years ago
2440f23
Added non-breaking changes to reports (#82)
iko
5 years ago
695c8fb
Improved reports (#78)
iko
5 years ago
f883264
Disabled split sections
iko
5 years ago
5d875c2
Split object files (#77)
iko
5 years ago
f546347
Update haskell.yml
iko
5 years ago
28519f1
Made warnings stricter (#76)
iko
5 years ago
5fd5a1c
Added JSON Path jets (#75)
iko
5 years ago
218336b
Added report generation (#73)
iko
5 years ago
f39734f
Update remove-artifacts.yaml
iko
5 years ago
e2340b6
Update remove-artifacts.yaml
iko
5 years ago
572057f
Remove artefacts as fast as possible
iko
5 years ago
7e7c9fa
Create remove-artifacts.yaml
iko
5 years ago
1ee90ee
Guarded Recursion (#67)
mniip
5 years ago
older commits
keys
esc to close
j k
move down, up
enter
open
esc
back, or up a level
1 2 3 4
readme, files, commits, refs
/
filter
y
copy the clone command
c
compare the chosen commit with another (or shift-click both)
?
show or hide this list