Issues

• Allow stable compilation

  ptal/oak#110 · Filter by author Kixiron opened on Feb 27, 2021
  1

• Token parsing

  runtime-lib
  ptal/oak#93 · Filter by author ptal opened on Aug 2, 2016

• Binary parsing (on bytes sequence)

  runtime-lib
  ptal/oak#92 · Filter by author ptal opened on Aug 1, 2016

• List of expressions

  code-generationgrammartyping
  ptal/oak#90 · Filter by author ptal opened on Jul 31, 2016

• Wrong error reporting for not syntactic predicate

  error-reporting
  ptal/oak#89 · Filter by author ptal opened on Jul 31, 2016
  1

• Error reporting system

  error-reportingrefactoring
  ptal/oak#83 · Filter by author ptal opened on Jul 27, 2016 · Error reporting and testing
  1

• Load grammar from external file

  utilities
  ptal/oak#82 · Filter by author ptal opened on Jul 21, 2016 · Static analysis and grammar improvements

• Dependent parsing combinators

  discussiongrammartyping
  ptal/oak#72 · Filter by author ptal opened on Sep 21, 2015
  1

• EDSL chapter in the manual

  documentation
  ptal/oak#71 · Filter by author ptal opened on Sep 14, 2015

• Related work, comparison with other parsing techniques

  documentation
  ptal/oak#70 · Filter by author ptal opened on Sep 14, 2015

• Automatic transformation of Vec<()> to usize

  code-generationdiscussiontyping
  ptal/oak#52 · Filter by author ptal opened on Aug 9, 2015 · Extended type inference

• Automatic transformation of Option<()> to bool

  code-generationdiscussiontyping
  ptal/oak#51 · Filter by author ptal opened on Aug 9, 2015 · Extended type inference

• Use a semantic actions commit-list during parsing / Partial parsing

  code-generationoptimization
  ptal/oak#44 · Filter by author ptal opened on Feb 24, 2015
  5

• bootstrap the parser grammar

  grammar
  ptal/oak#42 · Filter by author ptal opened on Feb 24, 2015

• No backtracking error, extend the choice operator with \.

  grammar
  ptal/oak#30 · Filter by author ptal opened on Jul 31, 2014 · Static analysis and grammar improvements
  1

• Testing attribute, for testing the library and compile-time error.

  compile-time-annotationcompile-time-semanticstest
  ptal/oak#29 · Filter by author ptal opened on Jul 18, 2014 · Error reporting and testing
  2

• Find non-reachable expression in prioritized choice

  static-analysis
  ptal/oak#26 · Filter by author ptal opened on Jul 14, 2014 · Static analysis and grammar improvements
  3

• Accept extra arguments in the parsing function

  grammar
  ptal/oak#10 · Filter by author ptal opened on Jul 7, 2014