- Registered on: 23 Jun 2014
- Last connection: 16 Jan 2018
Reported issues: 0
03 Feb 2015
- 12:13 LTSmin We have moved to github
- 12:13 SpinS We have moved to github!
02 Feb 2015
- 14:38 LTSmin Maintenance #701 (Closed): make check generates warnings
- This is fixed now in buddyhttps://github.com/utwente-fmt/buddy/commit/a443e1a236163463a703cc81f2e614c5a68ff765
27 Jan 2015
- 11:14 LTSmin Bug #700 (Closed): Make dist fails on mac
- I removed the bddcalc example, so that this issue becomes obsolete: a443e1a236163463a703cc81f2e614c5a68ff765.
- 11:08 LTSmin Bug #713 (Closed): Update documentation, remove tracing for *2lts-dist
- Traces are implemented in d99122b87d23eb6e81e9f35259f03859170e88d4. So this issue is obsolete now.
- 10:42 LTSmin Bug #733 (Resolved): LTSmin state_labels_default_short expands to number of rows
- Fixed with 126ed071.
- 10:41 LTSmin Bug #734 (Resolved): LTSmin's make script should compile spins
- Is fixed with 09ffb6df.
- 10:37 LTSmin Maintenance #740 (Resolved): LibDDD: Install of Google sparse hash headers
- Tested and website updated.
- 10:37 LTSmin Bug #742 (Resolved): wrapper function for the actions call wrong method
- Is fixed with commit: 8bcd66572ee1fe465970b3e316fbab8b3cae275b.
- 10:26 LTSmin Bug #747 (Resolved): -lpthread
- This should be fixed with commit: 5aa56514f7a9649a38d1d9d80912ac66c7cc7ff2.
Also available in: Atom