Graham Nelson
|
e24f84f32f
|
Fix for Jira bug I7-2197
|
2022-08-30 09:57:23 +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
|
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
|
2cd7b9b221
|
Improved performance of propertyvalue slightly
|
2021-10-18 14:53:36 +01:00 |
|
Graham Nelson
|
c2b1504318
|
Divided codegen module into new modules pipeline and final
|
2021-08-10 11:01:03 +01:00 |
|
Graham Nelson
|
356fd835b7
|
Before rearranging source
|
2021-06-22 20:37:53 +01:00 |
|
Graham Nelson
|
27787a3473
|
Divided up and simplified kind compilation
|
2021-05-15 23:31:42 +01:00 |
|
Graham Nelson
|
4f35032e81
|
Finished reorganising relations for now
|
2021-05-12 21:59:43 +01:00 |
|
Graham Nelson
|
c703a94d0a
|
Started in on runtime relations
|
2021-05-12 10:47:14 +01:00 |
|
Graham Nelson
|
22ef7b5e51
|
Clarified interventions
|
2021-04-20 10:34:54 +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
|
c3260f05ed
|
Completed revision of the knowledge module
|
2021-02-19 00:21:55 +00:00 |
|
Graham Nelson
|
1ed86c4c4e
|
Simplified property structure
|
2021-02-18 10:26:57 +00:00 |
|
Graham Nelson
|
3c680789e5
|
Began refactoring properties
|
2021-02-17 23:32:04 +00:00 |
|
Graham Nelson
|
ef7803a29a
|
Precautionary commit
|
2021-02-14 16:46:14 +00:00 |
|
Graham Nelson
|
b2a5a56317
|
Finished reorganising subjects
|
2021-02-12 13:33:19 +00:00 |
|
Graham Nelson
|
ce1f8291b9
|
Began work on knowledge module
|
2021-02-09 21:27:52 +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
|
7f4507efe5
|
Completed work on calculus module
|
2021-02-04 16:35:45 +00:00 |
|
Graham Nelson
|
e0a25411c8
|
Completed refactor of binary predicates
|
2021-02-02 13:55:27 +00:00 |
|
Graham Nelson
|
edadedbd82
|
Divided off more of run-time implementation
|
2021-02-01 23:24:17 +00:00 |
|
Graham Nelson
|
fb20b90d54
|
Further relation refactoring
|
2021-01-31 23:44:57 +00:00 |
|
Graham Nelson
|
ccf70137ca
|
Further tidying of bp structure
|
2021-01-31 16:19:25 +00:00 |
|
Graham Nelson
|
b989cd1d80
|
Catching back up
|
2021-01-31 14:57:05 +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 |
|