Page MenuHomeIsabelle/Phabricator
Feed All Transactions

All Transactions
Use Results
Edit Query

AuthorObjectTransactionDate
dcjmrPOLYMLb9e4e5128d56: Merge commit '196ac3bc7d11b43f488fb945077aac162144bd31'
dcjm committed rPOLYMLb9e4e5128d56: Merge commit '196ac3bc7d11b43f488fb945077aac162144bd31' (authored by dcjm). 
Jul 24 2020, 12:36 PM
dcjmrPOLYML0433fa46ab63: Remove PolyInterpretedCreateCallback since we're not supporting callbacks in…
dcjm committed rPOLYML0433fa46ab63: Remove PolyInterpretedCreateCallback since we're not supporting callbacks in… (authored by dcjm). 
Jul 24 2020, 12:29 PM
makariusrISABELLE17507b48b6f5: clarified errors: avoid accidental import from other session that happens to be…
makarius committed rISABELLE17507b48b6f5: clarified errors: avoid accidental import from other session that happens to be…. 
Jul 24 2020, 12:15 PM
Achim D. Brucker <adbrucker@0x5f.org>rAFP226cc9fd1567: Mostly improving theory format (adding line breaks) and added
Achim D. Brucker <adbrucker@0x5f.org> committed rAFP226cc9fd1567: Mostly improving theory format (adding line breaks) and added. 
Jul 24 2020, 12:07 PM
makariusrISABELLEba5b37671528: clarified signature;
makarius committed rISABELLEba5b37671528: clarified signature;. 
Jul 23 2020, 10:32 PM
dcjmrPOLYMLf569b0e3e8ed: Fixes, mainly with structs.
dcjm committed rPOLYMLf569b0e3e8ed: Fixes, mainly with structs. (authored by dcjm). 
Jul 23 2020, 7:54 PM
dcjmrPOLYML03439e5b3c54: Pass a vector of addresses to ffi_call rather than the arguments themselves.
dcjm committed rPOLYML03439e5b3c54: Pass a vector of addresses to ffi_call rather than the arguments themselves. (authored by dcjm). 
Jul 23 2020, 7:27 PM
dcjmrPOLYML32d30a3f8d98: Include a temporary version of RunCall.rtsCallFull4 because it isn't included…
dcjm committed rPOLYML32d30a3f8d98: Include a temporary version of RunCall.rtsCallFull4 because it isn't included… (authored by dcjm). 
Jul 23 2020, 6:05 PM
dcjmrPOLYML7977da2fa662: Tidy up to fix some issues.
dcjm committed rPOLYML7977da2fa662: Tidy up to fix some issues. (authored by dcjm). 
Jul 23 2020, 5:43 PM
dcjmrPOLYMLf91979dbb293: Raise an exception if FFI is not supported.
dcjm committed rPOLYMLf91979dbb293: Raise an exception if FFI is not supported. (authored by dcjm). 
Jul 23 2020, 5:40 PM
dcjmrPOLYMLdc3fe8d79cbb: Added support for foreign function calling.
dcjm committed rPOLYMLdc3fe8d79cbb: Added support for foreign function calling. (authored by dcjm). 
Jul 23 2020, 5:06 PM
lukasstevensSSH Key 6
lukasstevens created this key. 
Jul 23 2020, 3:40 PM
lukasstevensSSH Key 6
lukasstevens updated the public key material for this SSH key. 
Jul 23 2020, 3:40 PM
lukasstevensSSH Key 6
lukasstevens renamed this key from "" to "nixos-xps". 
Jul 23 2020, 3:40 PM
makariusrISABELLE11dc8929832d: clarified order --- proper sorting of requirements;
makarius committed rISABELLE11dc8929832d: clarified order --- proper sorting of requirements;. 
Jul 23 2020, 2:25 PM
makariusrISABELLEce844442e2ab: obsolete (see 9cde8c4ea5a5);
makarius committed rISABELLEce844442e2ab: obsolete (see 9cde8c4ea5a5);. 
Jul 23 2020, 11:48 AM
dcjmrPOLYML3078ee3a3193: Add initial support for FFI in interpreted version.
dcjm committed rPOLYML3078ee3a3193: Add initial support for FFI in interpreted version. (authored by dcjm). 
Jul 22 2020, 6:03 PM
dcjmrPOLYMLdaae1dd83d51: Merge branch 'CompileForeignCall' of https://github.com/dcjm/polyml into…
dcjm committed rPOLYMLdaae1dd83d51: Merge branch 'CompileForeignCall' of https://github.com/dcjm/polyml into… (authored by dcjm). 
Jul 22 2020, 5:46 PM
dcjmrPOLYML5f27082311fa: Add configure tests for libffi and ffi.h in case we're building the interpreted…
dcjm committed rPOLYML5f27082311fa: Add configure tests for libffi and ffi.h in case we're building the interpreted… (authored by dcjm). 
Jul 22 2020, 5:45 PM
dcjmrPOLYML27c401732751: Added Inet6Sock and removed NetHostDB. This brings it in line for polyml.pyp.
dcjm committed rPOLYML27c401732751: Added Inet6Sock and removed NetHostDB. This brings it in line for polyml.pyp. (authored by dcjm). 
Jul 22 2020, 3:25 PM
dcjmrPOLYML3136b9e2ad76: Rename the configurations to build the interpreted versions so Debug and…
dcjm committed rPOLYML3136b9e2ad76: Rename the configurations to build the interpreted versions so Debug and… (authored by dcjm). 
Jul 22 2020, 1:19 PM
dcjmrPOLYML9f1501d89010: Turn abiList into a function so it is only constructed when initGlobalEnv is…
dcjm committed rPOLYML9f1501d89010: Turn abiList into a function so it is only constructed when initGlobalEnv is… (authored by dcjm). 
Jul 22 2020, 12:53 PM
dcjmrPOLYML0e4a53fdf878: Another basis file that needs a different version after the compiler has been…
dcjm committed rPOLYML0e4a53fdf878: Another basis file that needs a different version after the compiler has been… (authored by dcjm). 
Jul 22 2020, 12:39 PM
dcjmrPOLYML595b0a71904d: Merge branch 'master' into AnotherPollBranch
dcjm committed rPOLYML595b0a71904d: Merge branch 'master' into AnotherPollBranch (authored by dcjm). 
Jul 22 2020, 11:39 AM
makariusrISABELLE25985d757b0a: tuned --- based on hints by IntelliJ;
makarius committed rISABELLE25985d757b0a: tuned --- based on hints by IntelliJ;. 
Jul 21 2020, 7:43 PM
makariusrISABELLEd0909b5d88eb: tuned signature;
makarius committed rISABELLEd0909b5d88eb: tuned signature;. 
Jul 21 2020, 7:40 PM
makariusrISABELLEefb7fd4a6d1f: subtle change of Theory_Data extend/merge semantics due to Theory.join_theory;
makarius mentioned this in T22: Discontinue obsolete Theory_Data.extend. 
Jul 21 2020, 12:52 PM
makariusT22: Discontinue obsolete Theory_Data.extend
makarius added a subscriber: makarius. 
Jul 21 2020, 12:52 PM
makariusT22: Discontinue obsolete Theory_Data.extend
makarius updated the task description. 
Jul 21 2020, 12:52 PM
makariusT22: Discontinue obsolete Theory_Data.extend
makarius created this task. 
Jul 21 2020, 12:52 PM
makariusT22: Discontinue obsolete Theory_Data.extend
makarius added an edge: rISABELLEefb7fd4a6d1f: subtle change of Theory_Data extend/merge semantics due to Theory.join_theory;. 
Jul 21 2020, 12:52 PM
makariusT22: Discontinue obsolete Theory_Data.extend
makarius created this object with edit policy "Task Author". 
Jul 21 2020, 12:52 PM
makariusT22: Discontinue obsolete Theory_Data.extend
makarius created this object with visibility "Public (No Login Required)". 
Jul 21 2020, 12:52 PM
makariusT22: Discontinue obsolete Theory_Data.extend
makarius triaged this task as Low priority. 
Jul 21 2020, 12:52 PM
makariusT22: Discontinue obsolete Theory_Data.extend
makarius created this task. 
Jul 21 2020, 12:52 PM
makariusrISABELLE0f2ff88f823e: updated to polyml-5.8.1 (official release);
makarius committed rISABELLE0f2ff88f823e: updated to polyml-5.8.1 (official release);. 
Jul 21 2020, 12:37 PM
dcjmrPOLYML382ffb7801c2: Merge branch 'master' into GCPercent
dcjm committed rPOLYML382ffb7801c2: Merge branch 'master' into GCPercent (authored by dcjm). 
Jul 21 2020, 9:49 AM
dcjmrPOLYML2fdff98984e6: Add Unix socket test. This was added in another branch.
dcjm committed rPOLYML2fdff98984e6: Add Unix socket test. This was added in another branch. (authored by dcjm). 
Jul 21 2020, 9:45 AM
dcjmrPOLYMLa7c1ad60d382: Rebuild to incorporate changes to Makefile.am.
dcjm committed rPOLYMLa7c1ad60d382: Rebuild to incorporate changes to Makefile.am. (authored by dcjm). 
Jul 21 2020, 9:38 AM
dcjmrPOLYMLd049d85ff591: Forgot to include this.
dcjm committed rPOLYMLd049d85ff591: Forgot to include this. (authored by dcjm). 
Jul 21 2020, 9:37 AM
dcjmrPOLYML659ee6b884d0: Move changed files now that the base version is 5.8.1.
dcjm committed rPOLYML659ee6b884d0: Move changed files now that the base version is 5.8.1. (authored by dcjm). 
Jul 21 2020, 9:36 AM
dcjmrPOLYMLb20f645a47d8: Update compiler version to 5.8.2 so that we pick up the correct files on…
dcjm committed rPOLYMLb20f645a47d8: Update compiler version to 5.8.2 so that we pick up the correct files on… (authored by dcjm). 
Jul 21 2020, 9:35 AM
dcjmrPOLYML183f259793cf: Merge branch 'master' into CompileForeignCall
dcjm committed rPOLYML183f259793cf: Merge branch 'master' into CompileForeignCall (authored by dcjm). 
Jul 21 2020, 9:24 AM
makariusrISABELLEefb7fd4a6d1f: subtle change of Theory_Data extend/merge semantics due to Theory.join_theory;
makarius mentioned this in Blog Post: Theory_Data extend operation is obsolete and needs to be the identity function. 
Jul 20 2020, 11:59 PM
makariusBlog Post: Theory_Data extend operation is obsolete and needs to be the identity function
makarius updated the post content. 
Jul 20 2020, 11:59 PM
makariusBlog Post: Theory_Data extend operation is obsolete and needs to be the identity function
makarius added an edge: rISABELLEefb7fd4a6d1f: subtle change of Theory_Data extend/merge semantics due to Theory.join_theory;. 
Jul 20 2020, 11:59 PM
makariusBlog Post: Theory_Data extend operation is obsolete and needs to be the identity function
makarius created this post. 
Jul 20 2020, 11:59 PM
makariusBlog Post: Theory_Data extend operation is obsolete and needs to be the identity function
makarius published this post. 
Jul 20 2020, 11:59 PM
makariusBlog Post: Theory_Data extend operation is obsolete and needs to be the identity function
makarius renamed this blog post from to Theory_Data extend operation is obsolete and needs to be the identity function. 
Jul 20 2020, 11:59 PM
makariusBlog Post: Theory_Data extend operation is obsolete and needs to be the identity function
makarius set this post's subtitle to "". 
Jul 20 2020, 11:59 PM
makariusrISABELLEefb7fd4a6d1f: subtle change of Theory_Data extend/merge semantics due to Theory.join_theory;
makarius committed rISABELLEefb7fd4a6d1f: subtle change of Theory_Data extend/merge semantics due to Theory.join_theory;. 
Jul 20 2020, 11:45 PM
dcjmrPOLYML15aba84a490d: Added Weak.touch to Weak structure documentation.
dcjm committed rPOLYML15aba84a490d: Added Weak.touch to Weak structure documentation. (authored by dcjm). 
Jul 20 2020, 11:39 PM
makariusrAFPc02eaed866dc: data extend is obsolete and should be identity;
makarius committed rAFPc02eaed866dc: data extend is obsolete and should be identity;. 
Jul 20 2020, 11:34 PM
makariusrISABELLE69880fdc8310: clarified -- avoid non-standard extend/merge;
makarius committed rISABELLE69880fdc8310: clarified -- avoid non-standard extend/merge;. 
Jul 17 2020, 8:35 PM
makariusrISABELLEf8d28617ea08: tuned -- avoid non-standard extend;
makarius committed rISABELLEf8d28617ea08: tuned -- avoid non-standard extend;. 
Jul 17 2020, 8:22 PM
makariusrISABELLEce3f26b4e790: clarified -- avoid non-standard extend/merge;
makarius committed rISABELLEce3f26b4e790: clarified -- avoid non-standard extend/merge;. 
Jul 17 2020, 7:10 PM
makariusrISABELLEb9f5f30b623f: proper session imports;
makarius committed rISABELLEb9f5f30b623f: proper session imports;. 
Jul 17 2020, 5:06 PM
makariusrISABELLEdeb390860f07: clarified -- avoid non-standard extend;
makarius committed rISABELLEdeb390860f07: clarified -- avoid non-standard extend;. 
Jul 17 2020, 3:13 PM
makariusrISABELLE6c75287276d5: tuned -- avoid non-standard extend/merge;
makarius committed rISABELLE6c75287276d5: tuned -- avoid non-standard extend/merge;. 
Jul 17 2020, 3:08 PM
makariusrISABELLE4ed33ea8d957: prefer conservative extend/merge of theory naming;
makarius committed rISABELLE4ed33ea8d957: prefer conservative extend/merge of theory naming;. 
Jul 17 2020, 2:56 PM
dcjmrPOLYML8d0dc1c68328: Updated pre-built compilers for 64-bit amd 32-in-64 Windows.
dcjm committed rPOLYML8d0dc1c68328: Updated pre-built compilers for 64-bit amd 32-in-64 Windows. (authored by dcjm). 
Jul 17 2020, 10:44 AM
dcjmrPOLYMLba0fcdf61920: Updated pre-built compilers for 32-bit native X86 and interpreted versions.
dcjm committed rPOLYMLba0fcdf61920: Updated pre-built compilers for 32-bit native X86 and interpreted versions. (authored by dcjm). 
Jul 17 2020, 10:12 AM
dcjmrPOLYML5d4bfda79793: Rebuild pre-built compilers for 64-bit SysV, 32-in-64 SysV and 64-bit…
dcjm committed rPOLYML5d4bfda79793: Rebuild pre-built compilers for 64-bit SysV, 32-in-64 SysV and 64-bit… (authored by dcjm). 
Jul 17 2020, 9:46 AM
dcjmrPOLYML6841e8bc8bd1: Rebuild configure with new release numbers.
dcjm committed rPOLYML6841e8bc8bd1: Rebuild configure with new release numbers. (authored by dcjm). 
Jul 17 2020, 9:29 AM
dcjmrPOLYML382085c5f04c: Update version numbers ready for release of 5.8.1.
dcjm committed rPOLYML382085c5f04c: Update version numbers ready for release of 5.8.1. (authored by dcjm). 
Jul 17 2020, 9:27 AM
makariusrISABELLE912f13865596: support native PID for ML process;
makarius committed rISABELLE912f13865596: support native PID for ML process;. 
Jul 16 2020, 10:24 PM
makariusrISABELLE438adb97d82c: merged
makarius committed rISABELLE438adb97d82c: merged. 
Jul 16 2020, 8:35 PM
makariusrISABELLEd4de7e4754d2: clarified theory data: more robust merge;
makarius committed rISABELLEd4de7e4754d2: clarified theory data: more robust merge;. 
Jul 16 2020, 8:34 PM
makariusrISABELLE18d35be9493f: proper import sessions;
makarius committed rISABELLE18d35be9493f: proper import sessions;. 
Jul 16 2020, 4:53 PM
makariusrISABELLEd3b8c8b2d1fc: more thorough extend/merge (for Theory.join_theory);
makarius committed rISABELLEd3b8c8b2d1fc: more thorough extend/merge (for Theory.join_theory);. 
Jul 16 2020, 4:48 PM
makariusrISABELLEb9e9ff3a1e1c: more thorough extend/merge (for Theory.join_theory);
makarius committed rISABELLEb9e9ff3a1e1c: more thorough extend/merge (for Theory.join_theory);. 
Jul 16 2020, 4:38 PM
makariusrISABELLEc386d1b77762: more thorough extend/merge (for Theory.join_theory);
makarius committed rISABELLEc386d1b77762: more thorough extend/merge (for Theory.join_theory);. 
Jul 16 2020, 4:00 PM
makariusrISABELLE2c7cfd2f9b6c: more thorough extend/merge, notably for master_dir across Theory.join_theory (e.
makarius committed rISABELLE2c7cfd2f9b6c: more thorough extend/merge, notably for master_dir across Theory.join_theory (e.. 
Jul 16 2020, 2:36 PM
makariusrISABELLEefd169aed4dc: more robust: avoid potential problems with encoding of directory name;
makarius committed rISABELLEefd169aed4dc: more robust: avoid potential problems with encoding of directory name;. 
Jul 16 2020, 11:43 AM
florian.haftmannrISABELLEb8bcdb884651: tuned grouping
florian.haftmann committed rISABELLEb8bcdb884651: tuned grouping. 
Jul 16 2020, 6:52 AM
florian.haftmannrISABELLE587d4681240c: yet another alias
florian.haftmann committed rISABELLE587d4681240c: yet another alias. 
Jul 16 2020, 6:52 AM
makariusrISABELLE7b112eedc859: more robust wrt. experimental changes in Poly/ML;
makarius committed rISABELLE7b112eedc859: more robust wrt. experimental changes in Poly/ML;. 
Jul 15 2020, 8:06 PM
makariusrISABELLEbc85d93aad23: more robust: handle unavailable statistics;
makarius committed rISABELLEbc85d93aad23: more robust: handle unavailable statistics;. 
Jul 15 2020, 5:10 PM
makariusrISABELLEc6756adfef0f: merged
makarius committed rISABELLEc6756adfef0f: merged. 
Jul 15 2020, 4:28 PM
makariusrISABELLE254c324f31fd: clarified user counters: expose tasks to external monitor;
makarius committed rISABELLE254c324f31fd: clarified user counters: expose tasks to external monitor;. 
Jul 15 2020, 4:10 PM
makariusrISABELLEaa6a36c730c9: proper platform path for Windows;
makarius committed rISABELLEaa6a36c730c9: proper platform path for Windows;. 
Jul 15 2020, 12:43 PM
makariusrISABELLEe48a5b6b7554: clarified signature;
makarius committed rISABELLEe48a5b6b7554: clarified signature;. 
Jul 15 2020, 12:30 PM
makariusrISABELLE25d5ef16401a: support for monitoring of external ML process;
makarius committed rISABELLE25d5ef16401a: support for monitoring of external ML process;. 
Jul 15 2020, 12:04 PM
makariusrISABELLE452073b64f28: clarified signature;
makarius committed rISABELLE452073b64f28: clarified signature;. 
Jul 15 2020, 11:56 AM
dcjmrPOLYML94c8208a89c8: Add a related check for offsets that could exceed a signed 32-bit value.
dcjm committed rPOLYML94c8208a89c8: Add a related check for offsets that could exceed a signed 32-bit value. (authored by dcjm). 
Jul 14 2020, 9:09 AM
dcjmrPOLYML0d77169373c6: Short constant index values can be put into the offset but leave larger and…
dcjm committed rPOLYML0d77169373c6: Short constant index values can be put into the offset but leave larger and… (authored by dcjm). 
Jul 14 2020, 9:07 AM
kleingrAFP8c7430699dc1: merge from afp-2020
kleing committed rAFP8c7430699dc1: merge from afp-2020. 
Jul 14 2020, 4:39 AM
kleingrAFPc645808bafa7: update maintenance docs
kleing committed rAFPc645808bafa7: update maintenance docs. 
Jul 14 2020, 4:38 AM
makariusrISABELLE70bfda10f597: more robust;
makarius committed rISABELLE70bfda10f597: more robust;. 
Jul 13 2020, 11:23 PM
makariusrISABELLEa25c7c686176: support for monitoring of external ML process;
makarius committed rISABELLEa25c7c686176: support for monitoring of external ML process;. 
Jul 13 2020, 11:10 PM
makariusrISABELLEb7cec26e41d1: clarified modules: ML_Statistics within bootstrap environment;
makarius committed rISABELLEb7cec26e41d1: clarified modules: ML_Statistics within bootstrap environment;. 
Jul 13 2020, 10:07 PM
makariusrISABELLEeece87547736: misc tuning and modernization;
makarius committed rISABELLEeece87547736: misc tuning and modernization;. 
Jul 13 2020, 9:20 PM
dcjmrPOLYMLc66cec192bdd: Modify test so that it works if int is IntInf.int.
dcjm committed rPOLYMLc66cec192bdd: Modify test so that it works if int is IntInf.int. (authored by dcjm). 
Jul 13 2020, 7:24 PM
florian.haftmannrAFPce2c72a0a05e: concatentation of bit values
florian.haftmann committed rAFPce2c72a0a05e: concatentation of bit values. 
Jul 13 2020, 5:23 PM
florian.haftmannrISABELLE08f1e4cb735f: concatentation of bit values
florian.haftmann committed rISABELLE08f1e4cb735f: concatentation of bit values. 
Jul 13 2020, 5:23 PM
makariusrISABELLE83456d9f0ed5: clarified examples;
makarius committed rISABELLE83456d9f0ed5: clarified examples;. 
Jul 13 2020, 5:08 PM
Sophie Tourret <stourret@mpi-inf.mpg.de>rAFPc99668f88e5f: saturation framework: renamings
Sophie Tourret <stourret@mpi-inf.mpg.de> committed rAFPc99668f88e5f: saturation framework: renamings. 
Jul 13 2020, 2:50 PM
florian.haftmannrAFP7b844df07b1c: prefer canonically oriented lists of bits in definitions
florian.haftmann committed rAFP7b844df07b1c: prefer canonically oriented lists of bits in definitions. 
Jul 12 2020, 8:10 PM
florian.haftmannrISABELLE759532ef0885: prefer canonically oriented lists of bits and more direct characterizations in…
florian.haftmann committed rISABELLE759532ef0885: prefer canonically oriented lists of bits and more direct characterizations in…. 
Jul 12 2020, 8:10 PM
florian.haftmannrISABELLEb4ed07cbe954: words added to code generator test
florian.haftmann committed rISABELLEb4ed07cbe954: words added to code generator test. 
Jul 12 2020, 8:10 PM
First
Prev
Next