Skip to content
  • Michael Weber's avatar
    LTSmin backend for DiVinE · 50a27d8f
    Michael Weber authored
    Squashed commit of the following:
    
    commit 8f10dd78578f6477eb1d682ba113ce947faa9011
    Author: Elwin Pater <elwin.pater@gmail.com>
    Date:   Fri Aug 13 20:07:24 2010 +0200
    
        Made transition_info thread-safe
    
    commit 19f112a444aae008d7b80c14f48c848f97157e8d
    Author: Elwin Pater <elwin.pater@gmail.com>
    Date:   Wed Aug 4 17:07:27 2010 +0200
    
        Made get_successor(s) compatible to all/long calls
    
    commit 7f122667bcccf12327245dea318f8494a7d4d85a
    Author: Elwin Pater <elwin.pater@gmail.com>
    Date:   Mon Aug 2 14:50:04 2010 +0200
    
        Added transition_info to callback
    
            * Modified callback arguments to match ltsmin
            * Added transition info to return a group
    
    commit a80efe88b7d18d6b5d4190c1c6abf00eb7f06be6
    Author: Elwin Pater <elwin.pater@gmail.com>
    Date:   Mon Aug 2 14:28:08 2010 +0200
    
        Fixed problems with channels
    
            * Fixed bug in generating transition effect
            * Fixed bug in generating channel names
            * Slightly better error messages
            * Fixed printf %d warnings
    
    commit 4c5f0c67f09e77fd0aa130fe31076b67ad410b3b
    Author: Elwin Pater <elwin.pater@gmail.com>
    Date:   Sat Jul 10 16:30:22 2010 +0200
    
        Fixed read/write matrix bug on sync trans
    
    commit dcf54fb4d9084228e874bd5f4b663933c74baacd
    Author: Elwin Pater <e.pater@student.utwente.nl>
    Date:   Sun Mar 28 17:26:43 2010 +0200
    
        Fix wrapping bug
    
    commit f21826aaffc8a9ed6709b9c2436ef5b95aabec45
    Author: Elwin Pater <e.pater@student.utwente.nl>
    Date:   Sun Mar 7 00:28:18 2010 +0100
    
        Removed generated unused code
    
    commit 4167966aa22656e0eca8b123be8bae1c1fea76b6
    Author: Elwin Pater <e.pater@student.utwente.nl>
    Date:   Sat Mar 6 23:30:02 2010 +0100
    
        Committed states working
    
            todo: remove some junk code
    
    commit dcae512697534208ce2199e435fbbbcb61e74964
    Author: Elwin Pater <e.pater@student.utwente.nl>
    Date:   Sat Mar 6 17:03:42 2010 +0100
    
        Fixed bug in analyse_transition
    
            Use ext_trans->second instead of ext_trans->first
            for synchonized transitions
    
    commit 07ca3167143dd96de54634daee7e67396d76c626
    Author: Elwin Pater <e.pater@student.utwente.nl>
    Date:   Sat Mar 6 16:06:48 2010 +0100
    
        Added ltsmin implementation of get_successor
    
            TODO: bug: all non-committed transitions can still be active after
                  a committed transition.
    
    commit f45d2c62df7dfd2e7dbf5c822e50b51f7f82a380
    Author: Elwin Pater <e.pater@student.utwente.nl>
    Date:   Thu Mar 4 22:36:50 2010 +0100
    
        Output 32 bit struct
    
            * Note: this introduces a bug, for example a byte
              should wrap and now it doens't
    
    commit bbba53faa4bedfc60d255499ef16742e4d60cfcd
    Author: Elwin Pater <e.pater@student.utwente.nl>
    Date:   Thu Mar 4 22:03:01 2010 +0100
    
        Changed output extension to dve2C
    
    commit 8555a359df7295ac071f0209d10c4995b4fce4ac
    Author: Elwin Pater <e.pater@student.utwente.nl>
    Date:   Thu Mar 4 21:53:07 2010 +0100
    
        Unified library function names
    
            * added get_ to some function names
    
    commit e2b04f72ff80d144aa7cab22f50ea6aaec05779c
    Author: Elwin Pater <e.pater@student.utwente.nl>
    Date:   Thu Mar 4 21:34:13 2010 +0100
    
        Added state_variable_type function
    
    commit 3b7430158de6c25a9da7d1fa9f7452d3fe5b2daa
    Author: Elwin Pater <e.pater@student.utwente.nl>
    Date:   Wed Mar 3 18:22:14 2010 +0100
    
        Added export of type names and values
    
    commit b1c28927a735ce2be1cced016a9744575d6c290b
    Author: Elwin Pater <e.pater@student.utwente.nl>
    Date:   Wed Mar 3 16:01:18 2010 +0100
    
        Added export of state variable names
    
    commit 933cc56a70767016b8c1fa6a32e5a16e57a40ada
    Author: Elwin Pater <e.pater@student.utwente.nl>
    Date:   Wed Mar 3 15:11:54 2010 +0100
    
        Added has_property function
    
    commit a63c85da8361ada0cd4729ceab41f976bd481fa8
    Author: Elwin Pater <e.pater@student.utwente.nl>
    Date:   Tue Mar 2 18:19:48 2010 +0100
    
        Added transition read/write dependency output
    
    commit ea54a419848ad95200a23ee5075b38df33a7ad4b
    Author: Elwin Pater <e.pater@student.utwente.nl>
    Date:   Tue Mar 2 11:59:21 2010 +0100
    
        Added modifications for channels (read/write)
    
            * Untested
    
    commit 61cc77ae85969e9385b6190ddaaaf0c4fa0bd4d7
    Author: Elwin Pater <e.pater@student.utwente.nl>
    Date:   Tue Mar 2 11:30:44 2010 +0100
    
        Analyse expressions, mark in state vector
    
            * Fixed channel initialization
            * Added transition effect read/write mark
            * Added transition guard read/write mark
            * Todo: mark channels read/write
    
    commit 84b9e6365552906c4f94f1b1d01cc8d1da39359e
    Author: Elwin Pater <e.pater@student.utwente.nl>
    Date:   Mon Mar 1 16:21:02 2010 +0100
    
        Added dependency output comments
    
    commit 30f567c0c2a661fe52c23f974455ab7748d1fceb
    Author: Elwin Pater <e.pater@student.utwente.nl>
    Date:   Mon Mar 1 15:53:45 2010 +0100
    
        Added state variables count
    
    commit bc3d99a2c953a394f4069dd726e5a5ec73ecef7c
    Author: Elwin Pater <e.pater@student.utwente.nl>
    Date:   Mon Mar 1 15:43:45 2010 +0100
    
        Added mark_dependency function
    
    commit dfe2e310e16eadefdb778b74851d12521c4cdadc
    Author: Elwin Pater <e.pater@student.utwente.nl>
    Date:   Mon Mar 1 15:00:32 2010 +0100
    
        Working get_initial_state for ltsmin
    
    commit 9ed5bc94d393831afbdb5e2432359b034c21d636
    Author: Elwin Pater <e.pater@student.utwente.nl>
    Date:   Sat Feb 27 22:09:49 2010 +0100
    
        Added get_successors with callback function
    
    commit 0692ff5d096a409e15aa93786585cefe7a8928e6
    Author: Elwin Pater <e.pater@student.utwente.nl>
    Date:   Fri Feb 26 21:30:25 2010 +0100
    
        Added --ltsmin option instead of --analysis
    
    commit 2ff390a52a4da0b3a651d9a04eca4cb8d4b4cd3b
    Author: Elwin Pater <e.pater@student.utwente.nl>
    Date:   Fri Feb 26 18:03:54 2010 +0100
    
        Added --analysis option
    50a27d8f