#
# ChangeLog for src/tests/concurrent/examples/boundedBufferEXT.c
#
# Generated by Trac 1.2.1
# Apr 19, 2024, 3:27:00 AM

Wed, 02 May 2018 20:18:37 GMT Peter A. Buhr <pabuhr@…> [623c16a]
	* src/tests/concurrent/examples/boundedBufferEXT.c (modified)
	* src/tests/concurrent/examples/boundedBufferINT.c (modified)

	use forall distribution for buffer


Fri, 27 Apr 2018 18:35:00 GMT Thierry Delisle <tdelisle@…> [b9f383f]
	* src/ResolvExpr/Resolver.cc (modified)
	* src/SynTree/Statement.cc (modified)
	* src/tests/concurrent/examples/.expect/boundedBufferEXT.txt (modified)
	* src/tests/concurrent/examples/boundedBufferEXT.c (modified)
	* src/tests/concurrent/thread.c (modified)

	named threads in thread tests
	fixed bounded buffer expect
	added ...


Sat, 21 Apr 2018 02:59:51 GMT Peter A. Buhr <pabuhr@…> [58caf150]
	* src/tests/concurrent/examples/boundedBufferEXT.c (modified)
	* src/tests/concurrent/examples/boundedBufferINT.c (modified)

	updates


Fri, 20 Apr 2018 02:30:19 GMT Peter A. Buhr <pabuhr@…> [88f15ae]
	* src/tests/concurrent/examples/.expect/boundedBuffer.txt (deleted)
	* src/tests/concurrent/examples/.expect/boundedBufferEXT.txt (added)
	* src/tests/concurrent/examples/.expect/boundedBufferINT.txt (added)
	* src/tests/concurrent/examples/boundedBufferEXT.c (added)
	* src/tests/concurrent/examples/boundedBufferINT.c (moved)

	add generic bounded-buffer, both internal and external scheduling