issues
search
hacspec
/
hax
A Rust verification tool
https://hacspec.org/blog
Apache License 2.0
153
stars
15
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
ppx_functor_application Documentation
#742
paulmure
opened
10 hours ago
0
Translate `dyn Trait` information
#741
Nadrieril
closed
21 hours ago
0
fix(engine/fstar): use `Base.String.hash` instead of `String.hash`
#740
W95Psp
closed
1 day ago
0
Move diagnostics reporting to miette
#739
W95Psp
opened
1 day ago
0
fix(engine/fstar): fix `c_trait_goal` and always use it for traits
#738
W95Psp
opened
2 days ago
1
`driver-hax-frontend-exporter`: PATH should default to `cargo-hax/../driver-hax-frontend-exporter`
#737
W95Psp
opened
3 days ago
0
feat: add LICENSE
#736
W95Psp
closed
3 days ago
0
Update rustc all at once
#735
Nadrieril
closed
1 day ago
0
refactor(engine/fstar-ast): get rid of `zarith` and GMP
#734
W95Psp
closed
2 days ago
0
Update rustc
#733
Nadrieril
closed
1 day ago
0
regression around `Inconsistent implicit qualifiers (did not expect argument aquals)`
#732
kaspar030
opened
5 days ago
2
Allow specifying pre/post on trait definitions
#731
W95Psp
opened
1 week ago
0
fix(frontend): make `path_to` breadth-first
#730
W95Psp
opened
1 week ago
0
Move book from `hacspec/book` to `hacspec/hax`
#729
W95Psp
opened
1 week ago
0
[ProVerif] Renaming / AST transformation pseudophase
#728
jschneider-bensch
opened
1 week ago
0
fix(engine): `Concrete_ident_generated`: `name` -> `t`, derive more
#727
W95Psp
opened
1 week ago
0
fix(engine/fstar): fix implicit discrepancies in traits
#726
W95Psp
closed
5 days ago
0
Move `hacspec/book` into the main repo
#725
W95Psp
opened
1 week ago
0
feat(nix): reduce closure size for hax-engine
#724
W95Psp
closed
1 week ago
0
Generalize bounded ints
#723
W95Psp
closed
5 days ago
0
Don't use strings to represent paths
#722
Nadrieril
closed
1 week ago
0
Update rustc
#721
Nadrieril
closed
5 days ago
4
Double return bug
#720
mamonet
opened
2 weeks ago
2
Some class parameters are incorrectly passed
#719
mamonet
opened
2 weeks ago
4
Fstar val instances
#718
W95Psp
opened
2 weeks ago
0
And mut defsite is bugged
#717
W95Psp
closed
1 week ago
1
F*: generics on methods
#716
W95Psp
closed
1 week ago
1
Generic types on structs are implicit in F*
#715
W95Psp
closed
5 days ago
1
feat(cli): add a `list-names` verb, accept "raw" paths
#714
W95Psp
opened
2 weeks ago
0
refactor: feature gate all implementations with `full`
#713
W95Psp
opened
2 weeks ago
0
fix(backends/fstar): no `__marker_trait` if parent bounds
#712
W95Psp
closed
2 weeks ago
0
feat(proof-libs): add `t_Default`
#711
W95Psp
closed
5 days ago
0
feat(hax): logging: enable tracing in release, add trait-related logs
#710
W95Psp
closed
2 weeks ago
0
fix(exporter): disable impl expr resolution under type aliases
#709
W95Psp
closed
4 days ago
3
Type aliases missing bounds in backends
#708
W95Psp
closed
4 days ago
0
Trait selection returns `Unimplemented` on type aliases
#707
W95Psp
closed
4 days ago
1
Move the trait resolution to rustc as much as possible
#706
sonmarcho
opened
3 weeks ago
0
Fix issue #699
#705
W95Psp
opened
3 weeks ago
0
fix: rename action for extracting ml-kem
#704
W95Psp
closed
5 days ago
2
feat: isolate `DefId`: faster build times
#703
W95Psp
closed
3 weeks ago
0
fix(README): always begin relative path with `./`, rewrite in action
#702
W95Psp
closed
3 weeks ago
0
Examples link broken
#701
spitters
closed
3 weeks ago
1
Pin major versions of every OCaml dependency
#700
W95Psp
closed
3 weeks ago
0
Pin major versions of every OCaml dependency
#699
W95Psp
opened
3 weeks ago
0
Generate visitors automatically
#698
W95Psp
opened
3 weeks ago
1
fix(ci): newer version of `ppx_deriving` (6.0.2) loops indefinitely
#697
W95Psp
closed
3 weeks ago
0
Static binaries for the engine
#696
franziskuskiefer
closed
2 days ago
5
Fix CI
#695
franziskuskiefer
closed
3 weeks ago
0
Update to OCaml 5
#694
W95Psp
closed
2 weeks ago
3
Export discriminant values in `AdtDef`
#693
Nadrieril
closed
5 days ago
6
Next