Timeline
08/28/2020:
- 11:58 Ticket #114 (divine check fails with "cannot enter kernel mode here") created by
- When I'm trying to check my models with DIVINE 4.4.2 (after building …
- 10:53 Ticket #113 (make install fails for DIVINE 4.4.2 on Debian 10) created by
- The output can be found in the attachment.
Note: See TracTimeline
for information about the timeline view.