#
e86e2be6 |
|
08-May-2018 |
Simon Jantsch <simon.jantsch@gmail.com> |
rearranged fields of alternating automaton type
|
#
8d28b9b8 |
|
25-Jan-2018 |
Simon Jantsch <simon.jantsch@gmail.com> |
changed wording waa -> vwaa
|
#
9b2e7e11 |
|
24-Jan-2018 |
Simon Jantsch <simon.jantsch@gmail.com> |
added some example formulae
|
#
22e376d9 |
|
28-Oct-2017 |
Simon Jantsch <simon.jantsch@gmail.com> |
working on concrete version of ltl to waa
|
#
cdb07a19 |
|
20-Sep-2017 |
Simon Jantsch <simon.jantsch@gmail.com> |
working on correctness for concrete ltl -> waa
|
#
05845c88 |
|
30-Aug-2017 |
Simon Jantsch <simon.jantsch@gmail.com> |
added defs and lemmas about reachable states
|
#
1ea025a4 |
|
29-Aug-2017 |
Simon Jantsch <simon.jantsch@gmail.com> |
fixes regarding renaming
|
#
5c27e4c0 |
|
28-Aug-2017 |
Simon Jantsch <simon.jantsch@gmail.com> |
Added a Lemma and export_theory statement
|
#
30400f5c |
|
28-Aug-2017 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Fix some logic/ltl proofs broken under experimental kernel Enough to use rename and rename1 to force names to appear in goal.
|
#
4c732463 |
|
27-Aug-2017 |
Simon Jantsch <simon.jantsch@gmail.com> |
renamed example directory and added it to tools/sequences/final-examples
|