Skip to content

Issues: formalsec/ECMA-SL

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

26 Open 59 Closed
26 Open 59 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

ECMA-SL tooling scope-tooling Related to tooling for the ECMA-SL language
#246 opened Feb 7, 2025 by filipeom
Use foreach instead of while with l_nth optimization Optimization of the implementation
#235 opened Jan 31, 2025 by filipeom
Create a transformer for choice that integrates cont refactor General change of the implementation
#224 opened Jan 14, 2025 by filipeom
ECMAScript Initialization should queue TopLevelModuleEvaluationJob instead of ScriptEvaluationJob
#222 opened Jan 13, 2025 by filipeom
Try to reduce global references to objects in ECMARef interpreters refactor General change of the implementation
#219 opened Jan 11, 2025 by filipeom
@filipeom
Implement a proper cyclic queue for JobQueue refactor General change of the implementation scope-ecmaref Related to the ECMARef concrete interpreters type: feature work: obvious
#213 opened Jan 6, 2025 by filipeom
Write marteladas using advices
#204 opened Dec 28, 2024 by filipeom
Use sexpr refactor General change of the implementation
#197 opened Dec 27, 2024 by filipeom
@filipeom
Use the Logs continuation-based logging library refactor General change of the implementation
#195 opened Dec 26, 2024 by filipeom
@filipeom
Remove check_add_true choice monad function refactor General change of the implementation
#193 opened Dec 26, 2024 by filipeom
@filipeom
Study performance impact of having completions as objects scope-ecmaref Related to the ECMARef concrete interpreters
#191 opened Dec 23, 2024 by filipeom
Try the V8 benchmark suite V7 scope-ecmaref Related to the ECMARef concrete interpreters type: testing
#176 opened Sep 12, 2024 by filipeom
Language compilation optimizations help wanted scope-language Related to the ECMA-SL language design type: discussion type: feature
#174 opened Sep 8, 2024 by filipeom
2
Improve symbolic command output good first issue piority: low type: feature
#173 opened Sep 7, 2024 by filipeom
Tests262 workflow: allow passing test dir argument as a workflow input piority: low type: feature
#160 opened Aug 29, 2024 by filipeom
Conditional operator e1 ? e2 : e3 evaluating both branches scope-language Related to the ECMA-SL language design type: bug work: complex
#150 opened Jul 28, 2024 by andreffnascimento
Use prelude refactor General change of the implementation
#147 opened Jul 24, 2024 by filipeom
1 of 2 tasks
@filipeom
Using static arrays instead of lists in some cases
#132 opened Jun 24, 2024 by julianayang777
Type error when applying new operator on lazy objects scope-symbolic Related to the symbolic/functorial interpreter
#117 opened May 23, 2024 by filipeom
Missing Summaries scope-symbolic Related to the symbolic/functorial interpreter
#104 opened May 1, 2024 by filipeom
2 tasks
[ECMARef6] Better error messages
#102 opened Apr 12, 2024 by filipeom
[RFC] Remove List and Array in favour of Dynarray type: discussion
#97 opened Apr 6, 2024 by filipeom
3
Incorporate new memory models priority: critical scope-symbolic Related to the symbolic/functorial interpreter
#92 opened Apr 1, 2024 by filipeom
Marteladas
#61 opened Feb 15, 2024 by filipeom
Implement JS2ECMA-SL in OCaml using the flow parser scope-dependencies Related to package configuration or dependencies
#17 opened Jan 11, 2024 by filipeom
1
@filipeom
ProTip! What’s not been updated in a month: updated:<2025-01-08.