434 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
jand	cff09b20e0	index	2003-08-29 06:31:24 +00:00
jand	d6f47ea13f	typo	2003-08-28 19:55:30 +00:00
jand	5f1183efc7	index	2003-08-28 19:53:46 +00:00
jand	f66958cbdf	estetics	2003-08-28 19:43:06 +00:00
jand	31c8cbc580	trace print bugs	2003-08-28 19:04:39 +00:00
jand	98f4a42759	typo	2003-08-28 15:43:17 +00:00
jand	f107a37658	added fsm	2003-08-28 10:40:24 +00:00
jand	10a23a4635	more sensible skipping of slow function in traceSignals	2003-08-28 09:45:34 +00:00
jand	06151999c3	Somewhat simpler generator check :-)	2003-08-28 08:09:28 +00:00
jand	87cb21523d	refined test to find previously undetected bug	2003-08-27 20:01:21 +00:00
jand	4c0eeec8ac	lazy copy in setNextIntbv, because this modifies _next ... Mm, unit test did not detect this bug	2003-08-27 16:19:09 +00:00
jand	338b035225	terminology	2003-08-27 15:52:52 +00:00
jand	36ccc5ba7a	wording	2003-08-27 15:41:10 +00:00
jand	2416f296b6	blanks	2003-08-27 14:34:44 +00:00
jand	55237e27c1	index	2003-08-27 14:17:06 +00:00
jand	4611f32c03	added	2003-08-27 10:37:26 +00:00
jand	bfef7af4c7	remove check methods	2003-08-27 09:46:07 +00:00
jand	687cbf7fa8	bool check ... delegated bound check to underlying intbv set next methods instead of check methods	2003-08-27 09:45:03 +00:00
jand	13f98523b7	back to _val	2003-08-27 08:25:16 +00:00
jand	13941d3aff	date	2003-08-23 18:07:37 +00:00
jand	0616e5122e	index	2003-08-23 18:07:33 +00:00
jand	6b8da240af	removed	2003-08-22 15:47:37 +00:00
jand	10e083e8ec	processes	2003-08-22 14:54:51 +00:00
jand	48d545e20c	refined	2003-08-22 13:59:47 +00:00
jand	58d0fe9106	review	2003-08-22 08:06:45 +00:00
jand	9fdb249185	date adapted	2003-08-22 07:50:44 +00:00
jand	36a0d0e582	release info	2003-08-22 07:49:18 +00:00
jand	724eda5c12	stract	2003-08-22 07:43:40 +00:00
jand	09d8a9a1db	abstract	2003-08-22 07:43:38 +00:00
jand	7857944580	support for empty sensitivity lists	2003-08-21 16:17:37 +00:00
jand	e1180b4254	long headers	2003-08-19 17:11:27 +00:00
jand	689480e390	long	2003-08-19 12:05:41 +00:00
jand	d9eac86566	turn profiling (for tracing) off for compile functions	2003-08-18 13:12:02 +00:00
jand	6a383a8702	better instance creation line infer	2003-08-18 12:26:42 +00:00
jand	5ad315b6d2	goodies	2003-08-15 14:57:03 +00:00
jand	0cd1bb9d0f	intbv return on shifts	2003-08-14 19:18:28 +00:00
jand	6fee7200cc	in run_all	2003-08-08 22:18:33 +00:00
jand	d5ee3fa46a	remove experiments	2003-08-08 21:51:50 +00:00
jand	67ac1801a5	typo	2003-08-08 21:40:41 +00:00
jand	7fdd8f7749	small improvements	2003-08-08 21:32:30 +00:00
jand	2b682b8b9c	spell	2003-08-08 17:23:55 +00:00
jand	87e7661895	arg type exception	2003-08-08 17:07:26 +00:00
jand	6e2fe91395	object	2003-08-08 16:39:46 +00:00
jand	35528e2bbc	abstract	2003-08-08 13:41:03 +00:00
jand	776cf9d857	structure	2003-08-08 09:12:55 +00:00
jand	e31afec8e4	removed uncommented code	2003-08-07 20:16:51 +00:00
jand	f1c371576f	restored 1.8	2003-08-07 20:16:13 +00:00
jand	de2ab41f7d	exp	2003-08-07 20:11:42 +00:00
jand	a00e5468fe	experimental proxy code	2003-08-06 10:23:11 +00:00
jand	adcd7647ec	shift instead of pow	2003-08-05 21:33:59 +00:00