Jeroen Meijer

  • Email:
  • Registered on: 23 Jun 2014
  • Last connection: 29 Aug 2017

Activity

Reported issues: 0

03 Feb 2015

12:13 LTSmin We have moved to github
https://github.com/utwente-fmt/ltsmin
12:13 SpinS We have moved to github!
https://github.com/utwente-fmt/spins

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