View source
hans-java
  • Contributors
    1. Loading...
Author Commit Message Date Builds
Hans
Adds explicit divergence and contribution documentation
Hans
Port recent changes to Haskell
Hans
Adds shortest path extraction
Hans
Adds small optimization.
Hans
Fixes bug in finding winning cycle: suppose that the function to determine a winning cycle is found always returns that a winning cycle is found but every vertex is connected to a dead end, then the algorithm is still correct since the dead end is prioritized over winning cycles for odd vertices and we already saw that for even vertices there is no occurrence of losing cycles and hence the return value seems correct.
Hans
Example finally passes. Current TODOs: extraction correctness proof, shortest path, code clean up, extension documentation
Hans
Simplified strategy implementation. Does not work correctly in bbsim_02.txt
Hans
This solution is too complex (and does not work); it tries to solve two problems at the same time (shortest path & cycle detection). Code will soon be replaced by factoring out solutions and composing them instead.
Hans
Algorithm works in base cases, but regresses for cycles
Hans
Initial implementation for new strategy extraction (not tested)
Hans
WIP
Hans
WIP
Hans
Adds test of intended duality property of Buchi game
Hans
Adds documentation to solveBuchiGame
Hans
Adds Buchi objective parameter to solver
Hans
Reverts change. Bad assumption: W_Odd is not complement of W_Even!
Hans
Synchronizes Haskell implementation to Frege.
Hans
Fixes pertinent issue (see e-mail)
Hans
Partial fix of problem
Hans
Again buggy commit to discover bug (forgot to synchronize part of Haskell to Frege)
Hans
Inversion of buchi game solver (buggy!)
Hans
Fixes table scroll bar updating
Hans
Typo in Log value
Hans
Adds examples and further refactors source code to enable tracing attractorSets. Ports changes from Frege to Haskell. Verified tests: still failing.
Hans
Updates deployment documentation
Hans
Adds Buchi game stepper
Hans
Ports changes to Frege
Hans
Adds logging messages during solveBuchiGame (verified that it does not regress tests)
Hans
Removes BulychevGame, ParityGame and SimulationGame. Decreases number of source files, merging GameGraph, GameUtil and Player.
Hans
Reverts Buchi game solver, fixed mismatch between Frege and Haskell code (!)
Hans
Works around compiler bug, Buchi solver is not correctly adapted from original source
Hans
Frege fails to compile higher-order type. Tests are inadequate. (WIP, does not compile)
Hans
Updates Buchi solver to maintain trace of immediate results
Hans
Adds Buchi game solution dialog
Hans
Cleans up source. Verified that old Set implementation did not alter test results.
Hans
WIP
Hans
Updates README to include additional classpath and deployment instructions
Hans
Fixes spelling error in message log, adds special highight for current chall**e**nge.
Jeroen Keiren
Fix the game edges for the branching bisimulation game graph. There were two issues here: * Mimicking a tau-transition by doing nothing was always rewarded, which is only correct in the branching bisimulation case, and not the divergence-preserving branching bisimulation case. * Mimicking an a-step with a tau-transition was rewarded with a tick in the branching-bisimulation case, which is also incorrect. I have manually traced the game graph now, and determ…
Jeroen Keiren
For the failing test case, also check divergence preserving branching bisimulation.
Jeroen Keiren
Add failing test for branching bisimulation, see e-mails
Jeroen Keiren
Fix typos
Hans
Backports changes from Frege to Haskell, fixes bisimulation.
Hans
Adds game outcome. Adds explicit outcome message. (See e-mail Tim)
Hans
Uncomments execution of old strategy if new strategy does not exists, fixes minor UI bug, relayouts data files.
Hans
Ports refined strategy extraction algorithm to Frege
Hans
Fixes minor UI bugs
Hans
Updates refined extraction algorithm
Hans
Adds initial implementation for marked edge set
Hans
Updates README and refactors Buchi game solver in anticipation of extraction algorithm
Hans
Ports Haskell changes and modifies visualizer to show example as in slides, implements bisimulation games
Hans
Fixes branching bisimulation and adds tests
Hans
Initial implementation of Java visualization and Frege port
Hans
Merge branch 'hans-list' into hans
Hans
Fixes wrong set of winning vertices
Hans
Fixes implementation of ASet
Hans
Updates test w.r.t. label Int
Hans
Updates test w.r.t. label Int
Hans
Changes implementation of ASet to lists
Hans
Adds test cases, LTS labels by index
Hans
Initial interactive version for BisimulationGame
Hans
Adds bisimulation test
Hans
Syntax clean-up and uses abstract data type: ASet instead of Data.Set
Hans
Extracted Data.Set from GameGraph, to ease implementation based on lists.
Hans
Reproduced README instructions
Hans
HLinted, created cabal package with test suite, readme and licence