-
Notifications
You must be signed in to change notification settings - Fork 24
Issues: Mtac2/Mtac2
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.
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
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
hyps
is unsound because it uses fresh universes without adding the required constraints
#327
opened Apr 15, 2021 by
Janno
Make uniform the arguments to the different unification routines
#316
opened Dec 11, 2020 by
beta-ziliani
Change name of
decompose_app''
to be decompose_app'
, and of decompose_app'
to decompose_app
#315
opened Dec 11, 2020 by
beta-ziliani
mrun
shows very uninformative error message Different types
(for example when trying to run ttac
s)
#296
opened Aug 26, 2020 by
Janno
Use optional argument of Constrintern.interp_open_constr to specify expected type
#277
opened Jul 1, 2020 by
Janno
Exception handling on re-raise is largely incorrect along the codebase, destroying backtraces.
#253
opened Feb 11, 2020 by
ejgallego
Primitives that change the global environment must not be called from
mrun
#252
opened Jan 27, 2020 by
Janno
tests/match_goal_context.v: failing test case that fails for reasons unrelated to accompagnying comment.
#239
opened Dec 12, 2019 by
Janno
Previous Next
ProTip!
Updated in the last three days: updated:>2024-06-08.