Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on May 5, 2024

• fix css

  john-h-kastner

  committed
  9025eff

  Copy full SHA for 9025eff

• fix makefile

  john-h-kastner

  committed
  558e8fd

  Copy full SHA for 558e8fd

• fix entangled install

  john-h-kastner

  committed
  e0eb94f

  Copy full SHA for e0eb94f

• edit text

  john-h-kastner

  committed
  6d2d5f6

  Copy full SHA for 6d2d5f6

• Move to gitub actions for pages deploy

  john-h-kastner

  committed
  5a016be

  Copy full SHA for 5a016be

Commits on May 21, 2022

• Add license

  john-h-kastner

  committed
  5cd6ed6

  Copy full SHA for 5cd6ed6

• Proofread

  john-h-kastner

  committed
  8d14e51

  Copy full SHA for 8d14e51

Commits on Feb 20, 2020

• Add sample usage to introduction

  john-h-kastner

  committed
  ff273cd

  Copy full SHA for ff273cd

• Remove code duplicated between Travis and Makefile

  john-h-kastner

  committed
  c616dac

  Copy full SHA for c616dac

• Mention pandoc, filter, unannotated source

  john-h-kastner

  committed
  77ff031

  Copy full SHA for 77ff031

• Have Travis build un-annotated Prolog file

  john-h-kastner

  committed
  bc6cbda

  Copy full SHA for bc6cbda

Commits on Feb 15, 2020

• Add css to generated html file

  john-h-kastner

  committed
  813f99a

  Copy full SHA for 813f99a

• Add travis

  john-h-kastner

  committed
  2c1bbe7

  Copy full SHA for 2c1bbe7

Commits on Feb 10, 2020

• Add separate show_regex

  john-h-kastner

  committed
  e45751c

  Copy full SHA for e45751c

Commits on Feb 8, 2020

• More writing

  john-h-kastner

  committed
  f8491f3

  Copy full SHA for f8491f3

• More writing

  john-h-kastner

  committed
  a159689

  Copy full SHA for a159689

Commits on Feb 2, 2020

• table dfa_regex

  john-h-kastner

  committed
  55bf101

  Copy full SHA for 55bf101

• Add full procedure for complementing regex

  john-h-kastner

  committed
  0811736

  Copy full SHA for 0811736

Commits on Jan 29, 2020

• Add regex simplification procedure

  john-h-kastner

  committed
  23f45b3

  Copy full SHA for 23f45b3

• Add links to algorithms

  john-h-kastner

  committed
  c598328

  Copy full SHA for c598328

• Implement DFA to Regex conversion

  john-h-kastner

  committed
  ebc0f38

  Copy full SHA for ebc0f38

Commits on Jan 28, 2020

• DFA complement

  john-h-kastner

  committed
  6ad0b27

  Copy full SHA for 6ad0b27

• Add empty set state to DFA construction

  john-h-kastner

  committed
  7a79cb6

  Copy full SHA for 7a79cb6

• Arrow pointing to initial state

  john-h-kastner

  committed
  2daf8f9

  Copy full SHA for 2daf8f9

Commits on Jan 27, 2020

• Minor change to nfa_dfa

  john-h-kastner

  committed
  fbe046d

  Copy full SHA for fbe046d

• Describe regex to nfa conversion

  john-h-kastner

  committed
  612410c

  Copy full SHA for 612410c

• Implement NFA to DFA

  john-h-kastner

  committed
  254e70e

  Copy full SHA for 254e70e

Commits on Jan 26, 2020

• Initial commit

  Show description for 63cca7b
  john-h-kastner

  committed
  63cca7b

  Copy full SHA for 63cca7b