2018-12-05 Steven Eker * metaInterpreter.maude: added getNarrowingSearchResult/gotNarrowingSearchResult, getNarrowingSearchResultAndPath/gotNarrowingSearchResultAndPath 2018-11-29 Steven Eker * metaInterpreter.maude: getOneStepNarrow/gotOneStepNarrow -> getOneStepNarrowing/gotOneStepNarrowing 2018-11-28 Steven Eker * metaInterpreter.maude: changed narrowWithRule/narrowedWithRule to getOneStepNarrow/gotOneStepNarrow since we're not passing the label of a specific rule 2018-11-27 Steven Eker * metaInterpreter.maude: added narrowWithRule, narrowedWithRule 2018-11-13 Steven Eker * metaInterpreter.maude: make interpreter a ctor 2018-11-02 Steven Eker * metaInterpreter.maude: added applyRule/appliedRule (2 overloaded versions) ===================================Maude120=========================================== 2018-10-22 Steven Eker * metaInterpreter.maude: added parseQidList/parsedQidList 2018-10-16 Steven Eker * metaInterpreter.maude: added printTerm/printedTerm 2018-10-12 Steven Eker * metaInterpreter.maude: added gotVariantUnifier, gotDisjointVariantUnifier 2018-10-11 Steven Eker * metaInterpreter.maude: added getDisjointVariantUnifier, getVariantUnifier 2018-10-03 Steven Eker * metaInterpreter.maude: added RewriteCount to gotVariant 2018-09-28 Steven Eker * metaInterpreter.maude: added getVariant/gotVariant, noSuchResult (4 arg version) 2018-09-25 Steven Eker * metaInterpreter.maude: added getUnifier/gotUnifier, getDisjointUnifier/gotDisjointUnifier, noSuchResult (Bool version) 2018-09-17 Steven Eker * metaInterpreter.maude: added normlizeTerm/normalizedTerm 2018-09-14 Steven Eker * metaInterpreter.maude: added getMaximalAritySet/gotMaximalAritySet ===================================Maude119=========================================== 2018-08-17 Steven Eker * metaInterpreter.maude: added getKind/gotKind, getKinds/gotKinds added getGlbTypes/gotGlbTypes 2018-08-16 Steven Eker * metaInterpreter.maude: added compareTypes/comparedTypes deleted op-hook succSymbol 2018-08-14 Steven Eker * metaInterpreter.maude: added getLesserSorts/gotLesserSorts, getMaximalSorts/gotMaximalSorts, getMinimalSorts/gotMinimalSorts 2018-08-13 Steven Eker * prelude.maude: added upperCase(), lowerCase() 2018-08-09 Steven Eker * metaInterpreter.maude: added sorts InterpreterOption InterpreterOptionSet, and constant none; createInterpreter() now takes InterpreterOptionSet argument 2018-08-07 Steven Eker * metaInterpreter.maude: added getXmatch/gotXmatch 2018-08-06 Steven Eker * metaInterpreter.maude: added getMatch/gotMatch 2018-08-02 Steven Eker * metaInterpreter.maude: added getSearchResultAndPathMsg, gotSearchResultAndPathMsg 2018-07-31 Steven Eker * metaInterpreter.maude: updated decl for gotSearchResult() 2018-07-30 Steven Eker * main.cc (printHelp): add -show-pid (main): add -show-pid 2018-07-20 Steven Eker * metaInterpreter.maude: added getSearchResult() and gotSearchResult() messages added noSuchResultMsg() message 2018-07-19 Steven Eker * metaInterpreter.maude: use Type rather than Sort for return messages ===================================Maude118=========================================== 2018-05-30 Steven Eker * metaInterpreter.maude: added messages erewriteTerm() and erewroteTerm() 2018-05-18 Steven Eker * metaInterpreter.maude: added messages showView() and showingView() 2018-05-16 Steven Eker * metaInterpreter.maude: added messages insertView() and insertedView() ===================================Maude117=========================================== 2018-03-16 Steven Eker * Makefile.am (maude_LDADD): remove refs to MSCP10 2017-12-06 Steven Eker * main.cc (main): call setUsePromptsAnyway() in forceInteractive case ===================================Maude116=========================================== 2017-08-08 Steven Eker * prelude.maude: fmod LEXICAL: print -> printTokens to avoid confusion with print attribute in META-LEVEL 2017-08-04 Steven Eker * prelude.maude: added fmod LEXICAL 2017-08-01 Steven Eker * main.cc (main): call setUsePromptsAnyway() if our input is from a terminal * file.maude: deleted stdin, stdout, stderr from mod FILE 2017-07-28 Steven Eker * file.maude: don't use BOUND, added mod COMMON-MESSAGES added mod STD-STREAM 2017-07-26 Steven Eker * file.maude: added op-hooks for stdin, stdout, stderr 2017-07-25 Steven Eker * file.maude: added op-hooks for start, current, end, minusSymbol 2017-07-19 Steven Eker * file.maude: created 2017-07-17 Steven Eker * prelude.maude: added fmod BOUND; use it in fmod META-LEVEL ===================================Maude115=========================================== 2017-06-27 Steven Eker * smt.maude: removed comment about _divisible_ breaking CVC4 now we've made it bulletproof 2017-06-23 Steven Eker * Makefile.am (maude_LDADD): move $(YICES2_LIB) before tecla in the hope that tecla won't be able to access its symbols 2017-06-22 Steven Eker * Makefile.am (maude_LDADD): delete $(DLMALLOC_LIB) form link line; move $(YICES2_LIB) to the end 2017-06-20 Steven Eker * Makefile.am (maude_LDADD): added YICE2_LIB ===================================Maude114=========================================== 2017-05-25 Steven Eker * prelude.maude: update syntax for metaNarrowingApply() return values; reverted to {} for results; updated formatting; added projection functions for new constructors 2017-05-24 Steven Eker * prelude.maude: updated format attribute for assignment, and narrowing results 2017-05-22 Steven Eker * prelude.maude: added 6 operators and 4 sorts to support narrowing search path results; added metaNarrowingSearchPath() descent function 2017-05-19 Steven Eker * prelude.maude: updated decl for metaNarrowingSearch(), NarrowingSearchResult ctor 2017-05-02 Steven Eker * prelude.maude: remove the 1st Qid argument from metaNarrowingApply() 2017-04-26 Steven Eker * prelude.maude: added narrowing attribute to META-LEVEL ===================================Maude113=========================================== 2017-03-14 Steven Eker * prelude.maude: changed order of parameters in NarrowingSearchResult ctor to avoid ambiguity 2017-03-10 Steven Eker * prelude.maude: added projection functions for NarrowingSearchResult 2017-02-06 Steven Eker * prelude.maude: revert to NarrowingSearchResult, but this time use a 5 tuple to avoid a kind clash 2017-02-03 Steven Eker * prelude.maude: added sorts NarrowingSearchResult, NarrowingSearchResult?; ctors {_,_,_,_}, failure, failureIncomplete, descent function metaNarrowingSearch() Use Result4Tuple in place of NarrowingSearchResult ===================================Maude111b=========================================== 2016-12-13 Steven Eker * prelude.maude: added projection functions for NarrowingResult 2016-12-12 Steven Eker * prelude.maude: added failureIncomplete for ResultTriple? 2016-12-09 Steven Eker * prelude.maude: switched args for NarrowingResult ctor added format for {_,_,_,_,_,_} 2016-11-23 Steven Eker * prelude.maude: added decls for metaNarrowingApply(); sorts NarrowingResult and NarrowingResult?, ctors failure, failureIncomplete and {_,_,_,_,_,_} 2016-10-28 Steven Eker * smt.maude: don't set include BOOLEAN on because it causes problems for modules that aren't expecting it. ===================================Maude111=========================================== 2016-04-27 Steven Eker * main.cc (main): added -print-to-stderr flag (printHelp): fix format in -always-advise line ===================================Maude110=========================================== 2016-01-29 Steven Eker * prelude.maude: update variant ctor; added Parent sort with none ctor ===================================Maude109=========================================== 2015-12-23 Steven Eker * main.cc (main): add a tie between cout and cerr so streams don't get out of sync on orion ===================================Maude108a=========================================== 2015-08-14 Steven Eker * prelude.maude: added constant noVariantIncomplete 2015-07-23 Steven Eker * prelude.maude: added two constants noUnifierIncomplete ===================================Maude108=========================================== 2014-10-28 Steven Eker * prelude.maude: updated decls for metaSmtSearch() and SmtResult ctor ===================================Maude105=========================================== 2014-09-22 Steven Eker * prelude.maude: added syntax for metaSmtSearch and its constructors 2014-08-15 Steven Eker * smt.maude: updated =/== and === hook syntax; commented out divisible breaks of CVC4 breakage 2014-08-14 Steven Eker * smt.maude: don't include BOOL; include BOOLEAN; use === and =/== in place of = and !=; use true and false in place of tt and ff ===================================Maude104=========================================== 2014-05-20 Steven Eker * prelude.maude: added metaCheck() 2014-05-01 Steven Eker * smt.maude: added modules INTEGER, REAL and REAL-INTEGER 2014-04-22 Steven Eker * Makefile.am (maude_LDADD): link in CVC4_LIB ===================================Maude103=========================================== 2014-03-03 Steven Eker * prelude.maude: added metaGetIrredundantVariant() 2014-02-26 Steven Eker * main.cc (main): added -always-advise (printHelp): added -always-advise ===================================Maude101=========================================== 2014-02-07 Steven Eker * main.cc (main): removed commented out code 2014-02-06 Steven Eker * prelude.maude: version number = 2.7 2014-01-31 Steven Eker * Makefile.am: moved mention of dlmalloc ===================================Maude100a=========================================== 2012-07-30 Steven Eker * prelude.maude: updated declarations for metaVariantUnify() and metaVariantDisjointUnify() 2012-07-20 Steven Eker * prelude.maude: metaGenerateVariant() replaced by metaGetVariant(); Term and Substitution arguments switched in meta variant ctor; added hood for emptyTermListSymbol ===================================Maude96a=========================================== 2012-05-03 Steven Eker * prelude.maude: added meta representation of variant attribute 2012-03-28 Steven Eker * prelude.maude: fix arity for metaGenerateVariant() 2012-03-08 Steven Eker * prelude.maude: added variant narrowing syntax and descent functions ===================================Maude96=========================================== 2010-07-13 Steven Eker * metaInterpreter.maude: added insertView/insertedView and showView/showingView ===================================Maude94a=========================================== 2010-05-18 Steven Eker * prelude.maude: split of Boolean operations into BOOL-OPS ===================================Maude93d2=========================================== 2010-05-05 Steven Eker * prelude.maude: added projection functions for meta-views 2009-08-11 Steven Eker * prelude.maude: op mappings don't take AttrSets 2009-08-07 Steven Eker * prelude.maude: added upView() 2009-08-06 Steven Eker * prelude.maude: added fmod META-VIEW 2009-08-05 Steven Eker * metaIntepreter.maude: added showModule/showingModule messages 2008-12-22 Steven Eker * prelude.maude: added TermQid to fix lub problem - Variable and Constant had multiple minimal upper bounds ===================================Maude92=========================================== 2008-08-26 Steven Eker * prelude.maude: added operator for print attribute 2008-01-22 Steven Eker * prelude.maude: added Bool arg to the XG specific version of metaNarrow ===================================Maude90=========================================== 2007-12-04 Steven Eker * prelude.maude: added a failure operator for ResultPair? added 5 arg version of metaNarrow 2007-11-19 Steven Eker * prelude.maude: metaXunify()/metaDisjointXunify() deleted; metaNarrow() added ===================================Maude89h=========================================== 2007-06-27 Steven Eker * prelude.maude: added metaXunify(), metaDisjointXunify() and associated declarations 2007-06-19 Steven Eker * prelude.maude: add UnificationProblem constructors; use for metaUnify() and metaDisjointUnify() 2007-06-14 Steven Eker * prelude.maude: added UnificationPair and ctors; updated decl for metaUnify() 2007-06-07 Steven Eker * prelude.maude: added UnificationTriple and ctors ===================================Maude89c=========================================== 2007-03-14 Steven Eker * main.cc (main): call checkForPending() if the -no-prelude flag given since we won't hit a top level EOF to check for them otherwise; this fixes a bug where we were ignoring command line files if -no-prelude flag given 2007-01-17 Steven Eker * prelude.maude: moved set include BOOL on to after last module; added syntax for metaUnify() ===================================Maude88d=========================================== 2006-11-20 Steven Eker * prelude.maude: rm getHeader() since this doesn't make sense with theories 2006-11-16 Steven Eker * prelude.maude: added getHeader() and redefined getName(); modified other projection functions so that they work with parameterized modules 2006-11-14 Steven Eker * prelude.maude: added min() and max() for Float ===================================Maude88c=========================================== 2006-11-13 Steven Eker * model-checker.maude: change protecting to including for SATISFACTION and LTL in MODEL-CHECKER 2006-11-07 Steven Eker * model-checker.maude: many minor changes recommended by Jose 2006-10-20 Steven Eker * model-checker.maude: changed importation modes 2006-10-19 Steven Eker * socket.maude: minor clean up * machine-int.maude: minor clean up * linear.maude: minor clean up * model-checker.maude: changed some importation modes * prelude.maude: added protecting BOOL to a number of modules; use set include BOOL on/off ===================================Maude88b=========================================== 2006-10-06 Steven Eker * main.cc: moved here and cleaned up ===================================Maude88a===========================================