Skip to content
BranchesTags

Repository files navigation

Monotone Framework Analyzer

React webapp that analyzes a monotone framework on a WHILE program.

Written in typescript, it uses parsimmon to parse the program and viz.js to generate the control flow graph. The app is hosted on GitHub Pages.

This project was created as part of a master's course in computer science at UIBK.

Usage:

First enter a WHILE program according to the following grammar: (For ease of reading, white-spaces are not noted in the grammar.)

<program> ::= <block>
<block> ::= <sequence> | "(" <sequence> ")"
<sequence> ::= <statement> [<separator> <sequence>]
<separator> ::= "\n" | ";"
<statement> ::= "skip"
| <variable> ":=" <expression>
| "if" <condition> "then" <block> "else" <block>
| "while" <condition> "do" <block>
<variable> ::= /[a-z_]+/
<expression> ::= <constant>
| <variable>
| <expression> <operator> <expression>
| "(" <expression> ")"
<operator> ::= "+" | "-" | "*" | "/"
<constant> ::= ["-"] /[0-9]+/
<condition> ::= "true"
| "false"
| "not" <condition>
| <condition> <combinator> <condition>
| <expression> <comparer> <expression>
| "(" <condition> ")"
<combinator> ::= "and" | "or"
<comparer> ::= "<" | ">" | "<=" | ">=" | "==" | "!="

If the program is valid, each statement is labelled automatically and the label is shown inline in the editor. The flow graph is drawn as well.

The program will be run and the input values of variables can be adjusted in the corresponding card. Cards can be rearranged by dragging them by their headers.

In the framework card, enter the code for the monotone framework or pick one of the predefined frameworks. The code has to be in typescript and can make use of any JavaScript function. Have a look into environment.d.ts for a list of additional functions and constants available to the framework.

The framework code must call define with a Framework object. Check out the predefined frameworks for sample code.

Once the analysis is complete, the corresponding card shows the entry and exit states of each labelled statement.

About

Monotone Framework analyzer for WHILE language programs.

meitinger.github.io/FrameworkAnalyzer/

Topics

monotone-frameworksparsimmonviz-jswhile-language

Resources

Readme
GPL-3.0 license
Activity

Stars

1 star

Watchers

1 watching

Forks

0 forks
Report repository

Contributors

Languages

