equal
deleted
inserted
replaced
1 # POSIX Lexing with Bitcoded Regular Expressions |
1 # POSIX Lexing with Bitcoded Regular Expressions |
2 |
2 |
3 Run the code with |
3 Run the code with |
4 |
4 |
5 ```isabelle build -c -v -d . Posix``` |
5 ```isabelle build -c -v -d . Posix``` |
|
6 |
|
7 Generate the paper with |
|
8 |
|
9 ```isabelle build -c -v -d . Paper``` |
6 |
10 |
7 Tested with Isabelle2021-1. |
11 Tested with Isabelle2021-1. |
8 |
12 |
9 |
13 |
10 * RegLangs.thy (contains basic definitions for Regular Languages) |
14 * RegLangs.thy (contains basic definitions for Regular Languages) |