integration with checking code
[IRC.git] / Robust / src / IR /
2006-09-08 bdemskyintegration with checking code
2006-09-07 bdemskychecking in changes
2006-09-06 bdemskychanges to runtime/etc to build in repair checking...
2006-08-31 bdemskyconsistency checking hooks added
2006-08-31 bdemskyadd constraint check nodes to flat representation
2006-08-30 bdemskyadding support for consistency checking
2006-08-23 bdemskycheck in checkpoint code
2006-08-21 bdemskymore runtime stuff
2006-08-16 bdemskychanges
2006-08-15 bdemskycheck in changes
2006-08-15 bdemskycheck in changes
2006-08-08 bdemskycommit changes
2006-08-07 bdemskyChanges checked in
2006-08-07 bdemskychange
2006-08-04 bdemskyrewrite flags in DNF form
2006-08-04 bdemskychanges
2006-08-03 bdemskychecked in changes
2006-08-02 bdemskyThis update generates partial code for tasks...
2006-08-01 bdemskyBug fixes
2006-07-31 bdemskyFixed lots of bugs with increment operations and +...
2006-07-29 bdemskychecked in changes
2006-07-28 bdemskyadded test script
2006-06-06 bdemskyCheckins
2006-05-19 bdemskyWrote callgraph.
2006-05-19 bdemskybug fixes
2006-05-18 bdemskyChecking in code to put flags into createobjectnodes
2006-05-17 bdemskyChanges to generate TaskExit
2006-05-17 bdemskyforgot to check this class in
2006-05-17 bdemskyCode to keep track of flags in flat ir
2006-05-16 bdemskymore changes
2006-05-16 bdemskyChanged inheritance to separate task/method descriptors...
2006-05-15 bdemskySemantic checks for tasks...Made the TaskDescriptor...
2006-05-15 bdemskyChecked in code to:
2006-05-10 bdemskychanges checked in
2006-05-10 bdemskyCode should build now
2006-05-09 bdemskytest
2006-05-09 bdemskyAdding taskexitnode
2006-05-09 bdemskyMany changes
2006-04-28 bdemsky*** empty log message ***
2006-04-25 bdemskychecking in code
2006-04-20 bdemskychanges
2006-04-15 bdemskyAdd support for tasks & flags
2006-04-13 bdemsky*** empty log message ***
2006-04-10 bdemskySupport for printing Strings!!!
2006-04-09 bdemskynada
2006-04-09 bdemskyArray support
2006-04-08 bdemskychanges
2006-04-07 bdemsky..
2006-04-07 bdemskyChecking in changes
2006-04-06 bdemskyFixed
2006-04-05 bdemskyAdd memory allocation
2006-04-05 bdemskyUpdates
2006-04-05 bdemskyChanges to allow multiple source files & library support
2006-04-04 bdemskySupport for Virtual Calls
2006-04-04 bdemskyStart to support for virtual calls
2006-04-03 bdemskyBug fixes and switches
2006-03-29 bdemskyFixed errors
2006-03-28 bdemskyChanges
2006-03-27 bdemskyChanges
2006-03-27 bdemskyChanges
2006-03-27 bdemskyChanges to build code
2006-03-13 bdemskymore code
2006-03-10 bdemskyadd new files for codegen
2006-03-10 bdemskychanges
2006-03-09 bdemskyFlatten fields in namenodes
2006-03-09 bdemskymore changes
2006-03-08 bdemskyFinish semantic checks
2006-03-04 bdemskya:w
2006-03-02 bdemskyFurther upgrades to semantic checker
2006-02-25 bdemskyupdates
2006-02-22 bdemskychecking in changes
2006-02-17 rootOpNodes
2006-02-17 rootOpNode
2006-02-17 rootbug fixes
2006-02-16 bdemskychanges
2006-02-16 bdemskyChecking in more flattening code.
2006-02-16 bdemskyFlat node classes
2006-02-16 bdemskyBug fixes
2006-02-16 bdemskychecking in changes
2006-02-16 bdemskyadding files
2006-02-16 bdemskyChanges
2006-02-15 bdemskyd
2006-02-15 bdemskyOther changes
2006-02-15 bdemskyAdd flatnode basetype
2006-02-15 bdemskyChange descriptors
2006-02-15 bdemskydd
2006-02-15 bdemskychecking in new files
2006-02-13 bdemskyRemoving file
2006-02-11 bdemskyChecking in updates
2006-02-11 bdemskyadd test case
2006-02-10 bdemskychanges`
2006-02-09 bdemskyadding/chaning many files
2006-02-09 bdemskyAdd Tree Directory
2006-02-09 bdemskyAdd State