schrodingerzhu/paguroidea issues and pull requests

#86 - Fix lexer for nighly after 2023-12-02

Pull Request - State: open - Opened by ur4t 10 months ago - 1 comment

#85 - Qc temp polo

Pull Request - State: open - Opened by CyanPineapple over 1 year ago

#84 - Lexer major refinement

Pull Request - State: closed - Opened by SchrodingerZhu over 1 year ago - 1 comment

#83 - initialize lexer refactor

Pull Request - State: closed - Opened by SchrodingerZhu over 1 year ago

#82 - Qc temp lexer upgrade

Pull Request - State: closed - Opened by SchrodingerZhu over 1 year ago

#81 - implement normalization

Pull Request - State: closed - Opened by SchrodingerZhu over 1 year ago - 1 comment

#80 - normalization

Pull Request - State: closed - Opened by SchrodingerZhu over 1 year ago

#79 - review translation

Pull Request - State: closed - Opened by QuarticCat over 1 year ago

#78 - optimize lut lookahead

Pull Request - State: closed - Opened by QuarticCat over 1 year ago

#77 - Parser frontend translation

Pull Request - State: closed - Opened by SchrodingerZhu over 1 year ago

#76 - Parser Frontend Translation

Pull Request - State: closed - Opened by SchrodingerZhu over 1 year ago

#75 - type inference prototype

Pull Request - State: closed - Opened by SchrodingerZhu over 1 year ago

#74 - add simd tail handling

Pull Request - State: closed - Opened by QuarticCat over 1 year ago

#73 - add some debug facilities

Pull Request - State: closed - Opened by SchrodingerZhu over 1 year ago - 2 comments

#72 - add more design details of semact

Pull Request - State: closed - Opened by SchrodingerZhu over 1 year ago

#71 - initial work to add semact

Pull Request - State: closed - Opened by SchrodingerZhu over 1 year ago

#70 - impl prototype of new frontend

Pull Request - State: open - Opened by QuarticCat over 1 year ago

#69 - Fix the dbg sorting issue

Pull Request - State: closed - Opened by QuarticCat over 1 year ago

#68 - add dbg_sort

Pull Request - State: closed - Opened by QuarticCat over 1 year ago

#67 - improve code quality of normalize

Pull Request - State: closed - Opened by QuarticCat over 1 year ago

#66 - [WIP] improve code quality

Pull Request - State: closed - Opened by QuarticCat over 1 year ago - 3 comments

#65 - Rewrite lexer

Pull Request - State: closed - Opened by SchrodingerZhu over 1 year ago - 1 comment

#64 - guard trace dfa with feature flag

Pull Request - State: closed - Opened by SchrodingerZhu over 1 year ago

#63 - lexer bug fix: nonterminating normalization & wrong offset

Pull Request - State: closed - Opened by SchrodingerZhu over 1 year ago

#62 - fix some warnings

Pull Request - State: closed - Opened by QuarticCat over 1 year ago

#61 - cheaper TagAssigner

Pull Request - State: closed - Opened by QuarticCat over 1 year ago

#60 - test: enhance test framework

Pull Request - State: closed - Opened by SchrodingerZhu over 1 year ago - 2 comments

#59 - optimize assign_table

Pull Request - State: closed - Opened by QuarticCat over 1 year ago

#58 - optimize lookaheads & remove unreachable rules

Pull Request - State: closed - Opened by QuarticCat over 1 year ago - 3 comments

#57 - combine self reference detection and scc algorithm

Pull Request - State: closed - Opened by QuarticCat over 1 year ago

#56 - unify lexical def and lexical token

Pull Request - State: closed - Opened by QuarticCat over 1 year ago

#55 - minimize the lexer DFA

Issue - State: open - Opened by SchrodingerZhu over 1 year ago
Labels: help wanted

#54 - Revert "add normalization rule to cancel alternative star and epsilon"

Pull Request - State: closed - Opened by SchrodingerZhu over 1 year ago

#53 - add normalization rule to cancel alternative star and epsilon

Pull Request - State: closed - Opened by SchrodingerZhu over 1 year ago

#52 - feat: expose lexical and (intersection) support

Pull Request - State: closed - Opened by SchrodingerZhu over 1 year ago

#51 - unify Cargo.toml and make license conform to SPDX license expression

Pull Request - State: closed - Opened by QuarticCat over 1 year ago

#51 - unify Cargo.toml and make license conform to SPDX license expression

Pull Request - State: closed - Opened by QuarticCat over 1 year ago

#50 - move infer_fixpoints after construct_parser

Pull Request - State: closed - Opened by QuarticCat over 1 year ago

#49 - Update docs

Issue - State: open - Opened by SchrodingerZhu over 1 year ago

#48 - impl error handling for infer_fixpoints

Pull Request - State: closed - Opened by QuarticCat over 1 year ago

#47 - Auto infer fixpoints

Pull Request - State: closed - Opened by QuarticCat over 1 year ago

#46 - Infinite normalization for transitive references between μ rules

Issue - State: closed - Opened by SchrodingerZhu over 1 year ago
Labels: bug

#45 - Disable autobenches for pag-json

Pull Request - State: closed - Opened by QuarticCat over 1 year ago

#44 - fix: workaround RA false positives

