q9i/monadic
q9i/monadic
1
0
Fork 1
generated from functor.systems/hask
Code Issues Pull requests Projects Releases Packages Wiki Activity

Do liquidhaskell checking with z3 in Nix at build time #2

Closed
youwen wants to merge 3 commits from youwen/monadic:lhs-with-z3 into main
pull from: youwen/monadic:lhs-with-z3
merge into: q9i:main
Conversation 5 Commits 3 Files changed 3 +22 -41
youwen commented 2025-12-28 05:56:00 -08:00
First-time contributor
Copy link

I'm ACTUALLY going to kill myself

I'm ACTUALLY going to kill myself
youwen requested review from q9i 2025-12-28 05:56:18 -08:00
youwen added spent time 2025-12-28 06:17:54 -08:00
6 hours
youwen commented 2025-12-28 18:54:47 -08:00
Author
First-time contributor
Copy link

just rebased and added some more commits

just rebased and added some more commits
youwen added spent time 2025-12-28 18:54:51 -08:00
1 hour
youwen deleted spent time 2025-12-28 18:54:54 -08:00
- 1 hour
youwen added spent time 2025-12-28 18:54:58 -08:00
15 minutes
q9i commented 2025-12-28 19:44:58 -08:00
Owner
Copy link

merged into main (see 08ce2f2c20)

merged into main (see 08ce2f2c205293742c7649e1c30b313152b30aca)
q9i closed this pull request 2025-12-28 19:44:59 -08:00
youwen commented 2025-12-28 21:41:32 -08:00
Author
First-time contributor
Copy link

You missed this essential commit to enable formal verification across the board: !2 (commit 103e51ee44)

You missed this essential commit to enable formal verification across the board: https://code.functor.systems/q9i/monadic/pulls/2/commits/103e51ee44c8261250ad5989c2c48f56056659dc
youwen reopened this pull request 2025-12-28 21:41:33 -08:00
q9i approved these changes 2025-12-29 17:25:00 -08:00
q9i commented 2025-12-29 17:25:40 -08:00
Owner
Copy link

@youwen wrote in #2 (comment):

You missed this essential commit to enable formal verification across the board: q9i/monadic@!2 (commit 103e51ee44)

Should be patched now in dd51a8dfd0

@youwen wrote in https://code.functor.systems/q9i/monadic/pulls/2#issuecomment-167: > You missed this essential commit to enable formal verification across the board: [q9i/monadic@!2 (commit `103e51ee44`)](https://code.functor.systems/q9i/monadic/pulls/2/commits/103e51ee44c8261250ad5989c2c48f56056659dc) Should be patched now in dd51a8dfd061665ea7591c876680badb480ea6c3
q9i closed this pull request 2025-12-29 17:25:41 -08:00

Pull request closed

Please reopen this pull request to perform a merge.
Sign in to join this conversation.
Reviewers
No reviewers
q9i
Labels
Clear labels   
Compat/Breaking

Breaking change that won't be backward compatible

  
Kind/Bug

Something is not working

  
Kind/Documentation

Documentation changes

  
Kind/Enhancement

Improve existing functionality

  
Kind/Feature

New functionality

  
Kind/Security

This is security issue

  
Kind/Testing

Issue or pull request related to testing

  
Priority
Critical
The priority is critical

  
Priority
High
The priority is high

  
Priority
Low
The priority is low

  
Priority
Medium
The priority is medium

  
Reviewed
Confirmed
Issue has been confirmed

  
Reviewed
Duplicate
This issue or pull request already exists

  
Reviewed
Invalid
Invalid issue

  
Reviewed
Won't Fix
This issue won't be fixed

  
Status
Abandoned
Somebody has started to work on this but abandoned work

  
Status
Blocked
Something is blocking this issue or pull request

  
Status
Need More Info
Feedback is required to reproduce issue or to continue work

No labels
Compat/Breaking
Kind/Bug
Kind/Documentation
Kind/Enhancement
Kind/Feature
Kind/Security
Kind/Testing
Priority
Critical
Priority
High
Priority
Low
Priority
Medium
Reviewed
Confirmed
Reviewed
Duplicate
Reviewed
Invalid
Reviewed
Won't Fix
Status
Abandoned
Status
Blocked
Status
Need More Info
Milestone
Clear milestone
No items
No milestone
Projects
Clear projects
No items
No project
Assignees
Clear assignees
No assignees
2 participants
Notifications
Total time spent: 6 hours 15 minutes
youwen
6 hours 15 minutes
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference
q9i/monadic!2
No description provided.