Ben A Kushigian

Cannot use themes through CLI

33

I don't understand the node/js ecosystem, but I've tried all the 'obvious' things and none of these work. I have a file, `resume.json`, that I would like to export with...

The following code is a simplified/minimized version of [OpenZeppelin's ERC721 contract](https://github.com/OpenZeppelin/openzeppelin-contracts/blob/master/contracts/token/ERC721/ERC721.sol): ```solidity // SPDX-License-Identifier: MIT // OpenZeppelin Contracts (last updated v4.9.0) (token/ERC721/ERC721.sol) pragma solidity ^0.8.19; interface IERC165 { function supportsInterface(bytes4...

Enhancement: minimize diagnostic output

1

I've been digging through a lot of parser diagnostics, and some relatively minor errors can cause huge outputs (thousands of lines for a single bug). The mechanism that causes the...

I'm assuming this is a bug in solang and not solc, but I haven't dug into the specs on how type promotions work for shifts. The following code compiles with...

Improve mutation operator utility by making harder-to-kill mutants

1

**Some mutants are "dominated" by other higher utility mutants (that are not currently generated)** Consider `a < b`. Mutating this to `a = b`. I consider this an unproductive mutant...

Add game tree visiting logic?

4

There are various reasons why we might want to traverse a game tree after a solve. My present usecase (mentioned in #14) is to build a strategy simplifier by pruning...

It would be cool to be able to double check that a generated instruction is correct with verilator. This would act as a sort of dynamic end to end test...

shallow-comparison is longer running on xilinx than lattice

3

Xilinx times: | OP | Xilinx (Sec) | Lattice (Sec) | |----|------|---------------------| | eq8 | 8.13897705078125s | 1.3178119659423828s | | eq16 | 34.87053894996643s | 1.3003449440002441s | | eq32 | 61.21352696418762s...