GaloisInc/daedalus

Issues

• README needs to be updated

  #363 opened 7 months ago by zutshi
  0

• Inconsistency between Github Readme and Tutorial - GHC and Cabal versions

  #360 opened 7 months ago by zutshi
  0

• Failure to build Docker image using the Dockerfile

  #359 opened 7 months ago by zutshi
  0

• Mis-located type errors

  #358 opened 7 months ago by sauclovian-g
  0

• Crash using as? in a boolean expression in a pure function

  #357 opened 7 months ago by sauclovian-g
  0

• HTTP/1.1 `field-name` rule too restrictive

  #350 opened 9 months ago by kenballus
  0

• Improve performance of TH generated Haskell

  #349 opened 9 months ago by yav
  0

• Reject bit operations on signed numbers in type checker

  #348 opened 9 months ago by yav
  0

• Feature Request: Support parsing HTTP/1.1 request sequences

  #339 opened a year ago by kenballus
  3

• Improper handling of empty `Content-Length` headers

  #340 opened 9 months ago by kenballus
  1

• Add a way to test `daedalus` reporting errors

  #345 opened 9 months ago by yav
  0

• Incorrect datatype inference

  #344 opened 9 months ago by yav
  0

• Write a type checker for the VM syntax

  #337 opened a year ago by yav
  1

• Add debug flags to dump variosu core passes

  #328 opened a year ago by yav
  0

• Restrict backtracking scope

  #329 opened a year ago by yav
  0

• Range annotations on AST are backwards sometimes

  #333 opened a year ago by yav
  0

• Eliminate redundant copies

  #326 opened a year ago by yav
  1

• Implement `case` inlining

  #332 opened a year ago by yav
  1

• Improve location annotation in the source

  #334 opened a year ago by yav
  0

• Calls to non-failing parsers need not check if the parser succeeded

  #338 opened a year ago by yav
  0

• HTTP/1.1 spec should accept OWS at the end of header values

  #336 opened a year ago by kenballus
  0

• HTTP-1.1 grammar doesn't handle `chunk-ext` for the last chunk

  #331 opened a year ago by kenballus
  0

• HTTP-1.1 grammar doesn't correctly handle authority-form URIs

  #330 opened a year ago by kenballus
  0

• Enhancements related to loops

  #321 opened a year ago by simonjwinwood
  0

• Better support for dictionaries

  #322 opened a year ago by simonjwinwood
  0

• No loops pass generates incorrecot core

  #320 opened a year ago by yav
  0

• Unify rts-hs directories

  #301 opened a year ago by yav
  1

• Handle element-pooling for concat, emit, and builders

  #317 opened a year ago by simonjwinwood
  0

• `formats/http/Lexemes.ddl` `hexdig` definition doesn't match RFC 5234

  #316 opened a year ago by kenballus
  2

• Support explicit type on bitdata

  #315 opened a year ago by jtdaugherty
  0

• Add disjunctive slicing for sequenct nil/non-nil

  #313 opened a year ago by simonjwinwood
  0

• Haskell code generation results in unbuildable source for certain input DDL filenames

  #312 opened a year ago by jtdaugherty
  0

• pathsymb coverage metric is naive

  #310 opened a year ago by simonjwinwood
  0

• Audit for stdout printing in lieu of stderr

  #297 opened 2 years ago by jtdaugherty
  3

• Update tutorial to reflect current Daedalus syntax

  #287 opened 2 years ago by yav
  2

• Undefined behavior in the C++ backend

  #289 opened 2 years ago by ESultanik
  0

• TH compiler doesn't work with NITF

  #288 opened 2 years ago by simonjwinwood
  2

• Improve error-handling for undefined implicit parameters

  #285 opened 2 years ago by samcowger
  2

• public names and VM code

  #281 opened 2 years ago by yav
  0

• Inconsistent order of struct fields

  #279 opened 2 years ago by yav
  1

• Determinization uses panic instead of error

  #262 opened 2 years ago by benoitrazet
  1

• Determinization traverse grammar calls with parameters

  #245 opened 2 years ago by benoitrazet
  1

• Determinization gets iterated

  #243 opened 2 years ago by benoitrazet
  1

• Inlining needs to preserve types

  #258 opened 2 years ago by yav
  1

• Allow bitdata definitions to be used directly as parsers

  #247 opened 2 years ago by glguy
  1

• Problem with AES 4 decryption

  #263 opened 2 years ago by yav
  2

• Expose results of determinization to user

  #244 opened 2 years ago by benoitrazet
  0

• Refactorings and Redesigns to improve maintainability and portability

  #242 opened 2 years ago by mtullsen
  0

• C++ parser should not use any STL libraries

  #240 opened 2 years ago by fabriziobertocci
  0

• Generating C++ for unbiased choice fails

  #235 opened 2 years ago by benoitrazet
  1