Skip to content

Activity

Deleted branch

zezaxdeleted same_as • 
on May 1, 2024

Merge pull request #52 from zezax/same_as

Pull request merge
zezaxpushed 2 commits to master • 3706ec9…74f3d3e • 
on May 1, 2024

Add --same-as to videocommon.

zezaxcreated same_as • 51982be • 
on May 1, 2024

Deleted branch

zezaxdeleted chmod • 
on May 1, 2024

Merge pull request #51 from zezax/chmod

Pull request merge
zezaxpushed 2 commits to master • 8aa5e2a…3706ec9 • 
on May 1, 2024

chmod

zezaxcreated chmod • 0ef72c2 • 
on May 1, 2024

Deleted branch

zezaxdeleted videocommon • 
on May 1, 2024

Merge pull request #50 from zezax/videocommon

Pull request merge
zezaxpushed 2 commits to master • 040535f…8aa5e2a • 
on May 1, 2024

Added videocommon to set screens to largest common mode.

zezaxcreated videocommon • 2a5b572 • 
on May 1, 2024

Deleted branch

zezaxdeleted videotoggle • 
on Nov 5, 2023

Merge pull request #49 from zezax/videotoggle

Pull request merge
zezaxpushed 2 commits to master • b90740e…040535f • 
on Nov 5, 2023

Added bin/videotoggle for laptop display mirroring via xrandr

zezaxcreated videotoggle • b7228e1 • 
on Nov 5, 2023

Deleted branch

zezaxdeleted powerset_doc • 
on Nov 5, 2023

Merge pull request #48 from zezax/powerset_doc

Pull request merge
zezaxpushed 2 commits to master • be4c4b6…b90740e • 
on Nov 5, 2023

Expanded documentation of PowersetConverter and related types/functions.

zezaxcreated powerset_doc • ab04b2d • 
on Nov 5, 2023

Deleted branch

zezaxdeleted dsdoc • 
on Sep 28, 2023

Merge pull request #47 from zezax/dsdoc

Pull request merge
zezaxpushed 2 commits to master • 45c356f…be4c4b6 • 
on Sep 28, 2023

Documentation of data structures and some cleanup.

zezaxcreated dsdoc • 014d760 • 
on Sep 28, 2023

Deleted branch

zezaxdeleted red_lang_enum • 
on Sep 4, 2023

Merge pull request #46 from zezax/red_lang_enum

Pull request merge
zezaxpushed 2 commits to master • 8d5d76a…45c356f • 
on Sep 4, 2023

Added Language enum and addAs() to specify semantics at runtime.

zezaxcreated red_lang_enum • d9d1440 • 
on Sep 4, 2023

Deleted branch

zezaxdeleted red_exact • 
on Sep 1, 2023

Merge pull request #45 from zezax/red_exact

Pull request merge
zezaxpushed 2 commits to master • fdb9da3…8d5d76a • 
on Sep 1, 2023

New addExact() method for verbatim matching saves memory and time

zezaxcreated red_exact • 330100a • 
on Sep 1, 2023

Deleted branch

zezaxdeleted red_glob • 
on Sep 1, 2023

Merge pull request #44 from zezax/red_glob

Pull request merge
zezaxpushed 2 commits to master • 4d46d23…fdb9da3 • 
on Sep 1, 2023

Glob support; new addGlob() in Parser; tests, tools, docs

zezaxcreated red_glob • 81e5090 • 
on Sep 1, 2023

Deleted branch

zezaxdeleted red_rename • 
on Aug 30, 2023

Merge pull request #43 from zezax/red_rename

Pull request merge
zezaxpushed 2 commits to master • 93a6f41…4d46d23 • 
on Aug 30, 2023

Rename DFA trans_ to match NFA transitions_

zezaxcreated red_rename • ed8f947 • 
on Aug 30, 2023