Graham Nelson
|
baef97ff95
|
More on IE-0018
|
2023-05-07 08:16:48 +01:00 |
|
Graham Nelson
|
a011ec67b9
|
Fix for Jira bug I7-2341
|
2023-05-02 21:40:15 +01:00 |
|
Graham Nelson
|
95e613cd6a
|
Implemented IE-0018
|
2023-05-02 19:07:44 +01:00 |
|
Graham Nelson
|
3ea9ce725f
|
Second attempt to reconcile links
|
2022-04-28 17:37:28 +01:00 |
|
Graham Nelson
|
e3ca7dd3c1
|
Possible fix for navigation link issue between inform and inweb/intest
|
2022-04-28 17:20:06 +01:00 |
|
Graham Nelson
|
99c7394e81
|
Modernised inform.mkscript
|
2022-04-25 16:44:43 +01:00 |
|
Graham Nelson
|
a1aa7642e9
|
Documented and rounded out some debugging features
|
2022-04-18 15:46:46 +01:00 |
|
Graham Nelson
|
f9232cb45a
|
Improved test script for GenerateDiagnostics-G
|
2022-04-10 22:28:24 +01:00 |
|
Graham Nelson
|
45b53fca22
|
Fix for Mantis bug 2087
|
2022-04-07 10:43:01 +01:00 |
|
Graham Nelson
|
cba72a3537
|
Improved source website
|
2022-04-04 18:31:44 +01:00 |
|
Graham Nelson
|
c2b1504318
|
Divided codegen module into new modules pipeline and final
|
2021-08-10 11:01:03 +01:00 |
|
Graham Nelson
|
4cdb0d1d21
|
Completed work on the index module
|
2021-07-27 13:55:53 +01:00 |
|
Graham Nelson
|
edd07a3a55
|
Migrated In element
|
2021-06-09 22:20:23 +01:00 |
|
Graham Nelson
|
22ef7b5e51
|
Clarified interventions
|
2021-04-20 10:34:54 +01:00 |
|
Graham Nelson
|
2c0d5c6dda
|
Added redundant operations optimisation
|
2021-04-11 12:29:07 +01:00 |
|
Graham Nelson
|
7c27b94542
|
Finally completed draft of imperative definitions
|
2021-03-29 22:53:01 +01:00 |
|
Graham Nelson
|
1f14f0b155
|
Imperative definition families
|
2021-03-25 23:20:37 +00:00 |
|
Graham Nelson
|
6fa43d8caa
|
Improved tables and equations
|
2021-02-07 12:44:02 +00:00 |
|
Graham Nelson
|
b4a6775fa6
|
Reorganised the values module
|
2021-02-06 18:00:34 +00:00 |
|
Graham Nelson
|
43bbcdbaf4
|
Completed assertions module
|
2021-02-05 00:15:21 +00:00 |
|
Graham Nelson
|
180d254ca7
|
Tidying up calculus module
|
2020-09-02 23:24:10 +01:00 |
|
Graham Nelson
|
515b130748
|
Pared calculus module down to essential predicates only
|
2020-08-29 09:33:21 +01:00 |
|
Graham Nelson
|
b0c0bf87ea
|
Further post-fragmentation tidying
|
2020-08-27 15:50:24 +01:00 |
|
Graham Nelson
|
c4ae8922c2
|
Further reorganisation
|
2020-08-26 23:12:58 +01:00 |
|