Skip to content
GitLab
Explore
Sign in
Register
Primary navigation
Search or go to…
Project
G
ghc-pbts
Manage
Activity
Members
Labels
Plan
Issues
Issue boards
Milestones
Wiki
Requirements
Code
Merge requests
Repository
Branches
Commits
Tags
Repository graph
Compare revisions
Snippets
Locked files
Build
Pipelines
Jobs
Pipeline schedules
Test cases
Artifacts
Deploy
Releases
Package Registry
Container Registry
Model registry
Operate
Environments
Terraform modules
Monitor
Incidents
Analyze
Value stream analytics
Contributor analytics
CI/CD analytics
Repository analytics
Code review analytics
Issue analytics
Insights
Model experiments
Help
Help
Support
GitLab documentation
Compare GitLab plans
Community forum
Contribute to GitLab
Provide feedback
Terms and privacy
Keyboard shortcuts
?
Snippets
Groups
Projects
Show more breadcrumbs
Matt Walker
ghc-pbts
Activity
All
Push events
Merge events
Issue events
Comments
Wiki
Designs
Team
1 year ago
Matt Walker
@trac-fizzixnerd
pushed to branch
main
at
Matt Walker /
ghc-pbts
2d5085e5
· Update optimizer and weights. It works!
1 year ago
Matt Walker
@trac-fizzixnerd
pushed to branch
main
at
Matt Walker /
ghc-pbts
63d2d4ac
· Got optimizer optimizing
1 year ago
Matt Walker
@trac-fizzixnerd
pushed to branch
main
at
Matt Walker /
ghc-pbts
92718d38
· Fix Case expressions
... and 1 more commit.
Compare
45b222a9...92718d38
1 year ago
Matt Walker
@trac-fizzixnerd
pushed to branch
main
at
Matt Walker /
ghc-pbts
45b222a9
· Checkpoint 3
... and 2 more commits.
Compare
e4c55e2f...45b222a9
1 year ago
Matt Walker
@trac-fizzixnerd
pushed to branch
main
at
Matt Walker /
ghc-pbts
e4c55e2f
· Formatting
1 year ago
Matt Walker
@trac-fizzixnerd
pushed to branch
main
at
Matt Walker /
ghc-pbts
b2e16029
· falsify => QuickCheck
... and 1 more commit.
Compare
dba8b403...b2e16029
1 year ago
Matt Walker
@trac-fizzixnerd
pushed to branch
main
at
Matt Walker /
ghc-pbts
dba8b403
· Found a bug; added -fno-cse and other flags for unsafePerformIO
1 year ago
Matt Walker
@trac-fizzixnerd
pushed to branch
main
at
Matt Walker /
ghc-pbts
9ffb4160
· Get the driver working!
1 year ago
Matt Walker
@trac-fizzixnerd
pushed to branch
main
at
Matt Walker /
ghc-pbts
674849b1
· Documentation and invariance under betaReduction of 'isConstantFunc...
1 year ago
Matt Walker
@trac-fizzixnerd
pushed to branch
main
at
Matt Walker /
ghc-pbts
3416f138
· Rename
1 year ago
Matt Walker
@trac-fizzixnerd
pushed new branch
main
at
Matt Walker /
ghc-pbts
1 year ago
Matt Walker
@trac-fizzixnerd
created project
Matt Walker /
ghc-pbts
Loading
