# # ChangeLog for cegar_dev # # Generated by Trac 1.2.3 # Dec 25, 2024, 8:32:36 AM Fri, 08 Jul 2011 14:32:32 GMT cecile [6] * cegar_dev/cegar/Makefile (modified) * cegar_dev/cegar/concrete_model/SATcnf_c1.cnf (modified) * vis_dev (added) * vis_dev/glu-2.1 (added) * vis_dev/glu-2.1/INSTALL (added) * vis_dev/glu-2.1/Makefile.in (added) * vis_dev/glu-2.1/NEWS (added) * vis_dev/glu-2.1/README (added) * vis_dev/glu-2.1/configure (added) * vis_dev/glu-2.1/configure.in (added) * vis_dev/glu-2.1/helpers (added) * vis_dev/glu-2.1/helpers/config.guess (added) * vis_dev/glu-2.1/helpers/config.sub (added) * vis_dev/glu-2.1/helpers/dependency.make (added) * vis_dev/glu-2.1/helpers/install-sh (added) * vis_dev/glu-2.1/helpers/mkinstalldirs (added) * vis_dev/glu-2.1/obj (added) * vis_dev/glu-2.1/src (added) * vis_dev/glu-2.1/src/avl (added) * vis_dev/glu-2.1/src/avl/avl.c (added) * vis_dev/glu-2.1/src/avl/avl.doc (added) * vis_dev/glu-2.1/src/avl/avl.h (added) * vis_dev/glu-2.1/src/avl/avl.make (added) * vis_dev/glu-2.1/src/avl/avl_bench1.c (added) * vis_dev/glu-2.1/src/bdd (added) * vis_dev/glu-2.1/src/bdd/bdd.h (added) * vis_dev/glu-2.1/src/bdd/bdd.make (added) * vis_dev/glu-2.1/src/calBdd (added) * vis_dev/glu-2.1/src/calBdd/cal.c (added) * vis_dev/glu-2.1/src/calBdd/cal.h (added) * vis_dev/glu-2.1/src/calBdd/calAllAbs.html (added) * vis_dev/glu-2.1/src/calBdd/calAllByFile.html (added) * vis_dev/glu-2.1/src/calBdd/calAllByFunc.html (added) * vis_dev/glu-2.1/src/calBdd/calAllDet.html (added) * vis_dev/glu-2.1/src/calBdd/calAllFile.html (added) * vis_dev/glu-2.1/src/calBdd/calApplyReduce.c (added) * vis_dev/glu-2.1/src/calBdd/calAssociation.c (added) * vis_dev/glu-2.1/src/calBdd/calBdd.make (added) * vis_dev/glu-2.1/src/calBdd/calBddCompose.c (added) * vis_dev/glu-2.1/src/calBdd/calBddITE.c (added) * vis_dev/glu-2.1/src/calBdd/calBddManager.c (added) * vis_dev/glu-2.1/src/calBdd/calBddOp.c (added) * vis_dev/glu-2.1/src/calBdd/calBddReorderTest.c (added) * vis_dev/glu-2.1/src/calBdd/calBddSatisfy.c (added) * vis_dev/glu-2.1/src/calBdd/calBddSize.c (added) * vis_dev/glu-2.1/src/calBdd/calBddSubstitute.c (added) * vis_dev/glu-2.1/src/calBdd/calBddSupport.c (added) * vis_dev/glu-2.1/src/calBdd/calBddSwapVars.c (added) * vis_dev/glu-2.1/src/calBdd/calBddVarSubstitute.c (added) * vis_dev/glu-2.1/src/calBdd/calBlk.c (added) * vis_dev/glu-2.1/src/calBdd/calCacheTableTwo.c (added) * vis_dev/glu-2.1/src/calBdd/calDesc.html (added) * vis_dev/glu-2.1/src/calBdd/calDoc.txt (added) * vis_dev/glu-2.1/src/calBdd/calDump.c (added) * vis_dev/glu-2.1/src/calBdd/calExt.html (added) * vis_dev/glu-2.1/src/calBdd/calExtAbs.html (added) * vis_dev/glu-2.1/src/calBdd/calExtDet.html (added) * vis_dev/glu-2.1/src/calBdd/calGC.c (added) * vis_dev/glu-2.1/src/calBdd/calHashTable.c (added) * vis_dev/glu-2.1/src/calBdd/calHashTableOne.c (added) * vis_dev/glu-2.1/src/calBdd/calHashTableThree.c (added) * vis_dev/glu-2.1/src/calBdd/calInt.h (added) * vis_dev/glu-2.1/src/calBdd/calInteract.c (added) * vis_dev/glu-2.1/src/calBdd/calMem.c (added) * vis_dev/glu-2.1/src/calBdd/calMem.h (added) * vis_dev/glu-2.1/src/calBdd/calMemoryManagement.c (added) * vis_dev/glu-2.1/src/calBdd/calPerformanceTest.c (added) * vis_dev/glu-2.1/src/calBdd/calPipeline.c (added) * vis_dev/glu-2.1/src/calBdd/calPrint.c (added) * vis_dev/glu-2.1/src/calBdd/calPrintProfile.c (added) * vis_dev/glu-2.1/src/calBdd/calQuant.c (added) * vis_dev/glu-2.1/src/calBdd/calReduce.c (added) * vis_dev/glu-2.1/src/calBdd/calReorderBF.c (added) * vis_dev/glu-2.1/src/calBdd/calReorderDF.c (added) * vis_dev/glu-2.1/src/calBdd/calReorderUtil.c (added) * vis_dev/glu-2.1/src/calBdd/calTerminal.c (added) * vis_dev/glu-2.1/src/calBdd/calTest.c (added) * vis_dev/glu-2.1/src/calBdd/calTitle.html (added) * vis_dev/glu-2.1/src/calBdd/calUtil.c (added) * vis_dev/glu-2.1/src/calBdd/credit.html (added) * vis_dev/glu-2.1/src/calPort (added) * vis_dev/glu-2.1/src/calPort/calPort.c (added) * vis_dev/glu-2.1/src/calPort/calPort.make (added) * vis_dev/glu-2.1/src/calPort/calPortInt.h (added) * vis_dev/glu-2.1/src/calPort/calPortIter.c (added) * vis_dev/glu-2.1/src/cmuBdd (added) * vis_dev/glu-2.1/src/cmuBdd/bdd.3 (added) * vis_dev/glu-2.1/src/cmuBdd/bdd.c (added) * vis_dev/glu-2.1/src/cmuBdd/bdd_is_cube.c (added) * vis_dev/glu-2.1/src/cmuBdd/bddapply.c (added) * vis_dev/glu-2.1/src/cmuBdd/bddassoc.c (added) * vis_dev/glu-2.1/src/cmuBdd/bddblk.c (added) * vis_dev/glu-2.1/src/cmuBdd/bddcache.c (added) * vis_dev/glu-2.1/src/cmuBdd/bddcmp.c (added) * vis_dev/glu-2.1/src/cmuBdd/bddcomp.c (added) * vis_dev/glu-2.1/src/cmuBdd/bddcproject.c (added) * vis_dev/glu-2.1/src/cmuBdd/bdddump.c (added) * vis_dev/glu-2.1/src/cmuBdd/bddhash.c (added) * vis_dev/glu-2.1/src/cmuBdd/bddint.h (added) * vis_dev/glu-2.1/src/cmuBdd/bddmisc.c (added) * vis_dev/glu-2.1/src/cmuBdd/bddprimes.c (added) * vis_dev/glu-2.1/src/cmuBdd/bddprint.c (added) * vis_dev/glu-2.1/src/cmuBdd/bddprprofile.c (added) * vis_dev/glu-2.1/src/cmuBdd/bddqnt.c (added) * vis_dev/glu-2.1/src/cmuBdd/bddreduce.c (added) * vis_dev/glu-2.1/src/cmuBdd/bddrelprod.c (added) * vis_dev/glu-2.1/src/cmuBdd/bddreorder.c (added) * vis_dev/glu-2.1/src/cmuBdd/bddsat.c (added) * vis_dev/glu-2.1/src/cmuBdd/bddsize.c (added) * vis_dev/glu-2.1/src/cmuBdd/bddsupport.c (added) * vis_dev/glu-2.1/src/cmuBdd/bddswap.c (added) * vis_dev/glu-2.1/src/cmuBdd/bddunique.c (added) * vis_dev/glu-2.1/src/cmuBdd/bdduser.h (added) * vis_dev/glu-2.1/src/cmuBdd/bddwarn.c (added) * vis_dev/glu-2.1/src/cmuBdd/cmuBdd.make (added) * vis_dev/glu-2.1/src/cmuBdd/mtbdd.c (added) * vis_dev/glu-2.1/src/cmuBdd/testbdd.c (added) * vis_dev/glu-2.1/src/cmuPort (added) * vis_dev/glu-2.1/src/cmuPort/cmuPort.c (added) * vis_dev/glu-2.1/src/cmuPort/cmuPort.make (added) * vis_dev/glu-2.1/src/cmuPort/cmuPortInt.h (added) * vis_dev/glu-2.1/src/cmuPort/cmuPortIter.c (added) * vis_dev/glu-2.1/src/cuBdd (added) * vis_dev/glu-2.1/src/cuBdd/cudd.h (added) * vis_dev/glu-2.1/src/cuBdd/cuddAddAbs.c (added) * vis_dev/glu-2.1/src/cuBdd/cuddAnneal.c (added) * vis_dev/glu-2.1/src/cuBdd/cuddApa.c (added) * vis_dev/glu-2.1/src/cuBdd/cuddBridge.c (added) * vis_dev/glu-2.1/src/cuBdd/cuddCheck.c (added) * vis_dev/glu-2.1/src/cuBdd/cuddCompose.c (added) * vis_dev/glu-2.1/src/cuBdd/cuddEssent.c (added) * vis_dev/glu-2.1/src/cuBdd/cuddExact.c (added) * vis_dev/glu-2.1/src/cuBdd/cuddHarwell.c (added) * vis_dev/glu-2.1/src/cuBdd/cuddInit.c (added) * vis_dev/glu-2.1/src/cuBdd/cuddLCache.c (added) * vis_dev/glu-2.1/src/cuBdd/cuddSign.c (added) * vis_dev/glu-2.1/src/cuBdd/cuddSolve.c (added) * vis_dev/glu-2.1/src/cuBdd/cuddSplit.c (added) * vis_dev/glu-2.1/src/cuBdd/cuddTable.c (added) * vis_dev/glu-2.1/src/cuBdd/cuddZddCount.c (added) * vis_dev/glu-2.1/src/cuBdd/cuddZddFuncs.c (added) * vis_dev/glu-2.1/src/cuBdd/cuddZddGroup.c (added) * vis_dev/glu-2.1/src/cuBdd/cuddZddSymm.c (added) * vis_dev/glu-2.1/src/cuPort (added) * vis_dev/glu-2.1/src/cuPort/cuPort.c (added) * vis_dev/glu-2.1/src/cuPort/cuPort.make (added) * vis_dev/glu-2.1/src/cuPort/cuPortInt.h (added) * vis_dev/glu-2.1/src/cuPort/cuPortIter.c (added) * vis_dev/glu-2.1/src/epd (added) * vis_dev/glu-2.1/src/epd/epd.c (added) * vis_dev/glu-2.1/src/epd/epd.h (added) * vis_dev/glu-2.1/src/epd/epd.make (added) * vis_dev/glu-2.1/src/error (added) * vis_dev/glu-2.1/src/error/error.c (added) * vis_dev/glu-2.1/src/error/error.doc (added) * vis_dev/glu-2.1/src/error/error.h (added) * vis_dev/glu-2.1/src/error/error.make (added) * vis_dev/glu-2.1/src/graph (added) * vis_dev/glu-2.1/src/graph/com_graph.c (added) * vis_dev/glu-2.1/src/graph/graph.c (added) * vis_dev/glu-2.1/src/graph/graph.doc (added) * vis_dev/glu-2.1/src/graph/graph.h (added) * vis_dev/glu-2.1/src/graph/graph.make (added) * vis_dev/glu-2.1/src/graph/graph_dfs.c (added) * vis_dev/glu-2.1/src/graph/graph_int.h (added) * vis_dev/glu-2.1/src/graph/graph_s.c (added) * vis_dev/glu-2.1/src/graph/graph_static.doc (added) * vis_dev/glu-2.1/src/graph/graph_static.h (added) * vis_dev/glu-2.1/src/graph/graph_static_int.h (added) * vis_dev/glu-2.1/src/heap (added) * vis_dev/glu-2.1/src/heap/heap.c (added) * vis_dev/glu-2.1/src/heap/heap.h (added) * vis_dev/glu-2.1/src/heap/heap.make (added) * vis_dev/glu-2.1/src/heap/heapInt.h (added) * vis_dev/glu-2.1/src/heap/semantic.cache (added) * vis_dev/glu-2.1/src/list (added) * vis_dev/glu-2.1/src/list/list.c (added) * vis_dev/glu-2.1/src/list/list.doc (added) * vis_dev/glu-2.1/src/list/list.h (added) * vis_dev/glu-2.1/src/list/list.make (added) * vis_dev/glu-2.1/src/list/lsort.h (added) * vis_dev/glu-2.1/src/list/semantic.cache (added) * vis_dev/glu-2.1/src/mdd (added) * vis_dev/glu-2.1/src/mdd/mdd.doc (added) * vis_dev/glu-2.1/src/mdd/mdd.h (added) * vis_dev/glu-2.1/src/mdd/mdd.make (added) * vis_dev/glu-2.1/src/mdd/mdd_add.c (added) * vis_dev/glu-2.1/src/mdd/mdd_andsmoot.c (added) * vis_dev/glu-2.1/src/mdd/mdd_bund.c (added) * vis_dev/glu-2.1/src/mdd/mdd_case.c (added) * vis_dev/glu-2.1/src/mdd/mdd_cofactor.c (added) * vis_dev/glu-2.1/src/mdd/mdd_consensus.c (added) * vis_dev/glu-2.1/src/mdd/mdd_func1c.c (added) * vis_dev/glu-2.1/src/mdd/mdd_func2.c (added) * vis_dev/glu-2.1/src/mdd/mdd_func2c.c (added) * vis_dev/glu-2.1/src/mdd/mdd_func2cmod.c (added) * vis_dev/glu-2.1/src/mdd/mdd_func3.c (added) * vis_dev/glu-2.1/src/mdd/mdd_ineq_s.c (added) * vis_dev/glu-2.1/src/mdd/mdd_init.c (added) * vis_dev/glu-2.1/src/mdd/mdd_intv.c (added) * vis_dev/glu-2.1/src/mdd/mdd_iter.c (added) * vis_dev/glu-2.1/src/mdd/mdd_literal.c (added) * vis_dev/glu-2.1/src/mdd/mdd_mod.c (added) * vis_dev/glu-2.1/src/mdd/mdd_quit.c (added) * vis_dev/glu-2.1/src/mdd/mdd_search.c (added) * vis_dev/glu-2.1/src/mdd/mdd_smooth.c (added) * vis_dev/glu-2.1/src/mdd/mdd_substit.c (added) * vis_dev/glu-2.1/src/mdd/mdd_support.c (added) * vis_dev/glu-2.1/src/mdd/mdd_uminus.c (added) * vis_dev/glu-2.1/src/mdd/mdd_util.c (added) * vis_dev/glu-2.1/src/mdd/mvar2bdds.c (added) * vis_dev/glu-2.1/src/mdd/semantic.cache (added) * vis_dev/glu-2.1/src/mem (added) * vis_dev/glu-2.1/src/mem/mem.3 (added) * vis_dev/glu-2.1/src/mem/mem.make (added) * vis_dev/glu-2.1/src/mem/memblock.c (added) * vis_dev/glu-2.1/src/mem/memint.h (added) * vis_dev/glu-2.1/src/mem/memrec.c (added) * vis_dev/glu-2.1/src/mem/memuser.h (added) * vis_dev/glu-2.1/src/mtr (added) * vis_dev/glu-2.1/src/mtr/mtr.h (added) * vis_dev/glu-2.1/src/mtr/mtr.make (added) * vis_dev/glu-2.1/src/mtr/mtrBasic.c (added) * vis_dev/glu-2.1/src/mtr/mtrGroup.c (added) * vis_dev/glu-2.1/src/mtr/mtrInt.h (added) * vis_dev/glu-2.1/src/sparse (added) * vis_dev/glu-2.1/src/sparse/cols.c (added) * vis_dev/glu-2.1/src/sparse/matrix.c (added) * vis_dev/glu-2.1/src/sparse/rows.c (added) * vis_dev/glu-2.1/src/sparse/sparse.doc (added) * vis_dev/glu-2.1/src/sparse/sparse.h (added) * vis_dev/glu-2.1/src/sparse/sparse.make (added) * vis_dev/glu-2.1/src/sparse/sparse_int.h (added) * vis_dev/glu-2.1/src/st (added) * vis_dev/glu-2.1/src/st/semantic.cache (added) * vis_dev/glu-2.1/src/st/st.c (added) * vis_dev/glu-2.1/src/st/st.doc (added) * vis_dev/glu-2.1/src/st/st.h (added) * vis_dev/glu-2.1/src/st/st.make (added) * vis_dev/glu-2.1/src/util (added) * vis_dev/glu-2.1/src/util/cpu_stats.c (added) * vis_dev/glu-2.1/src/util/cpu_time.c (added) * vis_dev/glu-2.1/src/util/datalimit.c (added) * vis_dev/glu-2.1/src/util/getopt.c (added) * vis_dev/glu-2.1/src/util/pathsearch.c (added) * vis_dev/glu-2.1/src/util/prtime.c (added) * vis_dev/glu-2.1/src/util/qsort.c (added) * vis_dev/glu-2.1/src/util/random.c (added) * vis_dev/glu-2.1/src/util/safe_mem.c (added) * vis_dev/glu-2.1/src/util/strsav.c (added) * vis_dev/glu-2.1/src/util/texpand.c (added) * vis_dev/glu-2.1/src/util/tmpfile.c (added) * vis_dev/glu-2.1/src/util/util.doc (added) * vis_dev/glu-2.1/src/util/util.h (added) * vis_dev/glu-2.1/src/util/util.make (added) * vis_dev/glu-2.1/src/var_set (added) * vis_dev/glu-2.1/src/var_set/var_set.c (added) * vis_dev/glu-2.1/src/var_set/var_set.doc (added) * vis_dev/glu-2.1/src/var_set/var_set.h (added) * vis_dev/glu-2.1/src/var_set/var_set.make (added) Ajout de glus pour dev VIS mod Mon, 28 Mar 2011 13:30:18 GMT syed [4] * cegar_dev/cegar/abstract_model (added) * cegar_dev/cegar/abstract_model/Concret_Main.v (added) * cegar_dev/cegar/abstract_model/Phi_1_and_Phi_2 (added) * cegar_dev/cegar/abstract_model/SATcnf_a1.cnf (added) * cegar_dev/cegar/abstract_model/debug_trace_abs (added) * cegar_dev/cegar/abstract_model/machine_concret.ctl (added) * cegar_dev/cegar/abstract_model/machine_concret.fair (added) * cegar_dev/cegar/abstract_model/machine_concret.v (added) * cegar_dev/cegar/abstract_model/machine_concret1_Abs1.v (added) * cegar_dev/cegar/abstract_model/main_abstract.fair (added) * cegar_dev/cegar/abstract_model/main_abstract.mv (added) * cegar_dev/cegar/abstract_model/main_abstract.v (added) * cegar_dev/cegar/abstract_model/param_abs_cegar_1 (added) * cegar_dev/cegar/concrete_model (added) * cegar_dev/cegar/concrete_model/SATcnf_c1.cnf (added) * cegar_dev/cegar/concrete_model/concret_main.mv (added) * cegar_dev/cegar/concrete_model/concret_main.v (added) * cegar_dev/cegar/concrete_model/debug_trace_crt (added) * cegar_dev/cegar/concrete_model/machine_concret.ctl (added) * cegar_dev/cegar/concrete_model/machine_concret.fair (added) * cegar_dev/cegar/concrete_model/machine_concret.v (added) * cegar_dev/cegar/main.c (modified) input files added Fri, 25 Mar 2011 17:05:57 GMT syed [3] * cegar_dev (added) * cegar_dev/cegar (added) * cegar_dev/cegar/Makefile (added) * cegar_dev/cegar/main.c (added) creation du repertoire et ajout main.c and Makefile