https://github.com/pkoerner/lisb
https://github.com/pkoerner/lisb
b-method dsl embedding event-b formal-methods model-transformations tooling
Last synced: 4 months ago
JSON representation
- Host: GitHub
- URL: https://github.com/pkoerner/lisb
- Owner: pkoerner
- Created: 2017-05-26T16:33:21.000Z (over 8 years ago)
- Default Branch: master
- Last Pushed: 2025-09-23T14:12:39.000Z (5 months ago)
- Last Synced: 2025-10-22T01:42:52.934Z (4 months ago)
- Topics: b-method, dsl, embedding, event-b, formal-methods, model-transformations, tooling
- Language: Clojure
- Homepage: https://pkoerner.github.io/lisb-doc/
- Size: 961 KB
- Stars: 5
- Watchers: 2
- Forks: 2
- Open Issues: 7
-
Metadata Files:
- Readme: README.md
- Changelog: CHANGELOG
Awesome Lists containing this project
README
# lisb
Write B in Clojure. Interact with the ProB constraint solver.
## Documentation
Documentation is can be found on the [project website](https://pkoerner.github.io/lisb-doc/docs/home/)
## Examples
See src/lisb/examples
### Known Bugs
### To Do
Definitions für Präferenzen/Parameter und External Functions
Präferenzen/Paramter als Map
- [ ] support trees
- [ ] support reals
- [ ] painless conversion of Clojure data structures into B data
- [ ] painless conversion from B data into Clojure data structures
- [ ] special nodes
- [x] if-then-else
- [x] let (B)
- [ ] choose
- [ ] strings containing B code
- [X] parsing of B strings
- [ ] matching of variables
- [ ] exhaustive implementation of B operators
- [ ] more examples
- [ ] support for external functions
- [X] make semantics or not= and range clearer / clojure-y
- [ ] use B machines as contexts
- [ ] something like (+ 1) should result in 1 when translated
## License
Copyright © 2015 FIXME
Distributed under the Eclipse Public License either version 1.0 or (at
your option) any later version.