Alan Mishchenko 22d21a5c44 Added recording history of used commands into file 'abc.history' (Windows only).

2012-08-24 15:44:33 -07:00

..

abc

Updated code for lazy man's synthesis.

2012-07-15 15:54:36 -07:00

abci

Changed command 'sim' to work with a miter by default (replace 'sim -m' by 'sim' in verification applications).

2012-08-24 11:14:40 -07:00

cmd

Added recording history of used commands into file 'abc.history' (Windows only).

2012-08-24 15:44:33 -07:00

io

Updating project settings to have simpler include paths.

2012-07-07 20:14:12 -07:00

main

Added recording history of used commands into file 'abc.history' (Windows only).

2012-08-24 15:44:33 -07:00

test

Updating project settings to have simpler include paths.

2012-07-07 20:14:12 -07:00

ver

Updating project settings to have simpler include paths.

2012-07-07 20:14:12 -07:00