issues Search Results · repo:GaloisInc/yapall language:C
Filter by
36 results
(59 ms)36 results
inGaloisInc/yapall (press backspace or delete to remove)What are the intentions for supporting versions of rustc (i.e. what version range is intended)? I m asking because the
CI here uses nixpkgs-unstable, but I have another project which includes yapall and ...
kquick
- 1
- Opened on Nov 16, 2023
- #83
https://2023.splashcon.org/details/splash-2023-oopsla/74/Bring-Your-Own-Data-Structures-to-Datalog
doc
langston-barrett
- Opened on Oct 5, 2023
- #72
Here s a simpler implementation of NanoCountLayer:
use std::time::{Duration, SystemTime};
use tracing::{debug, Id, Subscriber};
use tracing_subscriber::{layer::Context, registry::LookupSpan, Layer}; ...
- Opened on Sep 15, 2023
- #61
This test was used to demonstrate proper handling of the undef constant, but it no longer seems to generate one.
bug
- Opened on Aug 31, 2023
- #54
yapall error: Opaque pointers are only supported in -opaque-pointers mode (Producer: LLVM15.0.7 Reader: LLVM 14.0.6 )
yapall error: test failed, to rerun pass `--test pointer`
(See https://github.com/GaloisInc/yapall/actions/runs/6029699696/job/16359835202?pr=47#step:5:950 ...
- 1
- Opened on Aug 30, 2023
- #49
The irving_precision test is failing (see
https://github.com/GaloisInc/yapall/actions/runs/6029699696/job/16359835202?pr=47#step:5:960). This is a specific
instance of the general failures noted in #46. ...
bug
- Opened on Aug 30, 2023
- #48
It s my impression that the Nix flake can t yet successfully run the test suite. We should investigate this further.
- 1
- Opened on Aug 30, 2023
- #46
If it takes much longer than the normal build, perhaps we could run it just on the main branch.
infrastructure/ci
- Opened on Aug 30, 2023
- #45
Learn how you can use GitHub Issues to plan and track your work.
Save views for sprints, backlogs, teams, or releases. Rank, sort, and filter issues to suit the occasion. The possibilities are endless.Learn more about GitHub IssuesProTip!
Restrict your search to the title by using the in:title qualifier.Learn how you can use GitHub Issues to plan and track your work.
Save views for sprints, backlogs, teams, or releases. Rank, sort, and filter issues to suit the occasion. The possibilities are endless.Learn more about GitHub IssuesProTip!
Press the /
key to activate the search input again and adjust your query.