ontohub/hets-agent
The HetsAgent wraps Hets around a message broker (currently RabbitMQ) to perform analysis and proving jobs
RubyAGPL-3.0
Issues
- 0
- 0
- 0
- 0
- 0
- 0
- 0
- 0
- 0
- 0
- 0
- 0
- 0
- 0
Update ruby to version 2.5.3
#109 opened by DerProfessor - 0
- 1
- 0
Read a configuration file with Hets's location
#5 opened by eugenk - 0
Send dg commands to hets
#12 opened by eugenk - 1
Serve cached responses via HTTP
#13 opened by eugenk - 1
Write some tests
#7 opened by eugenk - 1
Remove pry-coolline
#21 opened by eugenk - 0
Upgrade to rbx 3.70
#18 opened by eugenk - 0
Add coveralls
#10 opened by eugenk - 0
Read the Hets version
#6 opened by eugenk - 8
Distribute work to versioned workers
#2 opened by phyrog