Issues

• +0/-0 not distinguished

  bugjsref
  resource-reasoning/jscert_dev#43 · Filter by author IgnoredAmbience opened on Nov 8, 2016

• Update Version of Esprima Used

  jsrefparsingtask
  resource-reasoning/jscert_dev#40 · Filter by author IgnoredAmbience opened on Aug 24, 2015

• Parser Interface?: "use strict" with lexing 'irregularities' mishandled

  bugjsrefparsing
  resource-reasoning/jscert_dev#35 · Filter by author IgnoredAmbience opened on Jul 20, 2015
  3

• Report Buggy Testcases to t262

  resource-reasoning/jscert_dev#34 · Filter by author IgnoredAmbience opened on Jul 20, 2015
  1

  

• Emit Better Error Message when JS Exception Not Caught

  resource-reasoning/jscert_dev#33 · Filter by author IgnoredAmbience opened on Jul 20, 2015
  3

• Abstract equality in JSCert - argument order flipping

  spec
  resource-reasoning/jscert_dev#28 · Filter by author tilk opened on May 22, 2015
  6

  

• JsNumber.{to,from}_string incorrect

  bugjsref
  resource-reasoning/jscert_dev#21 · Filter by author IgnoredAmbience opened on May 1, 2015
  1

• Esprima Keyword Bug

  bugjsrefparsing
  resource-reasoning/jscert_dev#20 · Filter by author IgnoredAmbience opened on May 1, 2015 · CAV Paper
  4

• Emit Better Error Message for Function Declarations in Invalid Locations

  enhancementjsref
  resource-reasoning/jscert_dev#19 · Filter by author IgnoredAmbience opened on May 1, 2015
  5

• Unicode Parser Bugs: Rhino and Esprima

  bugjsref
  resource-reasoning/jscert_dev#16 · Filter by author IgnoredAmbience opened on Apr 21, 2015
  2

• Overspecification in JSCert - messages in native errors

  spec
  resource-reasoning/jscert_dev#14 · Filter by author tilk opened on Apr 16, 2015
  15

• Triage Bugs on INRIA Gforge

  task
  resource-reasoning/jscert_dev#12 · Filter by author IgnoredAmbience opened on Mar 12, 2015
  2

• 64-bit floating point arithmetic fails on 32-bit machines

  jsref
  resource-reasoning/jscert_dev#11 · Filter by author IgnoredAmbience opened on Mar 12, 2015
  7

• Prelude Loader violates 10.1.1 and user-functions may be hoisted above prelude

  bugjsref
  resource-reasoning/jscert_dev#9 · Filter by author IgnoredAmbience opened on Mar 10, 2015 · CAV Paper
  3

  

• make report uses wrong path for bisect-report

  buildsystem
  resource-reasoning/jscert_dev#8 · Filter by author IgnoredAmbience opened on Mar 10, 2015
  1

• make -j breaks ocamlbuild

  buildsystem
  resource-reasoning/jscert_dev#7 · Filter by author IgnoredAmbience opened on Feb 19, 2015
  

• Recursive Makefile directories should be .PHONY

  buildsystem
  resource-reasoning/jscert_dev#6 · Filter by author IgnoredAmbience opened on Feb 19, 2015
  

• Testcase to catch transparently failed interpreter build

  buildsystem
  resource-reasoning/jscert_dev#5 · Filter by author IgnoredAmbience opened on Feb 3, 2015
  1

  

• End-user warnings for jsref code without a connected jscert proof

  enhancementjsrefv8-libs
  resource-reasoning/jscert_dev#4 · Filter by author IgnoredAmbience opened on Jan 8, 2015
  1