File: ChangeLog

package info (click to toggle)
lbt 1.2.2-5
  • links: PTS
  • area: main
  • in suites: jessie, jessie-kfreebsd, wheezy
  • size: 160 kB
  • ctags: 186
  • sloc: cpp: 910; ansic: 102; makefile: 96
file content (44 lines) | stat: -rw-r--r-- 1,505 bytes parent folder | download | duplicates (6)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
2004-12-29  Marko Mkel  <Marko.Makela@HUT.FI>
	* NEWS: Release 1.2.2, 29th December 2004

2004-12-27  Marko Mkel  <Marko.Makela@HUT.FI>

	* ChangeLog, NEWS: Moved up one level from doc/ChangeLog
	* Makefile: Merge with lbt 1.1.1
	* NEWS, doc/index.html: Update for lbt 1.2.2

2004-09-03  Heikki Tauriainen  <heikki.tauriainen@hut.fi>

	* LtlGraph.h (LtlGraph::expand, LtlGraph::add): Remove.
	* LtlGraph.C: Include the <stack> header.
	(LtlGraph::LtlGraph): Use an explicit stack of pointers to
	unexpanded nodes (instead of recursion) to drive node expansion.
	Use STL	operations for merging sets.
	(LtlGraph::expand): Remove.

	* Ltl.C (LtlAtom::expand, LtlConstant::expand, LtlJunct::expand)
	(LtlIff::expand, LtlUntil::expand, LtlFuture::expand): Adjust to
	make use of a stack of unexpanded nodes. Remove redundant state
	number arguments.
	* Ltl.h: Include the <stack> header.
	(Ltl::expand, LtlAtom::expand, LtlConstant::expand)
	(LtlJunct::expand, LtlIff::expand, LtlUntil::expand)
	(LtlFuture::expand): Adjust prototypes.

2002-04-19  Marko Mkel  <Marko.Makela@HUT.FI>

	lbt 1.2.1 was released.

	* NEWS: Described these changes.
	* notgp0.png, notgp0-opt.png: Rendered with anti-aliased fonts.
	* index.html: Corrected a few minor errors in the grammar,
	and updated the address of Mauno Rnkk.

2001-10-03  Marko Mkel  <Marko.Makela@HUT.FI>

	lbt 1.2 was released.

	* NEWS: Initial revision
	* BitVector.h, BitVector.C: Initial revision
	* Makefile: Added a few variable definitions