mcoblenz/Obsidian issues and pull requests

#441 - Bump semver from 5.7.1 to 5.7.2 in /obs-vscode-extension

Pull Request - State: closed - Opened by dependabot[bot] about 1 year ago
Labels: dependencies

#440 - Fabric deployment fails at creating channel

Issue - State: open - Opened by benny1693 over 1 year ago

#439 - Bump minimatch from 3.0.4 to 3.1.2 in /obs-vscode-extension

Pull Request - State: closed - Opened by dependabot[bot] almost 2 years ago
Labels: dependencies

#438 - benchmarks and draft report

Pull Request - State: closed - Opened by ivoysey over 2 years ago

#437 - control what appears in dispatch table

Pull Request - State: closed - Opened by ivoysey over 2 years ago

#436 - adding a field to every object for reference counting

Pull Request - State: closed - Opened by ivoysey over 2 years ago

#435 - first cut at having some control over what appears in the dispatch table

Pull Request - State: closed - Opened by ivoysey over 2 years ago - 1 comment

#434 - double check the output of TraceThis.obs

Issue - State: open - Opened by ivoysey over 2 years ago - 1 comment
Labels: bug

#433 - Bump minimist from 1.2.5 to 1.2.6 in /obs-vscode-extension

Pull Request - State: closed - Opened by dependabot[bot] over 2 years ago
Labels: dependencies

#432 - figure out why the TraceThis seems to need just a crazy amount of gas

Issue - State: closed - Opened by ivoysey over 2 years ago - 1 comment

#431 - TEST: read something in main's main that is set in the constructor

Issue - State: closed - Opened by ivoysey over 2 years ago

#430 - call the tracer after field writes

Pull Request - State: closed - Opened by ivoysey over 2 years ago

#429 - keep an eye on python web3 build errors in CI

Issue - State: open - Opened by ivoysey over 2 years ago

#428 - generate default constructors and manipulate storage after copying

Pull Request - State: closed - Opened by ivoysey over 2 years ago

#427 - should the constructor for the main contract appear in the dispatch table?

Issue - State: closed - Opened by ivoysey over 2 years ago

#426 - call main constructor at deployment

Issue - State: closed - Opened by ivoysey over 2 years ago

#425 - generate constructors for contracts that don't have them

Issue - State: closed - Opened by ivoysey over 2 years ago

#424 - default constructor name conflict

Issue - State: closed - Opened by ivoysey over 2 years ago - 1 comment
Labels: bug

#423 - generate default constructors for contracts that don't have any

Pull Request - State: closed - Opened by ivoysey over 2 years ago

#422 - update test script to stash bench marks somewhere outside the CI instance

Issue - State: open - Opened by ivoysey over 2 years ago
Labels: enhancement

#421 - initial work towards simple benchmarks

Pull Request - State: closed - Opened by ivoysey over 2 years ago

#420 - copy to addresses plus an offset, check pointer reads

Pull Request - State: closed - Opened by ivoysey over 2 years ago

#419 - more fine grained control over logging from tracers

Issue - State: open - Opened by ivoysey over 2 years ago

#418 - check on invocation of non-constructor transactions from the main contract

Issue - State: closed - Opened by ivoysey over 2 years ago

#417 - log contents of fields as written to storage after constructor calls

Pull Request - State: closed - Opened by ivoysey over 2 years ago

#416 - don't permit calls to uninstantiated objects

Issue - State: open - Opened by ivoysey over 2 years ago
Labels: bug

#415 - updating master from shadow master

Pull Request - State: closed - Opened by ivoysey over 2 years ago - 1 comment

#414 - updating master from shadow master

Pull Request - State: closed - Opened by ivoysey over 2 years ago

#413 - call tracers after every constructor call

Pull Request - State: closed - Opened by ivoysey over 2 years ago

#412 - Flat readlogs

Pull Request - State: closed - Opened by ivoysey over 2 years ago

#411 - fix broken nested intcontinater test

Pull Request - State: closed - Opened by ivoysey almost 3 years ago - 1 comment

#410 - updates to testing harness and emitted code for stashing values

Pull Request - State: closed - Opened by ivoysey almost 3 years ago - 1 comment

#409 - updates from flat alloc into master

Pull Request - State: closed - Opened by ivoysey almost 3 years ago

#408 - updates to the testing harness

Pull Request - State: closed - Opened by ivoysey almost 3 years ago

