Skip to main content

Source CodeRevision History

svn

showing 1 - 10 of 345
« Previous 1 3 4 5 35
Revision: 345
Modified: 22 Mar 12:06 (1 year)
Author: axelb
Log Entry: bugfix: don't crash when assigning int value to double instance
Revision: 344
Modified: 20 Sep 19:31 (2 years)
Author: axelb
Log Entry: fixed bug introduced in previous commits for updateInstantiatedRestriction
Revision: 343
Modified: 18 Sep 13:16 (2 years)
Author: axelb
Log Entry: minor fixes in javadoc
Revision: 342
Modified: 18 Sep 12:47 (2 years)
Author: axelb
Log Entry: we now incorporate the svn revision numbers in STSimulator and SymToSim
Revision: 341
Modified: 12 Sep 10:20 (2 years)
Author: axelb
Log Entry: improved code to extract variable bindings from switch restriction + valuation
Revision: 340
Modified: 12 Sep 09:32 (2 years)
Author: axelb
Log Entry: made tests work by changing port for treeSolver
Revision: 339
Modified: 11 Sep 14:01 (2 years)
Author: axelb
Log Entry: extended comment in MyNode.java to reflect change made in previous commit
Revision: 338
Modified: 11 Sep 13:22 (2 years)
Author: axelb
Log Entry: improved getInstantiatedString and updateInstantiatedRestriction code for EQ, AND, added OR
Revision: 337
Modified: 11 Sep 09:11 (2 years)
Author: axelb
Log Entry: bugfix related to extraction of name-value bindings from restrictions: could not handle tau (unobservable) actions
Revision: 336
Modified: 11 Jul 09:08 (2 years)
Author: axelb
Log Entry: fixed bug in + operation on doubles (in ASTAddNode)
showing 1 - 10 of 345
« Previous 1 3 4 5 35
 
 
Close
loading
Please Confirm
Close