Commits · 01d006fa56e36fe28d50bb2f493ac71df47bab0c · Why3 / why3

18 Apr, 2016 5 commits
- [trywhy3] : fix an uncaught exception when getting the parent of a task. · 528fffce
  Kim Nguyễn authored Apr 13, 2016
  
  528fffce
- [trywhy3] : refactor the why3 worker. · ee448fe5
  Kim Nguyễn authored Apr 13, 2016
  
  ee448fe5
- [trywhy3] : Implement splitting of tasks, cleaning of splited tasks and prove individual tasks. · 53b2d976
  Kim Nguyễn authored Apr 13, 2016
  
  53b2d976
- [trywhy3] · 9a4b07f6
  Kim Nguyễn authored Apr 12, 2016
```
 * Preliminary work to implement 'Split & Prove' command.
 * Move some hard-coded style information to the .css file.
```
  9a4b07f6
- Make the number of steps and threads of alt-ergo configurable in trywhy3. · 9085bdcf
  Kim Nguyễn authored Apr 12, 2016
  
  9085bdcf
11 Apr, 2016 1 commit
- trywhy3: preliminary version with web workers · 39a17763
  Jean-Christophe Filliâtre authored Apr 11, 2016
```
contributed by Kim Nguyen <kn@lri.fr>
```
  39a17763