SeungheonOh

Results 31 issues of SeungheonOh

$(Configuration)... to ${Configuration} for proper ninja backend support. Currently ninja backend fails to build with following error message: "ninja: error: build.ninja:1094: bad $-escape (literal $ must be written as $$)"

Functionality to rename current node name minding the title, all links, and filename. Previously, the links, filename, and title have to be renamed manually. It wound be nice to have...

1. enhancement

As mentioned in #9, meson is better alternative to cmake. Here is meson in working state--demo builds. Yet, I'm not 100% expert on meson; I don't know how to make...

Meson is more simple, flexible, and human readable build system. Any plan on moving to Meson?

Can it be used to search from web hosted hoogle?

In Babbage ledger spec, at Figure 3, it states about "allowedLanguages" that indicates what different versions of scripts are allowed in a transaction depending on some of features transaction uses....

documentation
era: conway

It does any signatures that is not in `mustBeSignedBy` list. I'm not sure if this is an intended behavior or not, however, it confused me for few good minutes.

### Describe the feature you'd like Currently, each projects need to write some property testing generator and shrinker on per-project biases, making testing not only more difficult but possibly more...

Test
Low priority
status: triaged
tech debt

closes #7146. ~~Add plugin option to generate callstack trace message. Currently this won't handle cases when a function has `PlutusTx.Trace.callStack` and that function is called in multiple places. It will...

Plinth
User experience
Plinth Plugin