Skip to content

Issues: EasyCrypt/easycrypt

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

115 Open 103 Closed
115 Open 103 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

[TC] Check for existence of typeclass instance on instantiation of a constrained type variable or abstract type
#527 opened Mar 30, 2024 by fdupress
@strub
1
Improve easycrypt config to better reflect project file configuration enhancement
#525 opened Mar 28, 2024 by fdupress
@strub
2
Issues with lexing binary operators
#522 opened Mar 14, 2024 by ahuelsing
Functors in sections bug
#521 opened Mar 14, 2024 by vbgl
@strub
1
Confusing error from trying to use memory restrictions on module types bug
#520 opened Mar 13, 2024 by oskgo
@strub
4
[TC] Allow instantiation of type classes defined by extension
#515 opened Jan 12, 2024 by fdupress
@strub
[TC] Allow multiple type classes to define operators, axioms with the same unqualified name
#514 opened Jan 12, 2024 by fdupress
@strub
[TC] Add support for multiple instances of a type class on a single type
#513 opened Jan 12, 2024 by fdupress
@strub
[TC] Pretty-printing of type class operators is bad
#512 opened Jan 12, 2024 by fdupress
@strub
match tactic and pHL - incomplete implementation
#508 opened Dec 29, 2023 by alleystoughton
Positivity condition violation when using already-defined inductive datatype in definition of another inductive datatype
#501 opened Dec 11, 2023 by MM45
Axioms should be explicitly marked as global in sections
#482 opened Dec 4, 2023 by strub
something wrong with ecall
#472 opened Nov 29, 2023 by 1Boat1Straw-CloakedMan
Case where SMT is very slow enhancement
#466 opened Nov 9, 2023 by mikeazo
@strub
5
Unsoundness in treating variable restrictions of modules
#460 opened Oct 11, 2023 by dominique-unruh
4
Printing type parameters of constants
#457 opened Sep 26, 2023 by dominique-unruh
Unsoundness of glob bug
#451 opened Sep 22, 2023 by dominique-unruh Release 2023.11
@strub
8
EcSubst should not be used in EcReduction
#439 opened Sep 14, 2023 by bgregoir
@Cameron-Low
Add parser support for memory restriction annotations (and checking) on module definition enhancement
#419 opened Jul 13, 2023 by fdupress
@bgregoir
Allow declaration of functor types by include enhancement
#418 opened Jul 13, 2023 by fdupress
@bgregoir
Unexpected crash bug
#416 opened Jul 12, 2023 by vbgl
1
EC looses track of axioms after theory instantiation
#413 opened Jul 11, 2023 by bacelar
5
Non-linear increase of the memory usage
#409 opened Jun 27, 2023 by Boutry
Small issues in runtest
#404 opened Jun 23, 2023 by sarranz
[runtest] Interrupting runtest does not restore terminal echo setting
#403 opened Jun 23, 2023 by chdoc
ProTip! Find all open issues with in progress development work with linked:pr.