issues Search Results · repo:kframework/javascript-semantics language:JavaScript

Filter by

• • Code... (...)results
  • Issues4 (4)results
  • Pull requests1 (1)results
  • Discussions0 (0)results
  • Commits0 (0)results
  • Packages0 (0)results
  • Wikis0 (0)results

• State

  • Open
  • Closed

• Advanced

  • Owner
  • State
  • Close reason
  • Has linked pull request
  • Author
  • Assignee
  • Mentioned user
  • Mentioned team
  • Commenter
  • Involved user
  • Label
  • Milestone
  • Number of comments
  • Number of interactions
• Advanced search

Issues4 (4)

4 results

 (60 ms)

4 results

inkframework/javascript-semantics (press backspace or delete to remove)

Sort by: Best match

Filter

kframework/javascript-semantics

xtc.jar download was moved

Trying to run the make file, it fails at wget http://cs.nyu.edu/rgrimm/xtc/xtc.jar. Checking the site, the url was changed at some point to be http://cs.nyu.edu/xtc/xtc.jar instead.

• YarnSaw
·
• Opened 
  on Feb 23, 2023
·
• #5

kframework/javascript-semantics

Math.abs(-0) should be 0

Hi all, Great stuff. I think there is a bug in Math.abs: https://github.com/kframework/javascript-semantics/blob/d5aca308d12d3838c645e1f787e2abc9257ce43e/stdlib/08.math.js#L5-L11 According to the spec, ...

• deian
·
• Opened 
  on Feb 16, 2020
·
• #4

kframework/javascript-semantics

Connection to office.runtimeverification refused

Connection to http://office.runtimeverification.com:8888 refused: Connection refused (Connection refused) In the past this seems to have been fixed by @dwightguth

• SebastienGllmt
·
• 3
·
• Opened 
  on May 8, 2018
·
• #3

kframework/javascript-semantics

It would be great if the AST format would follow the de facto JS standard

The standard is informally maintained here: https://github.com/estree/estree

• cos
·
• 4
·
• Opened 
  on May 20, 2015
·
• #2

Learn how you can use GitHub Issues to plan and track your work.

Save views for sprints, backlogs, teams, or releases. Rank, sort, and filter issues to suit the occasion. The possibilities are endless.Learn more about GitHub Issues

ProTip! 

Press the

/

key to activate the search input again and adjust your query.

Learn how you can use GitHub Issues to plan and track your work.

Save views for sprints, backlogs, teams, or releases. Rank, sort, and filter issues to suit the occasion. The possibilities are endless.Learn more about GitHub Issues

ProTip! 

Restrict your search to the title by using the in:title qualifier.