Comments (3)
MrChico
commented on June 5, 2024
from klab.
MrChico
commented on June 5, 2024
Replicate by running:
klab run --spec out/Pit_frob_succ.ini
on the TuneHashMystery branch of k-dss after adding the lemma rule chop(keccakIntList(A)) => keccakIntList(A) to klab lemmas (or just check out the lemmas branch of klab)
from klab.
MrChico
commented on June 5, 2024
This was actually an error due to me using an incorrect bytecode. A careful setup of a config resolves this issue. Might just leave this open if others run into the same problem.
from klab.
Related Issues (20)
- Fast way to look up dapp.ci/<project>/<hash> for a given branch from github
- Adapt PC extractor to work with library functions HOT 2
- Deal with ASTs produced by Waffle HOT 1
- Filter out unrelated constraint changes HOT 4
- Use wall-clock time in timeouts
- Document failure heading
- Document resources/k.json
- klab fetch shouldn't focus HOT 4
- fetch running proofs
- Document dirty lemmas feature
- Investigate .git requirements in klab-prove-all
- klab debug's rule view uses hardcoded paths HOT 5
- Show lemmas in r view HOT 2
- Strip metadata before calculating proof hash HOT 7
- report: make 'not-specified' rows more distinguishable
- report: fetch url is editable
- report: split methods into accessors and mutators in overview
- Document files in KLAB_OUT
- act2 migration
- Using eDSL instead of ACT as spec
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from klab.