joshua/satuio
1
Fork 0
mirror of https://github.com/Jaxan/satuio.git synced 2025-04-27 06:37:45 +02:00
Code Issues Releases Activity

Commit graph

  • 98c32edff1 more handy output main Joshua Moerman 2022-04-11 14:35:56 +02:00
  • 8e5553e8b1 More consistent, and less output Joshua Moerman 2022-04-08 14:26:02 +02:00
  • 6660c8c3ed Wrong installation notes Joshua Moerman 2022-03-21 13:07:46 +01:00
  • 8414a1a3dd Cleaned up some output and implemented a time bound for uios Joshua Moerman 2022-03-15 14:38:06 +01:00
  • 956997e217 Script to get an unsat core in ADS (WIP) Joshua Moerman 2022-03-02 10:58:51 +01:00
  • f6c1024b30 Some more cleanup Joshua Moerman 2022-02-02 12:47:25 +01:00
  • be13bc3dbe Pretty printing the ADS Joshua Moerman 2022-02-01 16:13:27 +01:00
  • 7ddb1bb45c Some more cleaning up and comments Joshua Moerman 2022-01-26 09:52:25 +01:00
  • 15f72ea1f7 Added a big optimisation to ADS Joshua Moerman 2022-01-26 09:13:19 +01:00
  • 9dbe5dee5b small change for ads Joshua Moerman 2022-01-24 15:21:45 +01:00
  • f1ee29e3f2 small bugfix Joshua Moerman 2022-01-24 14:17:32 +01:00
  • 54871a2faa More efficient UIO solver, by uio-implication and incrementing the length Joshua Moerman 2022-01-24 14:12:07 +01:00
  • 0d074cbf65 updated README Joshua Moerman 2022-01-19 14:15:01 +01:00
  • 5c06069bc7 minor tweaks in the output Joshua Moerman 2022-01-19 14:04:32 +01:00
  • 921a261c47 Made the ADS encoding (and moved the parser elsewhere) Joshua Moerman 2022-01-19 13:56:25 +01:00
  • ddb65c050e More cleanup and more flags Joshua Moerman 2022-01-19 11:30:46 +01:00
  • 9e0132e2e8 Add more comments and clean up a bit Joshua Moerman 2022-01-18 17:00:32 +01:00
  • 2dd1c1a2a4 small change in output style Joshua Moerman 2022-01-17 16:54:41 +01:00
  • 7ff6b7df55 Some more output stats and verbosity Joshua Moerman 2022-01-17 12:52:28 +01:00
  • dfb77c02a0 Fixed one constraint concerning outputs, and improved output Joshua Moerman 2022-01-17 12:00:57 +01:00
  • c8e587526d Mor efficient CNF, no n^2 anymore, but the construction only takes reachable states in a path Joshua Moerman 2022-01-17 11:02:04 +01:00
  • 8b2750e07a First(ish) version of the UIO solver Joshua Moerman 2022-01-17 08:56:37 +01:00
  • 362ee1f589
         Initial commit Joshua Moerman 2022-01-17 08:48:55 +01:00