-
Notifications
You must be signed in to change notification settings - Fork 22
Insights: cryspen/hax
Overview
Could not load contribution data
Please try again later
7 Pull requests merged by 4 people
-
Make predicate handling a bit more consistent
#1222 merged
Jan 16, 2025 -
fix(engine) Attempt to fix double return bug.
#1223 merged
Jan 14, 2025 -
fix(engine) Add type arguments for associated constants.
#1229 merged
Jan 14, 2025 -
fix(engine) Propagate return rewrite to avoid crash in side_effect_utils
#1230 merged
Jan 14, 2025 -
fix(engine) Use ocamlgraph fork to fix missing rec bug.
#1228 merged
Jan 14, 2025 -
Hax home page using mkdocs
#1225 merged
Jan 14, 2025 -
Add EBNF for AST to book
#1066 merged
Jan 13, 2025
5 Pull requests opened by 3 people
-
fix(engine) Avoid wrong type with loop at the end of a function.
#1232 opened
Jan 14, 2025 -
Library extensions
#1235 opened
Jan 16, 2025 -
Add more info to `ImplExprAtom::Builtin`
#1236 opened
Jan 16, 2025 -
Fix order of `Call` trait clauses
#1237 opened
Jan 17, 2025 -
Transparent integers
#1238 opened
Jan 17, 2025
10 Issues closed by 4 people
-
[Book] Rust by example & playground
#1096 closed
Jan 17, 2025 -
Export external items as interfaces
#13 closed
Jan 16, 2025 -
Investigate dependent refinements
#812 closed
Jan 16, 2025 -
F*: extract implementations without associated types as `val instance ...`
#1113 closed
Jan 16, 2025 -
Double return bug
#720 closed
Jan 15, 2025 -
Doc: markdown grammar
#1047 closed
Jan 15, 2025 -
Fatal error in side_effect_utils.ml
#1175 closed
Jan 14, 2025 -
Engine: F*: missing implicit type arguments for associated constants
#1139 closed
Jan 14, 2025 -
Engine: F*: Missing `rec` qualifier in a mutually recursive top-level `let`
#1158 closed
Jan 14, 2025 -
Trait method calls don't get renamed properly inside bundles
#1203 closed
Jan 14, 2025
8 Issues opened by 4 people
-
Add error message for static items
#1240 opened
Jan 17, 2025 -
ocamlgraph pinning broken
#1239 opened
Jan 17, 2025 -
Investigate
#1234 opened
Jan 16, 2025 -
Allow decreases classes to prove termination
#1233 opened
Jan 15, 2025 -
Loop with side effect at the end of a function gives inconsistent type
#1231 opened
Jan 14, 2025 -
CI/Nix: restore rustc-docs
#1227 opened
Jan 14, 2025 -
Docs: playground integration: polish and fix bugs
#1226 opened
Jan 14, 2025 -
`self` in requires clause gets renamed to `self__`
#1224 opened
Jan 12, 2025
17 Unresolved conversations
Sometimes conversations happen on old items that aren’t yet closed. Here is a list of all the Issues and Pull Requests with unresolved conversations.
-
Engine: rework global name representation
#1199 commented on
Jan 16, 2025 • 1 new comment -
fix(engine) Fix crash with `hax_lib::fstar::before` in recursive bundles
#1179 commented on
Jan 16, 2025 • 0 new comments -
fix(engine/deps): preserve definitions order whenever possible
#1151 commented on
Jan 16, 2025 • 0 new comments -
Move trait methods in cyclic dependencies bundling.
#1075 commented on
Jan 16, 2025 • 0 new comments -
Support patterns on arrays and opaque types.
#878 commented on
Jan 16, 2025 • 0 new comments -
Rust component for ProVerif Processes
#1129 commented on
Jan 17, 2025 • 0 new comments -
Install: instruction to install latest release via opam
#980 commented on
Jan 17, 2025 • 0 new comments -
Backend/Engine: `cast_to_repr` not counting correctly
#881 commented on
Jan 17, 2025 • 0 new comments -
Check performance of `RewriteControlFlow`
#1033 commented on
Jan 17, 2025 • 0 new comments -
Move our current Rust-ish printer to the generic printer
#1110 commented on
Jan 17, 2025 • 0 new comments -
Fstar core modelling of IntoIterator trait fails on some generated code using it
#1168 commented on
Jan 16, 2025 • 0 new comments -
Cannot access previous struct fields in `refine` attributes
#904 commented on
Jan 16, 2025 • 0 new comments -
Out Of Memory in the engine
#1109 commented on
Jan 16, 2025 • 0 new comments -
`from` method provided by `core::convert::From` is not extracted to the same name if it passed as a closure
#1165 commented on
Jan 16, 2025 • 0 new comments -
Integerate EBNF in documentation
#1009 commented on
Jan 16, 2025 • 0 new comments -
Bignum library
#1093 commented on
Jan 16, 2025 • 0 new comments -
Cleanup dependencies and license checks
#1105 commented on
Jan 16, 2025 • 0 new comments