Skip to content

Activity

tracing: fix bug in the pretty-printer

ulysses4everpushed 1 commit to print-checks • c1f7e05…f75211a • 
on Dec 11, 2023

testsuite: pass test_scfg explicitly

ulysses4everpushed 2 commits to print-checks • 2ff1861…c1f7e05 • 
on Dec 11, 2023

simplify output file management: always append; change output format

ulysses4everpushed 1 commit to print-checks • 095a9f1…2ff1861 • 
on Dec 11, 2023

first prototype of tracing checks

ulysses4evercreated print-checks • 095a9f1 • 
on Dec 3, 2023

rework and fixes

JanJecmenpushed 1 commit to dumper • 572af08…1c3fc37 • 
on Dec 2, 2023

dump types and function signatures

JanJecmencreated dumper • 572af08 • 
on Dec 1, 2023

Reworked function discovery

ulysses4evercreated allmethods-more-docs • 43411d6 • 
on Nov 29, 2023

reporting: fix heading of the resulting aggregate CSV

ulysses4everpushed 14 commits to main • b950c25…ae53bd0 • 
on Nov 29, 2023

Deleted tag

ulysses4everdeleted refs/tags/v1.0 • 
on Nov 29, 2023

Deleted tag

ulysses4everdeleted refs/tags/v0.1 • 
on Nov 29, 2023

Deleted tag

Deleted tag

Deleted tag

Deleted tag

Deleted tag

ulysses4everdeleted refs/tags/show • 
on Nov 29, 2023

Deleted tag

Deleted tag

ulysses4everdeleted refs/tags/ghc-8.4.1-rev-gitlink • 
on Nov 29, 2023

Deleted tag

ulysses4everdeleted refs/tags/ghc-7.6.3-release • 
on Nov 29, 2023

Deleted tag

ulysses4everdeleted refs/tags/ghc-7.6.2-release • 
on Nov 29, 2023

Deleted tag

ulysses4everdeleted refs/tags/ghc-7.6.1-release • 
on Nov 29, 2023

Deleted tag

Deleted tag

ulysses4everdeleted refs/tags/checkpoint • 
on Nov 29, 2023

Deleted tag

ulysses4everdeleted refs/tags/cabal-install_merged • 
on Nov 29, 2023

Deleted tag

Deleted tag

ulysses4everdeleted refs/tags/cabal-install-v3.8.1.0 • 
on Nov 29, 2023

Deleted tag

ulysses4everdeleted refs/tags/cabal-install-v3.6.2.0 • 
on Nov 29, 2023

Deleted tag

ulysses4everdeleted refs/tags/cabal-install-v3.4.1.0 • 
on Nov 29, 2023

Deleted tag

ulysses4everdeleted refs/tags/cabal-install-v3.4.0.0 • 
on Nov 29, 2023

Deleted tag

ulysses4everdeleted refs/tags/cabal-install-v3.2.0.0 • 
on Nov 29, 2023

Deleted tag