research-copilot 0.1.0

package/app/out/renderer/assets/velocity-BwIZK1TH.js

@@ -0,0 +1,149 @@
+function parseWords(str) {
+  var obj = {}, words = str.split(" ");
+  for (var i = 0; i < words.length; ++i) obj[words[i]] = true;
+  return obj;
+}
+var keywords = parseWords("#end #else #break #stop #[[ #]] #{end} #{else} #{break} #{stop}");
+var functions = parseWords("#if #elseif #foreach #set #include #parse #macro #define #evaluate #{if} #{elseif} #{foreach} #{set} #{include} #{parse} #{macro} #{define} #{evaluate}");
+var specials = parseWords("$foreach.count $foreach.hasNext $foreach.first $foreach.last $foreach.topmost $foreach.parent.count $foreach.parent.hasNext $foreach.parent.first $foreach.parent.last $foreach.parent $velocityCount $!bodyContent $bodyContent");
+var isOperatorChar = /[+\-*&%=<>!?:\/|]/;
+function chain(stream, state, f) {
+  state.tokenize = f;
+  return f(stream, state);
+}
+function tokenBase(stream, state) {
+  var beforeParams = state.beforeParams;
+  state.beforeParams = false;
+  var ch = stream.next();
+  if (ch == "'" && !state.inString && state.inParams) {
+    state.lastTokenWasBuiltin = false;
+    return chain(stream, state, tokenString(ch));
+  } else if (ch == '"') {
+    state.lastTokenWasBuiltin = false;
+    if (state.inString) {
+      state.inString = false;
+      return "string";
+    } else if (state.inParams)
+      return chain(stream, state, tokenString(ch));
+  } else if (/[\[\]{}\(\),;\.]/.test(ch)) {
+    if (ch == "(" && beforeParams)
+      state.inParams = true;
+    else if (ch == ")") {
+      state.inParams = false;
+      state.lastTokenWasBuiltin = true;
+    }
+    return null;
+  } else if (/\d/.test(ch)) {
+    state.lastTokenWasBuiltin = false;
+    stream.eatWhile(/[\w\.]/);
+    return "number";
+  } else if (ch == "#" && stream.eat("*")) {
+    state.lastTokenWasBuiltin = false;
+    return chain(stream, state, tokenComment);
+  } else if (ch == "#" && stream.match(/ *\[ *\[/)) {
+    state.lastTokenWasBuiltin = false;
+    return chain(stream, state, tokenUnparsed);
+  } else if (ch == "#" && stream.eat("#")) {
+    state.lastTokenWasBuiltin = false;
+    stream.skipToEnd();
+    return "comment";
+  } else if (ch == "$") {
+    stream.eat("!");
+    stream.eatWhile(/[\w\d\$_\.{}-]/);
+    if (specials && specials.propertyIsEnumerable(stream.current())) {
+      return "keyword";
+    } else {
+      state.lastTokenWasBuiltin = true;
+      state.beforeParams = true;
+      return "builtin";
+    }
+  } else if (isOperatorChar.test(ch)) {
+    state.lastTokenWasBuiltin = false;
+    stream.eatWhile(isOperatorChar);
+    return "operator";
+  } else {
+    stream.eatWhile(/[\w\$_{}@]/);
+    var word = stream.current();
+    if (keywords && keywords.propertyIsEnumerable(word))
+      return "keyword";
+    if (functions && functions.propertyIsEnumerable(word) || stream.current().match(/^#@?[a-z0-9_]+ *$/i) && stream.peek() == "(" && !(functions && functions.propertyIsEnumerable(word.toLowerCase()))) {
+      state.beforeParams = true;
+      state.lastTokenWasBuiltin = false;
+      return "keyword";
+    }
+    if (state.inString) {
+      state.lastTokenWasBuiltin = false;
+      return "string";
+    }
+    if (stream.pos > word.length && stream.string.charAt(stream.pos - word.length - 1) == "." && state.lastTokenWasBuiltin)
+      return "builtin";
+    state.lastTokenWasBuiltin = false;
+    return null;
+  }
+}
+function tokenString(quote) {
+  return function(stream, state) {
+    var escaped = false, next, end = false;
+    while ((next = stream.next()) != null) {
+      if (next == quote && !escaped) {
+        end = true;
+        break;
+      }
+      if (quote == '"' && stream.peek() == "$" && !escaped) {
+        state.inString = true;
+        end = true;
+        break;
+      }
+      escaped = !escaped && next == "\\";
+    }
+    if (end) state.tokenize = tokenBase;
+    return "string";
+  };
+}
+function tokenComment(stream, state) {
+  var maybeEnd = false, ch;
+  while (ch = stream.next()) {
+    if (ch == "#" && maybeEnd) {
+      state.tokenize = tokenBase;
+      break;
+    }
+    maybeEnd = ch == "*";
+  }
+  return "comment";
+}
+function tokenUnparsed(stream, state) {
+  var maybeEnd = 0, ch;
+  while (ch = stream.next()) {
+    if (ch == "#" && maybeEnd == 2) {
+      state.tokenize = tokenBase;
+      break;
+    }
+    if (ch == "]")
+      maybeEnd++;
+    else if (ch != " ")
+      maybeEnd = 0;
+  }
+  return "meta";
+}
+const velocity = {
+  name: "velocity",
+  startState: function() {
+    return {
+      tokenize: tokenBase,
+      beforeParams: false,
+      inParams: false,
+      inString: false,
+      lastTokenWasBuiltin: false
+    };
+  },
+  token: function(stream, state) {
+    if (stream.eatSpace()) return null;
+    return state.tokenize(stream, state);
+  },
+  languageData: {
+    commentTokens: { line: "##", block: { open: "#*", close: "*#" } }
+  }
+};
+export {
+  velocity
+};

package/app/out/renderer/assets/verilog-DDCYnHN8.js

@@ -0,0 +1,430 @@
+function mkVerilog(parserConfig) {
+  var statementIndentUnit = parserConfig.statementIndentUnit, dontAlignCalls = parserConfig.dontAlignCalls, noIndentKeywords = parserConfig.noIndentKeywords || [], multiLineStrings = parserConfig.multiLineStrings, hooks = parserConfig.hooks || {};
+  function words(str) {
+    var obj = {}, words2 = str.split(" ");
+    for (var i2 = 0; i2 < words2.length; ++i2) obj[words2[i2]] = true;
+    return obj;
+  }
+  var keywords = words(
+    "accept_on alias always always_comb always_ff always_latch and assert assign assume automatic before begin bind bins binsof bit break buf bufif0 bufif1 byte case casex casez cell chandle checker class clocking cmos config const constraint context continue cover covergroup coverpoint cross deassign default defparam design disable dist do edge else end endcase endchecker endclass endclocking endconfig endfunction endgenerate endgroup endinterface endmodule endpackage endprimitive endprogram endproperty endspecify endsequence endtable endtask enum event eventually expect export extends extern final first_match for force foreach forever fork forkjoin function generate genvar global highz0 highz1 if iff ifnone ignore_bins illegal_bins implements implies import incdir include initial inout input inside instance int integer interconnect interface intersect join join_any join_none large let liblist library local localparam logic longint macromodule matches medium modport module nand negedge nettype new nexttime nmos nor noshowcancelled not notif0 notif1 null or output package packed parameter pmos posedge primitive priority program property protected pull0 pull1 pulldown pullup pulsestyle_ondetect pulsestyle_onevent pure rand randc randcase randsequence rcmos real realtime ref reg reject_on release repeat restrict return rnmos rpmos rtran rtranif0 rtranif1 s_always s_eventually s_nexttime s_until s_until_with scalared sequence shortint shortreal showcancelled signed small soft solve specify specparam static string strong strong0 strong1 struct super supply0 supply1 sync_accept_on sync_reject_on table tagged task this throughout time timeprecision timeunit tran tranif0 tranif1 tri tri0 tri1 triand trior trireg type typedef union unique unique0 unsigned until until_with untyped use uwire var vectored virtual void wait wait_order wand weak weak0 weak1 while wildcard wire with within wor xnor xor"
+  );
+  var isOperatorChar = /[\+\-\*\/!~&|^%=?:]/;
+  var isBracketChar = /[\[\]{}()]/;
+  var unsignedNumber = /\d[0-9_]*/;
+  var decimalLiteral = /\d*\s*'s?d\s*\d[0-9_]*/i;
+  var binaryLiteral = /\d*\s*'s?b\s*[xz01][xz01_]*/i;
+  var octLiteral = /\d*\s*'s?o\s*[xz0-7][xz0-7_]*/i;
+  var hexLiteral = /\d*\s*'s?h\s*[0-9a-fxz?][0-9a-fxz?_]*/i;
+  var realLiteral = /(\d[\d_]*(\.\d[\d_]*)?E-?[\d_]+)|(\d[\d_]*\.\d[\d_]*)/i;
+  var closingBracketOrWord = /^((\w+)|[)}\]])/;
+  var closingBracket = /[)}\]]/;
+  var curPunc;
+  var curKeyword;
+  var blockKeywords = words(
+    "case checker class clocking config function generate interface module package primitive program property specify sequence table task"
+  );
+  var openClose = {};
+  for (var keyword in blockKeywords) {
+    openClose[keyword] = "end" + keyword;
+  }
+  openClose["begin"] = "end";
+  openClose["casex"] = "endcase";
+  openClose["casez"] = "endcase";
+  openClose["do"] = "while";
+  openClose["fork"] = "join;join_any;join_none";
+  openClose["covergroup"] = "endgroup";
+  for (var i in noIndentKeywords) {
+    var keyword = noIndentKeywords[i];
+    if (openClose[keyword]) {
+      openClose[keyword] = void 0;
+    }
+  }
+  var statementKeywords = words("always always_comb always_ff always_latch assert assign assume else export for foreach forever if import initial repeat while");
+  function tokenBase(stream, state) {
+    var ch = stream.peek(), style;
+    if (hooks[ch] && (style = hooks[ch](stream, state)) != false) return style;
+    if (hooks.tokenBase && (style = hooks.tokenBase(stream, state)) != false)
+      return style;
+    if (/[,;:\.]/.test(ch)) {
+      curPunc = stream.next();
+      return null;
+    }
+    if (isBracketChar.test(ch)) {
+      curPunc = stream.next();
+      return "bracket";
+    }
+    if (ch == "`") {
+      stream.next();
+      if (stream.eatWhile(/[\w\$_]/)) {
+        return "def";
+      } else {
+        return null;
+      }
+    }
+    if (ch == "$") {
+      stream.next();
+      if (stream.eatWhile(/[\w\$_]/)) {
+        return "meta";
+      } else {
+        return null;
+      }
+    }
+    if (ch == "#") {
+      stream.next();
+      stream.eatWhile(/[\d_.]/);
+      return "def";
+    }
+    if (ch == '"') {
+      stream.next();
+      state.tokenize = tokenString(ch);
+      return state.tokenize(stream, state);
+    }
+    if (ch == "/") {
+      stream.next();
+      if (stream.eat("*")) {
+        state.tokenize = tokenComment;
+        return tokenComment(stream, state);
+      }
+      if (stream.eat("/")) {
+        stream.skipToEnd();
+        return "comment";
+      }
+      stream.backUp(1);
+    }
+    if (stream.match(realLiteral) || stream.match(decimalLiteral) || stream.match(binaryLiteral) || stream.match(octLiteral) || stream.match(hexLiteral) || stream.match(unsignedNumber) || stream.match(realLiteral)) {
+      return "number";
+    }
+    if (stream.eatWhile(isOperatorChar)) {
+      return "meta";
+    }
+    if (stream.eatWhile(/[\w\$_]/)) {
+      var cur = stream.current();
+      if (keywords[cur]) {
+        if (openClose[cur]) {
+          curPunc = "newblock";
+        }
+        if (statementKeywords[cur]) {
+          curPunc = "newstatement";
+        }
+        curKeyword = cur;
+        return "keyword";
+      }
+      return "variable";
+    }
+    stream.next();
+    return null;
+  }
+  function tokenString(quote) {
+    return function(stream, state) {
+      var escaped = false, next, end = false;
+      while ((next = stream.next()) != null) {
+        if (next == quote && !escaped) {
+          end = true;
+          break;
+        }
+        escaped = !escaped && next == "\\";
+      }
+      if (end || !(escaped || multiLineStrings))
+        state.tokenize = tokenBase;
+      return "string";
+    };
+  }
+  function tokenComment(stream, state) {
+    var maybeEnd = false, ch;
+    while (ch = stream.next()) {
+      if (ch == "/" && maybeEnd) {
+        state.tokenize = tokenBase;
+        break;
+      }
+      maybeEnd = ch == "*";
+    }
+    return "comment";
+  }
+  function Context(indented, column, type, align, prev) {
+    this.indented = indented;
+    this.column = column;
+    this.type = type;
+    this.align = align;
+    this.prev = prev;
+  }
+  function pushContext(state, col, type) {
+    var indent = state.indented;
+    var c = new Context(indent, col, type, null, state.context);
+    return state.context = c;
+  }
+  function popContext(state) {
+    var t = state.context.type;
+    if (t == ")" || t == "]" || t == "}") {
+      state.indented = state.context.indented;
+    }
+    return state.context = state.context.prev;
+  }
+  function isClosing(text, contextClosing) {
+    if (text == contextClosing) {
+      return true;
+    } else {
+      var closingKeywords = contextClosing.split(";");
+      for (var i2 in closingKeywords) {
+        if (text == closingKeywords[i2]) {
+          return true;
+        }
+      }
+      return false;
+    }
+  }
+  function buildElectricInputRegEx() {
+    var allClosings = [];
+    for (var i2 in openClose) {
+      if (openClose[i2]) {
+        var closings = openClose[i2].split(";");
+        for (var j in closings) {
+          allClosings.push(closings[j]);
+        }
+      }
+    }
+    var re = new RegExp("[{}()\\[\\]]|(" + allClosings.join("|") + ")$");
+    return re;
+  }
+  return {
+    name: "verilog",
+    startState: function(indentUnit) {
+      var state = {
+        tokenize: null,
+        context: new Context(-indentUnit, 0, "top", false),
+        indented: 0,
+        startOfLine: true
+      };
+      if (hooks.startState) hooks.startState(state);
+      return state;
+    },
+    token: function(stream, state) {
+      var ctx = state.context;
+      if (stream.sol()) {
+        if (ctx.align == null) ctx.align = false;
+        state.indented = stream.indentation();
+        state.startOfLine = true;
+      }
+      if (hooks.token) {
+        var style = hooks.token(stream, state);
+        if (style !== void 0) {
+          return style;
+        }
+      }
+      if (stream.eatSpace()) return null;
+      curPunc = null;
+      curKeyword = null;
+      var style = (state.tokenize || tokenBase)(stream, state);
+      if (style == "comment" || style == "meta" || style == "variable") return style;
+      if (ctx.align == null) ctx.align = true;
+      if (curPunc == ctx.type) {
+        popContext(state);
+      } else if (curPunc == ";" && ctx.type == "statement" || ctx.type && isClosing(curKeyword, ctx.type)) {
+        ctx = popContext(state);
+        while (ctx && ctx.type == "statement") ctx = popContext(state);
+      } else if (curPunc == "{") {
+        pushContext(state, stream.column(), "}");
+      } else if (curPunc == "[") {
+        pushContext(state, stream.column(), "]");
+      } else if (curPunc == "(") {
+        pushContext(state, stream.column(), ")");
+      } else if (ctx && ctx.type == "endcase" && curPunc == ":") {
+        pushContext(state, stream.column(), "statement");
+      } else if (curPunc == "newstatement") {
+        pushContext(state, stream.column(), "statement");
+      } else if (curPunc == "newblock") {
+        if (curKeyword == "function" && ctx && (ctx.type == "statement" || ctx.type == "endgroup")) ;
+        else if (curKeyword == "task" && ctx && ctx.type == "statement") ;
+        else {
+          var close = openClose[curKeyword];
+          pushContext(state, stream.column(), close);
+        }
+      }
+      state.startOfLine = false;
+      return style;
+    },
+    indent: function(state, textAfter, cx) {
+      if (state.tokenize != tokenBase && state.tokenize != null) return null;
+      if (hooks.indent) {
+        var fromHook = hooks.indent(state);
+        if (fromHook >= 0) return fromHook;
+      }
+      var ctx = state.context, firstChar = textAfter && textAfter.charAt(0);
+      if (ctx.type == "statement" && firstChar == "}") ctx = ctx.prev;
+      var closing = false;
+      var possibleClosing = textAfter.match(closingBracketOrWord);
+      if (possibleClosing)
+        closing = isClosing(possibleClosing[0], ctx.type);
+      if (ctx.type == "statement") return ctx.indented + (firstChar == "{" ? 0 : statementIndentUnit || cx.unit);
+      else if (closingBracket.test(ctx.type) && ctx.align && !dontAlignCalls) return ctx.column + (closing ? 0 : 1);
+      else if (ctx.type == ")" && !closing) return ctx.indented + (statementIndentUnit || cx.unit);
+      else return ctx.indented + (closing ? 0 : cx.unit);
+    },
+    languageData: {
+      indentOnInput: buildElectricInputRegEx(),
+      commentTokens: { line: "//", block: { open: "/*", close: "*/" } }
+    }
+  };
+}
+const verilog = mkVerilog({});
+var tlvIdentifierStyle = {
+  "|": "link",
+  ">": "property",
+  // Should condition this off for > TLV 1c.
+  "$": "variable",
+  "$$": "variable",
+  "?$": "qualifier",
+  "?*": "qualifier",
+  "-": "contentSeparator",
+  "/": "property",
+  "/-": "property",
+  "@": "variableName.special",
+  "@-": "variableName.special",
+  "@++": "variableName.special",
+  "@+=": "variableName.special",
+  "@+=-": "variableName.special",
+  "@--": "variableName.special",
+  "@-=": "variableName.special",
+  "%+": "tag",
+  "%-": "tag",
+  "%": "tag",
+  ">>": "tag",
+  "<<": "tag",
+  "<>": "tag",
+  "#": "tag",
+  // Need to choose a style for this.
+  "^": "attribute",
+  "^^": "attribute",
+  "^!": "attribute",
+  "*": "variable",
+  "**": "variable",
+  "\\": "keyword",
+  '"': "comment"
+};
+var tlvScopePrefixChars = {
+  "/": "beh-hier",
+  ">": "beh-hier",
+  "-": "phys-hier",
+  "|": "pipe",
+  "?": "when",
+  "@": "stage",
+  "\\": "keyword"
+};
+var tlvIndentUnit = 3;
+var tlvIdentMatch = /^([~!@#\$%\^&\*-\+=\?\/\\\|'"<>]+)([\d\w_]*)/;
+var tlvLineIndentationMatch = /^[! ] */;
+var tlvCommentMatch = /^\/[\/\*]/;
+const tlv = mkVerilog({
+  hooks: {
+    electricInput: false,
+    // Return undefined for verilog tokenizing, or style for TLV token (null not used).
+    // Standard CM styles are used for most formatting, but some TL-Verilog-specific highlighting
+    // can be enabled with the definition of cm-tlv-* styles, including highlighting for:
+    //   - M4 tokens
+    //   - TLV scope indentation
+    //   - Statement delimitation (enabled by tlvTrackStatements)
+    token: function(stream, state) {
+      var style = void 0;
+      var match;
+      if (stream.sol() && !state.tlvInBlockComment) {
+        if (stream.peek() == "\\") {
+          style = "def";
+          stream.skipToEnd();
+          if (stream.string.match(/\\SV/)) {
+            state.tlvCodeActive = false;
+          } else if (stream.string.match(/\\TLV/)) {
+            state.tlvCodeActive = true;
+          }
+        }
+        if (state.tlvCodeActive && stream.pos == 0 && state.indented == 0 && (match = stream.match(tlvLineIndentationMatch, false))) {
+          state.indented = match[0].length;
+        }
+        var indented = state.indented;
+        var depth = indented / tlvIndentUnit;
+        if (depth <= state.tlvIndentationStyle.length) {
+          var blankline = stream.string.length == indented;
+          var chPos = depth * tlvIndentUnit;
+          if (chPos < stream.string.length) {
+            var bodyString = stream.string.slice(chPos);
+            var ch = bodyString[0];
+            if (tlvScopePrefixChars[ch] && ((match = bodyString.match(tlvIdentMatch)) && tlvIdentifierStyle[match[1]])) {
+              indented += tlvIndentUnit;
+              if (!(ch == "\\" && chPos > 0)) {
+                state.tlvIndentationStyle[depth] = tlvScopePrefixChars[ch];
+                depth++;
+              }
+            }
+          }
+          if (!blankline) {
+            while (state.tlvIndentationStyle.length > depth) {
+              state.tlvIndentationStyle.pop();
+            }
+          }
+        }
+        state.tlvNextIndent = indented;
+      }
+      if (state.tlvCodeActive) {
+        var match;
+        if (style !== void 0) ;
+        else if (state.tlvInBlockComment) {
+          if (stream.match(/^.*?\*\//)) {
+            state.tlvInBlockComment = false;
+          } else {
+            stream.skipToEnd();
+          }
+          style = "comment";
+        } else if ((match = stream.match(tlvCommentMatch)) && !state.tlvInBlockComment) {
+          if (match[0] == "//") {
+            stream.skipToEnd();
+          } else {
+            state.tlvInBlockComment = true;
+          }
+          style = "comment";
+        } else if (match = stream.match(tlvIdentMatch)) {
+          var prefix = match[1];
+          var mnemonic = match[2];
+          if (
+            // is identifier prefix
+            tlvIdentifierStyle.hasOwnProperty(prefix) && // has mnemonic or we're at the end of the line (maybe it hasn't been typed yet)
+            (mnemonic.length > 0 || stream.eol())
+          ) {
+            style = tlvIdentifierStyle[prefix];
+          } else {
+            stream.backUp(stream.current().length - 1);
+          }
+        } else if (stream.match(/^\t+/)) {
+          style = "invalid";
+        } else if (stream.match(/^[\[\]{}\(\);\:]+/)) {
+          style = "meta";
+        } else if (match = stream.match(/^[mM]4([\+_])?[\w\d_]*/)) {
+          style = match[1] == "+" ? "keyword.special" : "keyword";
+        } else if (stream.match(/^ +/)) {
+          if (stream.eol()) {
+            style = "error";
+          }
+        } else if (stream.match(/^[\w\d_]+/)) {
+          style = "number";
+        } else {
+          stream.next();
+        }
+      } else {
+        if (stream.match(/^[mM]4([\w\d_]*)/)) {
+          style = "keyword";
+        }
+      }
+      return style;
+    },
+    indent: function(state) {
+      return state.tlvCodeActive == true ? state.tlvNextIndent : -1;
+    },
+    startState: function(state) {
+      state.tlvIndentationStyle = [];
+      state.tlvCodeActive = true;
+      state.tlvNextIndent = -1;
+      state.tlvInBlockComment = false;
+    }
+  }
+});
+export {
+  tlv,
+  verilog
+};