Giter Site home page Giter Site logo

babelsberg-js's Introduction

Babelsberg/JS

Build Status

For more information, please visit our gh-pages

This work is licensed under 3-clause BSD

Created under a grant from Hasso Plattner Institute HPI Logo

babelsberg-js's People

Contributors

alanb2718 avatar cmur2 avatar fniephaus avatar gersseba avatar j4yk avatar jgraichen avatar mswart avatar onsetsu avatar psieg avatar timfel avatar

Stargazers

 avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar

Watchers

 avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar

babelsberg-js's Issues

Dynamic scope for functions

Dynamic scope is lost for functions in constraints. For example, fabric.js defines methods on fabric.Point, and uses only new Point in those, because it is in scope. But when we interpret it, it's not in scope. Maybe we need a whole program translation (like the original lively debugger)

stronger/weaker stays

Sometimes certain variables should stay stronger on its value than others. Adding a notion of strength for stay constraints would allow the user to specify this.

DeltaBlue throws no error

DeltaBlue throws currently no error, if some constraints are not satisfiable. Therefore, DeltaBlue does not support onError attributes.

Source Code Transformation for Unified Notation

I pushed the discussed notation on the unified-notation branch.

Constraints can now be specified using the predicate function followed by always, trigger or others. COP Layer also support this method and scope the respective constraints, e.g.:

layer.predicate(function() {
  return temperature.celsius * 1.8 == temperature.fahrenheit - 32;
}, {
  ctx: {
    temperature: temperature
  }
}).always({ solver: new ClSimplexSolver() });

We need a source code transformation to automatically generate the ctx object in the options as second parameter of the predicate function, if missing. The first argument should remain unchanged.

Any opinions?

Watch for function changes

Right now, when I recompile a function that was used in a constraint, that constraint is not recalculated

verbose flag

As the number of debug prints grows, a flag to hide them all would be preferable.

The question is, whether to assign this flag to every constraint, to each solver instance individually or to the single bbb instance.

fabric.js layout example question

The example works fine online. I tried to make work it on my computer without installing node.js/lively-kernel. I downloaded layout.html, fabric.js and layout.js. Prototype.js source is unchanged. I changed the source files for babelsberg and solvers to point to live-kernel.org as in the online version, but the example did not work. It looks it needed lively-kernel runtime to work.

Either there are restrictions to get data from lively-kernel.org as source or I do not understand exactly how it works?

More info about bundled z3.js

Hi,

I'm trying to compile z3 with emscripten to use it in another project.

I started with your version of z3.emscripten.js - and it worked fine. However, when I later tried to build my own version of z3 (that supports soft constraints) - it built fine but segfaults on certain queries :( Your original version (based on 4.3.1 as far as I can tell) works fine though, although it doesn't support assert-soft that was introduced in v4.4.1.

Do you mind providing more information on which upstream commit the bundled z3.js is based and which emscripten configuration was used to build it so I can have a starting point of a working build and see where things went wrong?

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    ๐Ÿ–– Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo 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.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google โค๏ธ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.