Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

[WIP DO NOT MERGE] feat: flight email confirmation #121

Open
wants to merge 1 commit into
base: main
Choose a base branch
from
Open

[WIP DO NOT MERGE] feat: flight email confirmation #121

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
163 changes: 163 additions & 0 deletions libs/regex_to_circom/halo2_regex_lookup.txt
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,163 @@
8
0 6 47
1 2 111
2 3 102
3 4 32
4 5 46
4 5 48
4 5 49
4 5 50
4 5 51
4 5 52
4 5 53
4 5 54
4 5 55
4 5 56
4 5 57
4 5 61
4 5 65
4 5 66
4 5 67
4 5 68
4 5 69
4 5 70
4 5 71
4 5 72
4 5 73
4 5 74
4 5 75
4 5 76
4 5 77
4 5 78
4 5 79
4 5 80
4 5 81
4 5 82
4 5 83
4 5 84
4 5 85
4 5 86
4 5 87
4 5 88
4 5 89
4 5 90
4 5 97
4 5 98
4 5 99
4 5 100
4 5 101
4 5 102
4 5 103
4 5 104
4 5 105
4 5 106
4 5 107
4 5 108
4 5 109
4 5 110
4 5 111
4 5 112
4 5 113
4 5 114
4 5 115
4 5 116
4 5 117
4 5 118
4 5 119
4 5 120
4 5 121
4 5 122
5 5 46
5 5 48
5 5 49
5 5 50
5 5 51
5 5 52
5 5 53
5 5 54
5 5 55
5 5 56
5 5 57
5 5 61
5 5 65
5 5 66
5 5 67
5 5 68
5 5 69
5 5 70
5 5 71
5 5 72
5 5 73
5 5 74
5 5 75
5 5 76
5 5 77
5 5 78
5 5 79
5 5 80
5 5 81
5 5 82
5 5 83
5 5 84
5 5 85
5 5 86
5 5 87
5 5 88
5 5 89
5 5 90
5 5 97
5 5 98
5 5 99
5 5 100
5 5 101
5 5 102
5 5 103
5 5 104
5 5 105
5 5 106
5 5 107
5 5 108
5 5 109
5 5 110
5 5 111
5 5 112
5 5 113
5 5 114
5 5 115
5 5 116
5 5 117
5 5 118
5 5 119
5 5 120
5 5 121
5 5 122
5 8 47
6 7 60
7 9 116
9 10 100
10 11 62
10 10 94
11 11 62
11 12 80
11 10 94
11 13 115
12 14 97
13 12 80
13 13 115
14 15 121
15 16 109
16 17 101
17 18 110
18 19 116
19 20 32
20 21 116
21 22 111
22 23 32
23 24 101
24 25 97
25 26 115
26 27 121
27 28 74
28 29 101
29 30 116
30 1 32
7 changes: 6 additions & 1 deletion libs/regex_to_circom/regex_to_dfa.js
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,9 @@
/*jslint browser: true*/
/*global require, exports*/
<<<<<<< Updated upstream
// import { STRING_PRESELECTOR } from "../src/helpers/constants.ts";
=======
>>>>>>> Stashed changes
import { minDfa, nfaToDfa, regexToNfa } from "./lexical";

/** This section defines helper regex components -- to edit the regex used, edit the return
Expand Down Expand Up @@ -69,7 +72,9 @@ function test_regex() {
// console.log(raw_subject_regex);

// -- GENERIC SUBJECT COMMANDS --
let raw_subject_regex = `((\r\n)|^)subject:[a-zA-Z]+ (\\$)?[0-9]+(.[0-9]+)? [a-zA-Z]+ to (${email_address_regex}|0x[0-9a-fA_F]+)\r\n`;
// let raw_subject_regex = `((\r\n)|^)subject:[a-zA-Z]+ (\\$)?[0-9]+(.[0-9]+)? [a-zA-Z]+ to (${email_address_regex}|0x[0-9a-fA_F]+)\r\n`;
let raw_subject_regex = `/<td[^>]*>\s*Payment to easyJet of [=A-Za-z0-9\.]+/`;


// -------- OTHER FIELD REGEXES --------
let raw_from_regex = `(\r\n|^)from:([A-Za-z0-9 _.,"@-]+)<[a-zA-Z0-9_.-]+@[a-zA-Z0-9_.-]+>\r\n`;
Expand Down
Loading