| #
43a860a5 |
|
29-May-2019 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Fix examples/logic/ltl for tight equality
|
| #
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
|