~tapaal-reduction/tapaal/tapaal-reduction-3.1 : changes

~tapaal-reduction/tapaal/tapaal-reduction-3.1 » Changes from revision 915

From Revision 915 to 896

Rev	Summary	Authors	Date
915	merged with trunk merged with trunk	Jiri Srba	9 years ago
914	added a new test net added a new test net	Jiri Srba	9 years ago
913	added test nets by Jacob added test nets by Jacob	Jiri Srba	9 years ago
912	Fixed a bug with the rule, and a bug for the passed net. (Re... Fixed a bug with the rule, and a bug for the passed net. (Reduction only bug)	Nichlas Korgaard Møl...	9 years ago
911	added a new experiment added a new experiment	Jiri Srba	9 years ago
910	RuleB should be made now and needs testing. RuleB should be made now and needs testing. Perhaps something needs to be refactored a little, but some function look alot alike, but they use different type of arcs.	Nichlas Korgaard Møl...	9 years ago
909	Fixed some errors, and RuleB is not functional only with Nor... Fixed some errors, and RuleB is not functional only with Normal Arcs. It only need the lasts fixes to work with TransportArc and NormalArcs for RuleB. Added several experiments.	Nichlas Korgaard Møl...	9 years ago
908	Merge to main branch. Merge to main branch.	Nichlas Korgaard Møl...	9 years ago
907	I have made some of RuleB but it is unfinished. I have made some of RuleB but it is unfinished. AllReductions has been changed so RuleB is applied, but it does not do anything at the moment.	Nichlas Korgaard Møl...	9 years ago
906	Made so Experiments are either in TRUE or FALSE in query tex... Made so Experiments are either in TRUE or FALSE in query text. Made several cleanups in rule A, and fixed alot of boolean format in the IF conditions.	Nichlas Korgaard Møl...	9 years ago
905	merged with main branch. merged with main branch.	Nichlas Korgaard Møl...	9 years ago
904	Added another net, and changed a little thing in the code. Added another net, and changed a little thing in the code.	Nichlas Korgaard Møl...	9 years ago
903	A little more cleanup of the current code. A little more cleanup of the current code.	Nichlas Korgaard Møl...	9 years ago
902	Have fixed Preprocessing, and edited a little in WellBehaved... Have fixed Preprocessing, and edited a little in WellBehaved.	Nichlas Korgaard Møl...	9 years ago
901	A little more cleanup of the code. A little more cleanup of the code.	Nichlas Korgaard Møl...	9 years ago
900	Refactored the code and have added more comments. Refactored the code and have added more comments. Fixed several bugs. Renamed the experiments to the specific rule.	Nichlas Korgaard Møl...	9 years ago
899	WellBehaved has been modified and corrected, refactored and ... WellBehaved has been modified and corrected, refactored and cleaned up.	Nichlas Korgaard Møl...	9 years ago
898	Cleanup of Preprocessing and commenting. Cleanup of Preprocessing and commenting.	Nichlas Korgaard Møl...	9 years ago
897	Have fixed so that the reductions can applied directly throu... Have fixed so that the reductions can applied directly through the QueryDialog and QueryPane.	Nichlas Korgaard Møl...	9 years ago
896	Small bugfix Small bugfix	Nichlas Korgaard Møl...	9 years ago

Older »