Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Use Lumberjack for crux output of messages, exceptions, CruxSimulation, and ProvedGoals. #755

Merged
merged 19 commits into from
Jun 11, 2021
Merged

Use Lumberjack for crux output of messages, exceptions, CruxSimulation, and ProvedGoals. #755

Changes from 1 commit
Commits
Show all changes
19 commits
Select commit Hold shift + click to select a range
06920e6
Use Lumberjack for crux output of messages, exceptions, CruxSimulatio…
kquick Jun 4, 2021
cc2458f
uc-crux-llvm updates to satisfy linter.
kquick Jun 4, 2021
23e56af
Additional changes to satisfy uc-crux-llvm linter.
kquick Jun 4, 2021
a6bf293
Resolve yet more uc-crux-llvm linter grievances.
kquick Jun 4, 2021
8190a28
Pass known cruxOpts to output config in crucible-concurrency.
kquick Jun 7, 2021
522541e
Pass known cruxOpts to output config in crux tests.
kquick Jun 7, 2021
5f583e1
Add more description to mkOutputConfig describing effects of Nothing …
kquick Jun 7, 2021
fc7ea7a
Update ormolu action version to try to fix CI
kquick Jun 7, 2021
832aef2
Disable linting check that seems to have linter implementation issues…
kquick Jun 7, 2021
946e1a7
Use standard evaluation of quiet mode configuration or default.
kquick Jun 7, 2021
a2faaa0
Fix syntax error in uc-crux-llvm test.
kquick Jun 7, 2021
02a8335
Fix misspelling of attempted in crux-mir counterexample failure messa…
kquick Jun 7, 2021
81562fc
Added delineator before final results output from crux-mir.
kquick Jun 7, 2021
c9d915e
logSimResult takes a flag to request display of failed goals; removes…
kquick Jun 10, 2021
ac13cce
Update crucible-jvm for added simulation post processing result argum…
kquick Jun 11, 2021
9c65b01
Revert to always output mode for crux-mir run extra overrides test me…
kquick Jun 11, 2021
0dc58bb
Update crux-mir output difference message for proper filename mention.
kquick Jun 11, 2021
ebe3481
Update crux-mir golden test results.
kquick Jun 11, 2021
0659b04
Resolve merge conflicts in crux-mir test output.
kquick Jun 11, 2021
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Update ormolu action version to try to fix CI
  • Loading branch information
@kquick
kquick committed Jun 7, 2021
commit fc7ea7aa9e7f53d76591883911ddb52db319d32b
2 changes: 1 addition & 1 deletion .github/workflows/uc-crux-llvm-lint.yaml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -22,7 +22,7 @@ jobs:
tar xvf hlint.tar.gz
./hlint-3.3/hlint exe src test

- uses: mrkkrp/ormolu-action@v1
- uses: mrkkrp/ormolu-action@v2
with:
pattern: |
uc-crux-llvm/exe/**/*.hs
Expand Down