https://sourceforge.net/p/inferno-cpp2v/activity/Recent activity for Inferno C++ to VerilogenTue, 07 Aug 2018 19:18:34 -0000https://sourceforge.net/p/inferno-cpp2v/code/1024/built and got through tests with C++03John GraleyTue, 07 Aug 2018 19:18:34 -0000https://sourceforge.net/p/inferno-cpp2v/code/1024/https://sourceforge.net/p/inferno-cpp2v/code/1023/docs update for gcc 4.8 and general fixes and work around bug in patchJohn GraleyTue, 07 Aug 2018 19:00:40 -0000https://sourceforge.net/p/inferno-cpp2v/code/1023/https://sourceforge.net/p/inferno-cpp2v/code/1022/one more fixJohn GraleyWed, 07 Oct 2015 19:57:59 -0000https://sourceforge.net/p/inferno-cpp2v/code/1022/https://sourceforge.net/p/inferno-cpp2v/code/1021/couple of fixesJohn GraleyWed, 07 Oct 2015 19:56:55 -0000https://sourceforge.net/p/inferno-cpp2v/code/1021/https://sourceforge.net/p/inferno-cpp2v/code/1020/allowed decision+link blocks and updated col no...John GraleyWed, 07 Oct 2015 19:53:32 -0000https://sourceforge.net/p/inferno-cpp2v/code/1020/https://sourceforge.net/p/inferno-cpp2v/code/1019/rename for clairtyJohn GraleyTue, 06 Oct 2015 07:51:11 -0000https://sourceforge.net/p/inferno-cpp2v/code/1019/https://sourceforge.net/p/inferno-cpp2v/code/1018/very importantJohn GraleySun, 04 Oct 2015 19:21:29 -0000https://sourceforge.net/p/inferno-cpp2v/code/1018/https://sourceforge.net/p/inferno-cpp2v/code/1017/cold-coded normality wrapperJohn GraleySun, 04 Oct 2015 19:11:10 -0000https://sourceforge.net/p/inferno-cpp2v/code/1017/https://sourceforge.net/p/inferno-cpp2v/code/1016/preparations for normality wrapper solution to ...John GraleySun, 04 Oct 2015 14:42:11 -0000https://sourceforge.net/p/inferno-cpp2v/code/1016/https://sourceforge.net/p/inferno-cpp2v/code/1015/tidied up engine configuration and arranged for...John GraleyFri, 02 Oct 2015 19:41:20 -0000https://sourceforge.net/p/inferno-cpp2v/code/1015/https://sourceforge.net/p/inferno-cpp2v/code/1014/updated planJohn GraleyWed, 30 Sep 2015 20:08:03 -0000https://sourceforge.net/p/inferno-cpp2v/code/1014/https://sourceforge.net/p/inferno-cpp2v/code/1013/removed awkward inheritance in links structsJohn GraleyWed, 30 Sep 2015 19:42:00 -0000https://sourceforge.net/p/inferno-cpp2v/code/1013/https://sourceforge.net/p/inferno-cpp2v/code/1012/AgentCommon API for combined decision and linkJohn GraleyWed, 30 Sep 2015 19:30:30 -0000https://sourceforge.net/p/inferno-cpp2v/code/1012/https://sourceforge.net/p/inferno-cpp2v/code/1011/moved down the master keys check too - and adde...John GraleyWed, 30 Sep 2015 18:18:43 -0000https://sourceforge.net/p/inferno-cpp2v/code/1011/https://sourceforge.net/p/inferno-cpp2v/code/1010/first draft of RegionAgent and lots of notes, i...John GraleyTue, 29 Sep 2015 20:04:55 -0000https://sourceforge.net/p/inferno-cpp2v/code/1010/https://sourceforge.net/p/inferno-cpp2v/code/1009/some tidying and moved local key coupling check...John GraleyTue, 29 Sep 2015 18:45:33 -0000https://sourceforge.net/p/inferno-cpp2v/code/1009/https://sourceforge.net/p/inferno-cpp2v/code/1008/better doxygen comments for agentsJohn GraleyMon, 28 Sep 2015 19:58:01 -0000https://sourceforge.net/p/inferno-cpp2v/code/1008/https://sourceforge.net/p/inferno-cpp2v/code/1007/agents specify their own appearance in graphsJohn GraleyFri, 25 Sep 2015 20:07:49 -0000https://sourceforge.net/p/inferno-cpp2v/code/1007/https://sourceforge.net/p/inferno-cpp2v/code/1006/PointerIs does not need abnormal contextJohn GraleyFri, 25 Sep 2015 19:13:27 -0000https://sourceforge.net/p/inferno-cpp2v/code/1006/https://sourceforge.net/p/inferno-cpp2v/code/1005/sone fixes removing soft patternsJohn GraleyFri, 25 Sep 2015 18:53:59 -0000https://sourceforge.net/p/inferno-cpp2v/code/1005/https://sourceforge.net/p/inferno-cpp2v/code/1004/soft patterns begone!John GraleyThu, 24 Sep 2015 18:24:31 -0000https://sourceforge.net/p/inferno-cpp2v/code/1004/https://sourceforge.net/p/inferno-cpp2v/code/1003/made all soft patterns into agents, even the un...John GraleyThu, 24 Sep 2015 18:06:48 -0000https://sourceforge.net/p/inferno-cpp2v/code/1003/https://sourceforge.net/p/inferno-cpp2v/code/1002/got rid of most soft agents, only BuildContaine...John GraleyWed, 23 Sep 2015 20:01:22 -0000https://sourceforge.net/p/inferno-cpp2v/code/1002/https://sourceforge.net/p/inferno-cpp2v/code/1001/split out links comparison for evaluator and no...John GraleyTue, 22 Sep 2015 20:17:28 -0000https://sourceforge.net/p/inferno-cpp2v/code/1001/https://sourceforge.net/p/inferno-cpp2v/code/1000/Now returns true after all successful coupling ...John GraleyTue, 22 Sep 2015 18:57:25 -0000https://sourceforge.net/p/inferno-cpp2v/code/1000/https://sourceforge.net/p/inferno-cpp2v/code/999/fix bug with passing a ref to a localJohn GraleyTue, 22 Sep 2015 18:24:44 -0000https://sourceforge.net/p/inferno-cpp2v/code/999/https://sourceforge.net/p/inferno-cpp2v/code/998/restructured coupling keys propogation in Engin...John GraleyMon, 21 Sep 2015 20:02:31 -0000https://sourceforge.net/p/inferno-cpp2v/code/998/https://sourceforge.net/p/inferno-cpp2v/code/997/removed pattern query crosschecks as not needed...John GraleyMon, 21 Sep 2015 17:56:47 -0000https://sourceforge.net/p/inferno-cpp2v/code/997/https://sourceforge.net/p/inferno-cpp2v/code/996/pattern query layer passing cross-checksJohn GraleyFri, 18 Sep 2015 20:03:19 -0000https://sourceforge.net/p/inferno-cpp2v/code/996/https://sourceforge.net/p/inferno-cpp2v/code/995/better pattern query mechanism introduced, prov...John GraleyFri, 18 Sep 2015 18:55:17 -0000https://sourceforge.net/p/inferno-cpp2v/code/995/https://sourceforge.net/p/inferno-cpp2v/code/994/Partial implementation of pattery query (incomp...John GraleyThu, 17 Sep 2015 19:57:56 -0000https://sourceforge.net/p/inferno-cpp2v/code/994/https://sourceforge.net/p/inferno-cpp2v/code/993/removed a redundant decision from sequence compareJohn GraleyTue, 15 Sep 2015 20:21:47 -0000https://sourceforge.net/p/inferno-cpp2v/code/993/https://sourceforge.net/p/inferno-cpp2v/code/992/MatchAny now uses evaluating functor rather tha...John GraleyFri, 11 Sep 2015 16:06:37 -0000https://sourceforge.net/p/inferno-cpp2v/code/992/https://sourceforge.net/p/inferno-cpp2v/code/991/remove unneeded lineJohn GraleyThu, 10 Sep 2015 17:48:13 -0000https://sourceforge.net/p/inferno-cpp2v/code/991/https://sourceforge.net/p/inferno-cpp2v/code/990/exclude master nodes, add local match flagJohn GraleyWed, 09 Sep 2015 20:02:02 -0000https://sourceforge.net/p/inferno-cpp2v/code/990/https://sourceforge.net/p/inferno-cpp2v/code/989/added seen flag and tidied up a littleJohn GraleyWed, 09 Sep 2015 18:39:37 -0000https://sourceforge.net/p/inferno-cpp2v/code/989/https://sourceforge.net/p/inferno-cpp2v/code/988/updated conjecture algorithm to use blocksJohn GraleySat, 05 Sep 2015 19:39:09 -0000https://sourceforge.net/p/inferno-cpp2v/code/988/https://sourceforge.net/p/inferno-cpp2v/code/987/simplified conejcture APIJohn GraleySat, 05 Sep 2015 16:33:22 -0000https://sourceforge.net/p/inferno-cpp2v/code/987/https://sourceforge.net/p/inferno-cpp2v/code/986/Agent quetying now idempotent plus some tidying upJohn GraleyFri, 04 Sep 2015 19:44:17 -0000https://sourceforge.net/p/inferno-cpp2v/code/986/https://sourceforge.net/p/inferno-cpp2v/code/985/some const around CouplingMapsJohn GraleyFri, 04 Sep 2015 18:15:33 -0000https://sourceforge.net/p/inferno-cpp2v/code/985/https://sourceforge.net/p/inferno-cpp2v/code/984/agent query no longer needs to test coupling ma...John GraleyFri, 04 Sep 2015 17:38:12 -0000https://sourceforge.net/p/inferno-cpp2v/code/984/https://sourceforge.net/p/inferno-cpp2v/code/983/cleared away now-redundant Key classes and got ...John GraleyFri, 17 Apr 2015 19:18:19 -0000https://sourceforge.net/p/inferno-cpp2v/code/983/https://sourceforge.net/p/inferno-cpp2v/code/982/removed newly redundant can_key from agent quer...John GraleyThu, 16 Apr 2015 18:34:58 -0000https://sourceforge.net/p/inferno-cpp2v/code/982/https://sourceforge.net/p/inferno-cpp2v/code/981/DecidedQuery layer is now technically idempoten...John GraleyWed, 08 Apr 2015 19:42:40 -0000https://sourceforge.net/p/inferno-cpp2v/code/981/https://sourceforge.net/p/inferno-cpp2v/code/980/changes to replace keyingJohn GraleyWed, 08 Apr 2015 19:03:31 -0000https://sourceforge.net/p/inferno-cpp2v/code/980/https://sourceforge.net/p/inferno-cpp2v/code/979/couplings tracking added to Engine and assertin...John GraleyWed, 08 Apr 2015 17:27:41 -0000https://sourceforge.net/p/inferno-cpp2v/code/979/https://sourceforge.net/p/inferno-cpp2v/code/978/removed conj from agentsJohn GraleySat, 04 Apr 2015 16:38:55 -0000https://sourceforge.net/p/inferno-cpp2v/code/978/https://sourceforge.net/p/inferno-cpp2v/code/977/do not pass empty ranges to conjectureJohn GraleySat, 04 Apr 2015 16:08:59 -0000https://sourceforge.net/p/inferno-cpp2v/code/977/https://sourceforge.net/p/inferno-cpp2v/code/976/untangled conjecture accessors and modifiers fr...John GraleyFri, 03 Apr 2015 20:00:14 -0000https://sourceforge.net/p/inferno-cpp2v/code/976/https://sourceforge.net/p/inferno-cpp2v/code/975/renamed Agent search-side entry points to refle...John GraleyThu, 02 Apr 2015 19:05:45 -0000https://sourceforge.net/p/inferno-cpp2v/code/975/https://sourceforge.net/p/inferno-cpp2v/code/974/moved DecidedCompare and AbnormalCompare into E...John GraleyWed, 25 Mar 2015 20:13:19 -0000https://sourceforge.net/p/inferno-cpp2v/code/974/https://sourceforge.net/p/inferno-cpp2v/code/973/need to move to looser conjecture algo before c...John GraleyTue, 24 Mar 2015 20:55:31 -0000https://sourceforge.net/p/inferno-cpp2v/code/973/https://sourceforge.net/p/inferno-cpp2v/code/972/segued off to make the stopping (-q) more detai...John GraleySat, 21 Mar 2015 19:47:54 -0000https://sourceforge.net/p/inferno-cpp2v/code/972/https://sourceforge.net/p/inferno-cpp2v/code/971/now fully link based but slow because the decis...John GraleySat, 21 Mar 2015 17:46:32 -0000https://sourceforge.net/p/inferno-cpp2v/code/971/https://sourceforge.net/p/inferno-cpp2v/code/970/conjecture operations routed through AgentCommonJohn GraleySat, 21 Mar 2015 15:25:16 -0000https://sourceforge.net/p/inferno-cpp2v/code/970/https://sourceforge.net/p/inferno-cpp2v/code/969/tidying up: always implement DCImpl and do pre-...John GraleySat, 21 Mar 2015 14:30:49 -0000https://sourceforge.net/p/inferno-cpp2v/code/969/https://sourceforge.net/p/inferno-cpp2v/code/968/slight tidy-upJohn GraleyFri, 20 Mar 2015 20:05:50 -0000https://sourceforge.net/p/inferno-cpp2v/code/968/https://sourceforge.net/p/inferno-cpp2v/code/967/got stuff recurse restriction into linksJohn GraleyFri, 20 Mar 2015 19:03:08 -0000https://sourceforge.net/p/inferno-cpp2v/code/967/https://sourceforge.net/p/inferno-cpp2v/code/966/added GetPath to walkerJohn GraleyThu, 19 Mar 2015 19:17:14 -0000https://sourceforge.net/p/inferno-cpp2v/code/966/https://sourceforge.net/p/inferno-cpp2v/code/965/and back to sets again (TGODOY)John GraleyThu, 19 Mar 2015 18:34:59 -0000https://sourceforge.net/p/inferno-cpp2v/code/965/https://sourceforge.net/p/inferno-cpp2v/code/964/changed links to vector for nowJohn GraleyTue, 17 Mar 2015 18:37:28 -0000https://sourceforge.net/p/inferno-cpp2v/code/964/https://sourceforge.net/p/inferno-cpp2v/code/963/more links rememberingJohn GraleySat, 14 Mar 2015 19:26:25 -0000https://sourceforge.net/p/inferno-cpp2v/code/963/https://sourceforge.net/p/inferno-cpp2v/code/962/clean up mess left by last checkinJohn GraleySat, 14 Mar 2015 18:00:42 -0000https://sourceforge.net/p/inferno-cpp2v/code/962/https://sourceforge.net/p/inferno-cpp2v/code/961/Make uniquify not need declarations, so it will...John GraleySat, 14 Mar 2015 15:20:14 -0000https://sourceforge.net/p/inferno-cpp2v/code/961/https://sourceforge.net/p/inferno-cpp2v/code/960/tidied up conversions-to-stringJohn GraleySat, 14 Mar 2015 14:35:51 -0000https://sourceforge.net/p/inferno-cpp2v/code/960/https://sourceforge.net/p/inferno-cpp2v/code/959/local node preserving varientJohn GraleySat, 14 Mar 2015 11:57:12 -0000https://sourceforge.net/p/inferno-cpp2v/code/959/https://sourceforge.net/p/inferno-cpp2v/code/958/updated planJohn GraleyFri, 13 Mar 2015 20:55:52 -0000https://sourceforge.net/p/inferno-cpp2v/code/958/https://sourceforge.net/p/inferno-cpp2v/code/957/added more links remembering and switched to SetJohn GraleyFri, 13 Mar 2015 20:55:20 -0000https://sourceforge.net/p/inferno-cpp2v/code/957/https://sourceforge.net/p/inferno-cpp2v/code/956/added all the links storing that will go in eas...John GraleyFri, 13 Mar 2015 20:14:07 -0000https://sourceforge.net/p/inferno-cpp2v/code/956/https://sourceforge.net/p/inferno-cpp2v/code/955/beginning to store linkages in a map so that th...John GraleyThu, 12 Mar 2015 20:03:28 -0000https://sourceforge.net/p/inferno-cpp2v/code/955/https://sourceforge.net/p/inferno-cpp2v/code/954/improve hit countingJohn GraleySun, 08 Mar 2015 19:53:39 -0000https://sourceforge.net/p/inferno-cpp2v/code/954/https://sourceforge.net/p/inferno-cpp2v/code/953/factor of 2 speedup from early-outing from Simp...John GraleyWed, 04 Mar 2015 20:35:09 -0000https://sourceforge.net/p/inferno-cpp2v/code/953/https://sourceforge.net/p/inferno-cpp2v/code/952/fixed graph plotter after engine rework. Pleasi...John GraleyWed, 04 Mar 2015 20:11:25 -0000https://sourceforge.net/p/inferno-cpp2v/code/952/https://sourceforge.net/p/inferno-cpp2v/code/951/Made the boolean nodes be proper agents, update...John GraleyWed, 04 Mar 2015 19:35:42 -0000https://sourceforge.net/p/inferno-cpp2v/code/951/https://sourceforge.net/p/inferno-cpp2v/code/950/better checks for soft nodes that don't have re...John GraleyTue, 03 Mar 2015 19:18:25 -0000https://sourceforge.net/p/inferno-cpp2v/code/950/https://sourceforge.net/p/inferno-cpp2v/code/949/MatchAll no longer tries to choose a pattern fo...John GraleyTue, 03 Mar 2015 19:00:30 -0000https://sourceforge.net/p/inferno-cpp2v/code/949/https://sourceforge.net/p/inferno-cpp2v/code/948/tidying upJohn GraleyMon, 02 Mar 2015 20:11:20 -0000https://sourceforge.net/p/inferno-cpp2v/code/948/https://sourceforge.net/p/inferno-cpp2v/code/947/extracted Engine class from SR - it contains st...John GraleySat, 28 Feb 2015 20:25:03 -0000https://sourceforge.net/p/inferno-cpp2v/code/947/https://sourceforge.net/p/inferno-cpp2v/code/946/seperated engine and abnormal comparesJohn GraleySat, 28 Feb 2015 17:23:40 -0000https://sourceforge.net/p/inferno-cpp2v/code/946/https://sourceforge.net/p/inferno-cpp2v/code/945/coupling keys now held by agents, not centrallyJohn GraleySat, 28 Feb 2015 16:53:12 -0000https://sourceforge.net/p/inferno-cpp2v/code/945/https://sourceforge.net/p/inferno-cpp2v/code/944/ready to remove central coupling_keys objectJohn GraleySat, 28 Feb 2015 15:54:04 -0000https://sourceforge.net/p/inferno-cpp2v/code/944/https://sourceforge.net/p/inferno-cpp2v/code/943/demonstrated the Couplings are reallu justy a b...John GraleySat, 28 Feb 2015 15:15:12 -0000https://sourceforge.net/p/inferno-cpp2v/code/943/https://sourceforge.net/p/inferno-cpp2v/code/942/got Star agent to do its own coupling stuffJohn GraleySat, 28 Feb 2015 13:54:53 -0000https://sourceforge.net/p/inferno-cpp2v/code/942/https://sourceforge.net/p/inferno-cpp2v/code/941/brought all abnormal context comparisons into l...John GraleySat, 28 Feb 2015 12:03:11 -0000https://sourceforge.net/p/inferno-cpp2v/code/941/https://sourceforge.net/p/inferno-cpp2v/code/940/some tidyups around unusual recursionsJohn GraleyThu, 26 Feb 2015 20:58:45 -0000https://sourceforge.net/p/inferno-cpp2v/code/940/https://sourceforge.net/p/inferno-cpp2v/code/939/fascinating study of all the recursions made ba...John GraleyThu, 26 Feb 2015 19:51:01 -0000https://sourceforge.net/p/inferno-cpp2v/code/939/https://sourceforge.net/p/inferno-cpp2v/code/938/apparently we didn't need to re-implement Itemi...John GraleyThu, 26 Feb 2015 18:52:37 -0000https://sourceforge.net/p/inferno-cpp2v/code/938/https://sourceforge.net/p/inferno-cpp2v/code/937/cleaned up SR, CR and slave Configure, and now ...John GraleyWed, 25 Feb 2015 20:25:13 -0000https://sourceforge.net/p/inferno-cpp2v/code/937/https://sourceforge.net/p/inferno-cpp2v/code/936/clearing the way for SR/CR/slave configure reworkJohn GraleyWed, 25 Feb 2015 19:13:33 -0000https://sourceforge.net/p/inferno-cpp2v/code/936/https://sourceforge.net/p/inferno-cpp2v/code/935/got rid of Insert, Erase, WalkThingy()John GraleyWed, 25 Feb 2015 18:51:26 -0000https://sourceforge.net/p/inferno-cpp2v/code/935/https://sourceforge.net/p/inferno-cpp2v/code/934/removed all Insert and Erase patterns from stepsJohn GraleyTue, 24 Feb 2015 20:55:39 -0000https://sourceforge.net/p/inferno-cpp2v/code/934/https://sourceforge.net/p/inferno-cpp2v/code/933/backed out all attempts to propogate keying thr...John GraleyTue, 24 Feb 2015 19:25:59 -0000https://sourceforge.net/p/inferno-cpp2v/code/933/https://sourceforge.net/p/inferno-cpp2v/code/932/fixed graphing of CRJohn GraleyMon, 23 Feb 2015 19:50:58 -0000https://sourceforge.net/p/inferno-cpp2v/code/932/https://sourceforge.net/p/inferno-cpp2v/code/931/better checks against keying intermediates, add...John GraleyMon, 23 Feb 2015 19:29:58 -0000https://sourceforge.net/p/inferno-cpp2v/code/931/https://sourceforge.net/p/inferno-cpp2v/code/930/slightly fewer Insert nodesJohn GraleyMon, 23 Feb 2015 18:22:39 -0000https://sourceforge.net/p/inferno-cpp2v/code/930/https://sourceforge.net/p/inferno-cpp2v/code/929/Only search for keys when we really need to, an...John GraleySun, 22 Feb 2015 19:28:52 -0000https://sourceforge.net/p/inferno-cpp2v/code/929/https://sourceforge.net/p/inferno-cpp2v/code/928/Better-defined algorithms for propagating keys ...John GraleySun, 22 Feb 2015 19:12:17 -0000https://sourceforge.net/p/inferno-cpp2v/code/928/https://sourceforge.net/p/inferno-cpp2v/code/927/Overlay keying now uses search agent to make de...John GraleySun, 22 Feb 2015 18:44:45 -0000https://sourceforge.net/p/inferno-cpp2v/code/927/https://sourceforge.net/p/inferno-cpp2v/code/926/Added explicit propogation of keys from Overlay...John GraleySun, 22 Feb 2015 16:47:53 -0000https://sourceforge.net/p/inferno-cpp2v/code/926/https://sourceforge.net/p/inferno-cpp2v/code/925/fix identigier nameJohn GraleySun, 22 Feb 2015 13:56:59 -0000https://sourceforge.net/p/inferno-cpp2v/code/925/