Search results

Allow stable compilation

Status: Open.

#110 In ptal/oak;

· Kixiron opened on Feb 27, 2021

Token parsing

runtime-lib

Status: Open.

#93 In ptal/oak;

· ptal opened on Aug 2, 2016

Binary parsing (on bytes sequence)

runtime-lib

Status: Open.

#92 In ptal/oak;

· ptal opened on Aug 1, 2016

List of expressions

code-generation

grammar

typing

Status: Open.

#90 In ptal/oak;

· ptal opened on Jul 31, 2016

Wrong error reporting for not syntactic predicate

error-reporting

Status: Open.

#89 In ptal/oak;

· ptal opened on Jul 31, 2016

Error reporting system

error-reporting

refactoring

Status: Open.

#83 In ptal/oak;

· ptal opened on Jul 27, 2016

·  

Error reporting and testing

Load grammar from external file

utilities

Status: Open.

#82 In ptal/oak;

· ptal opened on Jul 21, 2016

·  

Static analysis and grammar improvements

Dependent parsing combinators

discussion

grammar

typing

Status: Open.

#72 In ptal/oak;

· ptal opened on Sep 21, 2015

EDSL chapter in the manual

documentation

Status: Open.

#71 In ptal/oak;

· ptal opened on Sep 14, 2015

Related work, comparison with other parsing techniques

documentation

Status: Open.

#70 In ptal/oak;

· ptal opened on Sep 14, 2015

Automatic transformation of Vec<()> to usize

code-generation

discussion

typing

Status: Open.

#52 In ptal/oak;

· ptal opened on Aug 9, 2015

·  

Extended type inference

Automatic transformation of Option<()> to bool

code-generation

discussion

typing

Status: Open.

#51 In ptal/oak;

· ptal opened on Aug 9, 2015

·  

Extended type inference