Marcel Ullrich
Marcel Ullrich
In the file value_block.js the variable args[j][1] is cloned when it is a Blockly.FieldDropdown. In my tests `args[j][1].clone();` always retuned the error `Uncaught TypeError: args[j][1].clone is not a function` Any...
The precedence in the MetaCoq Quote and Unquote vernacular seems to be too eager: Following code snippets are rejected due to syntax errors: `MetaCoq Quote Definition test1 := @nil nat.`...
When running a trivial example (`lit/ret_argc`) with `-VVVV` to print intermediate programs, Thorin crashed with the error ``` thorin2/thorin/analyses/deptree.cpp:36: thorin::VarSet thorin::DepTree::run(thorin::Def*): Assertion `n && "Old var still around?"' failed. ```...
I get an error that an application can not be constructed ("cannot pass argument") although the type of the argument matches the domain exactly: ```rust '(0:(.Idx 4294967296), _6524550, 1:(.Idx 4294967296),...
Sometimes, the behavior of the optimization pipeline seems to be non-deterministic. Example: ./build/bin/thorin -d mem -o - lit/mem/no_mem.thorin -VVVV in https://github.com/NeuralCoder3/thorin2/tree/ad_ptr_merge 702d848 The issue might be due to the add_mem...
Currently, the import mechanism operates on dialects. One could imagine a more modular style of files with a file-based import. ```rust .import name // imports dialect name .import name/abc //...
The `add_mem` pass adds unnecessary mems in nested argument tuples but not in the functions: `.con tup_pb_5577562 _5577572::[tup_s_5577574::[_5577575: .Idx 4294967296, _5577579: .Idx 4294967296], tup_ret_cont_5577584: .Cn [%mem.M, %mem.Ptr (.Idx 4294967296, 0)]]...
We need a phase that splits nested extracts into basic blocks to move this burden away from the backends. Issue raised in regard to #181 Related code snippet: ```C++ //...
This pull request allows for easier implementation of backends for thorin. It builds upon the NeuralCoder3/thorin2/improved-backends branch that handles the underlying changes. Ontop, we implement functional backends for OCaml and...
The `add_mem` pass fails to apply arguments to dependently typed functions. The dependencies are not correctly tracked. Example: Code involving internal_diff_core_wrap_mul fails with ```rust '(2:(.Idx 4294967296), _2431641#1:(.Idx 2))' of type...