# # ChangeLog for vis_dev/vis-2.1/NEWS # # Generated by Trac 1.2.3 # Sep 9, 2024, 4:20:53 AM Fri, 08 Jul 2011 15:36:21 GMT cecile [11] * vis_dev/vis-2.1 (added) * vis_dev/vis-2.1/INSTALL (added) * vis_dev/vis-2.1/Makefile.in (added) * vis_dev/vis-2.1/NEWS (added) * vis_dev/vis-2.1/README (added) * vis_dev/vis-2.1/autom4te.cache (added) * vis_dev/vis-2.1/autom4te.cache/output.0 (added) * vis_dev/vis-2.1/autom4te.cache/requests (added) * vis_dev/vis-2.1/autom4te.cache/traces.0 (added) * vis_dev/vis-2.1/bin (added) * vis_dev/vis-2.1/bin/vis (added) * vis_dev/vis-2.1/configure (added) * vis_dev/vis-2.1/configure.in (added) * vis_dev/vis-2.1/doc (added) * vis_dev/vis-2.1/doc/blifmv.ps (added) * vis_dev/vis-2.1/doc/ctl.ps (added) * vis_dev/vis-2.1/doc/two_phase.ps (added) * vis_dev/vis-2.1/doc/vis_user.ps (added) * vis_dev/vis-2.1/examples (added) * vis_dev/vis-2.1/examples/arbiter (added) * vis_dev/vis-2.1/examples/arbiter/README (added) * vis_dev/vis-2.1/examples/arbiter/arbiter.ctl (added) * vis_dev/vis-2.1/examples/arbiter/arbiter.fair (added) * vis_dev/vis-2.1/examples/arbiter/arbiter.ltl (added) * vis_dev/vis-2.1/examples/arbiter/arbiter.mv (added) * vis_dev/vis-2.1/examples/arbiter/arbiter.v (added) * vis_dev/vis-2.1/examples/arbiter/arbiter_bug.mv (added) * vis_dev/vis-2.1/examples/arbiter/arbiter_bug.v (added) * vis_dev/vis-2.1/examples/arbiter/arbiter_le.fair (added) * vis_dev/vis-2.1/examples/arbiter/arbiter_le.mv (added) * vis_dev/vis-2.1/examples/arbiter/arbiter_le.v (added) * vis_dev/vis-2.1/examples/arbiter/check_result (added) * vis_dev/vis-2.1/examples/arbiter/check_script (added) * vis_dev/vis-2.1/examples/arbiter/figures.ps (added) * vis_dev/vis-2.1/examples/bpb (added) * vis_dev/vis-2.1/examples/bpb/README (added) * vis_dev/vis-2.1/examples/bpb/bpb.mv (added) * vis_dev/vis-2.1/examples/bpb/bpb.v (added) * vis_dev/vis-2.1/examples/bpb/check_result (added) * vis_dev/vis-2.1/examples/bpb/check_script (added) * vis_dev/vis-2.1/examples/coherence (added) * vis_dev/vis-2.1/examples/coherence/LISTOFPROPERTIES (added) * vis_dev/vis-2.1/examples/coherence/README (added) * vis_dev/vis-2.1/examples/coherence/cache_ctrl.v (added) * vis_dev/vis-2.1/examples/coherence/check_result (added) * vis_dev/vis-2.1/examples/coherence/check_script (added) * vis_dev/vis-2.1/examples/coherence/coh-order (added) * vis_dev/vis-2.1/examples/coherence/coherence.mv (added) * vis_dev/vis-2.1/examples/coherence/coherence.v (added) * vis_dev/vis-2.1/examples/coherence/coherence1.ctl (added) * vis_dev/vis-2.1/examples/coherence/coherence2.ctl (added) * vis_dev/vis-2.1/examples/coherence/directory.v (added) * vis_dev/vis-2.1/examples/coherence/exclusive1.ctl (added) * vis_dev/vis-2.1/examples/coherence/exclusive2.ctl (added) * vis_dev/vis-2.1/examples/coherence/liveness1.ctl (added) * vis_dev/vis-2.1/examples/coherence/liveness2.ctl (added) * vis_dev/vis-2.1/examples/coherence/p2.ctl (added) * vis_dev/vis-2.1/examples/coherence/p3.ctl (added) * vis_dev/vis-2.1/examples/coherence/p4.ctl (added) * vis_dev/vis-2.1/examples/coherence/p5.ctl (added) * vis_dev/vis-2.1/examples/coherence/processor.v (added) * vis_dev/vis-2.1/examples/counter (added) * vis_dev/vis-2.1/examples/counter/affalse (added) * vis_dev/vis-2.1/examples/counter/check_result (added) * vis_dev/vis-2.1/examples/counter/check_script (added) * vis_dev/vis-2.1/examples/counter/counter.ctl (added) * vis_dev/vis-2.1/examples/counter/counter.mv (added) * vis_dev/vis-2.1/examples/counter/counter.v (added) * vis_dev/vis-2.1/examples/counter/test.prop (added) * vis_dev/vis-2.1/examples/counter/test_bmc (added) * vis_dev/vis-2.1/examples/crd (added) * vis_dev/vis-2.1/examples/crd/README (added) * vis_dev/vis-2.1/examples/crd/affalse (added) * vis_dev/vis-2.1/examples/crd/agtrue (added) * vis_dev/vis-2.1/examples/crd/check_result (added) * vis_dev/vis-2.1/examples/crd/check_script (added) * vis_dev/vis-2.1/examples/crd/crd.fair (added) * vis_dev/vis-2.1/examples/crd/crd.mv (added) * vis_dev/vis-2.1/examples/crd/crd.v (added) * vis_dev/vis-2.1/examples/crd/safety.ctl (added) * vis_dev/vis-2.1/examples/crd/safety.fair (added) * vis_dev/vis-2.1/examples/crd/starvation.ctl (added) * vis_dev/vis-2.1/examples/crd/starvation2.ctl (added) * vis_dev/vis-2.1/examples/ctlp3 (added) * vis_dev/vis-2.1/examples/ctlp3/README (added) * vis_dev/vis-2.1/examples/ctlp3/affalse (added) * vis_dev/vis-2.1/examples/ctlp3/agtrue (added) * vis_dev/vis-2.1/examples/ctlp3/check_result (added) * vis_dev/vis-2.1/examples/ctlp3/check_script (added) * vis_dev/vis-2.1/examples/ctlp3/ctlp3.ctl (added) * vis_dev/vis-2.1/examples/ctlp3/ctlp3.fair (added) * vis_dev/vis-2.1/examples/ctlp3/ctlp3.inv (added) * vis_dev/vis-2.1/examples/ctlp3/ctlp3.ltl (added) * vis_dev/vis-2.1/examples/ctlp3/ctlp3.mv (added) * vis_dev/vis-2.1/examples/ctlp3/ctlp3.partial (added) * vis_dev/vis-2.1/examples/ctlp3/ctlp3.v (added) * vis_dev/vis-2.1/examples/ctlp3/symmetry.final (added) * vis_dev/vis-2.1/examples/ctlp3/symmetry.graph (added) * vis_dev/vis-2.1/examples/ctlp3/symmetry.info (added) * vis_dev/vis-2.1/examples/ctlp3/symmetry.map (added) * vis_dev/vis-2.1/examples/ctlp3/symmetry.refined (added) * vis_dev/vis-2.1/examples/daio_receiver (added) * vis_dev/vis-2.1/examples/daio_receiver/check_result (added) * vis_dev/vis-2.1/examples/daio_receiver/check_script (added) * vis_dev/vis-2.1/examples/daio_receiver/daio_receiver.inv (added) * vis_dev/vis-2.1/examples/daio_receiver/daio_receiver.mv (added) * vis_dev/vis-2.1/examples/daio_receiver/daio_receiver.ord (added) * vis_dev/vis-2.1/examples/daio_receiver/var.system (added) * vis_dev/vis-2.1/examples/dcnew (added) * vis_dev/vis-2.1/examples/dcnew/affalse (added) * vis_dev/vis-2.1/examples/dcnew/agtrue (added) * vis_dev/vis-2.1/examples/dcnew/check_result (added) * vis_dev/vis-2.1/examples/dcnew/check_script (added) * vis_dev/vis-2.1/examples/dcnew/dcnew.ctl (added) * vis_dev/vis-2.1/examples/dcnew/dcnew.ltl (added) * vis_dev/vis-2.1/examples/dcnew/dcnew.mv (added) * vis_dev/vis-2.1/examples/dcnew/dcnew.v (added) * vis_dev/vis-2.1/examples/dcnew/osc2.ctl (added) * vis_dev/vis-2.1/examples/dcnew/osc3.ctl (added) * vis_dev/vis-2.1/examples/dcnew/osc4.ctl (added) * vis_dev/vis-2.1/examples/dcnew/osc5.ctl (added) * vis_dev/vis-2.1/examples/dcnew/osc6.ctl (added) * vis_dev/vis-2.1/examples/dcnew/prop.fair (added) * vis_dev/vis-2.1/examples/dcnew/safe.ctl (added) * vis_dev/vis-2.1/examples/dcnew/safe1.ctl (added) * vis_dev/vis-2.1/examples/eight_queens (added) * vis_dev/vis-2.1/examples/eight_queens/README (added) * vis_dev/vis-2.1/examples/eight_queens/check_result (added) * vis_dev/vis-2.1/examples/eight_queens/check_script (added) * vis_dev/vis-2.1/examples/eight_queens/eight_queens.mv (added) * vis_dev/vis-2.1/examples/eight_queens/eight_queens.v (added) * vis_dev/vis-2.1/examples/eisenberg (added) * vis_dev/vis-2.1/examples/eisenberg/affalse (added) * vis_dev/vis-2.1/examples/eisenberg/agtrue (added) * vis_dev/vis-2.1/examples/eisenberg/check_result (added) * vis_dev/vis-2.1/examples/eisenberg/check_script (added) * vis_dev/vis-2.1/examples/eisenberg/eisenberg.ctl (added) * vis_dev/vis-2.1/examples/eisenberg/eisenberg.fair (added) * vis_dev/vis-2.1/examples/eisenberg/eisenberg.mv (added) * vis_dev/vis-2.1/examples/eisenberg/eisenberg.v (added) * vis_dev/vis-2.1/examples/elevator (added) * vis_dev/vis-2.1/examples/elevator/README (added) * vis_dev/vis-2.1/examples/elevator/check_result (added) * vis_dev/vis-2.1/examples/elevator/check_script (added) * vis_dev/vis-2.1/examples/elevator/elevator.ctl (added) * vis_dev/vis-2.1/examples/elevator/elevator.enc (added) * vis_dev/vis-2.1/examples/elevator/elevator.fair (added) * vis_dev/vis-2.1/examples/elevator/elevator.inv (added) * vis_dev/vis-2.1/examples/elevator/elevator.mv (added) * vis_dev/vis-2.1/examples/elevator/elevator.v (added) * vis_dev/vis-2.1/examples/elevator/emodel-simp.blif (added) * vis_dev/vis-2.1/examples/elevator/emodel.blif (added) * vis_dev/vis-2.1/examples/elevator/emodel.ctl (added) * vis_dev/vis-2.1/examples/elevator/emodel.fair (added) * vis_dev/vis-2.1/examples/elevator/emodel.inv (added) * vis_dev/vis-2.1/examples/elevator/emodel.mv (added) * vis_dev/vis-2.1/examples/elevator/order (added) * vis_dev/vis-2.1/examples/exampleS (added) * vis_dev/vis-2.1/examples/exampleS/affalse (added) * vis_dev/vis-2.1/examples/exampleS/agtrue (added) * vis_dev/vis-2.1/examples/exampleS/check_result (added) * vis_dev/vis-2.1/examples/exampleS/check_script (added) * vis_dev/vis-2.1/examples/exampleS/exampleS.fair (added) * vis_dev/vis-2.1/examples/exampleS/exampleS.mv (added) * vis_dev/vis-2.1/examples/exampleS/exampleS.v (added) * vis_dev/vis-2.1/examples/fpmpy (added) * vis_dev/vis-2.1/examples/fpmpy/README (added) * vis_dev/vis-2.1/examples/fpmpy/check_result (added) * vis_dev/vis-2.1/examples/fpmpy/check_script (added) * vis_dev/vis-2.1/examples/fpmpy/fpmpy.ctl (added) * vis_dev/vis-2.1/examples/fpmpy/fpmpy.inv (added) * vis_dev/vis-2.1/examples/fpmpy/fpmpy.mv (added) * vis_dev/vis-2.1/examples/fpmpy/fpmpy.v (added) * vis_dev/vis-2.1/examples/fpmpy/result (added) * vis_dev/vis-2.1/examples/fpmpy/result_diff (added) * vis_dev/vis-2.1/examples/gcd (added) * vis_dev/vis-2.1/examples/gcd/check_result (added) * vis_dev/vis-2.1/examples/gcd/check_script (added) * vis_dev/vis-2.1/examples/gcd/check_script2 (added) * vis_dev/vis-2.1/examples/gcd/check_script21 (added) * vis_dev/vis-2.1/examples/gcd/check_script3 (added) * vis_dev/vis-2.1/examples/gcd/check_script31 (added) * vis_dev/vis-2.1/examples/gcd/fair.ctl (added) * vis_dev/vis-2.1/examples/gcd/forbiden.ctl (added) * vis_dev/vis-2.1/examples/gcd/gcd.ctl (added) * vis_dev/vis-2.1/examples/gcd/gcd.hint (added) * vis_dev/vis-2.1/examples/gcd/gcd.mv (added) * vis_dev/vis-2.1/examples/gcd/gcd.ord (added) * vis_dev/vis-2.1/examples/gcd/gcd.v (added) * vis_dev/vis-2.1/examples/gcd/gcd2.mv (added) * vis_dev/vis-2.1/examples/gcd/gcd2.ord (added) * vis_dev/vis-2.1/examples/gcd/gcd2.v (added) * vis_dev/vis-2.1/examples/gcd/gcd3.mv (added) * vis_dev/vis-2.1/examples/gcd/gcd3.ord (added) * vis_dev/vis-2.1/examples/gcd/gcd3.v (added) * vis_dev/vis-2.1/examples/gcd/protected.reg (added) * vis_dev/vis-2.1/examples/gcd/protected3.reg (added) * vis_dev/vis-2.1/examples/gcd/required.ctl (added) * vis_dev/vis-2.1/examples/gigamax (added) * vis_dev/vis-2.1/examples/gigamax/README (added) * vis_dev/vis-2.1/examples/gigamax/affalse (added) * vis_dev/vis-2.1/examples/gigamax/agtrue (added) * vis_dev/vis-2.1/examples/gigamax/check_result (added) * vis_dev/vis-2.1/examples/gigamax/check_script (added) * vis_dev/vis-2.1/examples/gigamax/gigamax.ctl (added) * vis_dev/vis-2.1/examples/gigamax/gigamax.mv (added) * vis_dev/vis-2.1/examples/gigamax/gigamax.v (added) * vis_dev/vis-2.1/examples/minmax (added) * vis_dev/vis-2.1/examples/minmax/README (added) * vis_dev/vis-2.1/examples/minmax/check_result (added) * vis_dev/vis-2.1/examples/minmax/check_script (added) * vis_dev/vis-2.1/examples/minmax/minMax.ltl (added) * vis_dev/vis-2.1/examples/minmax/minMax.v (added) * vis_dev/vis-2.1/examples/minmax/minMax30.ctl (added) * vis_dev/vis-2.1/examples/minmax/minMax30.mv (added) * vis_dev/vis-2.1/examples/mult6x6 (added) * vis_dev/vis-2.1/examples/mult6x6/README (added) * vis_dev/vis-2.1/examples/mult6x6/braun6x6 (added) * vis_dev/vis-2.1/examples/mult6x6/bug6x6A (added) * vis_dev/vis-2.1/examples/mult6x6/bug6x6B (added) * vis_dev/vis-2.1/examples/mult6x6/check_result (added) * vis_dev/vis-2.1/examples/mult6x6/check_script (added) * vis_dev/vis-2.1/examples/mult6x6/order6x6 (added) * vis_dev/vis-2.1/examples/mult6x6/simple6x6 (added) * vis_dev/vis-2.1/examples/ping_pong (added) * vis_dev/vis-2.1/examples/ping_pong/README (added) * vis_dev/vis-2.1/examples/ping_pong/check_result (added) * vis_dev/vis-2.1/examples/ping_pong/check_script (added) * vis_dev/vis-2.1/examples/ping_pong/ping_pong.ctl (added) * vis_dev/vis-2.1/examples/ping_pong/ping_pong.fair (added) * vis_dev/vis-2.1/examples/ping_pong/ping_pong.inv (added) * vis_dev/vis-2.1/examples/ping_pong/ping_pong.mv (added) * vis_dev/vis-2.1/examples/ping_pong/ping_pong.v (added) * vis_dev/vis-2.1/examples/ping_pong/prop1.fair (added) * vis_dev/vis-2.1/examples/ping_pong/prop2.ctl (added) * vis_dev/vis-2.1/examples/ping_pong_new (added) * vis_dev/vis-2.1/examples/ping_pong_new/README (added) * vis_dev/vis-2.1/examples/ping_pong_new/affalse (added) * vis_dev/vis-2.1/examples/ping_pong_new/agtrue (added) * vis_dev/vis-2.1/examples/ping_pong_new/check_result (added) * vis_dev/vis-2.1/examples/ping_pong_new/check_script (added) * vis_dev/vis-2.1/examples/ping_pong_new/ping_pong_new.ctl (added) * vis_dev/vis-2.1/examples/ping_pong_new/ping_pong_new.fair (added) * vis_dev/vis-2.1/examples/ping_pong_new/ping_pong_new.mv (added) * vis_dev/vis-2.1/examples/ping_pong_new/ping_pong_new.v (added) * vis_dev/vis-2.1/examples/production_cell (added) * vis_dev/vis-2.1/examples/production_cell/README (added) * vis_dev/vis-2.1/examples/production_cell/check_result (added) * vis_dev/vis-2.1/examples/production_cell/check_script (added) * vis_dev/vis-2.1/examples/production_cell/prodcell.ctl (added) * vis_dev/vis-2.1/examples/production_cell/prodcell.mv (added) * vis_dev/vis-2.1/examples/production_cell/prodcell.ord (added) * vis_dev/vis-2.1/examples/production_cell/prodcell.v (added) * vis_dev/vis-2.1/examples/rcnum (added) * vis_dev/vis-2.1/examples/rcnum/README (added) * vis_dev/vis-2.1/examples/rcnum/check_result (added) * vis_dev/vis-2.1/examples/rcnum/check_script (added) * vis_dev/vis-2.1/examples/rcnum/rcnum.v (added) * vis_dev/vis-2.1/examples/rcnum/rcnum25.ctl (added) * vis_dev/vis-2.1/examples/rcnum/rcnum25.mv (added) * vis_dev/vis-2.1/examples/restruct (added) * vis_dev/vis-2.1/examples/restruct/check_result (added) * vis_dev/vis-2.1/examples/restruct/check_script (added) * vis_dev/vis-2.1/examples/restruct/ibuf.mv (added) * vis_dev/vis-2.1/examples/restruct/s27.blif (added) * vis_dev/vis-2.1/examples/restruct/tlc.blif (added) * vis_dev/vis-2.1/examples/s1269 (added) * vis_dev/vis-2.1/examples/s1269/check_result (added) * vis_dev/vis-2.1/examples/s1269/check_script (added) * vis_dev/vis-2.1/examples/s1269/s1269.blif (added) * vis_dev/vis-2.1/examples/s1269/s1269.ord (added) * vis_dev/vis-2.1/examples/synthesis (added) * vis_dev/vis-2.1/examples/synthesis/README (added) * vis_dev/vis-2.1/examples/synthesis/check_result (added) * vis_dev/vis-2.1/examples/synthesis/check_script (added) * vis_dev/vis-2.1/examples/synthesis/s298.blif (added) * vis_dev/vis-2.1/examples/synthesis/vg2.blif (added) * vis_dev/vis-2.1/examples/tlc (added) * vis_dev/vis-2.1/examples/tlc/check_result (added) * vis_dev/vis-2.1/examples/tlc/check_script (added) * vis_dev/vis-2.1/examples/tlc/tlc.ctl (added) * vis_dev/vis-2.1/examples/tlc/tlc.fair (added) * vis_dev/vis-2.1/examples/tlc/tlc.mv (added) * vis_dev/vis-2.1/examples/tlc/tlc.v (added) * vis_dev/vis-2.1/examples/treearbiter (added) * vis_dev/vis-2.1/examples/treearbiter/4-arbit.ctl (added) * vis_dev/vis-2.1/examples/treearbiter/4-arbit.fair (added) * vis_dev/vis-2.1/examples/treearbiter/4-arbit.mv (added) * vis_dev/vis-2.1/examples/treearbiter/4-arbit.v (added) * vis_dev/vis-2.1/examples/treearbiter/8-arbit.ctl (added) * vis_dev/vis-2.1/examples/treearbiter/8-arbit.fair (added) * vis_dev/vis-2.1/examples/treearbiter/8-arbit.ltl (added) * vis_dev/vis-2.1/examples/treearbiter/8-arbit.mv (added) * vis_dev/vis-2.1/examples/treearbiter/8-arbit.v (added) * vis_dev/vis-2.1/examples/treearbiter/README (added) * vis_dev/vis-2.1/examples/treearbiter/check_result (added) * vis_dev/vis-2.1/examples/treearbiter/check_script (added) * vis_dev/vis-2.1/helpers (added) * vis_dev/vis-2.1/helpers/config.guess (added) * vis_dev/vis-2.1/helpers/config.sub (added) * vis_dev/vis-2.1/helpers/dependency.make (added) * vis_dev/vis-2.1/helpers/install-sh (added) * vis_dev/vis-2.1/helpers/mkinstalldirs (added) * vis_dev/vis-2.1/lib (added) * vis_dev/vis-2.1/man (added) * vis_dev/vis-2.1/man/man1 (added) * vis_dev/vis-2.1/man/man1/vis.1 (added) * vis_dev/vis-2.1/obj (added) * vis_dev/vis-2.1/script.vis (added) * vis_dev/vis-2.1/semantic.cache (added) * vis_dev/vis-2.1/share (added) * vis_dev/vis-2.1/share/createfunctionmap (added) * vis_dev/vis-2.1/share/help (added) * vis_dev/vis-2.1/share/help/Cmd.txt (added) * vis_dev/vis-2.1/share/help/_ctlp_testCmd.txt (added) * vis_dev/vis-2.1/share/help/_ctlsp_testCmd.txt (added) * vis_dev/vis-2.1/share/help/_grab_testCmd.txt (added) * vis_dev/vis-2.1/share/help/_init_state_formulaCmd.txt (added) * vis_dev/vis-2.1/share/help/_mAig_testCmd.txt (added) * vis_dev/vis-2.1/share/help/_memory_profileCmd.txt (added) * vis_dev/vis-2.1/share/help/_ntm_testCmd.txt (added) * vis_dev/vis-2.1/share/help/_tbl_testCmd.txt (added) * vis_dev/vis-2.1/share/help/_tst_testCmd.txt (added) * vis_dev/vis-2.1/share/help/aliasCmd.txt (added) * vis_dev/vis-2.1/share/help/approximate_model_checkCmd.txt (added) * vis_dev/vis-2.1/share/help/bdd_sat_bounded_model_checkCmd.txt (added) * vis_dev/vis-2.1/share/help/bounded_model_checkCmd.txt (added) * vis_dev/vis-2.1/share/help/build_partition_maigsCmd.txt (added) * vis_dev/vis-2.1/share/help/build_partition_mddsCmd.txt (added) * vis_dev/vis-2.1/share/help/cdCmd.txt (added) * vis_dev/vis-2.1/share/help/check_invariantCmd.txt (added) * vis_dev/vis-2.1/share/help/cnf_satCmd.txt (added) * vis_dev/vis-2.1/share/help/collapse_childCmd.txt (added) * vis_dev/vis-2.1/share/help/comb_verifyCmd.txt (added) * vis_dev/vis-2.1/share/help/compute_reachCmd.txt (added) * vis_dev/vis-2.1/share/help/decompose_childCmd.txt (added) * vis_dev/vis-2.1/share/help/dynamic_var_orderingCmd.txt (added) * vis_dev/vis-2.1/share/help/echoCmd.txt (added) * vis_dev/vis-2.1/share/help/flatten_hierarchyCmd.txt (added) * vis_dev/vis-2.1/share/help/helpCmd.txt (added) * vis_dev/vis-2.1/share/help/historyCmd.txt (added) * vis_dev/vis-2.1/share/help/incremental_ctl_verificationCmd.txt (added) * vis_dev/vis-2.1/share/help/init_verifyCmd.txt (added) * vis_dev/vis-2.1/share/help/iterative_model_checkCmd.txt (added) * vis_dev/vis-2.1/share/help/lang_emptyCmd.txt (added) * vis_dev/vis-2.1/share/help/lsCmd.txt (added) * vis_dev/vis-2.1/share/help/ltl2snfCmd.txt (added) * vis_dev/vis-2.1/share/help/ltl_model_checkCmd.txt (added) * vis_dev/vis-2.1/share/help/ltl_to_autCmd.txt (added) * vis_dev/vis-2.1/share/help/model_checkCmd.txt (added) * vis_dev/vis-2.1/share/help/network_sweepCmd.txt (added) * vis_dev/vis-2.1/share/help/print_aig_statsCmd.txt (added) * vis_dev/vis-2.1/share/help/print_ardc_optionsCmd.txt (added) * vis_dev/vis-2.1/share/help/print_bdd_statsCmd.txt (added) * vis_dev/vis-2.1/share/help/print_fairnessCmd.txt (added) * vis_dev/vis-2.1/share/help/print_guided_search_optionsCmd.txt (added) * vis_dev/vis-2.1/share/help/print_hd_optionsCmd.txt (added) * vis_dev/vis-2.1/share/help/print_hierarchy_statsCmd.txt (added) * vis_dev/vis-2.1/share/help/print_hybrid_optionsCmd.txt (added) * vis_dev/vis-2.1/share/help/print_img_infoCmd.txt (added) * vis_dev/vis-2.1/share/help/print_ioCmd.txt (added) * vis_dev/vis-2.1/share/help/print_latchesCmd.txt (added) * vis_dev/vis-2.1/share/help/print_mlp_optionsCmd.txt (added) * vis_dev/vis-2.1/share/help/print_modelsCmd.txt (added) * vis_dev/vis-2.1/share/help/print_networkCmd.txt (added) * vis_dev/vis-2.1/share/help/print_network_dotCmd.txt (added) * vis_dev/vis-2.1/share/help/print_network_statsCmd.txt (added) * vis_dev/vis-2.1/share/help/print_partitionCmd.txt (added) * vis_dev/vis-2.1/share/help/print_partition_aig_dotCmd.txt (added) * vis_dev/vis-2.1/share/help/print_partition_statsCmd.txt (added) * vis_dev/vis-2.1/share/help/print_tfm_optionsCmd.txt (added) * vis_dev/vis-2.1/share/help/pwdCmd.txt (added) * vis_dev/vis-2.1/share/help/quitCmd.txt (added) * vis_dev/vis-2.1/share/help/read_blifCmd.txt (added) * vis_dev/vis-2.1/share/help/read_blif_mvCmd.txt (added) * vis_dev/vis-2.1/share/help/read_fairnessCmd.txt (added) * vis_dev/vis-2.1/share/help/read_orderCmd.txt (added) * vis_dev/vis-2.1/share/help/read_verilogCmd.txt (added) * vis_dev/vis-2.1/share/help/regression_testCmd.txt (added) * vis_dev/vis-2.1/share/help/res_verifyCmd.txt (added) * vis_dev/vis-2.1/share/help/reset_fairnessCmd.txt (added) * vis_dev/vis-2.1/share/help/restruct_fsmCmd.txt (added) * vis_dev/vis-2.1/share/help/seq_verifyCmd.txt (added) * vis_dev/vis-2.1/share/help/setCmd.txt (added) * vis_dev/vis-2.1/share/help/set_bdd_parametersCmd.txt (added) * vis_dev/vis-2.1/share/help/simulateCmd.txt (added) * vis_dev/vis-2.1/share/help/sourceCmd.txt (added) * vis_dev/vis-2.1/share/help/spfd_pdloCmd.txt (added) * vis_dev/vis-2.1/share/help/spfd_piloCmd.txt (added) * vis_dev/vis-2.1/share/help/static_orderCmd.txt (added) * vis_dev/vis-2.1/share/help/synthesize_networkCmd.txt (added) * vis_dev/vis-2.1/share/help/test_network_acyclicCmd.txt (added) * vis_dev/vis-2.1/share/help/timeCmd.txt (added) * vis_dev/vis-2.1/share/help/truesimCmd.txt (added) * vis_dev/vis-2.1/share/help/unaliasCmd.txt (added) * vis_dev/vis-2.1/share/help/unsetCmd.txt (added) * vis_dev/vis-2.1/share/help/usageCmd.txt (added) * vis_dev/vis-2.1/share/help/whichCmd.txt (added) * vis_dev/vis-2.1/share/help/write_blifCmd.txt (added) * vis_dev/vis-2.1/share/help/write_blif_mvCmd.txt (added) * vis_dev/vis-2.1/share/help/write_orderCmd.txt (added) * vis_dev/vis-2.1/share/help/write_smvCmd.txt (added) * vis_dev/vis-2.1/share/ioBlifToMv.nawk (added) * vis_dev/vis-2.1/share/ioBlifToMvForIncremental.nawk (added) * vis_dev/vis-2.1/share/master.visrc (added) * vis_dev/vis-2.1/share/memoryaccount (added) * vis_dev/vis-2.1/share/script_compute_reach.robust (added) * vis_dev/vis-2.1/share/script_compute_reach.simple (added) * vis_dev/vis-2.1/share/script_fair_model_check.robust (added) * vis_dev/vis-2.1/share/script_fair_model_check.simple (added) * vis_dev/vis-2.1/share/script_generic.robust (added) * vis_dev/vis-2.1/share/script_generic.simple (added) * vis_dev/vis-2.1/share/script_lang_empty_check.robust (added) * vis_dev/vis-2.1/share/script_lang_empty_check.simple (added) * vis_dev/vis-2.1/share/script_model_check.robust (added) * vis_dev/vis-2.1/share/script_model_check.simple (added) * vis_dev/vis-2.1/share/sislib.mv (added) * vis_dev/vis-2.1/share/vis (added) * vis_dev/vis-2.1/share/vis/createfunctionmap (added) * vis_dev/vis-2.1/share/vis/help (added) * vis_dev/vis-2.1/share/vis/help/Cmd.txt (added) * vis_dev/vis-2.1/share/vis/help/_ctlp_testCmd.txt (added) * vis_dev/vis-2.1/share/vis/help/_ctlsp_testCmd.txt (added) * vis_dev/vis-2.1/share/vis/help/_grab_testCmd.txt (added) * vis_dev/vis-2.1/share/vis/help/_init_state_formulaCmd.txt (added) * vis_dev/vis-2.1/share/vis/help/_mAig_testCmd.txt (added) * vis_dev/vis-2.1/share/vis/help/_memory_profileCmd.txt (added) * vis_dev/vis-2.1/share/vis/help/_ntm_testCmd.txt (added) * vis_dev/vis-2.1/share/vis/help/_tbl_testCmd.txt (added) * vis_dev/vis-2.1/share/vis/help/_tst_testCmd.txt (added) * vis_dev/vis-2.1/share/vis/help/aliasCmd.txt (added) * vis_dev/vis-2.1/share/vis/help/approximate_model_checkCmd.txt (added) * vis_dev/vis-2.1/share/vis/help/bdd_sat_bounded_model_checkCmd.txt (added) * vis_dev/vis-2.1/share/vis/help/bounded_model_checkCmd.txt (added) * vis_dev/vis-2.1/share/vis/help/build_partition_maigsCmd.txt (added) * vis_dev/vis-2.1/share/vis/help/build_partition_mddsCmd.txt (added) * vis_dev/vis-2.1/share/vis/help/cdCmd.txt (added) * vis_dev/vis-2.1/share/vis/help/check_invariantCmd.txt (added) * vis_dev/vis-2.1/share/vis/help/cnf_satCmd.txt (added) * vis_dev/vis-2.1/share/vis/help/collapse_childCmd.txt (added) * vis_dev/vis-2.1/share/vis/help/comb_verifyCmd.txt (added) * vis_dev/vis-2.1/share/vis/help/compute_reachCmd.txt (added) * vis_dev/vis-2.1/share/vis/help/decompose_childCmd.txt (added) * vis_dev/vis-2.1/share/vis/help/dynamic_var_orderingCmd.txt (added) * vis_dev/vis-2.1/share/vis/help/echoCmd.txt (added) * vis_dev/vis-2.1/share/vis/help/flatten_hierarchyCmd.txt (added) * vis_dev/vis-2.1/share/vis/help/helpCmd.txt (added) * vis_dev/vis-2.1/share/vis/help/historyCmd.txt (added) * vis_dev/vis-2.1/share/vis/help/incremental_ctl_verificationCmd.txt (added) * vis_dev/vis-2.1/share/vis/help/init_verifyCmd.txt (added) * vis_dev/vis-2.1/share/vis/help/iterative_model_checkCmd.txt (added) * vis_dev/vis-2.1/share/vis/help/lang_emptyCmd.txt (added) * vis_dev/vis-2.1/share/vis/help/lsCmd.txt (added) * vis_dev/vis-2.1/share/vis/help/ltl2snfCmd.txt (added) * vis_dev/vis-2.1/share/vis/help/ltl_model_checkCmd.txt (added) * vis_dev/vis-2.1/share/vis/help/ltl_to_autCmd.txt (added) * vis_dev/vis-2.1/share/vis/help/model_checkCmd.txt (added) * vis_dev/vis-2.1/share/vis/help/network_sweepCmd.txt (added) * vis_dev/vis-2.1/share/vis/help/print_aig_statsCmd.txt (added) * vis_dev/vis-2.1/share/vis/help/print_ardc_optionsCmd.txt (added) * vis_dev/vis-2.1/share/vis/help/print_bdd_statsCmd.txt (added) * vis_dev/vis-2.1/share/vis/help/print_fairnessCmd.txt (added) * vis_dev/vis-2.1/share/vis/help/print_guided_search_optionsCmd.txt (added) * vis_dev/vis-2.1/share/vis/help/print_hd_optionsCmd.txt (added) * vis_dev/vis-2.1/share/vis/help/print_hierarchy_statsCmd.txt (added) * vis_dev/vis-2.1/share/vis/help/print_hybrid_optionsCmd.txt (added) * vis_dev/vis-2.1/share/vis/help/print_img_infoCmd.txt (added) * vis_dev/vis-2.1/share/vis/help/print_ioCmd.txt (added) * vis_dev/vis-2.1/share/vis/help/print_latchesCmd.txt (added) * vis_dev/vis-2.1/share/vis/help/print_mlp_optionsCmd.txt (added) * vis_dev/vis-2.1/share/vis/help/print_modelsCmd.txt (added) * vis_dev/vis-2.1/share/vis/help/print_networkCmd.txt (added) * vis_dev/vis-2.1/share/vis/help/print_network_dotCmd.txt (added) * vis_dev/vis-2.1/share/vis/help/print_network_statsCmd.txt (added) * vis_dev/vis-2.1/share/vis/help/print_partitionCmd.txt (added) * vis_dev/vis-2.1/share/vis/help/print_partition_aig_dotCmd.txt (added) * vis_dev/vis-2.1/share/vis/help/print_partition_statsCmd.txt (added) * vis_dev/vis-2.1/share/vis/help/print_tfm_optionsCmd.txt (added) * vis_dev/vis-2.1/share/vis/help/pwdCmd.txt (added) * vis_dev/vis-2.1/share/vis/help/quitCmd.txt (added) * vis_dev/vis-2.1/share/vis/help/read_blifCmd.txt (added) * vis_dev/vis-2.1/share/vis/help/read_blif_mvCmd.txt (added) * vis_dev/vis-2.1/share/vis/help/read_fairnessCmd.txt (added) * vis_dev/vis-2.1/share/vis/help/read_orderCmd.txt (added) * vis_dev/vis-2.1/share/vis/help/read_verilogCmd.txt (added) * vis_dev/vis-2.1/share/vis/help/regression_testCmd.txt (added) * vis_dev/vis-2.1/share/vis/help/res_verifyCmd.txt (added) * vis_dev/vis-2.1/share/vis/help/reset_fairnessCmd.txt (added) * vis_dev/vis-2.1/share/vis/help/restruct_fsmCmd.txt (added) * vis_dev/vis-2.1/share/vis/help/seq_verifyCmd.txt (added) * vis_dev/vis-2.1/share/vis/help/setCmd.txt (added) * vis_dev/vis-2.1/share/vis/help/set_bdd_parametersCmd.txt (added) * vis_dev/vis-2.1/share/vis/help/simulateCmd.txt (added) * vis_dev/vis-2.1/share/vis/help/sourceCmd.txt (added) * vis_dev/vis-2.1/share/vis/help/spfd_pdloCmd.txt (added) * vis_dev/vis-2.1/share/vis/help/spfd_piloCmd.txt (added) * vis_dev/vis-2.1/share/vis/help/static_orderCmd.txt (added) * vis_dev/vis-2.1/share/vis/help/synthesize_networkCmd.txt (added) * vis_dev/vis-2.1/share/vis/help/test_network_acyclicCmd.txt (added) * vis_dev/vis-2.1/share/vis/help/timeCmd.txt (added) * vis_dev/vis-2.1/share/vis/help/truesimCmd.txt (added) * vis_dev/vis-2.1/share/vis/help/unaliasCmd.txt (added) * vis_dev/vis-2.1/share/vis/help/unsetCmd.txt (added) * vis_dev/vis-2.1/share/vis/help/usageCmd.txt (added) * vis_dev/vis-2.1/share/vis/help/whichCmd.txt (added) * vis_dev/vis-2.1/share/vis/help/write_blifCmd.txt (added) * vis_dev/vis-2.1/share/vis/help/write_blif_mvCmd.txt (added) * vis_dev/vis-2.1/share/vis/help/write_orderCmd.txt (added) * vis_dev/vis-2.1/share/vis/help/write_smvCmd.txt (added) * vis_dev/vis-2.1/share/vis/ioBlifToMv.nawk (added) * vis_dev/vis-2.1/share/vis/ioBlifToMvForIncremental.nawk (added) * vis_dev/vis-2.1/share/vis/master.visrc (added) * vis_dev/vis-2.1/share/vis/memoryaccount (added) * vis_dev/vis-2.1/share/vis/script_compute_reach.robust (added) * vis_dev/vis-2.1/share/vis/script_compute_reach.simple (added) * vis_dev/vis-2.1/share/vis/script_fair_model_check.robust (added) * vis_dev/vis-2.1/share/vis/script_fair_model_check.simple (added) * vis_dev/vis-2.1/share/vis/script_generic.robust (added) * vis_dev/vis-2.1/share/vis/script_generic.simple (added) * vis_dev/vis-2.1/share/vis/script_lang_empty_check.robust (added) * vis_dev/vis-2.1/share/vis/script_lang_empty_check.simple (added) * vis_dev/vis-2.1/share/vis/script_model_check.robust (added) * vis_dev/vis-2.1/share/vis/script_model_check.simple (added) * vis_dev/vis-2.1/share/vis/sislib.mv (added) * vis_dev/vis-2.1/share/vis/visdbgpp (added) * vis_dev/vis-2.1/share/visdbgpp (added) * vis_dev/vis-2.1/vis.1 (added) * vis_dev/vis-2.1/xsimv (added) Add vis