#407 - remove `inMain` boolean in codegen?

Issue - State: closed - Opened by ivoysey almost 3 years ago

#406 - rewrite the test script to process the one large json file instead of the smaller ones, and more safely

Issue - State: closed - Opened by ivoysey almost 3 years ago

#405 - write to log when writing a pointer field that's in storage

Issue - State: closed - Opened by ivoysey almost 3 years ago - 1 comment

#404 - emit tracers for each contract

Pull Request - State: closed - Opened by ivoysey almost 3 years ago - 1 comment

#403 - adding a case class for yul types

Pull Request - State: closed - Opened by ivoysey almost 3 years ago

#402 - updates from flat allocation

Pull Request - State: closed - Opened by ivoysey almost 3 years ago

#401 - add YulAST nodes for types

Issue - State: closed - Opened by ivoysey almost 3 years ago
Labels: enhancement

#400 - support integer arguments to the main function

Pull Request - State: closed - Opened by ivoysey almost 3 years ago

#399 - pass arguments from the client into main

Issue - State: closed - Opened by ivoysey almost 3 years ago
Labels: enhancement

#398 - updates from shadow master

Pull Request - State: closed - Opened by ivoysey almost 3 years ago

#397 - get a nested intcontainer example working

Issue - State: closed - Opened by ivoysey almost 3 years ago
Labels: enhancement

#396 - translate constrctors to transactions on the flattened object

Pull Request - State: closed - Opened by ivoysey almost 3 years ago

#395 - functions with arguments, pointer fields

Pull Request - State: closed - Opened by ivoysey almost 3 years ago

#394 - functions with arguments

Pull Request - State: closed - Opened by ivoysey almost 3 years ago

#393 - add a `this` argument to transactions from the main contract

Issue - State: closed - Opened by ivoysey almost 3 years ago

#392 - add a memory allocation for the main contract to dispatch

Issue - State: closed - Opened by ivoysey almost 3 years ago

#391 - remove transactions from non-main contracts from dispatch

Issue - State: closed - Opened by ivoysey almost 3 years ago

#390 - emit trace functions per contract

Issue - State: closed - Opened by ivoysey almost 3 years ago

#389 - write pointer fields to memory

Issue - State: closed - Opened by ivoysey almost 3 years ago

#388 - allocate fields with pointers, rewrite yulobject and mustache interaction to reflect current object layout

Pull Request - State: closed - Opened by ivoysey almost 3 years ago

#387 - sequential allocation into memory

Pull Request - State: closed - Opened by ivoysey almost 3 years ago

#386 - fix writing boolean fields to memory

Issue - State: open - Opened by ivoysey almost 3 years ago
Labels: bug

#385 - have the contents of the dispatch table respect arity

Issue - State: open - Opened by ivoysey almost 3 years ago
Labels: bug

#384 - compute offsets, store fields in memory

Pull Request - State: closed - Opened by ivoysey almost 3 years ago

#383 - fixing checkAndInfer for negation

Pull Request - State: closed - Opened by ivoysey almost 3 years ago

#382 - cumulative updates from `flat_alloc` branch

Pull Request - State: closed - Opened by ivoysey almost 3 years ago

#381 - update the implementation of `inferAndCheckExpr` in `Checker.scala`

Issue - State: open - Opened by ivoysey almost 3 years ago
Labels: bug

#380 - fixing type checker errors

Pull Request - State: closed - Opened by ivoysey almost 3 years ago

#379 - fix failing typechecker tests in the flat_alloc branch

Issue - State: closed - Opened by ivoysey almost 3 years ago
Labels: bug

#378 - compute the sizes of contracts for allocation

Pull Request - State: closed - Opened by ivoysey almost 3 years ago

#377 - use type annotations in Yul codegen

Pull Request - State: closed - Opened by ivoysey almost 3 years ago

#376 - memoize type info

Pull Request - State: closed - Opened by ivoysey about 3 years ago

#375 - rewrite temporary variable generation

Issue - State: open - Opened by ivoysey about 3 years ago
Labels: enhancement

#374 - compute the number of bytes needed to store an obsidian type

Issue - State: closed - Opened by ivoysey about 3 years ago

#373 - refactor the translation to yul to be type directed rather than syntax directed

Issue - State: closed - Opened by ivoysey about 3 years ago
Labels: bug, enhancement

