rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Commit Graph

  • 620bf385d1 include the type name for better pin-pointing of the error source Bennet Bleßmann 2024-08-11 21:53:02 +02:00
  • cc51b8150d check whether (re-)allocation succeeded Bennet Bleßmann 2024-08-11 19:19:00 +02:00
  • 775b14c537 add detail to comment Bennet Bleßmann 2024-08-11 19:18:35 +02:00
  • 7cfe8ee55c Merge pull request #2463 from Skgland/split-up-inconsitent-entry-error Mark Thom 2024-08-05 14:25:33 -06:00
  • 058b9c5e51 switch invalid term from type to domain error Bennet Bleßmann 2024-08-04 15:16:37 +02:00
  • deed6fb984 fix remaining use of declaration instead of directive Bennet Bleßmann 2024-08-04 12:24:44 +02:00
  • 2d04c0dcf8 remove obsolete ExistenceError::Declaration Bennet Bleßmann 2024-08-04 12:23:31 +02:00
  • 5a0abd713e change declaration to directive Bennet Bleßmann 2024-08-04 12:10:15 +02:00
  • df33da111e ajust/add devlaration errors to be more standard compliant Bennet Bleßmann 2024-08-03 22:59:29 +02:00
  • 17a816eff4 impl PartialEq<str> and PartialEq<&str> for Atom Bennet Bleßmann 2024-08-03 22:41:02 +02:00
  • 880e22d164 adjust errors to be more standard compliant Bennet Bleßmann 2024-08-03 22:07:48 +02:00
  • c16d2d4147 fix compilation for 1.77 Bennet Bleßmann 2024-08-03 20:04:16 +02:00
  • 59af900aaf split up CompilationError::InconsistentEntry Bennet Bleßmann 2024-07-31 23:49:42 +02:00
  • add03cb4ee add test for declaration errors Bennet Bleßmann 2024-08-03 18:34:34 +02:00
  • 409f56ea37 use an enum for OpDesc spec Bennet Bleßmann 2024-07-31 23:48:27 +02:00
  • 2814d79b56 Merge pull request #2466 from Skgland/upgrade-deps Mark Thom 2024-08-05 12:59:42 -06:00
  • 4009b40029 replace derive_deref with derive_more Bennet Bleßmann 2024-08-04 02:40:26 +02:00
  • 260c52adec replace select by scrape Bennet Bleßmann 2024-08-04 02:35:36 +02:00
  • b1f057b67d resolve problems from deps upgrade Bennet Bleßmann 2024-08-04 01:39:31 +02:00
  • 177bc16255 update/upgrade dependencies Bennet Bleßmann 2024-08-04 00:01:45 +02:00
  • 4ce4cd1bc1 Merge pull request #2462 from Skgland/fix-segfault Mark Thom 2024-08-03 14:05:13 -06:00
  • 9e8d8aa19e prevent accidental double free by checking tag before drop Bennet Bleßmann 2024-08-03 19:36:05 +02:00
  • 4d3ceb387e drop payload after resetting machine Bennet Bleßmann 2024-08-03 19:27:32 +02:00
  • 5038b716eb Merge pull request #2457 from Skgland/library Mark Thom 2024-07-26 11:29:12 -06:00
  • e310f9683e Fix build on WASM after #2442 Adrián Arroyo Calle 2024-07-08 16:12:10 +02:00
  • c29b76143c fix copy-past error Bennet Bleßmann 2024-07-26 00:13:49 +02:00
  • 3ad4b05a97 add a features for gating things we can use once 1.80 is msrv Bennet Bleßmann 2024-07-25 23:09:17 +02:00
  • 0da313eb84 use a OnceLock static for LIBRARIES instead of thread_local! static Bennet Bleßmann 2024-07-25 18:58:29 +02:00
  • 6b50ec328c move the creation of the LIBRARIES IndexMap out of the generated file Bennet Bleßmann 2024-07-25 18:53:36 +02:00
  • 1eb6a883f6 run rustfmt Bennet Bleßmann 2024-07-23 00:01:58 +02:00
  • e7fd408548 use include_str! for the build in libraries Bennet Bleßmann 2024-07-23 00:01:29 +02:00
  • eaa95293e4 Merge pull request #2439 from Skgland/miri Mark Thom 2024-07-22 13:40:57 -06:00
  • 8ac663d703 Merge pull request #2442 from aarroyoc/fix-http-at-end-of-stream Mark Thom 2024-07-07 16:02:51 -06:00
  • 902712695c Merge pull request #2440 from triska/statistics Mark Thom 2024-07-07 15:59:44 -06:00
  • 5d03be4b09 fix leak of slaps with dropped payload Bennet Bleßmann 2024-07-07 15:51:22 +02:00
  • 689632b51c cleanup the slab types Bennet Bleßmann 2024-07-07 15:47:50 +02:00
  • 1b19ae81d5 wrap Payloads that are dropped eraly in ManuallyDrop Bennet Bleßmann 2024-07-07 15:21:08 +02:00
  • a0d790445d check that we don't attempt to un-drop while evacuating Bennet Bleßmann 2024-07-07 14:37:28 +02:00
  • 213ee5ca45 add AllocateInArena as a Pivot for arena_alloc! Bennet Bleßmann 2024-07-07 14:36:53 +02:00
  • 74720d4d2e remove unsafe impl From<UntypedArenaPtr> for CodeIndex Bennet Bleßmann 2024-07-07 14:18:50 +02:00
  • 39bd520542 ignore pstr_iter_tests test in miri as it takes too long Skgland 2024-07-07 11:06:11 +02:00
  • 496e4e9f56 fix clippy again Bennet Bleßmann 2024-07-06 23:18:35 +02:00
  • 89c1ea4232 fix leak of ArenaAllocated IndexPtr Bennet Bleßmann 2024-07-06 23:08:21 +02:00
  • a2a50586aa replace static Once and two mut statics with one static OnceLock Bennet Bleßmann 2024-07-06 22:48:04 +02:00
  • 0284a2092d reduce span of unsafe block Bennet Bleßmann 2024-07-06 22:47:22 +02:00
  • c414f75329 switch macos to latest as macos-11 has been removed Bennet Bleßmann 2024-07-06 18:47:35 +02:00
  • 943dce566b fix clippy Bennet Bleßmann 2024-07-06 18:26:34 +02:00
  • b32498b37c adjust ignore reason Bennet Bleßmann 2024-07-06 18:24:16 +02:00
  • ea041a40f9 if UB un IndexPtr ArenaAllocated impl Bennet Bleßmann 2024-07-06 17:43:13 +02:00
  • 1d66f91a41 replace ref_thread_local::ref_thread_local! with std::thread_local! Bennet Bleßmann 2024-07-06 16:56:41 +02:00
  • fee7ba58b0 fix stack alignement Bennet Bleßmann 2024-07-06 16:21:20 +02:00
  • 8e53d12776 make components a comma seperated string instead of a list Bennet Bleßmann 2024-07-06 16:01:52 +02:00
  • 08a9f7c068 Fix at_end_of_stream/1 for http read stream Adrián Arroyo Calle 2024-07-06 16:00:50 +02:00
  • 33793193cc add miri to CI Bennet Bleßmann 2024-07-06 15:46:04 +02:00
  • 285f11ccdc add associated Payload type to ArenaAllocated Bennet Bleßmann 2024-07-06 15:37:08 +02:00
  • d87400afa0 switch Rcu to the arcu crate Bennet Bleßmann 2024-07-06 14:49:19 +02:00
  • fcb41542c3 fix stream.rs UB Bennet Bleßmann 2024-07-06 14:01:51 +02:00
  • 87b4c9d736 somehow this was never marked as bad Bennet Bleßmann 2024-07-06 13:41:35 +02:00
  • 6386e70584 clippy: change ToString impl to Display Bennet Bleßmann 2024-07-06 13:28:44 +02:00
  • 722975d77e clippy: use type associated constants Bennet Bleßmann 2024-07-06 13:08:59 +02:00
  • 8943962704 clippy: ptr dereference in safe function Bennet Bleßmann 2024-07-06 13:07:26 +02:00
  • ed57ef3d01 clippy: identity conversion Bennet Bleßmann 2024-07-06 13:06:50 +02:00
  • 9e7d41025a fix saftey comment Bennet Bleßmann 2024-07-06 13:06:24 +02:00
  • d2f236d116 clippy: explicit ptr addrs comparision Bennet Bleßmann 2024-07-06 13:06:13 +02:00
  • 1ff995fedb clippy: allow new without default Bennet Bleßmann 2024-07-06 13:04:55 +02:00
  • 1b16c6c73f clippy: use clone_from rather than clone Bennet Bleßmann 2024-07-06 13:03:14 +02:00
  • ceac9c9095 clippy: ignore unused fields on PrologBenchmark struct Bennet Bleßmann 2024-07-06 13:01:19 +02:00
  • 0005dcaacb ADDED: Preliminary support for statistics/2. Markus Triska 2024-07-06 11:15:30 +02:00
  • 467a82fe46 run rustfmt Bennet Bleßmann 2024-07-06 04:18:02 +02:00
  • ce40f8f10c update ignore reason Bennet Bleßmann 2024-07-06 04:01:41 +02:00
  • d2d451b182 adjust the generation of the LIBRARIES map Bennet Bleßmann 2024-07-06 03:44:53 +02:00
  • 52fa51853e don't use env::current_dir() in miri Bennet Bleßmann 2024-07-06 03:42:13 +02:00
  • 6575b1b573 fix some more miri errors Bennet Bleßmann 2024-07-06 03:41:12 +02:00
  • cba81b4dc7 some test pass miri Bennet Bleßmann 2024-07-06 02:25:58 +02:00
  • 91253917b4 remove rust_beta_channel feature Bennet Bleßmann 2024-07-06 02:24:26 +02:00
  • 821358c062 unify pointer width Bennet Bleßmann 2024-07-06 01:41:05 +02:00
  • 3de0a4e2ad replace transmut with pointer cast calls Bennet Bleßmann 2024-07-06 01:38:13 +02:00
  • b8a3067744 resolve miri error for pstr_iter_tests in atom_table Bennet Bleßmann 2024-07-06 01:21:03 +02:00
  • 7509cc1a07 adjust alignment calculation Bennet Bleßmann 2024-07-06 00:13:46 +02:00
  • dd2548453b rework some unsafe parts Bennet Bleßmann 2024-07-05 23:45:02 +02:00
  • a93585080c remove remains of num feature Bennet Bleßmann 2024-07-05 21:29:38 +02:00
  • 5f30c9599a Merge pull request #2436 from triska/arxivlink Mark Thom 2024-07-04 16:30:00 -06:00
  • 4b3edfd370 link to newly available paper about Grants4Companies Markus Triska 2024-07-03 22:31:53 +02:00
  • d6ac03552d Merge pull request #2417 from aarroyoc/fix-2416 Mark Thom 2024-06-06 22:33:46 -06:00
  • a72632ae85 Manage Float and Double FFI types in structs Adrián Arroyo Calle 2024-06-06 22:18:17 +02:00
  • 2d18e0d719 Merge pull request #2413 from Skgland/master Mark Thom 2024-05-29 12:28:25 -06:00
  • 45a8a7bb31 create swap file for wasm32 build Bennet Bleßmann 2024-05-29 19:50:27 +02:00
  • 1a9d10d298 fix two clippy lints Bennet Bleßmann 2024-05-28 19:59:32 +02:00
  • 80a0cab6ab re-add CI job to test Cargo.toml rust-version Bennet Bleßmann 2024-05-28 19:34:26 +02:00
  • 96720457d0 Merge pull request #2410 from aarroyoc/fix-warn-dead-code-elimination Mark Thom 2024-05-27 12:07:27 -06:00
  • f4d2839dc7 Fix warnings of dead code Adrián Arroyo Calle 2024-05-27 19:52:02 +02:00
  • 070f1e8dfa more generally consider NEGATIVE_SIGN a non-op term (#2401) Mark Thom 2024-05-13 14:37:32 -06:00
  • 42a0d686a5 Merge pull request #2393 from mthom/unsafe_improvements Mark Thom 2024-04-29 16:17:14 -06:00
  • 79bc2d9c68 remove 1.70 version CI job Mark Thom 2024-04-29 15:40:05 -06:00
  • f3eea6302d delay instantiation errors on lists in phrase/3 until runtime (#1665, #2396) Mark Thom 2024-04-29 15:28:17 -06:00
  • bcfa0219e2 detect External indices more generally in internalize_constant (#2395) Mark Thom 2024-04-29 14:23:14 -06:00
  • 5e1effc69a fix failing clippy checks, remove unnecessary code Mark Thom 2024-04-25 20:05:22 -06:00
  • be23c74b17 fix wasm tests in unsafe_improvements branch Mark Thom 2024-04-24 21:21:25 -06:00
  • 8fe1c206d3 bump required rust version for use of newly introduced macros Mark Thom 2024-04-24 20:33:42 -06:00
  • a6157a926d improve use of unsafe Rust in arena.rs (#2391) Mark Thom 2024-04-24 20:28:06 -06:00