https://github.com/Kappa-Dev/KaSim
Tip revision: 32fa0e124c17a772b5f5fc1ba86bdad8eefd7e67 authored by Jérôme Feret on 27 April 2017, 10:39:14 UTC
bugfix, issue #393: solve the soundness issue, at the cost of a loss of accuracy in the case of asymetric binding, a collaboration between site-across-bonds domain and parallel bond domain is required
bugfix, issue #393: solve the soundness issue, at the cost of a loss of accuracy in the case of asymetric binding, a collaboration between site-across-bonds domain and parallel bond domain is required
Tip revision: 32fa0e1
| File | Mode | Size |
|---|---|---|
| KaSim.odocl | -rw-r--r-- | 1010 bytes |
| api_intro | -rw-r--r-- | 2.1 KB |
| db | -rw-r--r-- | 1.2 KB |
| db_printers.mllib | -rw-r--r-- | 608 bytes |
| domain-visualizer.html | -rw-r--r-- | 1.6 KB |
| domain-visualizer.js | -rw-r--r-- | 4.8 KB |
| embed-file.sh | -rwxr-xr-x | 78 bytes |
| generate-string.sh | -rwxr-xr-x | 946 bytes |
| header.ml | -rw-r--r-- | 567 bytes |
| ocamldebug | -rwxr-xr-x | 512 bytes |
| raw_printers.ml | -rw-r--r-- | 962 bytes |
| update-web.sh | -rwxr-xr-x | 2.0 KB |
