Taus
Taus
(WIP -- there's some weirdness surrounding QLpacks that is causing one of the tests to fail, see below.) Splits the Frankengrammar apart into three smaller (and hopefully nicer) pieces. I...
The culprit: ``` Tuple counts for PointsTo::InterProceduralPointsTo::scope_entry_value_transfer_from_earlier#741b54e2#ffff#join_rhs/5@eb1340iv after 12.6s: 72973 ~3% {2} r1 = JOIN PointsToContext::TImportContext#cf3039a0#f WITH Definitions::NonEscapingGlobalVariable#class#486534ab#f CARTESIAN PRODUCT OUTPUT Rhs.0, Lhs.0 'arg1' 537932 ~0% {3} r2 = JOIN...
Much sadness: ``` Tuple counts for ImportTime::ImportTimeScope::getOuterVariable#dispred#f0820431#fff/3@64d04d33 after 7.6s: 19624 ~1% {1} r1 = SCAN py_Classes OUTPUT In.0 'this' 19531 ~1% {1} r2 = JOIN r1 WITH ImportTime::ImportTimeScope#class#7851b601#f ON FIRST...
Before: ``` Tuple counts for Essa::ScopeEntryDefinition#class#24e22a14#f/1@45e0d8dh after 10.5s: 2133368 ~1% {2} r1 = Essa::TEssaNodeDefinition#24e22a14#ffff_03#join_rhs AND NOT Essa::ImplicitSubModuleDefinition#class#24e22a14#f(Lhs.1 'this') 534478950 ~0% {2} r2 = JOIN r1 WITH Definitions::SsaSourceVariable::getScopeEntryDefinition#dispred#f0820431#ff ON FIRST 1...
This makes the AST viewer (which annotates string constant nodes as `Str`, and not `StrConst`) a bit more consistent. Fixes #9833. It might be even better to instead flip the...
**Describe the bug** If the piece of code selected for quick eval ends in a comment (`//` or `/* ... */`), then quick-eval fails. This is especially troublesome if one...
Consider the following query, which at first glance seems like it should match the first `elif` branch of an `if`-statement using `tree-sitter-python`: ``` (if_statement consequence: (_) . (elif_clause) @elif )...
At present, none of the code in this PR has any effect, as the internal copy is still used for the build and CI. However, the changes in this PR...
This should fix the issue reported by @alex-slynko. I think it's reasonable to just add these calls as copy steps in general. --- Does this warrant a change note? I...
Inspired by @jcreedcmu's recent success with getting Twelf to run in the browser (see https://github.com/jcreedcmu/twelf-wasm), I wanted to see if we could get something similar working for Abella. TL;DR: I...