LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Narratives
Ecosystems
Launchpads

Discover

Search
Sources

Java

ProBramSynthesis

Program Synthesis for B in ProB

JavaEmergingb-methodinductive-program-synthesisprogram-synthesisprogramming-by-example

Stars

2

Forks

—

Contributors

1

Last push

54mo ago

Recent commits

Latest commits.

adapt example
d8d6f50Joshua Schmidt54mo ago
show ProB logs
bf9158cJoshua Schmidt54mo ago
change variable name since floor is now used for reals
1f18ee0Joshua Schmidt54mo ago
add gradle wrapper
bbeb438Joshua Schmidt54mo ago
change variable name since floor is now used for reals
25c5d91Joshua Schmidt54mo ago

add example to demonstrate how to use the program synthesis backend of ProB

79e6254Joshua Schmidt80mo ago

add exemplary B machine

8737c97Joshua Schmidt80mo ago

add logger config

89e29eaJoshua Schmidt80mo ago

Top contributors

Builders behind this project.