Activity for Inferno C++ to Verilog
-
John Graley committed [r1024]
built and got through tests with C++03
-
docs update for gcc 4.8 and general fixes and work around bug in patch
-
one more fix
-
couple of fixes
-
allowed decision+link blocks and updated col no...
-
rename for clairty
-
very important
-
cold-coded normality wrapper
-
preparations for normality wrapper solution to ...
-
tidied up engine configuration and arranged for...
-
updated plan
-
removed awkward inheritance in links structs
-
AgentCommon API for combined decision and link
-
moved down the master keys check too - and adde...
-
first draft of RegionAgent and lots of notes, i...
-
some tidying and moved local key coupling check...
-
better doxygen comments for agents
-
agents specify their own appearance in graphs
-
PointerIs does not need abnormal context
-
sone fixes removing soft patterns
-
soft patterns begone!
-
made all soft patterns into agents, even the un...
-
got rid of most soft agents, only BuildContaine...
-
split out links comparison for evaluator and no...
-
Now returns true after all successful coupling ...
-
fix bug with passing a ref to a local
-
restructured coupling keys propogation in Engin...
-
removed pattern query crosschecks as not needed...
-
pattern query layer passing cross-checks
-
better pattern query mechanism introduced, prov...
-
Partial implementation of pattery query (incomp...
-
removed a redundant decision from sequence compare
-
MatchAny now uses evaluating functor rather tha...
-
remove unneeded line
-
exclude master nodes, add local match flag
-
added seen flag and tidied up a little
-
updated conjecture algorithm to use blocks
-
simplified conejcture API
-
Agent quetying now idempotent plus some tidying up
-
some const around CouplingMaps
-
agent query no longer needs to test coupling ma...
-
cleared away now-redundant Key classes and got ...
-
removed newly redundant can_key from agent quer...
-
DecidedQuery layer is now technically idempoten...
-
changes to replace keying
-
couplings tracking added to Engine and assertin...
-
removed conj from agents
-
do not pass empty ranges to conjecture
-
untangled conjecture accessors and modifiers fr...
-
renamed Agent search-side entry points to refle...
-
moved DecidedCompare and AbnormalCompare into E...
-
need to move to looser conjecture algo before c...
-
segued off to make the stopping (-q) more detai...
-
now fully link based but slow because the decis...
-
conjecture operations routed through AgentCommon
-
tidying up: always implement DCImpl and do pre-...
-
slight tidy-up
-
got stuff recurse restriction into links
-
added GetPath to walker
-
and back to sets again (TGODOY)
-
changed links to vector for now
-
more links remembering
-
clean up mess left by last checkin
-
Make uniquify not need declarations, so it will...
-
tidied up conversions-to-string
-
local node preserving varient
-
updated plan
-
added more links remembering and switched to Set
-
added all the links storing that will go in eas...
-
beginning to store linkages in a map so that th...
-
improve hit counting
-
factor of 2 speedup from early-outing from Simp...
-
fixed graph plotter after engine rework. Pleasi...
-
Made the boolean nodes be proper agents, update...
-
better checks for soft nodes that don't have re...
-
MatchAll no longer tries to choose a pattern fo...
-
tidying up
-
extracted Engine class from SR - it contains st...
-
seperated engine and abnormal compares
-
coupling keys now held by agents, not centrally
-
ready to remove central coupling_keys object
-
demonstrated the Couplings are reallu justy a b...
-
got Star agent to do its own coupling stuff
-
brought all abnormal context comparisons into l...
-
some tidyups around unusual recursions
-
fascinating study of all the recursions made ba...
-
apparently we didn't need to re-implement Itemi...
-
cleaned up SR, CR and slave Configure, and now ...
-
clearing the way for SR/CR/slave configure rework
-
got rid of Insert, Erase, WalkThingy()
-
removed all Insert and Erase patterns from steps
-
backed out all attempts to propogate keying thr...
-
fixed graphing of CR
-
better checks against keying intermediates, add...
-
slightly fewer Insert nodes
-
Only search for keys when we really need to, an...
-
Better-defined algorithms for propagating keys ...
-
Overlay keying now uses search agent to make de...
-
Added explicit propogation of keys from Overlay...
-
fix identigier name
