Mu-Calculus : result - #2

Open

picdc wants to merge 27 commits into

fredokun:mu-calculusfrom

Commits on Oct 2, 2013

Removed deprecation warning (OCaml 4.01)
Pierrick Couderc
committed
a02ded5

Commits on Oct 3, 2013

Merge remote-tracking branch 'upstream/mu-calculus'
Pierrick Couderc
committed
46d0e09

Commits on Oct 9, 2013

Solved the automatic Failure at start
Pierrick Couderc
committed
18ba71d

Commits on Oct 12, 2013

Added draft version of handle_prop
Pierrick Couderc
committed
404b7a5
Added variable substitution for props
Pierrick Couderc
committed
a169aa1
Added props with no arguments
Pierrick Couderc
committed
e81292b
First draft for handle_check_local
Pierrick Couderc
committed
3061bf9
Vars from formulas aren't bound by props' argument
Pierrick Couderc
committed
42ecfe1
Revert previous commit
Pierrick Couderc
committed
a95916d

Commits on Oct 14, 2013

Added box and diamond checking (first draft)
Pierrick Couderc
committed
6cb38a3

Commits on Oct 17, 2013

Refactoring of the modality type
Pierrick Couderc
committed
2ec9970
Added Nu and Mu checking
Pierrick Couderc
committed
9da427a

Commits on Oct 18, 2013

Added Bdd.ml
Pierrick Couderc
committed
4a8bdb6

Commits on Oct 19, 2013

Improved Bdd implementation
Pierrick Couderc
committed
cbc80cb
Improved bdd with restrict and exists
Pierrick Couderc
committed
4255a78

Commits on Oct 21, 2013

Fixed Bdd
Pierrick Couderc
committed
acd31bd

Commits on Oct 29, 2013

Small optim in Bdd.ml (thanks Remy)
Pierrick Couderc
committed
9d7fae0

Commits on Nov 7, 2013

Beginning of preformula
Pierrick Couderc
committed
e4187c9
Finished preformula
Pierrick Couderc
committed
a4f258f
Added weak transitions in local checker
Pierrick Couderc
committed
61b0d4c

Commits on Nov 13, 2013

Reworked local checker and beginning refactoring
Pierrick Couderc
committed
e072da6

Commits on Nov 17, 2013

Some tests for global, nothing conclusive
Pierrick Couderc
committed
29846ff

Commits on Nov 22, 2013

Replaced list of names by list of formulas in prop
Pierrick Couderc
committed
4df6fc7
Global checking : First step ?
Pierrick Couderc
committed
257bff8

Commits on Nov 24, 2013

Added comments, examples and corrected the local Mu computation
Pierrick Couderc
committed
a4e7dd8
Added some examples
Pierrick Couderc
committed
c2b6e70

Commits on Nov 25, 2013

Added missing files
Pierrick Couderc
committed
c561686