aboutsummaryrefslogtreecommitdiffstats
path: root/mps/code/check.h (follow)
Commit message (Expand)AuthorAgeFilesLines
* Fix indentation of second clause of license.Gareth Rees2020-08-301-3/+3
* Use https: instead of http: when linking to the ravenbrook web site.Gareth Rees2020-08-301-1/+1
* Publish licence updates in code directory.Peter Jackson2020-06-111-31/+19
* Use tags with dots; regularize design references from code.Gareth Rees2018-11-291-3/+3
* Remove undocumented plinth function mps_lib_assert_fail_expr and rewrite asse...Gareth Rees2017-03-041-5/+6
* Avoid using "class" as an identifier, since tools like lldb parse expressions...Richard Brooksby2016-04-191-13/+13
* Using the address of the class as its id as a step to eliminating classdef.h.Richard Brooksby2016-04-191-2/+2
* Improving documentation in response to review by gdr.Richard Brooksby2016-04-191-2/+2
* Discard_exp does not avoid warnings in hot builds, so removing if for now.Richard Brooksby2016-04-121-2/+2
* Checking that classes are the right kind using signatures.Richard Brooksby2016-04-111-0/+4
* Implementing mustbea_critical and elision of mustbea assertions in different ...Richard Brooksby2016-04-111-9/+27
* Generating type-safe functions for getting and setting the class of instances.Richard Brooksby2016-04-081-1/+1
* Implementing isa, mustbea, couldbea, and reshaping the land classes to put th...Richard Brooksby2016-04-081-2/+2
* Renaming protocolinst to inst and protocolclass to instclass to make naming c...Richard Brooksby2016-04-081-1/+1
* Adding class-based checking macros.Richard Brooksby2016-04-081-12/+39
* Bring ring design up to date (excepting figures).Gareth Rees2014-09-271-4/+4
* Remove "todo: checkleveldeep asserts on arena creation with bootstrapping pro...Gareth Rees2014-04-071-5/+2
* Avoid expanding __file__ in aver in pelles c -- the compiler somehow loses it...Gareth Rees2014-03-261-1/+1
* Improve wording of comment.Gareth Rees2013-10-041-4/+4
* Use macro nonnegative so that we can keep asserting that values are >= 0 with...Gareth Rees2013-10-011-2/+15
* Catch-up merge from custom/cet/main to master.Richard Brooksby2013-05-241-2/+2
* Responding to nb's review of variety-reform.Richard Brooksby2012-09-061-12/+4
* Downgrading hot optimisation from -o3 to -o2.Richard Brooksby2012-09-051-1/+1
* Resolving fixmes.Richard Brooksby2012-09-031-11/+6
* Renaming varieties we to rash and di to diag. leaving ti alone as it will be...Richard Brooksby2012-09-031-1/+1
* Updating procedure for testing check macros to fit new variety scheme.Richard Brooksby2012-09-021-3/+3
* Adding fixme note about checkleveldeep not working.Richard Brooksby2012-09-011-0/+3
* Compiling with a static checking level by default, doubling the speed of the ...Richard Brooksby2012-09-011-15/+29
* Renaming some check* macros with more accurate names, making remaining check*...Richard Brooksby2012-09-011-21/+15
* Tidying up check.h and adding lots of design documentation.Richard Brooksby2012-09-011-124/+156
* Abolishing a bunch of varieties and reforming the hot variety to run about as...Richard Brooksby2012-09-011-27/+45
* Mps br/timing: (cosmetic):Richard Kistruck2008-11-241-2/+2
* Mps sort out baroque check macros (mainly config.h and check.h)Richard Kistruck2006-12-131-24/+37
* Changing global graphics copyright notice to say "portions copyright" to avoi...Richard Brooksby2002-06-181-1/+1
* Merging branch mps/2002-05-22/open-source-prep.Richard Brooksby2002-06-181-5/+47
|\
| * Eliminating "impl" type tags and replacing them with uri-style file references.Richard Brooksby2002-06-071-3/+3
| * Updating cross references to design documents to html style, to go with maste...Richard Brooksby2002-06-071-2/+2
| * Adding forward reference to licenses from copyright notices.Richard Brooksby2002-06-061-1/+1
| * Adding licenses to source code files.Richard Brooksby2002-06-061-0/+42
* | Integrate changes from global graphics.Nick Barnes2002-06-181-58/+30
|/
* Remove trailing whitespace.Nick Barnes2001-12-171-1/+1
* Removing hopenames from the master sources.Richard Brooksby2001-12-071-1/+0
* Adding hopenames back into the master sources, so that they can be included i...Richard Brooksby2001-12-061-0/+1
* Updating copyright messages to say copyright 2001 ravenbrook throughout.Richard Brooksby2001-12-051-1/+1
* Changing hopename keywords to id keywords throughout, to work with perforce.Richard Brooksby2001-12-051-1/+1
* Merging changes from union to masters. this incorporates pekka's updates: tu...Richard Brooksby2001-12-051-1/+1
* Branch imports for masters.Nick Barnes2001-10-311-0/+279