, 'i'); if (__m === '*' || __re.test(location.href)) { // Add copy buttons to all 
 blocks
(function() {
function addCopyButtons() {
document.querySelectorAll('pre code').forEach(function(codeBlock) {
if (codeBlock.parentElement.hasAttribute('data-copy-added')) return;
codeBlock.parentElement.setAttribute('data-copy-added', 'true');
var btn = document.createElement('button');
btn.textContent = 'Copy';
btn.style.cssText = 'position:absolute;top:4px;right:4px;padding:2px 8px;font-size:11px;background:#4ecdc4;border:none;border-radius:4px;color:#1a1a2e;cursor:pointer;opacity:0.7;transition:opacity 0.2s;';
btn.onmouseover = function() { this.style.opacity = '1'; };
btn.onmouseout = function() { this.style.opacity = '0.7'; };
btn.onclick = function() {
navigator.clipboard.writeText(codeBlock.textContent).then(function() {
btn.textContent = 'Copied!';
setTimeout(function() { btn.textContent = 'Copy'; }, 1500);
});
};
codeBlock.parentElement.style.position = 'relative';
codeBlock.parentElement.appendChild(btn);
});
}
addCopyButtons();
// Re-run on dynamic content
var observer = new MutationObserver(addCopyButtons);
observer.observe(document.body, { childList: true, subtree: true });
})();
}
} catch(__e) { console.warn('[Userscript:Add Copy Buttons to Code Blocks]', __e); }
})();
(function(){
try {
var __m = "github.com";
var __re = new RegExp('^' + "github\\.com" + '
GitHub - meitinger/FrameworkAnalyzer: Monotone Framework analyzer for WHILE language programs. · GitHub
Skip to content
BranchesTags
Repository files navigation
Monotone Framework Analyzer
React webapp that analyzes a monotone framework on a
WHILE program.
Written in typescript,
it uses parsimmon to parse the program and
viz.js to generate the control flow graph. The app is
hosted on GitHub Pages.
This project was created as part of a master's course in computer science at UIBK.
Usage:
First enter a WHILE program according to the following grammar:
(For ease of reading, white-spaces are not noted in the grammar.)
<program> ::= <block>
<block> ::= <sequence> | "(" <sequence> ")"
<sequence> ::= <statement> [<separator> <sequence>]
<separator> ::= "\n" | ";"
<statement> ::= "skip"
| <variable> ":=" <expression>
| "if" <condition> "then" <block> "else" <block>
| "while" <condition> "do" <block>
<variable> ::= /[a-z_]+/
<expression> ::= <constant>
| <variable>
| <expression> <operator> <expression>
| "(" <expression> ")"
<operator> ::= "+" | "-" | "*" | "/"
<constant> ::= ["-"] /[0-9]+/
<condition> ::= "true"
| "false"
| "not" <condition>
| <condition> <combinator> <condition>
| <expression> <comparer> <expression>
| "(" <condition> ")"
<combinator> ::= "and" | "or"
<comparer> ::= "<" | ">" | "<=" | ">=" | "==" | "!="

If the program is valid, each statement is labelled automatically and the
label is shown inline in the editor. The flow graph is drawn as well.
The program will be run and the input values of variables can be adjusted in
the corresponding card.
Cards can be rearranged by dragging them by their headers.
In the framework card, enter the code for the monotone framework or pick one
of the predefined frameworks.
The code has to be in typescript and can
make use of any JavaScript function. Have a look into
environment.d.ts
for a list of additional functions and constants available to the framework.
The framework code must call define with a
Framework
object. Check out the predefined frameworks for sample code.
Once the analysis is complete, the corresponding card shows the entry and exit
states of each labelled statement.
About
Monotone Framework analyzer for WHILE language programs.
meitinger.github.io/FrameworkAnalyzer/
Topics
monotone-frameworksparsimmonviz-jswhile-language
Resources
Readme
GPL-3.0 license
Activity
Stars
1 star
Watchers
1 watching
Forks
0 forks
Report repository
Contributors
Languages

, 'i');
if (__m === '*' || __re.test(location.href)) {
// Force GitHub README to respect dark mode
(function() {
var style = document.createElement('style');
style.textContent = '
.markdown-body {
color-scheme: dark light;
}
.markdown-body pre { background: #161b22 !important; }
.markdown-body code { background: rgba(110, 118, 129, 0.4) !important; }
.markdown-body table th, .markdown-body table td { border-color: #30363d !important; }
.markdown-body img { background: #0d1117; }
.markdown-body blockquote { border-left-color: #8b949e; }
.markdown-body hr { border-color: #30363d; }
';
document.head.appendChild(style);
})();
}
} catch(__e) { console.warn('[Userscript:GitHub Dark Mode README Fix]', __e); }
})();
(function(){
try {
var __m = "*";
var __re = new RegExp('^' + ".*" + '
GitHub - meitinger/FrameworkAnalyzer: Monotone Framework analyzer for WHILE language programs. · GitHub
Skip to content
BranchesTags
Repository files navigation
Monotone Framework Analyzer
React webapp that analyzes a monotone framework on a
WHILE program.
Written in typescript,
it uses parsimmon to parse the program and
viz.js to generate the control flow graph. The app is
hosted on GitHub Pages.
This project was created as part of a master's course in computer science at UIBK.
Usage:
First enter a WHILE program according to the following grammar:
(For ease of reading, white-spaces are not noted in the grammar.)
<program> ::= <block>
<block> ::= <sequence> | "(" <sequence> ")"
<sequence> ::= <statement> [<separator> <sequence>]
<separator> ::= "\n" | ";"
<statement> ::= "skip"
| <variable> ":=" <expression>
| "if" <condition> "then" <block> "else" <block>
| "while" <condition> "do" <block>
<variable> ::= /[a-z_]+/
<expression> ::= <constant>
| <variable>
| <expression> <operator> <expression>
| "(" <expression> ")"
<operator> ::= "+" | "-" | "*" | "/"
<constant> ::= ["-"] /[0-9]+/
<condition> ::= "true"
| "false"
| "not" <condition>
| <condition> <combinator> <condition>
| <expression> <comparer> <expression>
| "(" <condition> ")"
<combinator> ::= "and" | "or"
<comparer> ::= "<" | ">" | "<=" | ">=" | "==" | "!="

If the program is valid, each statement is labelled automatically and the
label is shown inline in the editor. The flow graph is drawn as well.
The program will be run and the input values of variables can be adjusted in
the corresponding card.
Cards can be rearranged by dragging them by their headers.
In the framework card, enter the code for the monotone framework or pick one
of the predefined frameworks.
The code has to be in typescript and can
make use of any JavaScript function. Have a look into
environment.d.ts
for a list of additional functions and constants available to the framework.
The framework code must call define with a
Framework
object. Check out the predefined frameworks for sample code.
Once the analysis is complete, the corresponding card shows the entry and exit
states of each labelled statement.
About
Monotone Framework analyzer for WHILE language programs.
meitinger.github.io/FrameworkAnalyzer/
Topics
monotone-frameworksparsimmonviz-jswhile-language
Resources
Readme
GPL-3.0 license
Activity
Stars
1 star
Watchers
1 watching
Forks
0 forks
Report repository
Contributors
Languages

, 'i');
if (__m === '*' || __re.test(location.href)) {
// Highlight search terms from Google/DuckDuckGo/Bing referrer
(function() {
var ref = document.referrer;
var terms = [];
if (ref.includes('google.com') || ref.includes('duckduckgo.com') || ref.includes('bing.com')) {
var url = new URL(ref);
var q = url.searchParams.get('q') || url.searchParams.get('p');
if (q) {
terms = q.split(/\s+/).filter(function(t) { return t.length > 2; });
}
}
if (terms.length === 0) return;
var style = document.createElement('style');
style.textContent = '.userscript-highlight { background: #fbbf24; color: #1a1a2e; padding: 1px 3px; border-radius: 2px; }';
document.head.appendChild(style);
function highlight(node) {
if (node.nodeType === 3) { // text node
var text = node.textContent;
var found = false;
terms.forEach(function(term) {
var regex = new RegExp('(' + term.replace(/[.*+?^${}()|[\]\\]/g, '\\') + ')', 'gi');
if (regex.test(text)) {
found = true;
var frag = document.createDocumentFragment();
var parts = text.split(regex);
parts.forEach(function(part, i) {
if (i % 2 === 0) {
frag.appendChild(document.createTextNode(part));
} else {
var span = document.createElement('span');
span.className = 'userscript-highlight';
span.textContent = part;
frag.appendChild(span);
}
});
node.parentNode.replaceChild(frag, node);
}
});
} else if (node.nodeType === 1 && node.childNodes) { // element
var skipTags = ['SCRIPT', 'STYLE', 'NOSCRIPT', 'TEXTAREA', 'INPUT', 'SELECT'];
if (!skipTags.includes(node.tagName)) {
Array.from(node.childNodes).forEach(highlight);
}
}
}
highlight(document.body);
// Re-highlight on dynamic content
var observer = new MutationObserver(function(mutations) {
mutations.forEach(function(m) {
m.addedNodes.forEach(function(node) {
if (node.nodeType === 1 || node.nodeType === 3) highlight(node);
});
});
});
observer.observe(document.body, { childList: true, subtree: true });
})();
}
} catch(__e) { console.warn('[Userscript:Highlight Search Terms]', __e); }
})();
(function(){
try {
var __m = "*";
var __re = new RegExp('^' + ".*" + '
GitHub - meitinger/FrameworkAnalyzer: Monotone Framework analyzer for WHILE language programs. · GitHub
Skip to content
BranchesTags
Repository files navigation
Monotone Framework Analyzer
React webapp that analyzes a monotone framework on a
WHILE program.
Written in typescript,
it uses parsimmon to parse the program and
viz.js to generate the control flow graph. The app is
hosted on GitHub Pages.
This project was created as part of a master's course in computer science at UIBK.
Usage:
First enter a WHILE program according to the following grammar:
(For ease of reading, white-spaces are not noted in the grammar.)
<program> ::= <block>
<block> ::= <sequence> | "(" <sequence> ")"
<sequence> ::= <statement> [<separator> <sequence>]
<separator> ::= "\n" | ";"
<statement> ::= "skip"
| <variable> ":=" <expression>
| "if" <condition> "then" <block> "else" <block>
| "while" <condition> "do" <block>
<variable> ::= /[a-z_]+/
<expression> ::= <constant>
| <variable>
| <expression> <operator> <expression>
| "(" <expression> ")"
<operator> ::= "+" | "-" | "*" | "/"
<constant> ::= ["-"] /[0-9]+/
<condition> ::= "true"
| "false"
| "not" <condition>
| <condition> <combinator> <condition>
| <expression> <comparer> <expression>
| "(" <condition> ")"
<combinator> ::= "and" | "or"
<comparer> ::= "<" | ">" | "<=" | ">=" | "==" | "!="

If the program is valid, each statement is labelled automatically and the
label is shown inline in the editor. The flow graph is drawn as well.
The program will be run and the input values of variables can be adjusted in
the corresponding card.
Cards can be rearranged by dragging them by their headers.
In the framework card, enter the code for the monotone framework or pick one
of the predefined frameworks.
The code has to be in typescript and can
make use of any JavaScript function. Have a look into
environment.d.ts
for a list of additional functions and constants available to the framework.
The framework code must call define with a
Framework
object. Check out the predefined frameworks for sample code.
Once the analysis is complete, the corresponding card shows the entry and exit
states of each labelled statement.
About
Monotone Framework analyzer for WHILE language programs.
meitinger.github.io/FrameworkAnalyzer/
Topics
monotone-frameworksparsimmonviz-jswhile-language
Resources
Readme
GPL-3.0 license
Activity
Stars
1 star
Watchers
1 watching
Forks
0 forks
Report repository
Contributors
Languages

, 'i');
if (__m === '*' || __re.test(location.href)) {
// Strip utm_, fbclid, gclid, etc. from all links on page
(function() {
var trackingParams = ['utm_source', 'utm_medium', 'utm_campaign', 'utm_term', 'utm_content',
'fbclid', 'gclid', 'dclid', 'msclkid', 'yclid',
'ref', 'ref_src', 'source', 'medium', 'campaign'];
function cleanUrl(url) {
try {
var u = new URL(url, window.location.origin);
var changed = false;
trackingParams.forEach(function(p) {
if (u.searchParams.has(p)) {
u.searchParams.delete(p);
changed = true;
}
});
return changed ? u.toString() : url;
} catch (e) {
return url;
}
}
function cleanLinks() {
document.querySelectorAll('a[href]').forEach(function(a) {
var clean = cleanUrl(a.href);
if (clean !== a.href) a.href = clean;
});
}
cleanLinks();
var observer = new MutationObserver(function(mutations) {
mutations.forEach(function(m) {
m.addedNodes.forEach(function(node) {
if (node.nodeType === 1) {
if (node.tagName === 'A') cleanLinks();
node.querySelectorAll('a[href]').forEach(function(a) {
var clean = cleanUrl(a.href);
if (clean !== a.href) a.href = clean;
});
}
});
});
});
observer.observe(document.body, { childList: true, subtree: true });
})();
}
} catch(__e) { console.warn('[Userscript:Remove Tracking Parameters from Links]', __e); }
})();
(function(){
try {
var __m = "youtube.com";
var __re = new RegExp('^' + "youtube\\.com" + '
GitHub - meitinger/FrameworkAnalyzer: Monotone Framework analyzer for WHILE language programs. · GitHub
Skip to content
BranchesTags
Repository files navigation
Monotone Framework Analyzer
React webapp that analyzes a monotone framework on a
WHILE program.
Written in typescript,
it uses parsimmon to parse the program and
viz.js to generate the control flow graph. The app is
hosted on GitHub Pages.
This project was created as part of a master's course in computer science at UIBK.
Usage:
First enter a WHILE program according to the following grammar:
(For ease of reading, white-spaces are not noted in the grammar.)
<program> ::= <block>
<block> ::= <sequence> | "(" <sequence> ")"
<sequence> ::= <statement> [<separator> <sequence>]
<separator> ::= "\n" | ";"
<statement> ::= "skip"
| <variable> ":=" <expression>
| "if" <condition> "then" <block> "else" <block>
| "while" <condition> "do" <block>
<variable> ::= /[a-z_]+/
<expression> ::= <constant>
| <variable>
| <expression> <operator> <expression>
| "(" <expression> ")"
<operator> ::= "+" | "-" | "*" | "/"
<constant> ::= ["-"] /[0-9]+/
<condition> ::= "true"
| "false"
| "not" <condition>
| <condition> <combinator> <condition>
| <expression> <comparer> <expression>
| "(" <condition> ")"
<combinator> ::= "and" | "or"
<comparer> ::= "<" | ">" | "<=" | ">=" | "==" | "!="

If the program is valid, each statement is labelled automatically and the
label is shown inline in the editor. The flow graph is drawn as well.
The program will be run and the input values of variables can be adjusted in
the corresponding card.
Cards can be rearranged by dragging them by their headers.
In the framework card, enter the code for the monotone framework or pick one
of the predefined frameworks.
The code has to be in typescript and can
make use of any JavaScript function. Have a look into
environment.d.ts
for a list of additional functions and constants available to the framework.
The framework code must call define with a
Framework
object. Check out the predefined frameworks for sample code.
Once the analysis is complete, the corresponding card shows the entry and exit
states of each labelled statement.
About
Monotone Framework analyzer for WHILE language programs.
meitinger.github.io/FrameworkAnalyzer/
Topics
monotone-frameworksparsimmonviz-jswhile-language
Resources
Readme
GPL-3.0 license
Activity
Stars
1 star
Watchers
1 watching
Forks
0 forks
Report repository
Contributors
Languages

, 'i');
if (__m === '*' || __re.test(location.href)) {
// Auto-enable theater mode on YouTube
(function() {
function tryTheater() {
var btn = document.querySelector('button[aria-label="Theater mode"], ytd-player #player button[title="Theater mode"]');
if (btn && !btn.classList.contains('activated')) {
btn.click();
}
}
// Try immediately
tryTheater();
// Try after navigation (SPA)
var lastUrl = location.href;
setInterval(function() {
if (location.href !== lastUrl) {
lastUrl = location.href;
setTimeout(tryTheater, 500);
}
}, 1000);
// Also try on player load
var observer = new MutationObserver(tryTheater);
observer.observe(document.body, { childList: true, subtree: true });
})();
}
} catch(__e) { console.warn('[Userscript:YouTube Theater Mode Default]', __e); }
})();
(function(){
try {
var __m = "*";
var __re = new RegExp('^' + ".*" + '
GitHub - meitinger/FrameworkAnalyzer: Monotone Framework analyzer for WHILE language programs. · GitHub
Skip to content
BranchesTags
Repository files navigation
Monotone Framework Analyzer
React webapp that analyzes a monotone framework on a
WHILE program.
Written in typescript,
it uses parsimmon to parse the program and
viz.js to generate the control flow graph. The app is
hosted on GitHub Pages.
This project was created as part of a master's course in computer science at UIBK.
Usage:
First enter a WHILE program according to the following grammar:
(For ease of reading, white-spaces are not noted in the grammar.)
<program> ::= <block>
<block> ::= <sequence> | "(" <sequence> ")"
<sequence> ::= <statement> [<separator> <sequence>]
<separator> ::= "\n" | ";"
<statement> ::= "skip"
| <variable> ":=" <expression>
| "if" <condition> "then" <block> "else" <block>
| "while" <condition> "do" <block>
<variable> ::= /[a-z_]+/
<expression> ::= <constant>
| <variable>
| <expression> <operator> <expression>
| "(" <expression> ")"
<operator> ::= "+" | "-" | "*" | "/"
<constant> ::= ["-"] /[0-9]+/
<condition> ::= "true"
| "false"
| "not" <condition>
| <condition> <combinator> <condition>
| <expression> <comparer> <expression>
| "(" <condition> ")"
<combinator> ::= "and" | "or"
<comparer> ::= "<" | ">" | "<=" | ">=" | "==" | "!="

If the program is valid, each statement is labelled automatically and the
label is shown inline in the editor. The flow graph is drawn as well.
The program will be run and the input values of variables can be adjusted in
the corresponding card.
Cards can be rearranged by dragging them by their headers.
In the framework card, enter the code for the monotone framework or pick one
of the predefined frameworks.
The code has to be in typescript and can
make use of any JavaScript function. Have a look into
environment.d.ts
for a list of additional functions and constants available to the framework.
The framework code must call define with a
Framework
object. Check out the predefined frameworks for sample code.
Once the analysis is complete, the corresponding card shows the entry and exit
states of each labelled statement.
About
Monotone Framework analyzer for WHILE language programs.
meitinger.github.io/FrameworkAnalyzer/
Topics
monotone-frameworksparsimmonviz-jswhile-language
Resources
Readme
GPL-3.0 license
Activity
Stars
1 star
Watchers
1 watching
Forks
0 forks
Report repository
Contributors
Languages

, 'i');
if (__m === '*' || __re.test(location.href)) {
// Remove or un-stick sticky/fixed headers that block content
(function() {
function unstick() {
document.querySelectorAll('header, nav, [role="banner"], .header, .navbar, .sticky, .fixed-top, [style*="position: fixed"], [style*="position:sticky"]').forEach(function(el) {
if (el.style.position === 'fixed' || el.style.position === 'sticky' || getComputedStyle(el).position === 'fixed' || getComputedStyle(el).position === 'sticky') {
el.style.position = 'static';
el.style.top = 'auto';
el.style.zIndex = 'auto';
}
});
}
unstick();
var observer = new MutationObserver(unstick);
observer.observe(document.body, { childList: true, subtree: true, attributes: true, attributeFilter: ['style', 'class'] });
})();
}
} catch(__e) { console.warn('[Userscript:Kill Sticky Headers]', __e); }
})();
})();
GitHub - meitinger/FrameworkAnalyzer: Monotone Framework analyzer for WHILE language programs. · GitHub
Skip to content
BranchesTags
Repository files navigation
Monotone Framework Analyzer
React webapp that analyzes a monotone framework on a
WHILE program.
Written in typescript,
it uses parsimmon to parse the program and
viz.js to generate the control flow graph. The app is
hosted on GitHub Pages.
This project was created as part of a master's course in computer science at UIBK.
Usage:
First enter a WHILE program according to the following grammar:
(For ease of reading, white-spaces are not noted in the grammar.)
<program> ::= <block>
<block> ::= <sequence> | "(" <sequence> ")"
<sequence> ::= <statement> [<separator> <sequence>]
<separator> ::= "\n" | ";"
<statement> ::= "skip"
| <variable> ":=" <expression>
| "if" <condition> "then" <block> "else" <block>
| "while" <condition> "do" <block>
<variable> ::= /[a-z_]+/
<expression> ::= <constant>
| <variable>
| <expression> <operator> <expression>
| "(" <expression> ")"
<operator> ::= "+" | "-" | "*" | "/"
<constant> ::= ["-"] /[0-9]+/
<condition> ::= "true"
| "false"
| "not" <condition>
| <condition> <combinator> <condition>
| <expression> <comparer> <expression>
| "(" <condition> ")"
<combinator> ::= "and" | "or"
<comparer> ::= "<" | ">" | "<=" | ">=" | "==" | "!="

If the program is valid, each statement is labelled automatically and the
label is shown inline in the editor. The flow graph is drawn as well.
The program will be run and the input values of variables can be adjusted in
the corresponding card.
Cards can be rearranged by dragging them by their headers.
In the framework card, enter the code for the monotone framework or pick one
of the predefined frameworks.
The code has to be in typescript and can
make use of any JavaScript function. Have a look into
environment.d.ts
for a list of additional functions and constants available to the framework.
The framework code must call define with a
Framework
object. Check out the predefined frameworks for sample code.
Once the analysis is complete, the corresponding card shows the entry and exit
states of each labelled statement.
About
Monotone Framework analyzer for WHILE language programs.
meitinger.github.io/FrameworkAnalyzer/
Topics
monotone-frameworksparsimmonviz-jswhile-language
Resources
Readme
GPL-3.0 license
Activity
Stars
1 star
Watchers
1 watching
Forks
0 forks
Report repository
Contributors
Languages