Pull Request - State: closed - Opened by SchrodingerZhu over 1 year ago

#43 - fix lalrpop build issue

Pull Request - State: closed - Opened by QuarticCat over 1 year ago

#42 - Main branch benchmark is broken

Issue - State: closed - Opened by SchrodingerZhu over 1 year ago - 3 comments
Labels: bug

#41 - QC Revise

Pull Request - State: closed - Opened by QuarticCat over 1 year ago

#40 - misc: expose random seed

Pull Request - State: closed - Opened by SchrodingerZhu over 1 year ago

#39 - refact: flap style lexer

Pull Request - State: closed - Opened by SchrodingerZhu over 1 year ago

#38 - feat: add lalrpop variation for json

Pull Request - State: closed - Opened by CyanPineapple over 1 year ago

#37 - feat: optimize literal lookup

Pull Request - State: closed - Opened by SchrodingerZhu over 1 year ago - 2 comments

#36 - merge identical accepting actions

Pull Request - State: closed - Opened by QuarticCat over 1 year ago

#35 - lexer full review

Pull Request - State: closed - Opened by QuarticCat over 1 year ago

#34 - Optimize negative lookaheads

Pull Request - State: closed - Opened by QuarticCat over 1 year ago

#33 - misc: specify version for publish

Pull Request - State: closed - Opened by SchrodingerZhu over 1 year ago

#32 - Img compress

Pull Request - State: closed - Opened by SchrodingerZhu over 1 year ago

#31 - Publish preparation

Pull Request - State: closed - Opened by SchrodingerZhu over 1 year ago

#30 - doc: add basic documents

Pull Request - State: closed - Opened by SchrodingerZhu over 1 year ago

#29 - Inline leaf states

Pull Request - State: closed - Opened by QuarticCat over 1 year ago

#28 - Some minor optimizations

Pull Request - State: closed - Opened by QuarticCat over 1 year ago

#27 - feat: merge lut entry if negatives are the same

Pull Request - State: closed - Opened by SchrodingerZhu over 1 year ago

#26 - Inline rejecting states and some rewrites

Pull Request - State: closed - Opened by QuarticCat over 1 year ago - 2 comments

#25 - feat: lookahead optimization

Pull Request - State: closed - Opened by SchrodingerZhu over 1 year ago - 3 comments

#24 - switching to bytes in lexer

Pull Request - State: closed - Opened by SchrodingerZhu over 1 year ago

#23 - Optimize generated code

Issue - State: closed - Opened by QuarticCat over 1 year ago

#22 - Simplify grammar

Issue - State: open - Opened by QuarticCat over 1 year ago - 2 comments
Labels: help wanted

#21 - QC revise

Pull Request - State: closed - Opened by QuarticCat over 1 year ago - 1 comment

#20 - bench: add json.pest

Pull Request - State: closed - Opened by SchrodingerZhu over 1 year ago

#19 - fix: handle unicode input by using char indices

Pull Request - State: closed - Opened by SchrodingerZhu over 1 year ago

#18 - *: add json example and fix lexer

Pull Request - State: closed - Opened by SchrodingerZhu over 1 year ago

#17 - Bench/csv

Pull Request - State: closed - Opened by SchrodingerZhu over 1 year ago - 1 comment

#16 - Tail call opt

Pull Request - State: closed - Opened by SchrodingerZhu over 1 year ago

#15 - fix: reduce stack footprint for err

Pull Request - State: closed - Opened by SchrodingerZhu over 1 year ago

#14 - fix: prohibit nullable tokens

Pull Request - State: closed - Opened by SchrodingerZhu over 1 year ago

#13 - Fix/allow only one skip rule

Pull Request - State: closed - Opened by SchrodingerZhu over 1 year ago

#12 - ci: add build workflow

Pull Request - State: closed - Opened by SchrodingerZhu over 1 year ago

#11 - Forbid nullable tokens

Issue - State: closed - Opened by SchrodingerZhu over 1 year ago - 1 comment

#10 - Hide the term being checked from binding

Issue - State: closed - Opened by SchrodingerZhu over 1 year ago - 1 comment

#9 - Unreachable

Pull Request - State: closed - Opened by SchrodingerZhu over 1 year ago

#8 - feat/polo: finish issue #3

Pull Request - State: closed - Opened by CyanPineapple over 1 year ago

#7 - feat/polo: Finish Error

Pull Request - State: closed - Opened by CyanPineapple over 1 year ago

#6 - Normal Form should be simplified

Issue - State: closed - Opened by SchrodingerZhu over 1 year ago - 2 comments

#5 - Remove some tags

Issue - State: closed - Opened by SchrodingerZhu over 1 year ago - 2 comments

#4 - license: add MPL to project root

Pull Request - State: closed - Opened by SchrodingerZhu over 1 year ago

#3 - Error Implementation

Issue - State: closed - Opened by SchrodingerZhu over 1 year ago

#2 - fusion implementation in progress

Pull Request - State: closed - Opened by SchrodingerZhu over 1 year ago

#1 - feat/lexer: opt normalize and change name_mangling

Pull Request - State: closed - Opened by CyanPineapple over 1 year ago - 1 comment

GitHub / schrodingerzhu/paguroidea issues and pull requests