Idris2-boot/tests/chez
Edwin Brady c0b7c6a9d8
Merge pull request #367 from cypheon/bugfix/ttc-bigint-unmarshalling
Fix unmarshalling of Integer values in TTC (Fixes: #345)
2020-05-19 19:38:15 +01:00
..
chez001 Add '--no-banner' option 2019-09-24 20:26:25 +06:00
chez002 Add '--no-banner' option 2019-09-24 20:26:25 +06:00
chez003 Add '--no-banner' option 2019-09-24 20:26:25 +06:00
chez004 Update Buffer+File libraries 2020-05-19 16:06:05 +01:00
chez005 Add '--no-banner' option 2019-09-24 20:26:25 +06:00
chez006 Add prettyName 2020-03-18 19:33:19 +00:00
chez007 Add '--no-banner' option 2019-09-24 20:26:25 +06:00
chez008 Add '--no-banner' option 2019-09-24 20:26:25 +06:00
chez009 Support UTF8 strings 2019-09-28 14:08:23 +01:00
chez010 Refactor makefiles to use some common options 2020-05-13 16:23:07 +06:00
chez011 Hack for optimising some enumerations 2020-05-11 18:10:08 +01:00
chez012 Added Data.IOArray 2020-01-30 17:04:33 +00:00
chez013 Merge branch 'master' into fix-makefiles 2020-05-13 16:25:15 +06:00
chez014 Fix building shared libraries with correct extensions 2020-05-12 20:34:49 +06:00
chez015 Fix expected values of arithmetic test 2020-05-15 15:48:57 +02:00
chez016 Update chez016 test to not rely on realpath 2020-05-09 23:19:38 +02:00
chez017 Fix tests/chez/chez017 test 2020-05-15 16:03:34 +06:00
chez018 Move file management to C support library 2020-05-12 22:35:14 +01:00
reg001 Shuffle some tests around 2020-04-21 12:03:49 +01:00