suzanne.soy/tock-mirror
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Commit Graph

  • a21fb263e9 Adjust quoting that autoconf warned about. master Adam Sampson 2011-08-10 12:42:19 +0000
  • 760baa710e Add TOCK_CHECK_CFLAGS for checking compiler flags. Adam Sampson 2011-08-10 12:37:47 +0000
  • a741719169 Use TOCK_ rather than AC_ prefix for m4 macros. Adam Sampson 2011-08-10 12:25:08 +0000
  • 2a2057683f Use -fwarn-incomplete-patterns instead of -simple-. Adam Sampson 2011-08-10 12:24:23 +0000
  • 77b5ac716b Don't remove the nasty GCC workaround... Adam Sampson 2011-08-10 12:02:05 +0000
  • d9856814aa Remove support for GHC versions < 6.12. Adam Sampson 2011-08-10 11:52:03 +0000
  • 97e6031d0c Touch Haskell programs after ghc --makeing them. Adam Sampson 2011-07-21 14:59:29 +0000
  • 0db99b03c4 Use sed with multiple -es, rather than multiple seds. Adam Sampson 2011-07-21 14:55:32 +0000
  • 913aeadd01 Use setjmp to implement occam_stop in rangetest. Adam Sampson 2011-07-21 14:34:01 +0000
  • 2c4ccfbf39 Update all the copyright notices. Adam Sampson 2011-07-21 11:38:13 +0000
  • 88daedb1c5 Fix copyright notice format. Adam Sampson 2011-07-21 11:19:15 +0000
  • 3e42a3956b Remove config_sources on distclean, not clean. Adam Sampson 2011-07-21 10:15:38 +0000
  • e40226ce02 Make Tock work with QuickCheck 2.1.0.3. Adam Sampson 2011-07-21 09:51:54 +0000
  • 75d4684a1d Remove the obj directory in a less complicated way. Adam Sampson 2011-07-20 15:21:38 +0000
  • 1555d0f5eb Port to use QuickCheck 2. Adam Sampson 2011-07-20 15:10:10 +0000
  • 763ba7108e Test genNumsToTotal by using it to generate a datatype. Adam Sampson 2011-07-20 15:08:54 +0000
  • 6a047982a3 TestMain should export main. Adam Sampson 2011-07-20 15:07:29 +0000
  • 19b432796b Fix misleading comment. Adam Sampson 2011-07-20 11:04:00 +0000
  • 476906f5be Qualify "empty". Adam Sampson 2011-07-20 09:54:20 +0000
  • 97625082ea Add a couple of missing imports to the Alloy example. Adam Sampson 2011-07-19 15:02:31 +0000
  • ca1bbbfa47 -XImpredicativeTypes is only available on GHC 6.10+. Adam Sampson 2010-04-10 21:46:34 +0000
  • b006500274 Simplify the GHC version logic a bit. Adam Sampson 2010-04-10 21:37:51 +0000
  • b5fd2707e2 Fix SYB package name detection for older GHC. Adam Sampson 2010-04-10 21:11:51 +0000
  • 424810f464 Fixed the build system to allow compilation with GHC 6.12 Neil Brown 2010-04-10 19:41:48 +0000
  • b6a2ed798e Added the option to use ImpredicativeTypes Neil Brown 2010-04-10 19:41:09 +0000
  • fe1ef8f6f5 Tidied up a use of impredicative types Neil Brown 2010-04-10 19:40:54 +0000
  • f12f0f9219 Stopped using StringConstr, which has been removed from the latest version of syb Neil Brown 2010-04-10 19:40:35 +0000
  • 7b80564828 Removed all uses of rec, which seems to be a reserved word these days Neil Brown 2010-04-10 19:39:54 +0000
  • c0e2e9c401 Improved the commenting on the flow algorithm stuff and fixed a bug in the implicit mobility Neil Brown 2009-08-19 17:00:12 +0000
  • 728fa5f328 Fixed up the implicit mobility to work with oak (but needs some more work to make sure normal mobility still functions) Neil Brown 2009-05-27 18:01:03 +0000
  • c92af101ef Added a function for joining together two GraphFuncs for flow analysis Neil Brown 2009-05-27 13:42:46 +0000
  • e7412d0721 Fixed a problem where variables used in calls to intrinsic PROCs weren't being recorded properly Neil Brown 2009-05-27 13:42:13 +0000
  • 0efe1c856b Fixed various things in the implicit mobility Neil Brown 2009-05-22 21:58:10 +0000
  • 677d78a229 Added a line to handle some missing cases in ShowCode Neil Brown 2009-05-22 21:57:17 +0000
  • 734685d715 Fixed genOverArray to be okay with mobile arrays Neil Brown 2009-05-22 21:57:00 +0000
  • f625019aec Added bits to the implicit mobility to stop things being used in parallel being moved Neil Brown 2009-05-22 17:23:05 +0000
  • 4f0ebbc672 Added a new setToMap function to Utils Neil Brown 2009-05-22 17:19:28 +0000
  • 014f83d65d Moved the extra parameters in the compiler commands so that the source file is always the last parameter Neil Brown 2009-05-22 17:13:10 +0000
  • ed63476ad7 Fixed strings passed on the command-line for defines Neil Brown 2009-05-19 13:28:39 +0000
  • 589a6380fb Fixed a couple of problems with the implicit mobility system Neil Brown 2009-05-19 12:58:49 +0000
  • 703bfe1afe Added better error messages for problems with C types in the backend Neil Brown 2009-05-19 12:58:22 +0000
  • 2c7fc86533 Fixed the processing of -D arguments on the command-line Neil Brown 2009-05-19 09:53:54 +0000
  • 9ec69aa8fb Twiddled some of the alloy documentation Neil Brown 2009-06-05 10:43:12 +0000
  • e528a144df More changes to the cabal file Neil Brown 2009-06-05 10:10:24 +0000
  • 7f5b141a35 Fixed the cabal file to work with the latest version of alloy Neil Brown 2009-06-05 09:56:14 +0000
  • 111c77b3b1 Renamed the cabal file to alloy Neil Brown 2009-06-05 09:38:49 +0000
  • af1e4b6b7f Added an EXIT intrinsic that's useful for profiling Neil Brown 2009-05-25 17:08:11 +0000
  • d98c5079ca Cleaned up all the warnings in Tock's code (most unused modules, or unused functions) Neil Brown 2009-05-19 09:05:38 +0000
  • 48e50938f7 Got the build system to use specific versions of some packages Neil Brown 2009-05-18 22:32:19 +0000
  • 3d4f16341f Made all the needed packages explicit, and added configure tests for all of them Neil Brown 2009-05-18 19:56:21 +0000
  • b70811926a Fixed some imports that were secretly causing a haskell98 package dependency Neil Brown 2009-05-18 19:55:59 +0000
  • 853a52cc00 Finished the name change from Polyplate to Alloy Neil Brown 2009-05-11 15:22:58 +0000
  • bee000b9c7 Renamed all the Polyplate files to Alloy Neil Brown 2009-05-11 10:47:29 +0000
  • bc917e1442 Added an Applicative-based function to PolyplateM and PolyplateMRoute, which seems to work Neil Brown 2009-05-06 13:02:51 +0000
  • 44eabe4baa Reworked Polyplate to have a simpler way of expressing opsets, and also simplified PolyplateM and PolyplateMRoute Neil Brown 2009-05-06 11:32:19 +0000
  • efa5c57fd0 Changed Polyplate to use a different system of ops-sets, that's looking quite nice Neil Brown 2009-05-05 17:48:20 +0000
  • aaa3ffe3f3 Fixed some of the clean rules (again?) Neil Brown 2009-05-05 17:47:59 +0000
  • 7f702aaca2 Fixed a few tocktest compilation failures Neil Brown 2009-04-21 12:25:04 +0000
  • f4eea82bb7 Fixed a bug where C. externals were turned into blocking calls, and B. externals were turned into normal external calls Neil Brown 2009-04-19 23:09:18 +0000
  • fcacdd3235 Turned csCurrentFile into a monad transformer variable, and added csCompilationHash to help in uniquifying names between files Neil Brown 2009-04-19 19:36:38 +0000
  • d29b5b67cf Got the tests compiling again after the changes to the AST for extended rendezvous Neil Brown 2009-04-19 17:34:36 +0000
  • d3f4bd587e Fixed the type-inference to work again with input from timers Neil Brown 2009-04-19 17:35:35 +0000
  • 13ce688271 Fixed the parser again for extended rendezvous Neil Brown 2009-04-19 17:29:43 +0000
  • cb4250b1b2 Implemented the SETAFF intrinsic Neil Brown 2009-04-19 17:29:20 +0000
  • b0ea943c72 Fixed the creation of the header define when there are characters such as dashes in the file name Neil Brown 2009-04-19 17:01:35 +0000
  • a48be18109 Fixed the parser on normal ALT guards, after the extended rendezvous change broke it Neil Brown 2009-04-19 17:01:11 +0000
  • 838de8a366 Corrected various test failures in the C backend Neil Brown 2009-04-19 15:01:00 +0000
  • 46f2fcd669 Allowed VAL and INITIAL abbreviations to define multiple names on one line Neil Brown 2009-04-19 16:28:14 +0000
  • 3a5565471f Added support for extended rendezvous throughout the compiler Neil Brown 2009-04-19 16:26:37 +0000
  • 41cf599ebe Fixed non-top-level records in the C backend Neil Brown 2009-04-19 13:22:24 +0000
  • 40e0399e4c A whole lot of changes, described in #101 that help with records and separate compilation Neil Brown 2009-04-18 21:35:26 +0000
  • 56e9609148 Fixed CHAN TYPE stuff not working properly in ShowCode Neil Brown 2009-04-18 21:34:14 +0000
  • 71fe50a0cc Made it so that if a RECORD is top-level, its copy PROC is too Neil Brown 2009-04-18 21:33:14 +0000
  • ac7f0dedf8 Stopped lib being stripped from filenames, which helps solve the old occam code that #USEs things that are now modules Neil Brown 2009-04-18 21:32:45 +0000
  • 7b41f44788 Fixed a problem with the usage checking when one half had BK and the other half had none Neil Brown 2009-04-18 21:26:57 +0000
  • b3fdb6e2df Fixed a typo on the newly added testcase Neil Brown 2009-04-18 21:26:15 +0000
  • a05facb7ad Cleared up a couple of remaining uses of SYB Neil Brown 2009-04-18 21:25:48 +0000
  • 48018a0acf Fixed up some of the backend passes tests (and corrected the pass itself) Neil Brown 2009-04-18 19:48:08 +0000
  • 823aa92edc Corrected some failures in OccamTypesTest Neil Brown 2009-04-18 19:22:13 +0000
  • 31322aa5f2 Fixed some of the test failures in PassTest Neil Brown 2009-04-18 19:11:57 +0000
  • d2705eaf0c Fixed 12 failures in ArrayUsageCheckTest by defining the occam operators Neil Brown 2009-04-18 18:13:40 +0000
  • aa7d6b9b44 Added a function for testing that defines all the occam built-in operators, which helped fix all the failures in OccamPasses Neil Brown 2009-04-18 18:09:20 +0000
  • 46b1b29e12 Moved some of the operators stuff out into its own module, and corrected ShowCode to display operators nicely Neil Brown 2009-04-18 21:03:12 +0000
  • 79c31ea201 Added a new test based on a failure in sdlraster Neil Brown 2009-04-18 20:42:03 +0000
  • 902570f6cd Fixed inferTypes so that it infers mobile allocations when it should Neil Brown 2009-04-18 20:08:50 +0000
  • f4ed82d8f4 Added back a line to Types that I recently removed, but which turns out to be needed Neil Brown 2009-04-18 20:08:09 +0000
  • 307b0f906f Added some missing bits to ShowCode Neil Brown 2009-04-18 20:07:58 +0000
  • 57ffc7bfa4 Split out a chunk of CompState into a CompOpts type for things that can be set on the command-line Neil Brown 2009-04-17 21:10:14 +0000
  • af3be945a4 Moved the dummy occamutl files to match my changes in occbuild Neil Brown 2009-04-17 21:04:49 +0000
  • 7dbff25b29 Moved csGlobalSizes to be a StateT on the appropriate backend pass Neil Brown 2009-04-17 19:29:50 +0000
  • 4ecc8077ce Realised that my optimisation for the usage checking had the condition the wrong way round Neil Brown 2009-04-17 19:27:41 +0000
  • 026eb737b6 Moved csTypeContext and csOperators to be StateT items in inferTypes, and moved the associated functions too Neil Brown 2009-04-17 19:05:42 +0000
  • 4c77c06db5 Moved csLocalNames to be solely within the occam parser, trimming CompState a bit Neil Brown 2009-04-17 19:05:01 +0000
  • 4ecf7c9298 Removed csAdditionalArgs in favour of using a StateT on the only pass that used it Neil Brown 2009-04-17 17:40:53 +0000
  • 378ef07893 Adjusted all the other modules to reflect the new change to CSM Neil Brown 2009-04-17 17:40:00 +0000
  • c0e2972717 Rejigged CSM to solve some problems with monad transformers Neil Brown 2009-04-17 17:39:23 +0000
  • 1df50519a9 Made the tests compile again Neil Brown 2009-04-17 18:50:02 +0000
  • 9141a21693 Fixed a problem with rangetest caused by an earlier change Neil Brown 2009-04-17 18:49:46 +0000
  • 3b1519e4d3 Fixed problems with passing MOBILE items to operators Neil Brown 2009-04-17 18:40:50 +0000
  • 40fc118c31 Fixed an inappropriate use of type equality that was causing problems with operators that return arrays Neil Brown 2009-04-17 18:31:11 +0000