Skip to content

Issues: jscert/jsexplain

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

27 Open 22 Closed
27 Open 22 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
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

Fix navig_driver.js frontend Frontend and UI. The jsexplain "driver"
#53 opened Sep 24, 2018 by barockobamo
Swap out Debug.impossible_ with spec_assert_fail (or similar) jsref Tasks impacting jsref design and codebase.
#52 opened Sep 24, 2018 by barockobamo
1
Fix run_binary_op_compare jsref Tasks impacting jsref design and codebase.
#50 opened Sep 24, 2018 by barockobamo
Generate a "type: " field in smart constructors generator Issues with the ocaml to js generator and ppx extensions
#49 opened Sep 24, 2018 by barockobamo
3
Js_of_ast should prevent use of "tag" or "type" feature generator Issues with the ocaml to js generator and ppx extensions
#48 opened Sep 24, 2018 by barockobamo
Fix Constructor order from extraction to fit Coq's order jsref Tasks impacting jsref design and codebase.
#46 opened Sep 24, 2018 by barockobamo
1
Compute "substring" implies nonnegative argument check
#45 opened Sep 24, 2018 by barockobamo
3
Make display of heap information more complete feature frontend Frontend and UI. The jsexplain "driver"
#44 opened Sep 24, 2018 by barockobamo
Documentation on website and assembly.js header documentation frontend Frontend and UI. The jsexplain "driver"
#43 opened Sep 24, 2018 by barockobamo
1
Flag to force esprima to parse in strict mode jsjsref jsref executing via the ml-to-js generator. (node or browser environments) jsref Tasks impacting jsref design and codebase. mljsref jsref executing via the standard ocamlc.
#42 opened Sep 24, 2018 by barockobamo
1
Move prim_compare and value_compare to JsInterpreter jsref Tasks impacting jsref design and codebase.
#40 opened Sep 24, 2018 by barockobamo
Clean up the ML code for: type_compare mutability_compare prim_compare generator Issues with the ocaml to js generator and ppx extensions jsref Tasks impacting jsref design and codebase.
#39 opened Sep 24, 2018 by barockobamo
1
Make sure the "reach condition" works properly frontend Frontend and UI. The jsexplain "driver"
#38 opened Sep 24, 2018 by barockobamo
Inline the definition of "if_ter" inside "if_success_state" jsref Tasks impacting jsref design and codebase.
#37 opened Sep 24, 2018 by barockobamo
Remove deprecated functions jsref Tasks impacting jsref design and codebase.
#36 opened Sep 24, 2018 by barockobamo
Enumeration order needs to be correctly implemented feature jsref Tasks impacting jsref design and codebase.
#28 opened Sep 6, 2018 by IgnoredAmbience
3
Frontend doesn't take account of variable renaming bug frontend Frontend and UI. The jsexplain "driver" generator Issues with the ocaml to js generator and ppx extensions
#23 opened Jul 18, 2018 by IgnoredAmbience
Clickable interpreter debug breakpoints feature frontend Frontend and UI. The jsexplain "driver" future work
#22 opened Jul 3, 2018 by IgnoredAmbience
Generator Should Use an Intermediate AST For Code Generation future work generator Issues with the ocaml to js generator and ppx extensions major refactor
#18 opened Jun 26, 2018 by IgnoredAmbience
1
All Complex Specification Types Should be Reference-Like future work jsref Tasks impacting jsref design and codebase. major refactor
#17 opened Jun 20, 2018 by IgnoredAmbience
Investigate ocaml-migrate-parsetree feature future work generator Issues with the ocaml to js generator and ppx extensions
#14 opened Nov 14, 2017 by IgnoredAmbience
1
Add flag to monadic_binder_list to select function curried/uncurried parameters future work generator Issues with the ocaml to js generator and ppx extensions jsexplain syntax Discussion regarding syntax for jsexplain to use.
#10 opened Feb 28, 2017 by IgnoredAmbience
Introduce Automatic let%*_ret forms when inside a let%ret future work jsexplain syntax Discussion regarding syntax for jsexplain to use.
#9 opened Feb 23, 2017 by IgnoredAmbience
Suggestion to make the control flow more explicit future work jsexplain syntax Discussion regarding syntax for jsexplain to use. jsref Tasks impacting jsref design and codebase.
#8 opened Feb 20, 2017 by brabalan
Spec is Inconsistent with Values in Completion Records discussion jsref Tasks impacting jsref design and codebase.
#6 opened Nov 18, 2016 by IgnoredAmbience
6
ProTip! Updated in the last three days: updated:>2024-10-04.