#372 - make a PR where the set-get example works, writing everything to 0x80 in memory

Issue - State: closed - Opened by ivoysey about 3 years ago

#371 - make a PR where the set-get example works, writing things sequentially to memory but never deallocating anything

Issue - State: closed - Opened by ivoysey about 3 years ago

#370 - have the contents of the dispatch table respect abstraction and visibility

Issue - State: closed - Opened by ivoysey about 3 years ago - 2 comments
Labels: bug

#369 - generate flat yul object from child contracts

Pull Request - State: closed - Opened by ivoysey about 3 years ago

#368 - flatten obsidian subcontracts before translation to yul

Pull Request - State: closed - Opened by ivoysey about 3 years ago - 1 comment

#367 - change the elaboration of `new` and non-local Invocations to match the flat yul object style

Pull Request - State: closed - Opened by ivoysey about 3 years ago

#366 - utility script updates

Pull Request - State: closed - Opened by ivoysey about 3 years ago

#365 - make the output for invocations respect their return type and use; i.e. the code in the if statement at the end of the translation of set() and get() should not be the same.

Issue - State: open - Opened by ivoysey about 3 years ago - 1 comment

#364 - simple structure types

Pull Request - State: closed - Opened by ivoysey about 3 years ago - 2 comments

#363 - fix computation of amount of space needed for returns from `Invocation` calls

Issue - State: closed - Opened by ivoysey about 3 years ago - 1 comment

#362 - write to memory (cheap) during execution and then only copy out to storage (expensive) what's needed

Issue - State: closed - Opened by ivoysey about 3 years ago - 2 comments

#361 - understand why the diff command for missing json files produces different output on travis and locally; are all the tests getting run?

Issue - State: closed - Opened by ivoysey about 3 years ago - 1 comment

#360 - make a PR to implement Invocation with arguments (this will also include updating the dispatch table)

Issue - State: closed - Opened by ivoysey about 3 years ago

#359 - make a PR that implements constructors initializing fields

Issue - State: closed - Opened by ivoysey about 3 years ago

#358 - make a PR to implement `Invocation` with no arguments

Issue - State: closed - Opened by ivoysey about 3 years ago

#357 - make a PR that implements reads where the variable being read from is a field

Issue - State: closed - Opened by ivoysey about 3 years ago

#356 - make a PR that implements assignments where the variable being assigned is a field

Issue - State: closed - Opened by ivoysey about 3 years ago

#355 - make a PR that fixes the contents of YuLObject's subobjects

Issue - State: closed - Opened by ivoysey about 3 years ago

#354 - Bump path-parse from 1.0.6 to 1.0.7 in /obs-vscode-extension

Pull Request - State: closed - Opened by dependabot[bot] about 3 years ago
Labels: dependencies

#353 - Adding boolean state detector and refactoring

Pull Request - State: open - Opened by tmoux about 3 years ago

#352 - remove codes for `\r` from yul output on windows

Pull Request - State: closed - Opened by ivoysey about 3 years ago

#351 - "" added when .obs file is compiled to .yul

Issue - State: closed - Opened by jasonyih about 3 years ago - 3 comments
Labels: bug

#350 - Starting enum state detector

Pull Request - State: closed - Opened by tmoux about 3 years ago

#349 - Moved ContractStateDetector into its own file and modified testing script to use pytest

Pull Request - State: closed - Opened by tmoux about 3 years ago

#341 - manage "stack too deep" errors by changing variable allocation

Issue - State: closed - Opened by ivoysey over 3 years ago - 2 comments
Labels: bug, enhancement

#337 - parser error with unary negation

Issue - State: closed - Opened by ivoysey over 3 years ago
Labels: bug

#335 - testing improvements

Issue - State: closed - Opened by ivoysey over 3 years ago - 3 comments
Labels: enhancement

#334 - fix return example

Issue - State: closed - Opened by ivoysey over 3 years ago - 2 comments
Labels: bug

#333 - clean up boilerplate generation

Issue - State: open - Opened by ivoysey over 3 years ago - 1 comment
Labels: enhancement

#307 - extend obsidian with structure types

Issue - State: closed - Opened by ivoysey over 3 years ago - 1 comment

#49 - Support returns from transitions

Issue - State: open - Opened by mcoblenz almost 7 years ago - 2 comments
Labels: good first issue, P2

GitHub / mcoblenz/Obsidian issues and pull requests