tukcps / aadd Goto Github PK
View Code? Open in Web Editor NEWThis repository holds the Affine Arithmetic Decision Diagrams library
Home Page: http://cps.cs.uni-kl.de/AADD
License: Other
This repository holds the Affine Arithmetic Decision Diagrams library
Home Page: http://cps.cs.uni-kl.de/AADD
License: Other
Work in progress:
We use some continuous-time blocks, e.g. filters that contain optimised code for transfer functions etc. After code review they should be added.
Nested loops have several bugs and limitations. Basic concept holds for all cases, but implementation needs some testing and debugging.
The test "waterlevel" outputs different results based on the host CPU architecture (or so it seems). AARCH64 macOS and Linux both output an accumulated number of leaves of 7586, while x86-64 Linux outputs 7671. The currently expected value of 7622 is never hit on my machine. However, the value 7671 output by x86-64 Linux has been hit previously, but was changed with no reason provided: 0a5dfde
This leads me to believe there always has been some bug that causes inconsistent results and that it was simply masked by the commit above. AddressSanitizer and UndefinedBehaviorSanitizer do not report critical issues, only a few indirect memory leaks. All systems use glpk 5.0. Even rolling back to above's commit does not yield the currently expected value.
Two AADD nodes can be merged if they are mostly similar. Then, the nodes are replaced by a safe inclusion of both of them. Implementation is ongoing.
In current version the method for graphically printing AADD is not implemented.
Must be recovered from older versions on GIT.
A declarative, efficient, and flexible JavaScript library for building user interfaces.
๐ Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. ๐๐๐
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google โค๏ธ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.